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. |