diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
| commit | 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch) | |
| tree | da9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/xlpoly.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
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) |