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

Index - I

IAlgebra.TypeChar.Char
IdAlgebra.Ideal
IdealAlgebra.Ideal
identityAlgebra.Matrix
IntegralDomainAlgebra.Structures.IntegralDomain, Algebra.Structures.Field
intersectionBAlgebra.Structures.BezoutDomain
intersectionBWitnessAlgebra.Structures.BezoutDomain
intersectionPDAlgebra.Structures.PruferDomain
intersectionPDWitnessAlgebra.Structures.PruferDomain
invAlgebra.Structures.Field
invertIdealAlgebra.Structures.PruferDomain
isPrincipalAlgebra.Ideal
isSameIdealAlgebra.Ideal
isSquareMatrixAlgebra.Matrix
I_Algebra.TypeChar.Char