raEndpoints | Data.Number.ER.RnToRm.UnitDom.Base |
raFromEndpoints | Data.Number.ER.RnToRm.UnitDom.Base |
ranra2domra | Data.Number.ER.RnToRm.Approx, Data.Number.ER.RnToRm |
recipEncl | Data.Number.ER.RnToRm.UnitDom.Base |
recipIEnclPositive | Data.Number.ER.RnToRm.UnitDom.Base |
recipUp | Data.Number.ER.RnToRm.UnitDom.Base |
recip_encl_consistent | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Division |
reduceDegreeUp | Data.Number.ER.RnToRm.UnitDom.Base |
reduceSizeUp | Data.Number.ER.RnToRm.UnitDom.Base |
removeVars | Data.Number.ER.RnToRm.BisectionTree |
runUFBTests | Data.Number.ER.RnToRm.UnitDom.Base.Tests.Run |