Struct flag_algebra::Ineq

pub struct Ineq<N, F> {
    pub meta: IneqMeta<N, F>,
    pub data: Vec<IneqData<N>>,
}

A set of bounds on elements of a flag algebra.

This correpond to a set of inequalities constructed in a similar way.

Fields

meta: IneqMeta<N, F>

Common information about the set of inequalities.

data: Vec<IneqData<N>>

List of data of the inequalities in the set.

Implementations

impl<N, F> Ineq<N, F> where
    N: Clone + Num,
    F: Flag, 

pub fn opposite(self) -> Self where
    N: Neg<Output = N>, 

If self is "f ≥ x", returns "f ≤ x".

pub fn equality(self) -> Self

If self is "f ≥ x", returns "f = x".

pub fn relaxed(self, eps: N) -> Self where
    N: SubAssign, 

If self is "f ≥ x", returns "f ≥ x - eps".

pub fn lhs(&self, i: usize) -> QFlag<N, F>

Return the flag member of the ith inequality

pub fn check(&self) where
    N: Debug + Neg<Output = N> + Clone + FromPrimitive + ScalarOperand + Display, 

impl<N, F> Ineq<N, F> where
    N: Num + Copy + Send + Sync + Default + FromPrimitive + AddAssign + Sum,
    F: Flag, 

pub fn untype(&self) -> Self

If self is "f ≥ x", return the projection "〚f〛 ≥ x".

pub fn multiply_by_all(self, outbasis: Basis<F>) -> Self where
    N: Neg<Output = N>, 

If self is "f ≥ x", return the set of inequalities "f*g ≥ x.g", where g is chosen such that f*g is a vector of outbasis.

pub fn multiply_and_unlabel(self, outbasis: Basis<F>) -> Self where
    N: Neg<Output = N>, 

If self is "f ≥ x", return the set of inequalities "〚f*g〛 ≥ x.〚g〛", where g is chosen such that 〚f*g〛 is a vector of outbasis.

Trait Implementations

impl<N: Clone, F: Clone> Clone for Ineq<N, F>

fn clone(&self) -> Ineq<N, F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: Debug, F: Debug> Debug for Ineq<N, F>

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

Formats the value using the given formatter.

impl<N, F> Display for Ineq<N, F> where
    N: Display, 

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

Formats the value using the given formatter.