Index - P
| PBool | Data.Order, Data.Number.Real |
| pCompare | Data.Number.Real |
| PFalse | Data.Order, Data.Number.Real |
| pi | Data.Number.MPFR, Data.Number.Dyadic |
| pi_ | Data.Number.MPFR, Data.Number.Dyadic |
| POrdering | Data.Order |
| pow | Data.Number.MPFR, Data.Number.Dyadic |
| pow2 | Data.Number.Dyadic |
| powi | Data.Number.MPFR, Data.Number.Dyadic |
| powi_ | Data.Number.MPFR, Data.Number.Dyadic |
| poww | Data.Number.MPFR, Data.Number.Dyadic |
| poww_ | Data.Number.MPFR, Data.Number.Dyadic |
| pow_ | Data.Number.MPFR, Data.Number.Dyadic |
| Precision | Data.Number.MPFR, Data.Number.Dyadic |
| PTrue | Data.Order, Data.Number.Real |