pub unsafe extern "C" fn SCIPintervalSolveBivariateQuadExpressionAllScalar(
infinity: f64,
resultant: *mut SCIP_INTERVAL,
ax: f64,
ay: f64,
axy: f64,
bx: f64,
by: f64,
rhs: SCIP_INTERVAL,
xbnds: SCIP_INTERVAL,
ybnds: SCIP_INTERVAL,
)Expand description
solves a bivariate quadratic equation for the first variable
Given scalars \f$a_x\f$, \f$a_y\f$, \f$a_{xy}\f$, \f$b_x\f$ and \f$b_y\f$, and intervals for \f$x\f$, \f$y\f$, and rhs, computes \f$ { x \in \mathbf{x} : \exists y \in \mathbf{y} : a_x x^2 + a_y y^2 + a_{xy} x y + b_x x + b_y y \in \mathbf{\mbox{rhs}} } \f$.
\attention the operations are not applied rounding-safe here