aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/input/lword.input.pamphlet2
-rw-r--r--src/input/magma.input.pamphlet2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/input/lword.input.pamphlet b/src/input/lword.input.pamphlet
index d117bfc7..cf271c99 100644
--- a/src/input/lword.input.pamphlet
+++ b/src/input/lword.input.pamphlet
@@ -16,7 +16,7 @@ a:Symbol :='a
b:Symbol :='b
c:Symbol :='c
lword:= LyndonWord(Symbol)
-magma := Magma(Symbol)
+magma := FreeMagma(Symbol)
word := OrderedFreeMonoid(Symbol)
LyndonWordsList1([a,b,c],3)$lword
LyndonWordsList([a,b,c],3)$lword
diff --git a/src/input/magma.input.pamphlet b/src/input/magma.input.pamphlet
index c4ecc934..4053ddea 100644
--- a/src/input/magma.input.pamphlet
+++ b/src/input/magma.input.pamphlet
@@ -16,7 +16,7 @@ x:Symbol :='x
y:Symbol :='y
z:Symbol :='z
word := OrderedFreeMonoid(Symbol)
-tree := Magma(Symbol)
+tree := FreeMagma(Symbol)
a:tree := x*x
b:tree := y*y
c:tree := a*b