GaloisField -- the class of all Galois fields

Functions and methods returning a Galois field :

• GF(Ring) -- make a finite field from a ring
• GF(ZZ) -- make a finite field of a given order
• GF(ZZ,ZZ) -- make a finite field of a given prime power order

Methods that use a Galois field :

• ambient(GaloisField) -- corresponding quotient ring
• random(GaloisField) -- random element of a Galois field

For the programmer

The object GaloisField is a type, with ancestor classes EngineRing < Ring < Type < MutableHashTable < HashTable < Thing.