Skip to content

1.0 Release
Compare
Choose a tag to compare
@sdiehl sdiehl released this 25 Oct 05:59
· 55 commits to master since this release
1.0
aaef1a0
  • 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.
Assets 2
Loading