Module Sos

module Sos: sig .. end

Sum of Squares (SOS) optimization.

This module takes SOS problems, transforms them to SDP problems, calls an SDP solver and rebuilds the result.

See file example/demo.ml for examples of use.

module type S = sig .. end

module Make: functor (P : Polynomial.S) -> S  with module Poly = P

TODO: explain differences between these modules.

module Q: S  with module Poly = Polynomial.Q

module Float: S  with module Poly = Polynomial.Float