Index - P
| Poly | Polynomial |
| polynomial | IntegralClosure |
| Positive | |
| 1 (Data Constructor) | Testing |
| 2 (Type/Class) | Testing |
| positive | Testing |
| positiveDivisors | NumericHelper |
| PositiveNat | Nat |
| prettyMatrix | Matrix |
| primeFactors | NumericHelper |
| primes | Primes |
| primitiveElement | Galois |
| printTestCase | Testing |
| prodAnnihilator | IntegralClosure |
| product | Ring |
| promote | Testing |
| Prop | Testing |
| Property | Testing |
| property | Testing |
| props_areAssociated | Ring |
| props_fieldAxioms | Field |
| props_irreducibleFactors | Factoring |
| props_isComposedPoly | Factoring |
| props_normUpperBound | NormedRing |
| props_ringAxioms | Ring |
| props_roots | RootFindingTesting |
| props_simplifyAlg | Factoring |
| Proxy | Proxy, TypeLevelNat |
| PseudoField | Complex |
| pseudoResolvent | Galois |