aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/unifact.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/unifact.spad.pamphlet')
-rw-r--r--src/algebra/unifact.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/unifact.spad.pamphlet b/src/algebra/unifact.spad.pamphlet
index ab5a3e8e..f3437a81 100644
--- a/src/algebra/unifact.spad.pamphlet
+++ b/src/algebra/unifact.spad.pamphlet
@@ -136,7 +136,7 @@ UnivariateFactorize(ZP) : public == private where
nm := (degree m)::NNI
nmq2:NNI := nm quo 2
norm: Z := sqroot(+/[coefficient(m,k)**2 for k in 0..nm])
- if nmq2~=1 then nm := (nmq2-1):NNI
+ if not one? nmq2 then nm := (nmq2-1):NNI
else nm := nmq2
bin0 := nm
cbound := (bin0*norm+lcm)::PI
@@ -219,7 +219,7 @@ UnivariateFactorize(ZP) : public == private where
alpha: Z := coefficient(m,1)+d2
beta: Z := 2*coefficient(m,2)
d := gcd(alpha,beta)
- if d ~=1 then
+ if not one? d then
alpha := alpha quo d
beta := beta quo d
m0: ZP := monomial(beta,1)+monomial(alpha,0)