diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-10 18:14:47 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-10 18:14:47 +0000 |
| commit | 3018eca8731c1ebfc07487d6ba305c82090b4dca (patch) | |
| tree | 2977f65419c43b201a65e63a8bcf55dfaa443639 /src/algebra/poly.spad.pamphlet | |
| parent | d39e317cd51e0f251d485df1948e2a85a4007048 (diff) | |
| download | open-axiom-3018eca8731c1ebfc07487d6ba305c82090b4dca.tar.gz | |
* algebra/catdef.spad.pamphlet (CharacteristicNonZero)
[charthRoot]: Now return Maybe %.
(PolynomialFactorizationExplicit) [charthRoot]: Likewise.
* algebra/ffcat.spad.pamphlet (FiniteAlgebraicExtensionField):
Propagate change.
* algebra/fraction.spad.pamphlet (Fraction) [charthRoot]: Likewise.
* algebra/poly.spad.pamphlet (UnivariatePolynomialSquareFree):
Likewise.
* algebra/polycat.spad.pamphlet (PolynomialCategory): Likewise.
Diffstat (limited to 'src/algebra/poly.spad.pamphlet')
| -rw-r--r-- | src/algebra/poly.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/poly.spad.pamphlet b/src/algebra/poly.spad.pamphlet index e0688ad4..42c1eab2 100644 --- a/src/algebra/poly.spad.pamphlet +++ b/src/algebra/poly.spad.pamphlet @@ -881,7 +881,7 @@ UnivariatePolynomialSquareFree(RC:IntegralDomain,P):C == T else if RC has CharacteristicNonZero then BumInSepFFE(ffe:FF) == np := multiplyExponents(ffe.fctr,characteristic$P:NonNegativeInteger) - (nthrp := charthRoot(np)) case "failed" => + (nthrp := charthRoot(np)) case nothing => ["nil", np, ffe.xpnt] ["sqfr", nthrp, characteristic$P*ffe.xpnt] @@ -1010,7 +1010,7 @@ PolynomialSquareFree(VarSet:OrderedSet,E,RC:GcdDomain,P):C == T where pthPower(f:P) : Factored P == proot : P := 0 isSq : Boolean := false - if (g:=charthRoot f) case "failed" then proot:=pPolRoot(f) + if (g:=charthRoot f) case nothing then proot:=pPolRoot(f) else proot := g :: P isSq := true |