AERN-RnToRm-0.4.9.1: polynomial function enclosures (PFEs) approximating exact real functions Source code Contents Index

Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate Portability portable Stability experimental Maintainer mik@konecny.aow.cz

Description

A collection of polynomials to pick from when testing.

Documentation

type P = ERChebPoly (Box Int) BM Source

newtype PNoLimits Source

Constructors PNoLimits (Int, P) Instances Show PNoLimits Arbitrary PNoLimits

newtype PSize10Degree3 Source

Constructors PSize10Degree3 (Int, P) Instances Show PSize10Degree3 Arbitrary PSize10Degree3

newtype PSize10Degree10 Source

Constructors PSize10Degree10 (Int, P) Instances Show PSize10Degree10 Arbitrary PSize10Degree10

newtype PSize10 Source

Constructors PSize10 (Int, P) Instances Show PSize10 Arbitrary PSize10

newtype PSize30 Source

Constructors PSize30 ((Int, Int), P) Instances Show PSize30 Arbitrary PSize30

data Int20 Source

Constructors Int20 Int Instances Show Int20 Arbitrary Int20

data Deg20Size20 Source

Constructors Deg20Size20 Int Int Instances Show Deg20Size20 Arbitrary Deg20Size20

data SmallRatio Source

Constructors SmallRatio Int Int Instances Show SmallRatio Arbitrary SmallRatio

chplAtKeyPointsCanBeLeq :: (ERRealBase b, DomainBox box varid Int, Ord box, DomainBoxMappable boxb boxbb varid b [ERInterval b], Show boxb) => ERChebPoly box b -> ERChebPoly box b -> Bool Source

chplAtKeyPointsPointwiseBinaryDownUpConsistent :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box, DomainBoxMappable boxb boxbb varid b [ERInterval b], Show boxb) => (ERInterval b -> ERInterval b -> ERInterval b) -> ERChebPoly box b -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b) -> Bool Source

enclAtKeyPointsPointwiseBinaryDownUpConsistent Source

:: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box, DomainBoxMappable boxb boxbb varid b [ERInterval b], Show boxb, Show testId) => String report file name -> testId item to identify the random input given to the test -> ERInterval b -> ERInterval b -> ERInterval b this real approx operation has to return an inner approximation of the exact result set, ie each number that the approximation supports is in the maximal extension -> (ERChebPoly box b, ERChebPoly box b) enclosure of argument 1 -> (ERChebPoly box b, ERChebPoly box b) enclosure of argument 2 -> (ERChebPoly box b, ERChebPoly box b) alleged enclosure of result -> Bool

enclAtKeyPointsPointwiseUnaryDownUpConsistent Source

:: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box, DomainBoxMappable boxb boxbb varid b [ERInterval b], Show boxb, Show testId) => String report file name -> testId item to identify the random input given to the test -> ERInterval b -> ERInterval b this real approx operation has to return an inner approximation of the exact result set, ie each number that the approximation supports is in the maximal extension -> (ERChebPoly box b, ERChebPoly box b) enclosure of argument -> (ERChebPoly box b, ERChebPoly box b) alleged enclosure of result -> Bool

enclAtKeyPointsConsistent Source

:: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box, DomainBoxMappable boxb boxbb varid b [ERInterval b], Show boxb, Show testId) => String report file name -> testId item to identify the random input given to the test -> boxb -> ERInterval b this operation has to return an inner approximation of the exact result set, ie each number that the approximation supports is a solution in the maximal extension -> [varid] variables to test over -> (ERChebPoly box b, ERChebPoly box b) alleged enclosure of result -> Bool

type E = (P, P) Source

vars :: [P] Source

varsE :: [E] Source

one :: P Source

oneE :: E Source

Produced by Haddock version 2.4.2