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 |