diff options
Diffstat (limited to 'src/algebra/algfact.spad.pamphlet')
| -rw-r--r-- | src/algebra/algfact.spad.pamphlet | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/algebra/algfact.spad.pamphlet b/src/algebra/algfact.spad.pamphlet index edb9dc76..3ac0462e 100644 --- a/src/algebra/algfact.spad.pamphlet +++ b/src/algebra/algfact.spad.pamphlet @@ -296,8 +296,7 @@ AlgFactor(UP): Exports == Implementation where _*/[extend(fc.factor, fc.exponent) for fc in factors fp] extend(p, n) == --- one? degree p => primeFactor(p, n) - (degree p = 1) => primeFactor(p, n) + one? degree p => primeFactor(p, n) q := monomial(1, 1)$UP - zeroOf(p pretend SUP)::UP primeFactor(q, n) * split((p exquo q)::UP) ** (n::N) @@ -307,12 +306,10 @@ AlgFactor(UP): Exports == Implementation where irred? p == fp := factor p --- one? numberOfFactors fp and one? nthExponent(fp, 1) - (numberOfFactors fp = 1) and (nthExponent(fp, 1) = 1) + one? numberOfFactors fp and one? nthExponent(fp, 1) fact(p, l) == --- one? degree p => primeFactor(p, 1) - (degree p = 1) => primeFactor(p, 1) + one? degree p => primeFactor(p, 1) empty? l => dr := factor(downpoly p)$RationalFactorize(UPQ) (liftpoly unit dr) * |