aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/xlpoly.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/xlpoly.spad.pamphlet')
-rw-r--r--src/algebra/xlpoly.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/xlpoly.spad.pamphlet b/src/algebra/xlpoly.spad.pamphlet
index 8cc83ee6..c74bbd71 100644
--- a/src/algebra/xlpoly.spad.pamphlet
+++ b/src/algebra/xlpoly.spad.pamphlet
@@ -86,7 +86,7 @@ Magma(VarSet:OrderedSet):Public == Private where
varList x ==
x case VarSet => [x::VarSet]
lv: List VarSet := setUnion(varList x.left, varList x.right)
- sort_!(lv)
+ sort!(lv)
left x ==
x case VarSet => error "x has only one entry"
@@ -322,7 +322,7 @@ LyndonWord(VarSet:OrderedSet):Public == Private where
if lexico(a,b) and (lexico(b,right a) or b = right a )
then lbase1:=cons(a*b,lbase1)
- base(ll):= sort_!(lexico, lbase1)
+ base(ll):= sort!(lexico, lbase1)
return base
LyndonWordsList (vl,n) ==