aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/realzero.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/realzero.spad.pamphlet')
-rw-r--r--src/algebra/realzero.spad.pamphlet6
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