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/fraction.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/fraction.spad.pamphlet')
| -rw-r--r-- | src/algebra/fraction.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/fraction.spad.pamphlet b/src/algebra/fraction.spad.pamphlet index 1e691362..a6295219 100644 --- a/src/algebra/fraction.spad.pamphlet +++ b/src/algebra/fraction.spad.pamphlet @@ -551,18 +551,18 @@ Fraction(S: IntegralDomain): QuotientFieldCategory S with if S has canonicalUnitNormal and S has GcdDomain then charthRoot x == n:= charthRoot x.num - n case "failed" => "failed" + n case nothing => nothing d:=charthRoot x.den - d case "failed" => "failed" - n/d + d case nothing => nothing + just(n/d) else charthRoot x == -- to find x = p-th root of n/d -- observe that xd is p-th root of n*d**(p-1) ans:=charthRoot(x.num * (x.den)**(characteristic$%-1)::NonNegativeInteger) - ans case "failed" => "failed" - ans / x.den + ans case nothing => nothing + just(ans / x.den) clear: List % -> List S clear l == d:="lcm"/[x.den for x in l] |