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