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