Question: Groebner Basis for System of Inequalities

Can I create a Groebner basis in Maple with system of inequalities and how should I do that?

For example: I have problem with 30 inequlities (all have to be binary {0,1}) and all inequalities are >=1 but if I put

F := [x1+x2+x3-1, x1+x5+x7-1 etc]; and after that I create Groebner basis, I get that system has no solutions, but I know it has. 

Thank you in advance!

Please Wait...