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

Data.Number.ER.Real.Approx.Tests.Reporting

Documentation

unsafeERTestReport :: (Show tId, Show sId, ERIntApprox ira) => String -> (tId, sId, ira, ira) -> a -> aSource

getOverestimation :: ERIntApprox ira => ira -> ira -> (Double, (ira, ira))Source