pub struct QuadRowCoef {
pub index: usize,
pub curvature: f64,
pub linear: f64,
pub rhs: f64,
}Expand description
Point-free coefficient magnitudes of one quadratic constraint row.
curvature is ‖Q‖_∞, the largest absolute row sum of the row’s
Hessian — Gershgorin’s bound on λ_max(Q), and the exact quantity
stage 2’s eᵢ is built from. It is an upper bound on the curvature,
not the curvature, so a mismatch measured against it understates
the one measured against λ_max.
Fields§
§index: usize§curvature: f64‖Q‖_∞ — see the type docs.
linear: f64‖a‖_∞ over the .nl linear section plus the degree-1 terms the
writer folded into the nonlinear tree.
rhs: f64|b| — the finite bound the row is written against, shifted by the
folded constant. A range row reports the larger magnitude.
Trait Implementations§
Source§impl Clone for QuadRowCoef
impl Clone for QuadRowCoef
Source§fn clone(&self) -> QuadRowCoef
fn clone(&self) -> QuadRowCoef
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for QuadRowCoef
impl RefUnwindSafe for QuadRowCoef
impl Send for QuadRowCoef
impl Sync for QuadRowCoef
impl Unpin for QuadRowCoef
impl UnsafeUnpin for QuadRowCoef
impl UnwindSafe for QuadRowCoef
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T, U> Imply<T> for U
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more