From 6c75a87d8ee00d48a0f5703aa9c86591078a50d3 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 12 Mar 2011 22:56:37 +0000 Subject: * src/algebra/: Systematically use not one? when comparing for equality with 1. --- src/algebra/moddfact.spad.pamphlet | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/algebra/moddfact.spad.pamphlet') diff --git a/src/algebra/moddfact.spad.pamphlet b/src/algebra/moddfact.spad.pamphlet index 14795411..5cb2893d 100644 --- a/src/algebra/moddfact.spad.pamphlet +++ b/src/algebra/moddfact.spad.pamphlet @@ -114,7 +114,7 @@ ModularDistinctDegreeFactorizer(U):C == T where ans::U ddfactor(u) == - if (c:= lc(u)) ~= 1$I then u:= makeMonic(u) + if not one?(c:= lc(u)) then u:= makeMonic(u) ans:= sepfact(ddfact(u)) cons(c::EMR,[makeMonic(f) for f in ans | positive? degree(f)]) @@ -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 not one?(c:= lc(u)) 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 not one?(c:= lc(u)) then u:= makeMonic(u) d = (du := degree(u)) => [u] ans:L EMR:= [] x:U:= monomial(1,1) -- cgit v1.2.3