9.48 LyndonWord
Initialisations
Type: Symbol
Type: Symbol
Type: Symbol
lword:= LyndonWord(Symbol)
Type: Domain
Type: Domain
word := OrderedFreeMonoid(Symbol)
Type: Domain
All Lyndon words with a, b, c to order 3
LyndonWordsList1([a,b,c],3)$lword
|
Type: OneDimensionalArray List LyndonWord Symbol
All Lyndon words of with a, b, c to order 3 in flat list
LyndonWordsList([a,b,c],3)$lword
|
Type: List LyndonWord Symbol
All Lyndon words of with a, b to order 5
lw := LyndonWordsList([a,b],5)$lword
|
Type: List LyndonWord Symbol
w1 : word := lw.4 :: word
Type: OrderedFreeMonoid Symbol
w2 : word := lw.5 :: word
Type: OrderedFreeMonoid Symbol
Let's try factoring
Type: List LyndonWord Symbol
Type: List LyndonWord Symbol
Type: List LyndonWord Symbol
Type: List LyndonWord Symbol
Checks and coercions
Type: Boolean
Type: Boolean
Type: Boolean
Type: Union(LyndonWord Symbol,...)
Type: Union("failed",...)
Type: LyndonWord Symbol
Type: LyndonWord Symbol