Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Internal module for Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.
Implementation of field arithmetic over polynomials with pointwise rounding uniform over the whole unit domain.
- chplReduceTermCount :: (ERRealBase b, DomainBox box varid Int, Ord box) => Int -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b)
- chplReduceDegree :: (ERRealBase b, DomainBox box varid Int, Ord box) => Int -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b)
Documentation
chplReduceTermCount :: (ERRealBase b, DomainBox box varid Int, Ord box) => Int -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b)Source
:: (ERRealBase b, DomainBox box varid Int, Ord box) | |
=> Int | new maximal order |
-> ERChebPoly box b | |
-> (ERChebPoly box b, ERChebPoly box b) | lower and upper bounds with limited degree |
Convert a polynomial to a lower-order one that is dominated by (resp. dominates) it closely on the domain [-1,1].