compute the upper bound of the remainder term at a given point
a POLYINTERP structure
(optional) numeric, list(numeric); a point or list of points at which the upper bound(s) of the remainder term are computed
The UpperBoundOfRemainderTerm command returns the value(s) of upper bound of the remainder term of the approximated polynomial at the specified point(s) pts or at the extrapolated point(s) from the POLYINTERP structure, depending on whether pts is specified or not.
The pts must be within the range of the approximating polynomial.
The upper bounds are returned in a list of the form: [[pointi, upperboundi, [...], ...], i=1..number of points.
The POLYINTERP structure is created using the PolynomialInterpolation command or the CubicSpline command.
In order for the upper bound to be computed, the POLYINTERP structure p must have an associated function, given by the PolynomialInterpolation command.
If the POLYINTERP structure was created with the CubicSpline command, the boundary conditions must be clamped.
A remainder term is sometimes called an error term.
xy ≔ 0,4.0,0.5,0,1.0,−2.0,1.5,0,2.0,1.0,2.5,0,3.0,−0.5
p1 ≔ PolynomialInterpolation⁡xy,function=22−x⁢cos⁡Pi⁢x,method=lagrange,extrapolate=1.25,errorboundvar='ξ':
Download Help Document
What kind of issue would you like to report? (Optional)