force 0/1 in V-representation of a set of inequalities

asked 2017-02-21 18:07:12 -0500

moati gravatar image


If I have an array of inequalities (ieqs) that I define as a polyhedron through the command p = Polyhedron(ieqs = ieqs) and then I get the list of vertices of that polyhedron using [p.Vrepresentation( )], however the vertices are fractional so is there any way to force the vertices to be 0-1?

If not, is there a way so that I convert the vertices myself?

Thanks and sorry if my question is so basic

edit retag flag offensive close merge delete



Could you provide an explicit example of your construction ?

tmonteil gravatar imagetmonteil ( 2017-02-22 00:49:33 -0500 )edit

My problem does not start with a construction. It starts with a Boolean function which I convert to a set of linear inequalities and then input those inequalities as a H-representation of a convex hull to Sage, then convert it to its V-representation to make sure that the set of linear inequalities I generate is correct. Please let me know if this is clear enough. Thanks

moati gravatar imagemoati ( 2017-02-22 09:08:06 -0500 )edit

Could you please provide an explicit example of a boolean function converted into a polytope etc. With that, it is easier to understand the problem without having to spend hours to guess what your problem is, also we can experiment with it, dicuss the kind of output you would like to see, etc.

tmonteil gravatar imagetmonteil ( 2017-02-22 15:38:30 -0500 )edit