constructive-algebra-0.3.0: A library of constructive algebra.

Index - I

IAlgebra.TypeChar.Char
IdAlgebra.Ideal
IdealAlgebra.Ideal
identityAlgebra.Matrix
IntegralDomainAlgebra.Structures.IntegralDomain, Algebra.Structures.Field, Algebra.Z
intersectionBAlgebra.Structures.BezoutDomain
intersectionBWitnessAlgebra.Structures.BezoutDomain
intersectionPDAlgebra.Structures.PruferDomain
intersectionPDWitnessAlgebra.Structures.PruferDomain
invAlgebra.Structures.Field
invertIdealAlgebra.Structures.PruferDomain
isPrimitiveAlgebra.UPoly
isPrincipalAlgebra.Ideal
isSameIdealAlgebra.Ideal
isSolutionAlgebra.Structures.Coherent
isSquareMatrixAlgebra.Matrix
isUnitAlgebra.Structures.ExplicitUnits
I_Algebra.TypeChar.Char