pub unsafe extern "C" fn SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar(
infinity: f64,
resultant: *mut SCIP_INTERVAL,
sqrcoeff: f64,
lincoeff: f64,
rhs: f64,
xbnds: SCIP_INTERVAL,
)Expand description
computes positive solutions of a quadratic equation with scalar coefficients
Givens scalar a, b, and c, this function computes an interval that contains all positive solutions of \f$ a x^2 + b x \geq c\f$ within xbnds. Implements Algorithm 3.2 from Domes and Neumaier: Constraint propagation on quadratic constraints (2008).