C | |
Coeff [Polynomial.S] | Type of coefficients. |
Coeff [Matrix.S] | Type of coefficients. |
Coeff [LinExpr.S] | Type of coefficients. |
Csdp | Interface towards the C library CSDP. |
D | |
Dualize | TODO: doc |
F | |
Float [Sos] | |
Float [Scalar] | |
Float [PreSdp] | |
Float [Polynomial] | |
Float [Matrix] | Matrix with float coefficients |
Float [Lmi] | |
Float [LinExpr] | |
Float [Dualize] | |
I | |
Ident | Unique identificators. |
L | |
LinExpr | Affine expressions. |
Lmi | Linear Matrix Inequalities (LMI) optimization. |
M | |
Make [Sos] | |
Make [Scalar] | Adds extended operations. |
Make [PreSdp] | |
Make [Polynomial] | |
Make [Matrix] | |
Make [Lmi] | |
Make [LinExpr] | |
Make [Dualize] | |
MakeScalar [LinExpr] | Gives an interface Scalar.S to linear expressions. |
Map [Monomial] | |
Map [Ident] | |
Mat [Lmi.S] | |
Matrix | Matrices and basic operations. |
Monomial | Monomials of multiple variables (e.g., x^2 y z^3). |
Moseksdp | Interface towards the C library of Mosek for SDP. |
N | |
NewtonPolytope | Newton polytope optimization. |
O | |
Osdp_top | This automatically installs printers in the toplevel. |
P | |
Poly [Sos.S] | |
Polynomial | Multiple variables polynomials. |
Posdef | Proving positive definiteness of matrices. |
PreSdp | Preprocessed SDP (interface to the module Sdp). |
Q | |
Q [Sos] | |
Q [Scalar] | |
Q [PreSdp] | |
Q [Polynomial] | |
Q [Matrix] | Matrix with Q.t coefficients from the library Zarith. |
Q [Lmi] | |
Q [LinExpr] | |
Q [Dualize] | |
S | |
Scalar | Type of scalars along with basic scalar operations. |
Scalar [PreSdp.S] | The scalars used for preprocessing (the SDP solver uses floats anyway). |
Scalar [Dualize.S] | The scalars used for preprocessing (the SDP solver uses floats anyway). |
ScalarLinExpr [Dualize.S] | TODO: doc |
Sdp | |
SdpRet | Return codes for SDP. |
Sdp_default | |
Sdpa | Interface towards SDPA{,-GMP}. |
Set [Monomial] | |
Set [Ident] | |
Sos | Sum of Squares (SOS) optimization. |
U | |
Utils | Various utility functions. |