Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Internal module for Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.
Implementation of division applied to basic polynomial enclosures.
- enclRecip :: (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 -> EffortIndex -> Int -> (ERChebPoly box b, ERChebPoly box b) -> (ERChebPoly box b, ERChebPoly box b)
Documentation
:: (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 |
-> EffortIndex | minimum approx degree |
-> Int | degree of tau expansion |
-> (ERChebPoly box b, ERChebPoly box b) | |
-> (ERChebPoly box b, ERChebPoly box b) |
Approximate the pointwise reciprocal of a polynomial by another polynomial from below and from above using the tau method as described in [Mason & Handscomb 2003, p 62].