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/realzero.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/realzero.spad.pamphlet')
| -rw-r--r-- | src/algebra/realzero.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/realzero.spad.pamphlet b/src/algebra/realzero.spad.pamphlet index 27374130..e6c16ca1 100644 --- a/src/algebra/realzero.spad.pamphlet +++ b/src/algebra/realzero.spad.pamphlet @@ -122,7 +122,7 @@ RealZeroPackage(Pol): T == C where append(append(J, L), K) PosZero(F : Pol) == --F is square free, primitive - --and F(0) ^= 0; returns isoList for positive + --and F(0) ~= 0; returns isoList for positive --roots of F b : Integer := rootBound(F) @@ -184,7 +184,7 @@ RealZeroPackage(Pol): T == C where d := degree(F) cc : Integer := 1 G : Pol := monomial(leadingCoefficient F,d) - while (F:=reductum(F)) ^= 0 repeat + while (F:=reductum(F)) ~= 0 repeat n := degree(F) cc := cc*(c**(d-n):NonNegativeInteger) G := G + monomial(cc * leadingCoefficient(F), n) @@ -195,7 +195,7 @@ RealZeroPackage(Pol): T == C where -- --computes Pol G such that G(x) = F(x+1) -- G : Pol := F -- n : Integer := 1 --- while (F := differentiate(F)) ^= 0 repeat +-- while (F := differentiate(F)) ~= 0 repeat -- if not ((tempF := F exquo n) case "failed") then F := tempF -- G := G + F -- n := n + 1 |