AERN-RnToRm-0.5.0.1: polynomial function enclosures (PFEs) approximating exact real functions

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Division

Description

Internal module for Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.

Implementation of division applied to basic polynomial enclosures.

Synopsis

Documentation

enclRecipSource

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) 
-> (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].