9.49 Magma
Initialisations
Type: Symbol
Type: Symbol
Type: Symbol
word := OrderedFreeMonoid(Symbol)
Type: Domain
Type: Domain
Let's make some trees
Type: Magma Symbol
Type: Magma Symbol
Type: Magma Symbol
Query the trees
Type: Magma Symbol
Type: Magma Symbol
Type: PositiveInteger
Coerce to the monoid
Type: OrderedFreeMonoid Symbol
Check ordering
Type: Boolean
Type: Boolean
Type: Boolean
Navigate the tree
Type: Symbol
Type: Magma Symbol
Type: Magma Symbol
Check ordering
Type: Magma Symbol
Type: Magma Symbol
Type: Boolean
Type: Boolean