Index - R
| RA | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |
| readMaybe | Data.Number.ER.Misc |
| refines | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| replicateSeveral | Data.Number.ER.Misc |
AERN-Real-0.9.3.1: datatypes and abstractions for approximating exact real numbers