P | Algebra.TypeChar.Char |
productRing | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propBezoutDomain | Algebra.Structures.BezoutDomain |
propCoherent | Algebra.Structures.Coherent |
propCommutativeRing | Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propEuclideanDomain | Algebra.Structures.EuclideanDomain |
propField | Algebra.Structures.Field |
propGCDDomain | Algebra.Structures.GCDDomain |
propIntegralDomain | Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propPLM | Algebra.PLM |
propRing | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propSolveGeneral | Algebra.Structures.Coherent |
propSolveGeneralEquation | Algebra.Structures.Coherent |
propSolveMxN | Algebra.Structures.Coherent |
propStronglyDiscrete | Algebra.Structures.StronglyDiscrete |
P_ | Algebra.TypeChar.Char |