galois-field v1.0 Release Notes

Release Date: 2019-10-25 // almost 3 years ago
    • ๐Ÿ”จ Refactor library structure from GaloisField to Data.Field.Galois.
    • โž• Add Field export for Galois fields.
    • โž• Add Semiring dependency for Galois fields.
    • ๐Ÿ“‡ Rename PrimeField to Prime and add PrimeField class.
    • ๐Ÿ“‡ Rename ExtensionField to Extension and add ExtensionField class.
    • ๐Ÿ“‡ Rename BinaryField to Binary and add BinaryField class.
    • ๐Ÿ“‡ Rename split to poly and swap IrreducibleMonic parameters.
    • ๐Ÿ“‡ Rename toInt, toField, fromField to from, to conversion functions.
    • Replace Integer with Natural.
    • โž• 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.