ASKSAGE: Sage Q&A Forum - Latest question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sat, 01 Dec 2012 14:56:21 -0600System of polynomial inequalitieshttp://ask.sagemath.org/question/9596/system-of-polynomial-inequalities/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?kevinfatSat, 01 Dec 2012 14:56:21 -0600http://ask.sagemath.org/question/9596/Groebner basis for rational functions with real coefficientshttp://ask.sagemath.org/question/8151/groebner-basis-for-rational-functions-with-real-coefficients/Does anybody know if sage supports computing groebner basis for an ideal of rational functions with real coefficients? I can do this in mathematica, but when using sage I get the error:
verbose 0 (2416: multi_polynomial_ideal.py, groebner_basis) Warning:
falling back to very slow toy implementation.haharringtonMon, 06 Jun 2011 07:36:40 -0500http://ask.sagemath.org/question/8151/