Constructive abstract algebra


Keywords
bsd3, library, math, Propose Tags, Skip to Readme, , Index, Numeric.Additive.Class, Numeric.Additive.Group, Numeric.Algebra, Numeric.Algebra.Class, Numeric.Algebra.Commutative, Numeric.Algebra.Complex, Numeric.Algebra.Complex.Class, Numeric.Algebra.Distinguished.Class, Numeric.Algebra.Division, Numeric.Algebra.Dual, Numeric.Algebra.Dual.Class, Numeric.Algebra.Factorable, Numeric.Algebra.Hopf, Numeric.Algebra.Hyperbolic, Numeric.Algebra.Idempotent, Numeric.Algebra.Incidence, Numeric.Algebra.Involutive, Numeric.Algebra.Quaternion, Numeric.Algebra.Quaternion.Class, Numeric.Algebra.Unital, Numeric.Algebra.Unital.UnitNormalForm, Numeric.Band.Class, Numeric.Band.Rectangular, Numeric.Coalgebra.Categorical, Numeric.Coalgebra.Dual, Numeric.Coalgebra.Geometric, Numeric.Coalgebra.Hyperbolic, Numeric.Coalgebra.Hyperbolic.Class, Numeric.Coalgebra.Incidence, Numeric.Coalgebra.Quaternion, Numeric.Coalgebra.Trigonometric, Numeric.Coalgebra.Trigonometric.Class, Numeric.Covector, Numeric.Decidable.Associates, Numeric.Decidable.Nilpotent, Numeric.Decidable.Units, Numeric.Decidable.Zero, Numeric.Dioid.Class, Numeric.Domain.Class, Numeric.Domain.Euclidean, Numeric.Domain.GCD, Numeric.Domain.Integral, Numeric.Domain.PID, Numeric.Domain.UFD, Numeric.Exp, Numeric.Field.Class, Numeric.Field.Fraction, Numeric.Log, Numeric.Map, Numeric.Module.Class, Numeric.Module.Representable, Numeric.Order.Additive, Numeric.Order.Class, Numeric.Order.LocallyFinite, Numeric.Partial.Group, Numeric.Partial.Monoid, Numeric.Partial.Semigroup, Numeric.Quadrance.Class, Numeric.Rig.Characteristic, Numeric.Rig.Class, Numeric.Rig.Ordered, Numeric.Ring.Class, Numeric.Ring.Division, Numeric.Ring.Endomorphism, Numeric.Ring.Local, Numeric.Ring.Opposite, Numeric.Ring.Rng, Numeric.Rng.Class, Numeric.Rng.Zero, Numeric.Semiring.Involutive, Numeric.Semiring.ZeroProduct, algebra-4.3.1.tar.gz, browse, Package description, revised, metadata revisions, Package maintainers, EdwardKmett, HiromiIshii, WolfgangJeltsch, edit package information
License
BSD-3-Clause
Install
cabal install algebra-4.3.1

Documentation

algebra

Hackage Build Status

This is a package for exploring constructive abstract algebra in Haskell.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett