Convex hull membership

Stream: Is there code for X?

[Moritz Doll]

Is there a function saying that an element is in the convex hull of s if it can be written as a convex combination of elements of s?

[Yaël Dillies]

docs#finset.convex_hull_eq

[Moritz Doll]

But that assumes that s is finite, the one above, docs#convex_hull_eq seems to be what I want. Thank you.

[Yaël Dillies]

Ah yeah sorry. Those names always get me confused. Also, they should prove equivalence of membership not equality of sets