PrimeFieldCategory0

Next: lift Up: Finite Fields Previous: rootsSqfr Contents Index

PrimeFieldCategory0

$\begin{usage} PrimeFieldCategory0: Category \end{usage}$

$\begin{descr} PrimeFieldCategory0~is the category for prime fields,{\it i.e.}fi... ...athbbm Z}/ p {\mathbbm Z}$\ where $p \in {\mathbbm Z}$\ is a prime. \end{descr}$

Exports

FiniteCharacteristic

FiniteField

lift: % $\to$ Integer Conversion to an integer

Subsections

lift

Manuel Bronstein 2000-12-13

`FiniteCharacteristic`
`FiniteField`
`lift`:	% $\to$ `Integer`	Conversion to an integer