Method on @infsup: atan (X)

Compute the inverse tangent in radians.

Accuracy: The result is a tight enclosure.

atan (infsup (1))
  ⇒ ans ⊂ [0.78539, 0.7854]

See also: @infsup/tan, @infsup/atan2.

Package: interval