AERN-RnToRm-0.4.9.1: polynomial function enclosures (PFEs) approximating exact real functionsSource codeContentsIndex
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Enclosure
Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz
Description
Quickcheck properties of basic enclosure operations, mainly ring operations.
Produced by Haddock version 2.4.2