diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-12 22:56:37 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-12 22:56:37 +0000 |
| commit | 6c75a87d8ee00d48a0f5703aa9c86591078a50d3 (patch) | |
| tree | 28ff587bbc4d759dd0e3f96b156700ff01ba8c53 /src/algebra/moddfact.spad.pamphlet | |
| parent | a2e3e641bdbcb6e77bbb572aea25a748a967abca (diff) | |
| download | open-axiom-6c75a87d8ee00d48a0f5703aa9c86591078a50d3.tar.gz | |
* src/algebra/: Systematically use not one? when comparing for
equality with 1.
Diffstat (limited to 'src/algebra/moddfact.spad.pamphlet')
| -rw-r--r-- | src/algebra/moddfact.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
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) |