From 4126dc2b32ee818635e57990b3e6f647b9a7dbcb Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 18 Sep 2008 14:26:35 +0000 Subject: * 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. --- src/algebra/ffcat.spad.pamphlet | 27 ++++++++++++++++++++++++--- 1 file changed, 24 insertions(+), 3 deletions(-) (limited to 'src/algebra/ffcat.spad.pamphlet') diff --git a/src/algebra/ffcat.spad.pamphlet b/src/algebra/ffcat.spad.pamphlet index c87c4c12..b69923d4 100644 --- a/src/algebra/ffcat.spad.pamphlet +++ b/src/algebra/ffcat.spad.pamphlet @@ -117,8 +117,18 @@ ExtensionField(F:Field) : Category == Join(Field,RetractableTo F,VectorSpace F) Frobenius(a,s) == a ** (size()$F ** s) @ + \section{category FAXF FiniteAlgebraicExtensionField} + <>= +import Boolean +import NonNegativeInteger +import PositiveInteger +import Vector +import Matrix +import SparseUnivariatePolynomial +import OnePointCompletion +import CardinalNumber )abbrev category FAXF FiniteAlgebraicExtensionField ++ Author: J. Grabmeier, A. Scheerhorn ++ Date Created: 11 March 1991 @@ -283,7 +293,7 @@ FiniteAlgebraicExtensionField(F : Field) : Category == _ m algebraic? a == true transcendent? a == false - extensionDegree() == (#basis()) :: PositiveInteger + extensionDegree(): PositiveInteger == (#basis()) :: PositiveInteger -- degree a == degree(minimalPolynomial a)$SUP(F) :: PI trace a == b := basis() @@ -384,7 +394,7 @@ FiniteAlgebraicExtensionField(F : Field) : Category == _ for i in 0..extensionDegree()-1] gcd(p,f) = 1 => true false - degree a == + degree(a: %): PositiveInteger == y:$:=Frobenius a deg:PI:=1 while y~=a repeat @@ -475,8 +485,19 @@ DiscreteLogarithmPackage(M): public == private where disclog pretend NonNegativeInteger @ + \section{category FFIELDC FiniteFieldCategory} + <>= +import Boolean +import Integer +import NonNegativeInteger +import PositiveInteger +import Matrix +import List +import Table +import OnePointCompletion +import SparseUnivariatePolynomial )abbrev category FFIELDC FiniteFieldCategory ++ Author: J. Grabmeier, A. Scheerhorn ++ Date Created: 11 March 1991 @@ -600,7 +621,7 @@ FiniteFieldCategory() : Category ==_ -- equalone := one?(a**(q quo exp.factor)) equalone := ((a**(q quo exp.factor)) = 1) not equalone - order e == + order(e: %): PositiveInteger == e = 0 => error "order(0) is not defined " ord:Integer:= size()-1 -- order e divides ord a:Integer:= 0 -- cgit v1.2.3