The latest version of constructive-algebra is 0.3.0-0.
lib:constructive-algebra
Modules
- Algebra.Ideal
- Algebra.Q
- Algebra.Structures.BezoutDomain
- Algebra.Structures.CommutativeRing
- Algebra.Structures.EuclideanDomain
- Algebra.Structures.Field
- Algebra.Structures.FieldOfFractions
- Algebra.Structures.GCDDomain
- Algebra.Structures.IntegralDomain
- Algebra.Structures.Ring
- Algebra.Structures.StronglyDiscrete
- Algebra.Z
Dependencies
- QuickCheck lib:QuickCheck >=2
- base lib:base >=3 && <=4
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything