algebra-2.0.7: Constructive abstract algebra
Constructive abstract algebra
Modules
- Numeric
- Additive
- Numeric.Algebra
- Numeric.Algebra.Class
- Numeric.Algebra.Commutative
- Numeric.Algebra.Complex
- Distinguished
- Numeric.Algebra.Division
- Numeric.Algebra.Dual
- Numeric.Algebra.Factorable
- Numeric.Algebra.Hopf
- Numeric.Algebra.Hyperbolic
- Numeric.Algebra.Idempotent
- Numeric.Algebra.Incidence
- Numeric.Algebra.Involutive
- Numeric.Algebra.Quaternion
- Numeric.Algebra.Unital
- Band
- Coalgebra
- Numeric.Covector
- Decidable
- Dioid
- Numeric.Exp
- Field
- Numeric.Log
- Numeric.Map
- Module
- Order
- Partial
- Quadrance
- Rig
- Ring
- Rng
- Semiring