Method on @infsup: Y = atan2rev1 (B, C, Y)

Method on @infsup: Y = atan2rev1 (B, C)

Compute the reverse atan2 function for the first parameter.

That is, an enclosure of all y ∈ Y where atan2 (y, b) ∈ C for any b ∈ B.

Accuracy: The result is a valid enclosure.

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

See also: @infsup/atan2.

Package: interval