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