Constructive abstract algebra http://github.com/ekmett/algebra/
|Latest on Hackage:||4.3.1|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
Compatibility with GHC 8.4.x: added
Semigroup (End r)instance.
- Compatibility with GHC 8.0.x
- Dropped incomplete instance for
Algebra r (Map a b)instance
- Restructured Ring hierarchy (Thanks @dfoxfranke!)
- Added DecidableNilpotence class (Thanks @dfoxfranke!)
natsversion 1 and
base4.8's version of
Numeric.Natural. This required monomorphizing some stuff to
Natural, but that is more accurate than the previous hack anyways.
Added Euclidean domains and the field of fractions.
- Compatibility with GHC 7.8.x
- Started CHANGELOG