AERN-RnToRm-0.4.9.1: polynomial function enclosures (PFEs) approximating exact real functionsSource codeContentsIndex
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Bounds
Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz
Description
Quickcheck properties of bounding operations, ie constant bounds and binary min/max.
Produced by Haddock version 2.4.2