| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | mik@konecny.aow.cz |
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner
Description
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
Arguments
| :: (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) |
Arguments
| :: (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) |
Arguments
| :: (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) |
Arguments
| :: (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.