Module NewtonPolytope

module NewtonPolytope: sig .. end

Newton polytope optimization.


val filter : Monomial.t list -> Monomial.t list -> Monomial.t list

filter s p returns the list of the s_i in s such that 2s_i is in the convex hull of the p_1,..., p_n in p. The returned list is sorted according to Monomial.compare. C.f., Johan Löfberg, Pre- and Post-Processing Sum-of-Squares Programs in Practice, IEEE Transactions on Automatic Control, 2009.