Multiplicative bases

MultiplicativeBasisDeformations.Foundations.StarTree

The star model as an oriented tree #

The star model with its two-colouring by depth and the orientation away from the centre (periodic-mesh-calculations.tex: "For D and E, root the tree at the trivalent vertex; for odd A, root it at its middle vertex ... With the orientation away from the root ...").

def MultiplicativeBasisDeformations.starTree {t : ℕ} (L : Fin t → ℕ) :

The star model as an oriented tree.

Instances For