AERN-RnToRm-0.4.9.1: polynomial function enclosures (PFEs) approximating exact real functionsSource codeContentsIndex
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Compose
Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz
Description

Internal module for Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.

Implementation of pointwise consistently rounded polynomial composition.

Synopsis
enclCompose :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) => Int -> Int -> ERChebPoly box b -> varid -> (ERChebPoly box b, ERChebPoly box b) -> (ERChebPoly box b, ERChebPoly box b)
enclComposeMany :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) => Int -> Int -> ERChebPoly box b -> Map varid (ERChebPoly box b, ERChebPoly box b) -> (ERChebPoly box b, ERChebPoly box b)
Documentation
enclComposeSource
:: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box)
=> Intmax degree for result
-> Intmax approx size for result
-> ERChebPoly box b
f
-> varidvariable v to substitute in f
-> (ERChebPoly box b, ERChebPoly box b)enclosure of a function f_v to substitute for v that maps [-1,1] into [-1,1]
-> (ERChebPoly box b, ERChebPoly box b)lower bound and upper bound
Compose a polynomial and an enclosure, producing a correcly rounded enclosure, assuming the second polynomial maps [-1,1] into [-1,1].
enclComposeManySource
:: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box)
=> Intmax degree for result
-> Intmax approx size for result
-> ERChebPoly box b
-> Map varid (ERChebPoly box b, ERChebPoly box b)variables to substitute and the enclosures to substitute for each of them respectively
-> (ERChebPoly box b, ERChebPoly box b)lower bound (negated) and upper bound
Compose two polynomials, rounding upwards provided the second polynomial maps [-1,1] into [-1,1].
Produced by Haddock version 2.4.2