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/ffcat.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/ffcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/ffcat.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/ffcat.spad.pamphlet b/src/algebra/ffcat.spad.pamphlet index 78a1c6a3..621ea017 100644 --- a/src/algebra/ffcat.spad.pamphlet +++ b/src/algebra/ffcat.spad.pamphlet @@ -349,8 +349,8 @@ FiniteAlgebraicExtensionField(F : Field) : Category == _ v:=first nullSpace transpose matrix(l)$(Matrix F) +/[monomial(v.(i+1),i::NNI) for i in 0..(#v-1)] - charthRoot(x):Union($,"failed") == - (charthRoot(x)@$)::Union($,"failed") + charthRoot(x): Maybe % == + just(charthRoot(x)@%) -- norm(e) == norm(e,1) pretend F -- trace(e) == trace(e,1) pretend F minimalPolynomial(a,n) == @@ -597,8 +597,8 @@ FiniteFieldCategory() : Category ==_ empty? l or every?(zero?, first l) => "failed" map(charthRoot,first l) charthRoot(x:$):$ == x**(size()$% quo characteristic$%) - charthRoot(x:%):Union($,"failed") == - (charthRoot(x)@$)::Union($,"failed") + charthRoot(x:%): Maybe % == + just(charthRoot(x)@%) createPrimitiveElement() == sm1 : PositiveInteger := (size()$%-1) pretend PositiveInteger start : Integer := |