 | 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.Division |
|
Internal module for Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.
Implementation of elementary functions applied to polynomials.
| enclRecip :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) => Int -> Int -> EffortIndex -> Int -> (ERChebPoly box b, ERChebPoly box b) -> (ERChebPoly box b, ERChebPoly box b) |
| enclRecip | Source |
| :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) | |
| => Int | maximum polynomial degree |
| -> Int | maximum term count |
| -> EffortIndex | minimum approx degree |
| -> Int | degree of tau expansion |
| -> (ERChebPoly box b, ERChebPoly box b) | |
| -> (ERChebPoly box b, ERChebPoly box b) | |
| Approximate the pointwise cosine of a polynomial by another polynomial from below and from above using the tau method as described in [Mason & Handscomb 2003, p 62]. | |