Finite field and algebraic extension field arithmetic
fromU
for RootsOfUnityMod
dependency for prime fields.GaloisField
to Data.Field.Galois
.Field
export for Galois fields.Semiring
dependency for Galois fields.PrimeField
to Prime
and add PrimeField
class.ExtensionField
to Extension
and add ExtensionField
class.BinaryField
to Binary
and add BinaryField
class.split
to poly
and swap IrreducibleMonic
parameters.toInt
, toField
, fromField
to from
, to
conversion functions.Integer
with Natural
.CyclicSubgroup
class with generator function.RootsOfUnity
type with cofactor, check, and conversion functions.TowerOfFields
class with embed and scalar multiplication functions.Bounded
instances for prime fields and binary fields.Enum
instances for prime fields and binary fields.Group
instances for Galois fields.Hashable
instances for prime fields and binary fields.Integral
instances for prime fields and binary fields.IsList
instances for Galois fields.Real
instances for prime fields and binary fields.rndR
function for Galois fields.conj
function for extension fields.SPECIALISE
.frob
function.Vector
implementation of extension fields.qnr
function for Galois fields.qr
function for Galois fields.quad
function for extension fields and binary fields.sr
function for extension fields and binary fields.Semiring
instances for Galois fields.Ord
instances for Galois fields.RULES
.quad
function for prime fields.sr
function for prime fields.