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.