Struct SOSDecomposition 

pub struct SOSDecomposition {
    pub squares: Vec<Polynomial>,
    pub gram_matrix: Vec<f64>,
    pub basis: Vec<Monomial>,
}

SOS decomposition: p = Σ q_i²

Fields

squares: Vec<Polynomial>

The squared polynomials q_i

gram_matrix: Vec<f64>

Gram matrix Q such that p = v^T Q v where v is monomial basis

basis: Vec<Monomial>

Monomial basis used

Implementations

impl SOSDecomposition

pub fn verify(&self, original: &Polynomial, tol: f64) -> bool

Verify decomposition: check that Σ q_i² ≈ original polynomial

pub fn reconstruct(&self) -> Polynomial

Reconstruct polynomial from decomposition

pub fn lower_bound(&self) -> f64

Get lower bound on polynomial (should be ≥ 0 if SOS)

Trait Implementations

impl Clone for SOSDecomposition

fn clone(&self) -> SOSDecomposition

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SOSDecomposition

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.