I | Algebra.TypeChar.Char |
Id | Algebra.Ideal |
Ideal | Algebra.Ideal |
identity | Algebra.Matrix |
IntegralDomain | Algebra.Structures.IntegralDomain, Algebra.Structures.Field, Algebra.Z |
intersectionB | Algebra.Structures.BezoutDomain |
intersectionBWitness | Algebra.Structures.BezoutDomain |
intersectionPD | Algebra.Structures.PruferDomain |
intersectionPDWitness | Algebra.Structures.PruferDomain |
inv | Algebra.Structures.Field |
invertIdeal | Algebra.Structures.PruferDomain |
isPrimitive | Algebra.UPoly |
isPrincipal | Algebra.Ideal |
isSameIdeal | Algebra.Ideal |
isSolution | Algebra.Structures.Coherent |
isSquareMatrix | Algebra.Matrix |
isUnit | Algebra.Structures.ExplicitUnits |
I_ | Algebra.TypeChar.Char |