Compute the reverse monomial x^P.
That is, an enclosure of all x ∈ X where
pown (x, P) ∈ C.
Accuracy: The result is a valid enclosure. The result is a tight enclosure for P ≥ -2. The result also is a tight enclosure if the reciprocal of P can be computed exactly in double-precision.
See also: @infsup/pown.
Package: interval