diff options
Diffstat (limited to 'src/algebra/pfr.spad.pamphlet')
-rw-r--r-- | src/algebra/pfr.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/pfr.spad.pamphlet b/src/algebra/pfr.spad.pamphlet index 8286147e..eeaa4c2f 100644 --- a/src/algebra/pfr.spad.pamphlet +++ b/src/algebra/pfr.spad.pamphlet @@ -147,9 +147,9 @@ PartialFraction(R: EuclideanDomain): Cat == Capsule where coefs := (i :: Record(coef1: R, coef2: R)) c : % := copypf 0$% d : % - if coefs.coef2 ^= 0$R then + if coefs.coef2 ~= 0$R then c := normalizeFracTerm ([coefs.coef2, t.den]$fTerm) - if coefs.coef1 ^= 0$R then + if coefs.coef1 ~= 0$R then d := normalizeFracTerm ([coefs.coef1, s.den]$fTerm) c.whole := c.whole + d.whole not (null d.fract) => c.fract := append(d.fract,c.fract) @@ -200,7 +200,7 @@ PartialFraction(R: EuclideanDomain): Cat == Capsule where e = 1 => l := cons(s,l) f := nthFactor(s.den,1) d := degree(sp := padicallyExpand(f,s.num)) - while (sp ^= 0$SUPR) repeat + while (sp ~= 0$SUPR) repeat l := cons([leadingCoefficient sp,nilFactor(f,e-d)]$fTerm, l) d := degree(sp := reductum sp) [b.whole, sort(LessThan,l)]$% @@ -282,7 +282,7 @@ PartialFraction(R: EuclideanDomain): Cat == Capsule where padicallyExpand(p,qr.quotient) a = b == - a.whole ^= b.whole => false -- must verify this + a.whole ~= b.whole => false -- must verify this (null a.fract) => null b.fract => a.whole = b.whole false |