Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Internal module for Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.
Implementation of selected operations working on pairs of polynomials understood as *inner approximations* of function enclosures. These are needed to define full Kaucher arithmetic.
- ienclThin :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERChebPoly box b -> ((ERChebPoly box b, ERChebPoly box b), Bool)
- ienclConst :: (ERRealBase b, DomainBox box varid Int, Ord box) => b -> ((ERChebPoly box b, ERChebPoly box b), Bool)
- ienclRAConst :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERInterval b -> ((ERChebPoly box b, ERChebPoly box b), Bool)
- ienclAdd :: (ERRealBase b, DomainBox box varid Int, Ord box) => Int -> Int -> ((ERChebPoly box b, ERChebPoly box b), Bool) -> ((ERChebPoly box b, ERChebPoly box b), Bool) -> ((ERChebPoly box b, ERChebPoly box b), Bool)
- ienclMultiply :: (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, ERChebPoly box b), Bool) -> ((ERChebPoly box b, ERChebPoly box b), Bool) -> ((ERChebPoly box b, ERChebPoly box b), Bool)
- ienclSquare :: (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, ERChebPoly box b), Bool) -> ((ERChebPoly box b, ERChebPoly box b), Bool)
- ienclScaleNonneg :: (ERRealBase b, DomainBox box varid Int, Ord box) => b -> ((ERChebPoly box b, ERChebPoly box b), Bool) -> ((ERChebPoly box b, ERChebPoly box b), Bool)
Documentation
ienclThin :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERChebPoly box b -> ((ERChebPoly box b, ERChebPoly box b), Bool)Source
ienclConst :: (ERRealBase b, DomainBox box varid Int, Ord box) => b -> ((ERChebPoly box b, ERChebPoly box b), Bool)Source
ienclRAConst :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERInterval b -> ((ERChebPoly box b, ERChebPoly box b), Bool)Source
:: (ERRealBase b, DomainBox box varid Int, Ord box) | |
=> Int | maximum polynomial degree |
-> Int | maximum term count |
-> ((ERChebPoly box b, ERChebPoly box b), Bool) | |
-> ((ERChebPoly box b, ERChebPoly box b), Bool) | |
-> ((ERChebPoly box b, ERChebPoly box b), Bool) |
:: (ERRealBase b, DomainBox box varid Int, Ord box, Show varid, DomainIntBox boxra varid (ERInterval b), DomainBoxMappable boxra boxras varid (ERInterval b) [ERInterval b]) | |
=> Int | maximum polynomial degree |
-> Int | maximum term count |
-> ((ERChebPoly box b, ERChebPoly box b), Bool) | |
-> ((ERChebPoly box b, ERChebPoly box b), Bool) | |
-> ((ERChebPoly box b, ERChebPoly box b), Bool) |
:: (ERRealBase b, DomainBox box varid Int, Ord box, Show varid, DomainIntBox boxra varid (ERInterval b), DomainBoxMappable boxra boxras varid (ERInterval b) [ERInterval b]) | |
=> Int | maximum polynomial degree |
-> Int | maximum term count |
-> ((ERChebPoly box b, ERChebPoly box b), Bool) | |
-> ((ERChebPoly box b, ERChebPoly box b), Bool) |
:: (ERRealBase b, DomainBox box varid Int, Ord box) | |
=> b | ratio to scale by |
-> ((ERChebPoly box b, ERChebPoly box b), Bool) | |
-> ((ERChebPoly box b, ERChebPoly box b), Bool) |
Multiply an enclosure by a scalar assuming the enclosure is non-negative on the whole unit domain.