Index - P
| P | Data.Number.ER.RnToRm.DefaultRepr, Data.Number.ER.RnToRm |
| partialEval | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
| partialEvalApproxUp | Data.Number.ER.RnToRm.UnitDom.Base |
| partialIntersect | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
| path2dom | Data.Number.ER.RnToRm.BisectionTree.Path |
| polynomials1200ishSize10 | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Generate |
| polynomials1200ishSize10Degree3 | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Generate |
| polynomials1200ishSize10Small | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Generate |
| positiveDomain | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| proj | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
| prop_binary_ParalEncls_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure |
| prop_binary_ThickEncls_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure |
| prop_binary_ThinEncls_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure |
| prop_enclAdd_ParalEncls_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure |
| prop_enclAdd_ThickEncls_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure |
| prop_enclAdd_ThinEncls_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure |
| prop_enclAtan_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclAtan_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclAtan_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclCompose_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Compose |
| prop_enclCompose_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Compose |
| prop_enclCompose_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Compose |
| prop_enclCosine_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclCosine_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclCosine_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclExp_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclExp_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclExp_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclMult_ParalEncls_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure |
| prop_enclMult_ThickEncls_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure |
| prop_enclMult_ThinEncls_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure |
| prop_enclRecip_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Division |
| prop_enclRecip_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Division |
| prop_enclRecip_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Division |
| prop_enclScale_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure |
| prop_enclScale_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure |
| prop_enclScale_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure |
| prop_enclSine_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclSine_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclSine_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclSqrt_ParalEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclSqrt_ThickEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_enclSqrt_ThinEncl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary |
| prop_fbAddConst_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Ring |
| prop_fbAdd_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Ring |
| prop_fbBounds_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Bounds |
| prop_fbIntegrateDiffDown_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Integration |
| prop_fbIntegrateDiffUp_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Integration |
| prop_fbMax_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Bounds |
| prop_fbMin_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Bounds |
| prop_fbMult_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Ring |
| prop_fbReduceDegree_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Reduce |
| prop_fbReduceTermCount_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Reduce |
| prop_fbScale_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Ring |