Struct NonnegativityCertificate 

pub struct NonnegativityCertificate {
    pub polynomial: Polynomial,
    pub is_nonnegative: bool,
    pub sos_decomposition: Option<SOSDecomposition>,
    pub counterexample: Option<Vec<f64>>,
}

Certificate that a polynomial is non-negative

Fields

polynomial: Polynomial

The polynomial

is_nonnegative: bool

Whether verified non-negative

sos_decomposition: Option<SOSDecomposition>

SOS decomposition if available

counterexample: Option<Vec<f64>>

Counter-example if found

Implementations

impl NonnegativityCertificate

pub fn certify(p: &Polynomial) -> Self

Attempt to certify p(x) ≥ 0 for all x

pub fn certify_on_box(p: &Polynomial, lb: f64, ub: f64) -> Self

Attempt to certify p(x) ≥ 0 for x in [lb, ub]^n

Trait Implementations

impl Clone for NonnegativityCertificate

fn clone(&self) -> NonnegativityCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NonnegativityCertificate

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

Formats the value using the given formatter.