Struct flag_algebra::sdp::Problem

pub struct Problem<N, F> {
    pub ineqs: Vec<Ineq<N, F>>,
    pub cs: Vec<MulAndUnlabel<F>>,
    pub obj: QFlag<N, F>,
}

The optimisation problems over flags are translated into a sdp problem in the sdpa format.

Shape of the matrices:

For each i in ineqs (where i is itself a vector of inequalities): A diagonal block of size i.len()

For each cs: A block with the size od cs.input_matrix An optimization problem expressed in flags algebra.

Fields

ineqs: Vec<Ineq<N, F>>

Set of contraint inequalities.

cs: Vec<MulAndUnlabel<F>>

Set of Cauchy-Schwarz inequlities to be used.

obj: QFlag<N, F>

Vector to be optimized.

Implementations

impl<N, F: Flag> Problem<N, F>

pub fn check(&self)

Panic if the size of the basis involved are inconsistent.

pub fn view<'a>(&'a self, selector: &'a Selector) -> ProblemView<'a, N, F>

impl<N, F> Problem<N, F> where
    N: Display + Zero + Copy + PartialEq + Neg<Output = N>,
    F: Flag, 

pub fn write_sdpa(&self, filename: &str) -> Result<()>

Write the semi-definite program in the file filename in the sdpa format.

pub fn no_scale(self) -> Self where
    N: DivAssign + ScalarOperand + FromPrimitive, 

Rescale the objective according to its scale field. If this method is not used, the output of the sdp solver may need to be rescaled.

pub fn solve_csdp(&self, filename: &str) -> Result<f64, Error>

Solve the sdp using the CSDP solver.

pub fn run_csdp(
    &self,
    name: &str,
    initial_solution: Option<&str>,
    minimize_certificate: bool
) -> Result<f64, Error>

Trait Implementations

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

fn clone(&self) -> Problem<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 Problem<N, F>

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

Formats the value using the given formatter.