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

Method on @infsup: X = sqrrev (C)

Compute the reverse square function.

That is, an enclosure of all x ∈ X where x .^ 2 ∈ C.

Accuracy: The result is a tight enclosure.

sqrrev (infsup (-2, 1))
  ⇒ ans = [-1, +1]

See also: @infsup/sqr.

Package: interval