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

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

Compute the reverse tangent function.

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

Accuracy: The result is a valid enclosure.

tanrev (infsup (0), infsup (2, 4))
  ⇒ ans ⊂ [3.1415, 3.1416]

See also: @@infsup/tan.

Package: interval