The latest version of constructive-algebra is 0.3.0-0.
lib:constructive-algebra
Modules
- Algebra.EllipticCurve
- Algebra.FieldOfRationalFunctions
- Algebra.Ideal
- Algebra.Matrix
- Algebra.PLM
- Algebra.Q
- Algebra.Structures.BezoutDomain
- Algebra.Structures.Coherent
- Algebra.Structures.CommutativeRing
- Algebra.Structures.EuclideanDomain
- Algebra.Structures.Field
- Algebra.Structures.FieldOfFractions
- Algebra.Structures.GCDDomain
- Algebra.Structures.IntegralDomain
- Algebra.Structures.PruferDomain
- Algebra.Structures.Ring
- Algebra.Structures.StronglyDiscrete
- Algebra.TypeChar.Char
- Algebra.UPoly
- Algebra.Z
- Algebra.ZSqrt5
- Algebra.Zn
Dependencies
- QuickCheck lib:QuickCheck >=2
- base lib:base >=3 && <=4
- type-level lib:type-level >=0.2
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything