osdp 1.0.0 · OCaml Package

module Poly : sig ... end

type var

type polynomial_expr =

| Const of Poly.t
| Var of var
| Mult_scalar of Poly.Coeff.t * polynomial_expr
| Add of polynomial_expr * polynomial_expr
| Sub of polynomial_expr * polynomial_expr
| Mult of polynomial_expr * polynomial_expr
| Power of polynomial_expr * int
| Compose of polynomial_expr * polynomial_expr list
| Derive of polynomial_expr * int

val make : ?n:int -> ?d:int -> ?homogen:bool -> string -> polynomial_expr

val const : Poly.t -> polynomial_expr

val scalar : Poly.Coeff.t -> polynomial_expr

val monomial : Monomial.t -> polynomial_expr

val mult_scalar : Poly.Coeff.t -> polynomial_expr -> polynomial_expr

val add : polynomial_expr -> polynomial_expr -> polynomial_expr

val sub : polynomial_expr -> polynomial_expr -> polynomial_expr

val mult : polynomial_expr -> polynomial_expr -> polynomial_expr

val power : polynomial_expr -> int -> polynomial_expr

val compose : polynomial_expr -> polynomial_expr list -> polynomial_expr

val derive : polynomial_expr -> int -> polynomial_expr

val of_list : (Monomial.t * polynomial_expr) list -> polynomial_expr

exception Dimension_error

val to_list : polynomial_expr -> (Monomial.t * polynomial_expr) list

val nb_vars : polynomial_expr -> int

val degree : polynomial_expr -> int

val is_homogeneous : polynomial_expr -> bool

val param_vars : polynomial_expr -> var list

val (!!) : Poly.t -> polynomial_expr

val (??) : int -> polynomial_expr

val (!) : Poly.Coeff.t -> polynomial_expr

val (*.) : Poly.Coeff.t -> polynomial_expr -> polynomial_expr

val (~-) : polynomial_expr -> polynomial_expr

val (+) : polynomial_expr -> polynomial_expr -> polynomial_expr

val (-) : polynomial_expr -> polynomial_expr -> polynomial_expr

val (*) : polynomial_expr -> polynomial_expr -> polynomial_expr

val (/) : polynomial_expr -> Poly.Coeff.t -> polynomial_expr

val (/.) : Poly.Coeff.t -> Poly.Coeff.t -> polynomial_expr

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

val (>=) : polynomial_expr -> polynomial_expr -> polynomial_expr

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

val pp : Stdlib.Format.formatter -> polynomial_expr -> unit

val pp_names : 
  string list ->
  Stdlib.Format.formatter ->
  polynomial_expr ->
  unit

type options = {

sdp : Sdp.options;
verbose : int;
scale : bool;
trace_obj : bool;
dualize : bool;
monoms : Monomial.t list list;
pad : float;
pad_list : float list;

}

val default : options

type obj =

| Minimize of polynomial_expr
| Maximize of polynomial_expr
| Purefeas

type values

type !'a witness = Monomial.t array * 'a array array

exception Not_linear

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

val value : polynomial_expr -> values -> Poly.Coeff.t

val value_poly : polynomial_expr -> values -> Poly.t

val check : 
  ?options:options ->
  ?values:values ->
  polynomial_expr ->
  float witness ->
  bool

val check_round : 
  ?options:options ->
  ?values:values ->
  polynomial_expr list ->
  float witness list ->
  (values * Scalar.Q.t witness list) option

package osdp