blob: d117bfc73c8f51cf00193ea1dadc0f087951da8f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
\documentclass{article}
\usepackage{axiom}
\begin{document}
\title{\$SPAD/src/input LWORD.input}
\author{Michel Petitot}
\maketitle
\begin{abstract}
\end{abstract}
\eject
\tableofcontents
\eject
<<*>>=
)cl all
a:Symbol :='a
b:Symbol :='b
c:Symbol :='c
lword:= LyndonWord(Symbol)
magma := Magma(Symbol)
word := OrderedFreeMonoid(Symbol)
LyndonWordsList1([a,b,c],3)$lword
LyndonWordsList([a,b,c],3)$lword
lw := LyndonWordsList([a,b],5)$lword
w1 : word := lw.4 :: word
w2 : word := lw.5 :: word
factor(a::word)$lword
factor(w1*w2)$lword
factor(w2*w2)$lword
factor(w2*w1)$lword
lyndon?(w1)$lword
lyndon?(w1*w2)$lword
lyndon?(w2*w1)$lword
lyndonIfCan(w1)$lword
lyndonIfCan(w2*w1)$lword
lyndon(w1)$lword
lyndon(w1*w2)$lword
@
\eject
\begin{thebibliography}{99}
\bibitem{1} nothing
\end{thebibliography}
\end{document}
|
