diff options
author | dos-reis <gdr@axiomatics.org> | 2008-09-18 14:26:35 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-09-18 14:26:35 +0000 |
commit | 4126dc2b32ee818635e57990b3e6f647b9a7dbcb (patch) | |
tree | 63a1bab1ef8e5c3b301683069c6e42d6076c5cf8 /src/algebra/ffp.spad.pamphlet | |
parent | c7922bf127eac4b203fc3c36b0ae1d0f9d279f54 (diff) | |
download | open-axiom-4126dc2b32ee818635e57990b3e6f647b9a7dbcb.tar.gz |
* interp/c-util.boot (displayAmbiguousSignatures): New.
(ambiguousSignatureError): Likewise.
* interp/define.boot (hasSigInTargetCategory): Use it to reject
ambiguous lhs of a definition.
* interp/lisplib.boot (leaveIfErrors): Fix typo.
* algebra/aggcat.spad.pamphlet: Disambiguate definitions.
* algebra/card.spad.pamphlet: Likewise.
* algebra/dhmatrix.spad.pamphlet: Likewise.
* algebra/divisor.spad.pamphlet: Likewise.
* algebra/expexpan.spad.pamphlet: Likewise.
* algebra/ffcat.spad.pamphlet: Likewise.
* algebra/ffcg.spad.pamphlet: Likewise.
* algebra/ffnb.spad.pamphlet: Likewise.
* algebra/ffp.spad.pamphlet: Likewise.
* algebra/generic.spad.pamphlet: Likewise.
* algebra/groebf.spad.pamphlet: Likewise.
* algebra/modring.spad.pamphlet: Likewise.
* algebra/moebius.spad.pamphlet: Likewise.
* algebra/mts.spad.pamphlet: Likewise.
* algebra/naalgc.spad.pamphlet: Likewise.
* algebra/ore.spad.pamphlet: Likewise.
* algebra/outform.spad.pamphlet: Likewise.
* algebra/pf.spad.pamphlet: Likewise.
* algebra/poly.spad.pamphlet: Likewise.
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/prtition.spad.pamphlet: Likewise.
* algebra/radix.spad.pamphlet: Likewise.
* algebra/rep2.spad.pamphlet: Likewise.
* algebra/stream.spad.pamphlet: Likewise.
* algebra/string.spad.pamphlet: Likewise.
* algebra/tree.spad.pamphlet: Likewise.
* algebra/triset.spad.pamphlet: Likewise.
* algebra/view2D.spad.pamphlet: Likewise.
* algebra/sf.spad.pamphlet: Remove signature for hash.
* algebra/si.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/ffp.spad.pamphlet')
-rw-r--r-- | src/algebra/ffp.spad.pamphlet | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/algebra/ffp.spad.pamphlet b/src/algebra/ffp.spad.pamphlet index 9b38f959..67b32b90 100644 --- a/src/algebra/ffp.spad.pamphlet +++ b/src/algebra/ffp.spad.pamphlet @@ -28,7 +28,9 @@ -- 04.04.91 JG: comment of FFP was changed \end{verbatim} + \section{domain FFP FiniteFieldExtensionByPolynomial} + <<domain FFP FiniteFieldExtensionByPolynomial>>= )abbrev domain FFP FiniteFieldExtensionByPolynomial ++ Authors: R.Sutor, J. Grabmeier, O. Gschnitzer, A. Scheerhorn @@ -130,7 +132,7 @@ FiniteFieldExtensionByPolynomial(GF:FiniteFieldCategory,_ a:$:=norm(primitiveElement(),n) vector [a**i for i in 0..n-1] - degree(x) == + degree(x: %): PositiveInteger == y:$:=1 m:=zero(extdeg,extdeg+1)$(Matrix GF) for i in 1..extdeg+1 repeat @@ -249,7 +251,7 @@ FiniteFieldExtensionByPolynomial(GF:FiniteFieldCategory,_ coerce(e:$):OutputForm == outputForm(lift(e),alpha) - extensionDegree() == extdeg + extensionDegree(): PositiveInteger == extdeg size() == (sizeCG + 1) pretend NNI |