- Add
fromU
for RootsOfUnity - Update to support removal of :% for Rational from Protolude 0.3
- Bump upper bound for poly.
- Bump upper bound for groups.
- Add
Mod
dependency for prime fields. - Add minor optimisations for prime fields.
- Remove unsafeCoerce for number coercions.
- Bump poly dependency to 0.4.
- Bump upper bound for protolude.
- Add
Bit
dependency for binary fields. - Add major optimisations for binary fields.
- Refactor library structure from
GaloisField
toData.Field.Galois
. - Add
Field
export for Galois fields. - Add
Semiring
dependency for Galois fields. - Rename
PrimeField
toPrime
and addPrimeField
class. - Rename
ExtensionField
toExtension
and addExtensionField
class. - Rename
BinaryField
toBinary
and addBinaryField
class. - Rename
split
topoly
and swapIrreducibleMonic
parameters. - Rename
toInt
,toField
,fromField
tofrom
,to
conversion functions. - Replace
Integer
withNatural
. - Add
CyclicSubgroup
class with generator function. - Add
RootsOfUnity
type with cofactor, check, and conversion functions. - Add
TowerOfFields
class with embed and scalar multiplication functions. - Add
Bounded
instances for prime fields and binary fields. - Add
Enum
instances for prime fields and binary fields. - Add
Group
instances for Galois fields. - Add
Hashable
instances for prime fields and binary fields. - Add
Integral
instances for prime fields and binary fields. - Add
IsList
instances for Galois fields. - Add
Real
instances for prime fields and binary fields. - Add
rndR
function for Galois fields. - Add
conj
function for extension fields. - Add minor optimisations to exponentiation with
SPECIALISE
. - Add major optimisations to
frob
function. - Add pattern synonyms for field elements.
- Add compilation optimisations with
INLINABLE
.
- Add
Poly
dependency for extension fields. - Add
qnr
function for Galois fields. - Add
qr
function for Galois fields. - Add
quad
function for extension fields and binary fields. - Add
sr
function for extension fields and binary fields. - Add
Semiring
instances for Galois fields. - Add
Ord
instances for Galois fields. - Add minor optimisations to exponentiation with
RULES
. - Add pattern synonyms for monic monomials.
- Add complete implementation of binary fields.
- Add
quad
function for prime fields. - Add
sr
function for prime fields.
- Add preliminary implementation of binary fields.
- Add
frob
function for Galois fields. - Add minor improvements to documentation.
- Add
deg
function for Galois fields. - Add
order
function for Galois fields. - Add
pow
function for Galois fields. - Add
rnd
function for Galois fields. - Add
Random
instances for Galois fields.
- Add
Arbitrary
instances for Galois fields. - Add
Bits
instances for prime fields. - Add
Pretty
instances for Galois fields. - Add minor optimisations to multiplication and inversion with
INLINE
.
- Initial release.