Index - *
** | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
**: | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
*: | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
AERN-Real-0.10.0.2: arbitrary precision interval arithmetic for approximating exact real numbers