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