From 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 3 Apr 2008 04:23:42 +0000 Subject: Replace `^=' with `~='. --- src/algebra/gdpoly.spad.pamphlet | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/algebra/gdpoly.spad.pamphlet') diff --git a/src/algebra/gdpoly.spad.pamphlet b/src/algebra/gdpoly.spad.pamphlet index 6c3ae4fd..49a77794 100644 --- a/src/algebra/gdpoly.spad.pamphlet +++ b/src/algebra/gdpoly.spad.pamphlet @@ -148,10 +148,10 @@ GeneralDistributedMultivariatePolynomial(vl,R,E): public == private where p := reductum p for i in 1..n repeat maxdeg.i := max(maxdeg.i, tdeg.i) - [index(i:PositiveInteger) for i in 1..n | maxdeg.i^=0] + [index(i:PositiveInteger) for i in 1..n | maxdeg.i~=0] reorder(p: %,perm: List Integer):% == - #perm ^= n => error "must be a complete permutation of all vars" + #perm ~= n => error "must be a complete permutation of all vars" q := [[directProduct [term.k.j for j in perm]$Vec,term.c]$Term for term in p] sort(#1.k > #2.k,q) @@ -209,7 +209,7 @@ GeneralDistributedMultivariatePolynomial(vl,R,E): public == private where monomial(leadingCoefficient p,0) q := univariate(p,v:: OV) ans:SUP(R) := 0 - while q ^= 0 repeat + while q ~= 0 repeat ans := ans + monomial(ground leadingCoefficient q,degree q) q := reductum q ans @@ -254,7 +254,7 @@ GeneralDistributedMultivariatePolynomial(vl,R,E): public == private where t.k.i = 1 => l := cons(vl1.i,l) l := cons(vl1.i ** t.k.i ::OutputForm,l) l := reverse l - if (t.c ^= 1) or (null l) then l := cons(t.c :: OutputForm,l) + if (t.c ~= 1) or (null l) then l := cons(t.c :: OutputForm,l) 1 = #l => lt := cons(first l,lt) lt := cons(reduce("*",l),lt) 1 = #lt => first lt -- cgit v1.2.3