Compute the reverse sine function.
That is, an enclosure of all x ∈ X where sin (x) ∈ C.
x ∈ X
sin (x) ∈ C
Accuracy: The result is a valid enclosure.
sinrev (infsup (-1), infsup (0, 6)) ⇒ ans ⊂ [4.7123, 4.7124]
See also: @infsup/sin.
Package: interval