From 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 3 Apr 2008 04:23:42 +0000 Subject: Replace `^=' with `~='. --- src/algebra/realzero.spad.pamphlet | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/algebra/realzero.spad.pamphlet') 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 -- cgit v1.2.3