From 11eebf207528f86dfa4556be3b2cc7cba57244a6 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 13 Mar 2011 03:43:50 +0000
Subject: 	* src/algebra/: Systematically use not zero? when comparing
 for 	 equality with 0.

---
 src/algebra/poly.spad.pamphlet | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/src/algebra/poly.spad.pamphlet b/src/algebra/poly.spad.pamphlet
index 71a7d8df..b86755a0 100644
--- a/src/algebra/poly.spad.pamphlet
+++ b/src/algebra/poly.spad.pamphlet
@@ -902,7 +902,7 @@ UnivariatePolynomialSquareFree(RC:IntegralDomain,P):C == T
              makeFR(u,[["sqfr",c,1]])
            i:NonNegativeInteger:=0; lffe:List FF:=[]
            lcp := leadingCoefficient p
-           while degree(ci)~=0 repeat
+           while not zero? degree(ci) repeat
               ci:=(ci exquo pi)::P
               di:=(di exquo pi)::P - differentiate(ci)
               pi:=gcd(ci,di)
@@ -924,7 +924,7 @@ UnivariatePolynomialSquareFree(RC:IntegralDomain,P):C == T
            di := (p exquo ci)::P
            i:NonNegativeInteger:=0; lffe:List FF:=[]
            dunit : P := 1
-           while degree(di)~=0 repeat
+           while not zero? degree(di) repeat
               diprev := di
               di := gcd(ci,di)
               ci:=(ci exquo di)::P
@@ -1054,7 +1054,7 @@ PolynomialSquareFree(VarSet:OrderedSet,E,RC:GcdDomain,P):C == T where
     squareFree(p:P) ==
        mv:=mainVariable p
        mv case "failed" => makeFR(p,[])$Factored(P)
-       characteristic$RC ~=0 => finSqFr(p,variables p)
+       not zero?(characteristic$RC) => finSqFr(p,variables p)
        up:=univariate(p,mv)
        cont := content up
        up := (up exquo cont)::SUP
-- 
cgit v1.2.3