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.ExplicitUnits
• Algebra.Structures.Field
• Algebra.Structures.FieldOfFractions
• Algebra.Structures.GCDDomain
• Algebra.Structures.Group
• Algebra.Structures.IntegralDomain
• Algebra.Structures.Module
• 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.3.1.0
• type-level lib:type-level >=0.2

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything