This is a package for solving semidefinite programming (SDP) problems.
Given symmetric matrices $C, A_i$ and a vector $b$, the primal SDP problem is
$$min_{X} \, C \bullet X \,\,\, s.t. \,\,\, A_i \bullet X = b_i \, and \, X \geq 0$$
and the dual SDP problem is
$$max_{y,Z} \, \sum_i b_i y_i \,\,\, s.t. \,\,\, Z = C - \sum_i y_i A_i \, and \, Z \geq 0$$
We can construct a semidefinite program using the method sdp.
|
The semidefinite program can be solved numerically using the method optimize.
|
|
See Solver for a discussion of the available SDP solvers. The method refine can be used to improve the precision of the solution.
In small cases it is possible to solve the SDP symbolically, by forming the ideal of critical equations.
|
|
This documentation describes version 0.3 of SemidefiniteProgramming.
The source code from which this documentation is derived is in the file SemidefiniteProgramming.m2. The auxiliary files accompanying it are in the directory SemidefiniteProgramming/.
The object SemidefiniteProgramming is a package.