aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/crfp.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-04-03 04:23:42 +0000
committerdos-reis <gdr@axiomatics.org>2008-04-03 04:23:42 +0000
commit001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch)
treeda9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/crfp.spad.pamphlet
parenta7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff)
downloadopen-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/crfp.spad.pamphlet')
-rw-r--r--src/algebra/crfp.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/crfp.spad.pamphlet b/src/algebra/crfp.spad.pamphlet
index d3bb5b83..b2291289 100644
--- a/src/algebra/crfp.spad.pamphlet
+++ b/src/algebra/crfp.spad.pamphlet
@@ -406,7 +406,7 @@ ComplexRootFindingPackage(R, UP): public == private where
zero? (d := degree p) => error _
"schwerpunkt: non-zero const. polynomial has no roots and no schwerpunkt"
-- coeffient of x**d and x**(d-1)
- lC : C := coefficient(p,d) -- ^= 0
+ lC : C := coefficient(p,d) -- ~= 0
nC : C := coefficient(p,(d-1) pretend NNI)
(denom := recip ((d::I::C)*lC)) case "failed" => error "schwerpunkt: _
degree * leadingCoefficient not invertible in ring of coefficients"
@@ -561,7 +561,7 @@ ComplexRootFindingPackage(R, UP): public == private where
eq : Equation UP := equation(monomial(1,1), monomial(-1$C,1))
pp : UP := p*eval(p,eq)
gp : UP := 0$UP
- while pp ^= 0 repeat
+ while pp ~= 0 repeat
i:NNI := (degree pp) quo (2::NNI)
coef:C:=
even? i => leadingCoefficient pp