Struct BoundsCertificate 

pub struct BoundsCertificate {
    pub lower: Option<NonnegativityCertificate>,
    pub upper: Option<NonnegativityCertificate>,
    pub lower_bound: f64,
    pub upper_bound: f64,
}

Certificate for bounds on polynomial

Fields

lower: Option<NonnegativityCertificate>

Lower bound certificate (p - lower ≥ 0)

upper: Option<NonnegativityCertificate>

Upper bound certificate (upper - p ≥ 0)

lower_bound: f64

Certified lower bound

upper_bound: f64

Certified upper bound

Implementations

impl BoundsCertificate

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

Find certified bounds on polynomial

pub fn is_valid(&self) -> bool

Check if bounds are valid

pub fn width(&self) -> f64

Get bound width

Trait Implementations

impl Clone for BoundsCertificate

fn clone(&self) -> BoundsCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoundsCertificate

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

Formats the value using the given formatter.