Index of modules

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

Common interface for SDP (Csdp or Moseksdp or Sdpa).

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.