Method on @infsup: X = atan2rev2 (A, C, X)

Method on @infsup: X = atan2rev2 (A, C)

Compute the reverse atan2 function for the second parameter.

That is, an enclosure of all x ∈ X where atan2 (a, x) ∈ C for any a ∈ A.

Accuracy: The result is a valid enclosure.

atan2rev2 (infsup (1, 2), infsup ("pi") / 4)
  ⇒ ans ⊂ [0.99999, 2.0001]

See also: @infsup/atan2.

Package: interval