User:Barto/Sandbox/nav/2

This is an alternative template for (nav) that needs only the link to the parent page. (And not all ancestors.)

It finally does away with the main problem of page bundles, being the fact that a name change had to be applied to all "subpages" (to be interpreted abstractly here), instead of only subpages that differ by 1 generation. This was still a problem with (nav).

This uses Labeled Section Transclusion, which is not installed on. It works; test here.

Place this at every concerned page: abbreviated page name of current page full title of parent page where the parentnav template looks like (start reading at the bottom) Navigation:  |  → | This supports 4 levels, active page included. More levels can be added. Basically, the idea is to retrieve all ancestors using LST and the "parent" &lt;section&gt; tags.

The idea is to specify the page abbreviation only once, namely at the page itself. As you can see, it requires using &lt;section&gt; tags at every page. Note that embedding those tags in a template is not currently supported. The source code of a page is now more complicated, but there's no more need to link to all ancestors. It is quite expensive compared to User:Barto/Sandbox/navigation, because LST needs to read all ancestor pages first; which is not needed if all ancestors and abbreviations are manually given at each page. But since pages at proofwiki are typically small (especially those in such page bundles, since they transclude almost everything), complexity of the algorithm doesn't seem to be a problem.

See User:Barto/Sandbox/navigation for an operational variant

User:Barto/Sandbox/nav/2/Continuous Mapping

User:Barto/Sandbox/nav/2/Continuous Real Function

User:Barto/Sandbox/nav/2/Continuous Real Function at Point