Method on @infsup: X = cosrev (C, X)

Method on @infsup: X = cosrev (C)

Compute the reverse cosine function.

That is, an enclosure of all x ∈ X where cos (x) ∈ C.

Accuracy: The result is a valid enclosure.

cosrev (infsup (0), infsup (6, 9))
  ⇒ ans ⊂ [7.8539, 7.854]

See also: @infsup/cos.

Package: interval