AngouriMath
Navigation
Enclosure(AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
An interval the expression stays within for every real x, read off its shape: a
sine, a cosine, a sign and an error function of a real argument lie in [-1, 1], an
arctangent and an arccotangent in [-pi/2, pi/2], a positive constant to a power is
monotone in the power, and sums, differences, products, quotients by an interval
without 0, moduli and positive whole powers combine intervals.null for any other shape, including anything an x appears in bare: nothing is sampled.
sine, a cosine, a sign and an error function of a real argument lie in [-1, 1], an
arctangent and an arccotangent in [-pi/2, pi/2], a positive constant to a power is
monotone in the power, and sums, differences, products, quotients by an interval
without 0, moduli and positive whole powers combine intervals.
Remarks
In doubles, and widened outward by a relative 1e-12 at every step, so that rounding
can only make the interval larger: 1 + cos(x) comes out reaching just below 0, and so
is not taken to be bounded away from it, which it is not.
can only make the interval larger: 1 + cos(x) comes out reaching just below 0, and so
is not taken to be bounded away from it, which it is not.
Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5629 pages online