diff options
Diffstat (limited to 'src/algebra/xlpoly.spad.pamphlet')
| -rw-r--r-- | src/algebra/xlpoly.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/xlpoly.spad.pamphlet b/src/algebra/xlpoly.spad.pamphlet index c863ac2f..6d79566d 100644 --- a/src/algebra/xlpoly.spad.pamphlet +++ b/src/algebra/xlpoly.spad.pamphlet @@ -243,7 +243,7 @@ LyndonWord(VarSet:OrderedSet):Public == Private where lyndon? w == w = 1$OFMON => false f: OFMON := rest w - while f ^= 1$OFMON repeat + while f ~= 1$OFMON repeat not lexico(w,f) => return false f := rest f true @@ -594,7 +594,7 @@ LiePolynomial(VarSet:OrderedSet, R:CommutativeRing) : Public == Private where LiePolyIfCan p == -- inefficace a cause de la rep. de XDPOLY not quasiRegular? p => "failed" p1: XDPOLY := p ; r:$ := 0 - while p1 ^= 0 repeat + while p1 ~= 0 repeat t: Record(k:WORD, c:R) := mindegTerm p1 w: WORD := t.k; coef:R := t.c (l := lyndonIfCan(w)$LWORD) case "failed" => return "failed" @@ -770,7 +770,7 @@ PoincareBirkhoffWittLyndonBasis(VarSet: OrderedSet): Public == Private where null x.rest retract x == - #x ^= 1 => error "cannot convert to Lyndon word" + #x ~= 1 => error "cannot convert to Lyndon word" x.first retractIfCan x == @@ -958,7 +958,7 @@ XPBWPolynomial(VarSet:OrderedSet,R:CommutativeRing): XDPcat == XDPdef where p.last.k = 1$BASIS => p.last.c 0$R - quasiRegular? p == (p=0) or (p.last.k ^= 1$BASIS) + quasiRegular? p == (p=0) or (p.last.k ~= 1$BASIS) quasiRegular p == p = 0 => p p.last.k = 1$BASIS => delete(p, maxIndex p) |