 | AERN-RnToRm-0.4.9.1: polynomial function enclosures (PFEs) approximating exact real functions | Source code | Contents | Index |
| Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Reduce |
|
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) |
| chplReduceTermCount :: (ERRealBase b, DomainBox box varid Int, Ord box) => Int -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b) | Source |
| chplReduceDegree | 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]. | |