aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/ffnb.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-09-18 14:26:35 +0000
committerdos-reis <gdr@axiomatics.org>2008-09-18 14:26:35 +0000
commit4126dc2b32ee818635e57990b3e6f647b9a7dbcb (patch)
tree63a1bab1ef8e5c3b301683069c6e42d6076c5cf8 /src/algebra/ffnb.spad.pamphlet
parentc7922bf127eac4b203fc3c36b0ae1d0f9d279f54 (diff)
downloadopen-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/ffnb.spad.pamphlet')
-rw-r--r--src/algebra/ffnb.spad.pamphlet8
1 files changed, 6 insertions, 2 deletions
diff --git a/src/algebra/ffnb.spad.pamphlet b/src/algebra/ffnb.spad.pamphlet
index b342f19e..c283b9ff 100644
--- a/src/algebra/ffnb.spad.pamphlet
+++ b/src/algebra/ffnb.spad.pamphlet
@@ -379,8 +379,12 @@ InnerNormalBasisFieldFunctions(GF): Exports == Implementation where
+/[monomial(x.i,(i-1)::NNI)$(SUP GF) for i in 1..(#x)::I]
@
+
\section{domain FFNBP FiniteFieldNormalBasisExtensionByPolynomial}
+
<<domain FFNBP FiniteFieldNormalBasisExtensionByPolynomial>>=
+import NonNegativeInteger
+import Matrix
)abbrev domain FFNBP FiniteFieldNormalBasisExtensionByPolynomial
++ Authors: J.Grabmeier, A.Scheerhorn
++ Date Created: 26.03.1991
@@ -514,7 +518,7 @@ FiniteFieldNormalBasisExtensionByPolynomial(GF,uni): Exports == _
coerce(v:GF):$ == new(extdeg,v /$GF traceAlpha)$Rep
represents(v) == v::$
- degree(a) ==
+ degree(a: %): PositiveInteger ==
d:PI:=1
b:= qPot(a::Rep,1)$INBFF
while (b~=a) repeat
@@ -652,7 +656,7 @@ divisor of the order of the multiplicative group"
if empty? facOfGroupSize then initializeElt()
facOfGroupSize
- extensionDegree() == extdeg
+ extensionDegree(): PositiveInteger == extdeg
sizeOfGroundField() == size()$GF pretend NNI