aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/multpoly.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/multpoly.spad.pamphlet')
-rw-r--r--src/algebra/multpoly.spad.pamphlet8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/multpoly.spad.pamphlet b/src/algebra/multpoly.spad.pamphlet
index 86e5548a..99ab7833 100644
--- a/src/algebra/multpoly.spad.pamphlet
+++ b/src/algebra/multpoly.spad.pamphlet
@@ -180,7 +180,7 @@ SparseMultivariatePolynomial(R: Ring,VarSet: OrderedSet): C == T where
monomial? p ==
p case R => true
sup : D := p.ts
- 1 ^= numberOfMonomials(sup) => false
+ 1 ~= numberOfMonomials(sup) => false
monomial? leadingCoefficient(sup)$D
-- local
@@ -487,11 +487,11 @@ SparseMultivariatePolynomial(R: Ring,VarSet: OrderedSet): C == T where
gcd(leadingCoefficient b, content a)::SUP $
conta := content a
mona:SUP $ := monomial(conta, minimumDegree a)
- if mona ^= 1 then
+ if mona ~= 1 then
a := (a exquo mona)::SUP $
contb := content b
monb:SUP $ := monomial(contb, minimumDegree b)
- if monb ^= 1 then
+ if monb ~= 1 then
b := (b exquo monb)::SUP $
mong:SUP $ := monomial(gcd(conta, contb),
min(degree mona, degree monb))
@@ -618,7 +618,7 @@ SparseMultivariatePolynomial(R: Ring,VarSet: OrderedSet): C == T where
u := univariate(p, mv := mainVariable(p)::VarSet)
weight:NonNegativeInteger := (member?(mv,Lvar) => 1; 0)
tdeg:NonNegativeInteger := 0
- while u ^= 0 repeat
+ while u ~= 0 repeat
termdeg:NonNegativeInteger := weight*degree u +
totalDegree(leadingCoefficient u, Lvar)
tdeg := max(tdeg, termdeg)