makeFastConvergRealSeq | Data.Number.ER.Real.Approx.Sequence, Data.Number.ER.Real, Data.Number.ER |
map | Data.Number.ER.Real.DomainBox |
mapFst | Data.Number.ER.Misc |
mapPair | Data.Number.ER.Misc |
mapPairHomog | Data.Number.ER.Misc |
mapSnd | Data.Number.ER.Misc |
max | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
maxExtensionR2R | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
member | Data.Number.ER.Real.DomainBox |
min | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
Minus | Data.Number.ER.PlusMinus |
MinusInfinity | Data.Number.ER.ExtendedInteger |
minusInfinity | Data.Number.ER.Real.Base |