PrimeFieldCategory

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

PrimeFieldCategory

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

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

Exports

PrimeFieldCategory0

FactorizationRing

roots: (P:POLY %) $\to$ P $\to$ List Cross(%, Integer) In-field roots

rootsSqfr: (P:POLY %) $\to$ P $\to$ List % In-field roots

where
POLY == UnivariatePolynomialCategory0

Subsections

rootsSqfr

Manuel Bronstein 2000-12-13

`PrimeFieldCategory0`
`FactorizationRing`
`roots`:	(P:POLY %) $\to$ P $\to$ `List` `Cross`(%, `Integer`)	In-field roots
`rootsSqfr`:	(P:POLY %) $\to$ P $\to$ `List` %	In-field roots