User:Barto/Sandbox/nav/2

This was an attempt to avoid having to include all links to ancestor pages: only the link to the parent.

This would use Labeled Section Transclusion, which is not installed on

Concretely, as follows. Place this at every concerned page: Link to parent Abbreviated page name for this page (to be used in navigation bar at descendant pages) where the navigation template looks like: | in the case of one level, and more lines of similar code and existence checks are needed to allow deeper levels. 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