Method on @infsup: X = sinrev (C, X) ¶

Method on @infsup: X = sinrev (C) ¶

Compute the reverse sine function.

That is, an enclosure of all x ∈ X where 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