up previous next
NewRingFp

create a new finite field

Syntax
NewRingFp(P: INT): RING

Description
Create a new small prime finite field with characteristic P .

Example
/**/ P := NextPrime(1000);
/**/ Fp := NewRingFp(P);
/**/ Use Fp[x];
/**/ product([x-i | i in 1..P]);
x^1009 - x

See Also