Index - P
| P | Algebra.TypeChar.Char |
| pivot | Algebra.Matrix |
| productRing | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propAbelianGroup | Algebra.Structures.Group |
| propAddAssoc | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propAddComm | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propAddIdentity | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propAddInv | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propAssoc | Algebra.Structures.Group |
| propBezoutDomain | Algebra.Structures.BezoutDomain |
| propCalcUVW | Algebra.Structures.PruferDomain |
| propCalcUVWT | Algebra.Structures.PruferDomain |
| propCoherent | Algebra.Structures.Coherent |
| propComm | Algebra.Structures.Group |
| propCommutativeRing | Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propEuclideanDomain | Algebra.Structures.EuclideanDomain |
| propField | Algebra.Structures.Field |
| propGCD | Algebra.Structures.GCDDomain |
| propGCDDomain | Algebra.Structures.GCDDomain |
| propGroup | Algebra.Structures.Group |
| propId | Algebra.Structures.Group |
| propIntegralDomain | Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propInv | Algebra.Structures.Group |
| propIsSameIdeal | Algebra.Structures.BezoutDomain |
| propLeftDist | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propLeftIdentity | Algebra.Matrix |
| propModule | Algebra.Structures.Module |
| propMulAssoc | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propMulComm | Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propMulIdentity | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propMulInv | Algebra.Structures.Field |
| propNorm | Algebra.Structures.EuclideanDomain |
| propPLM | Algebra.PLM |
| propPruferDomain | Algebra.Structures.PruferDomain |
| propQuotRem | Algebra.Structures.EuclideanDomain |
| propReduce | Algebra.Structures.FieldOfFractions |
| propRightDist | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propRightIdentity | Algebra.Matrix |
| propRing | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| propScalarAdd | Algebra.Structures.Module |
| propScalarAssoc | Algebra.Structures.Module |
| propScalarMul | Algebra.Structures.Module |
| propSolveGeneral | Algebra.Structures.Coherent |
| propSolveGeneralEquation | Algebra.Structures.Coherent |
| propSolveMxN | Algebra.Structures.Coherent |
| propStronglyDiscrete | Algebra.Structures.StronglyDiscrete |
| propToPrimitive | Algebra.UPoly |
| propToPrincipal | Algebra.Structures.BezoutDomain |
| propUnit | Algebra.Structures.ExplicitUnits |
| propZeroDivisors | Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| PruferDomain | Algebra.Structures.PruferDomain |
| P_ | Algebra.TypeChar.Char |