diff options
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 |