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

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

Implementation of various evaluation functions related to polynomials.

Documentation

chplEval :: (ERRealBase b, DomainBox box varid Int, Ord box, DomainBoxMappable boxb boxbb varid b [ERInterval b]) => ERChebPoly box b -> boxb -> (b, b)

Evaluate a polynomial at a point, consistently rounding upwards and downwards.

chplEvalUp :: (ERRealBase b, DomainBox box varid Int, Ord box, DomainBoxMappable boxb boxbb varid b [ERInterval b]) => ERChebPoly box b -> boxb -> b

chplEvalDown :: (ERRealBase b, DomainBox box varid Int, Ord box, DomainBoxMappable boxb boxbb varid b [ERInterval b]) => ERChebPoly box b -> boxb -> b

chebyEvalTsExact :: Num v => v -> [v]

chplRAEval :: (ERRealBase b, ERApprox ra, DomainBox box varid Int, Ord box, DomainBoxMappable boxra boxras varid ra [ra], DomainIntBox boxra varid ra) => (b -> ra) -> ERChebPoly box b -> boxra -> ra

Evaluate a polynomial at a real number approximation

chplPartialRAEval :: (ERRealBase b, ERApprox ra, DomainBox box varid Int, Ord box, DomainBoxMappable boxra boxras varid ra [ra], DomainIntBox boxra varid ra) => (ra -> (b, b)) -> ERChebPoly box b -> boxra -> (ERChebPoly box b, ERChebPoly box b)

Substitute several variables in a polynomial with real number approximations, rounding downwards and upwards.