From 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 3 Apr 2008 04:23:42 +0000
Subject: Replace `^=' with `~='.

---
 src/algebra/moddfact.spad.pamphlet | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/algebra/moddfact.spad.pamphlet')

diff --git a/src/algebra/moddfact.spad.pamphlet b/src/algebra/moddfact.spad.pamphlet
index 19692d42..7c12510c 100644
--- a/src/algebra/moddfact.spad.pamphlet
+++ b/src/algebra/moddfact.spad.pamphlet
@@ -79,7 +79,7 @@ ModularDistinctDegreeFactorizer(U):C == T where
     exactquo(u:U,v:U,p:I):Union(U,"failed") ==
         invlcv:=modInverse(leadingCoefficient v,p)
         r:=monicDivide(u,reduction(invlcv*v,p))
-        reduction(r.remainder,p) ^=0 => "failed"
+        reduction(r.remainder,p) ~=0 => "failed"
         reduction(invlcv*r.quotient,p)
     EMR := EuclideanModularRing(Integer,U,Integer,
                                 reduction,merge,exactquo)
@@ -114,7 +114,7 @@ ModularDistinctDegreeFactorizer(U):C == T where
       ans::U
 
     ddfactor(u) ==
-      if (c:= lc(u)) ^= 1$I then u:= makeMonic(u)
+      if (c:= lc(u)) ~= 1$I then u:= makeMonic(u)
       ans:= sepfact(ddfact(u))
       cons(c::EMR,[makeMonic(f) for f in ans | degree(f) > 0])
 
@@ -133,7 +133,7 @@ ModularDistinctDegreeFactorizer(U):C == T where
       w:= reduce(monomial(1,1)$U,p)
       m:= w
       d:I:= 1
-      if (c:= lc(u)) ^= 1$I then u:= makeMonic u
+      if (c:= lc(u)) ~= 1$I then u:= makeMonic u
       ans:DDList:= []
       repeat
         w:= exptmod(w,p,u)
@@ -173,7 +173,7 @@ ModularDistinctDegreeFactorizer(U):C == T where
       u:= f.factor
       p:=modulus u
       (d := f.degree) = 0 => [u]
-      if (c:= lc(u)) ^= 1$I then u:= makeMonic(u)
+      if (c:= lc(u)) ~= 1$I then u:= makeMonic(u)
       d = (du := degree(u)) => [u]
       ans:L EMR:= []
       x:U:= monomial(1,1)
-- 
cgit v1.2.3