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.EnclosureInner

Description

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

Implementation of selected operations working on pairs of polynomials understood as *inner approximations* of function enclosures. These are needed to define full Kaucher arithmetic.

Synopsis

Documentation

ienclThin :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERChebPoly box b -> ((ERChebPoly box b, ERChebPoly box b), Bool)Source

ienclConst :: (ERRealBase b, DomainBox box varid Int, Ord box) => b -> ((ERChebPoly box b, ERChebPoly box b), Bool)Source

ienclRAConst :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERInterval b -> ((ERChebPoly box b, ERChebPoly box b), Bool)Source

ienclAddSource

Arguments

:: (ERRealBase b, DomainBox box varid Int, Ord box) 
=> Int

maximum polynomial degree

-> Int

maximum term count

-> ((ERChebPoly box b, ERChebPoly box b), Bool) 
-> ((ERChebPoly box b, ERChebPoly box b), Bool) 
-> ((ERChebPoly box b, ERChebPoly box b), Bool) 

ienclMultiplySource

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

-> ((ERChebPoly box b, ERChebPoly box b), Bool) 
-> ((ERChebPoly box b, ERChebPoly box b), Bool) 
-> ((ERChebPoly box b, ERChebPoly box b), Bool) 

ienclSquareSource

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

-> ((ERChebPoly box b, ERChebPoly box b), Bool) 
-> ((ERChebPoly box b, ERChebPoly box b), Bool) 

ienclScaleNonnegSource

Arguments

:: (ERRealBase b, DomainBox box varid Int, Ord box) 
=> b

ratio to scale by

-> ((ERChebPoly box b, ERChebPoly box b), Bool) 
-> ((ERChebPoly box b, ERChebPoly box b), Bool) 

Multiply an enclosure by a scalar assuming the enclosure is non-negative on the whole unit domain.