module Scalar : sig ... endtype vector = (int * Scalar.t) listtype !'a obj_ext = vector * 'a Sdp.block_diagtype !'a constr_ext = vector * 'a Sdp.block_diag * Scalar.t * Scalar.tval solve_ext_sparse :
?options:Sdp.options ->
?solver:Sdp.solver ->
Sdp.sparse_matrix obj_ext ->
Sdp.sparse_matrix constr_ext list ->
Sdp.bounds ->
SdpRet.t * (float * float) * (vector * Sdp.matrix Sdp.block_diag)module ScalarLinExpr : sig ... endtype details =
(int * Ident.t) list
* Ident.t array array Sdp.block_diag
* float details_val Ident.Map.tval solve_ext_sparse_details :
?options:Sdp.options ->
?solver:Sdp.solver ->
Sdp.sparse_matrix obj_ext ->
Sdp.sparse_matrix constr_ext list ->
Sdp.bounds ->
SdpRet.t * (float * float) * (vector * Sdp.matrix Sdp.block_diag) * detailsval pp_obj_ext :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'a obj_ext ->
unitval pp_constr_ext :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'a constr_ext ->
unitval pp_ext_sparse :
Stdlib.Format.formatter ->
(Sdp.sparse_matrix obj_ext * Sdp.sparse_matrix constr_ext list * Sdp.bounds) ->
unit