AERN-Real-0.10.0.1: arbitrary precision interval arithmetic for approximating exact real numbers

Index - +

+:Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER