Module flag_algebra::sdp

source ·
Expand description

Create and manipulate semi-definite problems.

Structs§

  • Identifies a product-and-unlabel matrix with a symmetry reduction
  • A certificate to a sdp problem as given by CSDP
  • The optimization problems over flags are translated into a sdp problem in the sdpa format.
  • A reference to a Problem filtered by a Selector.
  • An object that specify a subset of constraint of a flag problem.

Enums§

  • Specifies a symmetry reduction for a product-and-unlabel matrix

Functions§