pub unsafe extern "C" fn SCIPintervalPowerScalarInverse(
infinity: f64,
resultant: *mut SCIP_INTERVAL,
basedomain: SCIP_INTERVAL,
exponent: f64,
image: SCIP_INTERVAL,
)Expand description
given an interval for the image of a power operation, computes an interval for the origin
That is, for \f$y = x^p\f$ with the exponent \f$p\f$ a given scalar and \f$y\f$ = image a given interval,
computes \f$x \subseteq \text{basedomain}\f$ such that \f$y \in x^p\f$ and such that for all \f$z \in \text{basedomain} \setminus x: z^p \not \in y\f$.