aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-01-17 17:15:22 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-01-17 17:15:22 -0800
commit5950f07335c0a2f38224e0223951f9cf6fca350b (patch)
tree16db65f7f9a070ad721d32923ffae0ed0eb733aa /src
parent68ee78c1a740a9fc60f04a20b685d46a44570360 (diff)
downloadopen-axiom-5950f07335c0a2f38224e0223951f9cf6fca350b.tar.gz
Propagate renaming.
Diffstat (limited to 'src')
-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