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

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

Implementation of field arithmetic over polynomials with pointwise rounding uniform over the whole unit domain.

Documentation

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

chplReduceDegree

Arguments

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

=> Int

new maximal order

-> ERChebPoly box b

-> (ERChebPoly box b, ERChebPoly box b)

lower and upper bounds with limited degree

Convert a polynomial to a lower-order one that is dominated by (resp. dominates) it closely on the domain [-1,1].