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

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary

Description

Quickcheck properties of some elementary operations on primitive polynomial enclosures.

Documentation

sincosDomain :: ERRealBase b => (Maybe b, Maybe b)Source

noDomainRestriction :: ERRealBase b => (Maybe b, Maybe b)Source

positiveDomain :: ERRealBase b => (Maybe b, Maybe b)Source