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/polycat.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/polycat.spad.pamphlet')
| -rw-r--r-- | src/algebra/polycat.spad.pamphlet | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet index bb940038..05ee03f9 100644 --- a/src/algebra/polycat.spad.pamphlet +++ b/src/algebra/polycat.spad.pamphlet @@ -361,7 +361,7 @@ PolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, VarSet:OrderedSet): -- concat(leadingMonomial p, monomials reductum p) -- replaced by sequential version for efficiency, by WMSIT, 7/30/90 ml:= empty$List(%) - while p ^= 0 repeat + while p ~= 0 repeat ml:=concat(leadingMonomial p, ml) p:= reductum p reverse ml @@ -408,7 +408,7 @@ PolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, VarSet:OrderedSet): ground? p => 0 u := univariate(p, mainVariable(p)::VarSet) d: NonNegativeInteger := 0 - while u ^= 0 repeat + while u ~= 0 repeat d := max(d, degree u + totalDegree leadingCoefficient u) u := reductum u d @@ -418,7 +418,7 @@ PolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, VarSet:OrderedSet): d: NonNegativeInteger := 0 w: NonNegativeInteger := 0 if member?(v, lv) then w:=1 - while u ^= 0 repeat + while u ~= 0 repeat d := max(d, w*(degree u) + totalDegree(leadingCoefficient u,lv)) u := reductum u d @@ -2960,7 +2960,7 @@ UnivariatePolynomialCategory(R:Ring): Category == if R has Algebra Fraction Integer then integrate p == ans:% := 0 - while p ^= 0 repeat + while p ~= 0 repeat l := leadingCoefficient p d := 1 + degree p ans := ans + inv(d::Fraction(Integer)) * monomial(l, d) @@ -4326,7 +4326,7 @@ UnivariatePolynomialCategoryFunctions2(R,PR,S,PS): Exports == Impl where Impl ==> add map(f, p) == ans:PS := 0 - while p ^= 0 repeat + while p ~= 0 repeat ans := ans + monomial(f leadingCoefficient p, degree p) p := reductum p ans @@ -4365,14 +4365,14 @@ CommuteUnivariatePolynomialCategory(R, UP, UPUP): Exports == Impl where -- converts P(x,y) to P(y,x) swap poly == ans:UPUP := 0 - while poly ^= 0 repeat + while poly ~= 0 repeat ans := ans + makePoly(leadingCoefficient poly, degree poly) poly := reductum poly ans makePoly(poly, d) == ans:UPUP := 0 - while poly ^= 0 repeat + while poly ~= 0 repeat ans := ans + monomial(monomial(leadingCoefficient poly, d), degree poly) poly := reductum poly |