GF Ring -- make a finite field from a ring

GF Ring -- make a finite field from a ring

Synopsis:

Function: GF -- make a finite field

Input:

an instance of class Ring.

Output:

an instance of class GaloisField.

Optional arguments :

GF(..., PrimitiveElement) -- specify a primitive element

GF(..., Variable) -- specify a name for the generator of a Galois field

GF R -- make a Galois field from a quotient ring R which happens to be isomorphic to a finite field.

i1 : k = GF(ZZ/2[t]/(t^3+t+1))



o1 = k



o1 : GaloisField

i2 : t+t^2



      4

o2 = t



o2 : k