Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Internal module for Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.
Implementation of pointwise consistently rounded polynomial composition.
- enclCompose :: (ERRealBase b, DomainBox box varid Int, Ord box, Show varid, DomainIntBox boxra varid (ERInterval b), DomainBoxMappable boxra boxras varid (ERInterval b) [ERInterval b]) => Int -> Int -> ERChebPoly box b -> varid -> (ERChebPoly box b, ERChebPoly box b) -> (ERChebPoly box b, ERChebPoly box b)
- enclComposeMany :: (ERRealBase b, DomainBox box varid Int, Ord box, Show varid, DomainIntBox boxra varid (ERInterval b), DomainBoxMappable boxra boxras varid (ERInterval b) [ERInterval b]) => Int -> Int -> ERChebPoly box b -> Map varid (ERChebPoly box b, ERChebPoly box b) -> (ERChebPoly box b, ERChebPoly box b)
Documentation
:: (ERRealBase b, DomainBox box varid Int, Ord box, Show varid, DomainIntBox boxra varid (ERInterval b), DomainBoxMappable boxra boxras varid (ERInterval b) [ERInterval b]) | |
=> Int | max degree for result |
-> Int | max approx size for result |
-> ERChebPoly box b | f |
-> varid | variable |
-> (ERChebPoly box b, ERChebPoly box b) | enclosure of a function |
-> (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].
:: (ERRealBase b, DomainBox box varid Int, Ord box, Show varid, DomainIntBox boxra varid (ERInterval b), DomainBoxMappable boxra boxras varid (ERInterval b) [ERInterval b]) | |
=> Int | max degree for result |
-> Int | max 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].