I heard that something called a Groebner Basis can be used to find the solutions of a system of polynomial equations like $p_1(x_1,\ldots,x_m)=0,\ldots,p_n(x_1,\ldots,x_m)=0$
Is there something analgous that can find solutions when inequalities are also involved such as
$$p_1(x_1,\ldots,x_m)=0,\ldots,p_n(x_1,\ldots,x_m)=0$$ $$q_1(x_1,\ldots,x_m)>0,\ldots,q_r(x_1,\ldots,x_m)>0$$
and is there a way to do this in Sage?
