@infsup
X =
(C, X)
(C)
Compute the reverse absolute value function.
That is, an enclosure of all x ∈ X where abs (x) ∈ C.
x ∈ X
abs (x) ∈ C
Accuracy: The result is a tight enclosure.
absrev (infsup (-2, 1)) ⇒ ans = [-1, +1]
See also: @@infsup/abs.
Package: interval