diff options
Diffstat (limited to 'src/algebra/ffcg.spad.pamphlet')
| -rw-r--r-- | src/algebra/ffcg.spad.pamphlet | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/algebra/ffcg.spad.pamphlet b/src/algebra/ffcg.spad.pamphlet index 212bc91b..941c34d6 100644 --- a/src/algebra/ffcg.spad.pamphlet +++ b/src/algebra/ffcg.spad.pamphlet @@ -25,8 +25,12 @@ -- finite field represented by it's cyclic group and 'zero' as an -- extra element \end{verbatim} + \section{domain FFCGP FiniteFieldCyclicGroupExtensionByPolynomial} + <<domain FFCGP FiniteFieldCyclicGroupExtensionByPolynomial>>= +import SingleInteger +import PrimitiveArray )abbrev domain FFCGP FiniteFieldCyclicGroupExtensionByPolynomial ++ Authors: J.Grabmeier, A.Scheerhorn ++ Date Created: 26.03.1991 @@ -282,7 +286,7 @@ FiniteFieldCyclicGroupExtensionByPolynomial(GF,defpol):_ initelt?:=false void()$Void - extensionDegree() == extdeg pretend PI + extensionDegree(): PositiveInteger == extdeg pretend PI characteristic() == characteristic()$GF |