| Csdp | Interface towards the C library CSDP. |
| Dualize | TODO: doc |
| Ident | Unique identificators. |
| LinExpr | Affine expressions. |
| Lmi | Linear Matrix Inequalities (LMI) optimization. |
| 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. |
| NewtonPolytope | Newton polytope optimization. |
| Osdp_top | This automatically installs printers in the toplevel. |
| Polynomial | Multiple variables polynomials. |
| Posdef | Proving positive definiteness of matrices. |
| PreSdp | Preprocessed SDP (interface to the module Sdp). |
| Scalar | Type of scalars along with basic scalar operations. |
| Sdp | |
| Sdp_default | |
| Sdpa | Interface towards SDPA{,-GMP}. |
| SdpRet | Return codes for SDP. |
| Sos | Sum of Squares (SOS) optimization. |
| Utils | Various utility functions. |