From 3018eca8731c1ebfc07487d6ba305c82090b4dca Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 10 Mar 2011 18:14:47 +0000 Subject: * 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. --- src/algebra/poly.spad.pamphlet | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/algebra/poly.spad.pamphlet') 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 -- cgit v1.2.3