AERN-RnToRm-0.3.0.2: polynomial function enclosures (PFEs) approximating exact real functions

Portabilitynon-portable (requires fenv.h)
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.RnToRm.TestingDefs

Description

A few definitions useful for testing the enclosures code, eg in ghci.