osdp 1.1.0 · OCaml Package

module Mat : sig ... end

type var

type matrix_expr =

| Const of Mat.t
| Var of var
| Zeros of int * int
| Eye of int
| Kron of int * int * int
| Kron_sym of int * int * int
| Block of matrix_expr array array
| Lift_block of matrix_expr * int * int * int * int
| Transpose of matrix_expr
| Minus of matrix_expr
| Add of matrix_expr * matrix_expr
| Sub of matrix_expr * matrix_expr
| Mult of matrix_expr * matrix_expr
| Power of matrix_expr * int

val var : string -> int -> matrix_expr

val var_var : string -> int -> var * matrix_expr

val const : Mat.t -> matrix_expr

val scalar : Mat.Coeff.t -> matrix_expr

val zeros : int -> int -> matrix_expr

val eye : int -> matrix_expr

val kron : int -> int -> int -> matrix_expr

val kron_sym : int -> int -> int -> matrix_expr

val block : matrix_expr array array -> matrix_expr

val lift_block : matrix_expr -> int -> int -> int -> int -> matrix_expr

val transpose : matrix_expr -> matrix_expr

val minus : matrix_expr -> matrix_expr

val add : matrix_expr -> matrix_expr -> matrix_expr

val sub : matrix_expr -> matrix_expr -> matrix_expr

val mult : matrix_expr -> matrix_expr -> matrix_expr

val power : matrix_expr -> int -> matrix_expr

val nb_lines : matrix_expr -> int

val nb_cols : matrix_expr -> int

val is_symmetric : matrix_expr -> bool

val (!!) : Mat.t -> matrix_expr

val (!) : Mat.Coeff.t -> matrix_expr

val (~:) : matrix_expr -> matrix_expr

val (*.) : Mat.Coeff.t -> matrix_expr -> matrix_expr

val (~-) : matrix_expr -> matrix_expr

val (+) : matrix_expr -> matrix_expr -> matrix_expr

val (-) : matrix_expr -> matrix_expr -> matrix_expr

val (*) : matrix_expr -> matrix_expr -> matrix_expr

val (**) : matrix_expr -> int -> matrix_expr

val (>=) : matrix_expr -> matrix_expr -> matrix_expr

val (<=) : matrix_expr -> matrix_expr -> matrix_expr

type options = {

sdp : Sdp.options;
verbose : int;
pad : float;

}

val default : options

type obj =

| Minimize of matrix_expr
| Maximize of matrix_expr
| Purefeas

type values

exception Dimension_error of string

exception Not_linear

exception Not_symmetric

val solve : 
  ?options:options ->
  ?solver:Sdp.solver ->
  obj ->
  matrix_expr list ->
  SdpRet.t * (float * float) * values

val empty_values : unit -> values

val value : matrix_expr -> values -> Mat.Coeff.t

val value_mat : matrix_expr -> values -> Mat.t

val register_value : var -> Mat.Coeff.t -> values -> values

val check : ?options:options -> ?values:values -> matrix_expr -> bool

val pp : Format.formatter -> matrix_expr -> unit

val pp_values : Format.formatter -> values -> unit

package osdp