This module defines types representing finite fields. It supports both fields of prime order and of prime power order. The easiest way to create Galois fields is with the @GaloisField and @GaloisField ...