Method on @infsup: X = powrev1 (B, C, X)

Method on @infsup: X = powrev1 (B, C)

Compute the reverse power function for the first parameter.

That is, an enclosure of all x ∈ X where pow (x, b) ∈ C for any b ∈ B.

Accuracy: The result is a valid enclosure.

powrev1 (infsup (2, 5), infsup (3, 6))
  ⇒ ans ⊂ [1.2457, 2.4495]

See also: @infsup/pow.

Package: interval