pub enum SOSResult {
IsSOS(SOSDecomposition),
Unknown,
NotSOS {
witness: Vec<f64>,
},
}Expand description
Result of SOS decomposition
Variants§
IsSOS(SOSDecomposition)
Polynomial is SOS with given decomposition
Unknown
Could not verify SOS (may or may not be SOS)
NotSOS
Polynomial is definitely not SOS (has negative value somewhere)
Trait Implementations§
Auto Trait Implementations§
impl Freeze for SOSResult
impl RefUnwindSafe for SOSResult
impl Send for SOSResult
impl Sync for SOSResult
impl Unpin for SOSResult
impl UnwindSafe for SOSResult
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