package osdp

  1. Overview
  2. Docs

Module OsdpSource

Sourcemodule Csdp : sig ... end

Interface towards the C library CSDP.

Sourcemodule Csdp_lexer : sig ... end
Sourcemodule Csdp_parser : sig ... end
Sourcemodule Csdp_path : sig ... end
Sourcemodule Dualize : sig ... end

TODO: doc

Sourcemodule Ident : sig ... end

Unique identificators.

Sourcemodule LinExpr : sig ... end

Affine expressions.

Sourcemodule Lmi : sig ... end

Linear Matrix Inequalities (LMI) optimization.

Sourcemodule Matrix : sig ... end

Matrices and basic operations.

Sourcemodule Monomial : sig ... end

Monomials of multiple variables (e.g., x^2 y z^3).

Sourcemodule Moseksdp : sig ... end

Interface towards the C library of Mosek for SDP.

Sourcemodule NewtonPolytope : sig ... end

Newton polytope optimization.

Sourcemodule Polynomial : sig ... end

Multiple variables polynomials.

Sourcemodule Posdef : sig ... end

Proving positive definiteness of matrices.

Sourcemodule PreSdp : sig ... end

Preprocessed SDP (interface to the module Sdp).

Sourcemodule Scalar : sig ... end

Type of scalars along with basic scalar operations.

Sourcemodule Sdp : sig ... end

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

Sourcemodule SdpRet : sig ... end

Return codes for SDP.

Sourcemodule Sdp_default : sig ... end
Sourcemodule Sdpa : sig ... end

Interface towards SDPA{,-GMP}.

Sourcemodule Sdpa_lexer : sig ... end
Sourcemodule Sdpa_parser : sig ... end
Sourcemodule Sdpa_paths : sig ... end
Sourcemodule Sos : sig ... end

Sum of Squares (SOS) optimization.

Sourcemodule Utils : sig ... end

Various utility functions.