[sage-support] Re: solve_ineq() fails

2012-12-03 Thread P Purkayastha
On 12/03/2012 07:42 PM, Volker Braun wrote: On Monday, December 3, 2012 6:19:18 AM UTC-5, P Purkayastha wrote: I don't know of any nice way of converting the variables to symbolic variables. For the record, you can just cast to SR (the symbolic ring): sage: R. = PolynomialRing(QQ) sag

[sage-support] Re: solve_ineq() fails

2012-12-03 Thread Volker Braun
On Monday, December 3, 2012 6:19:18 AM UTC-5, P Purkayastha wrote: > I don't know of any nice way of converting the variables to symbolic > variables. > For the record, you can just cast to SR (the symbolic ring): sage: R. = PolynomialRing(QQ) sage: g1 = SR(g1) sage: g2 = SR(g2) sage: solve_in

[sage-support] Re: solve_ineq() fails

2012-12-03 Thread P Purkayastha
I don't know of any nice way of converting the variables to symbolic variables. Even if you did compute the polynomials p1 and p2, and even if you did manage to put it in the solve_* expressions after converting the variables, the answer that you will get as the solution will not belong to t

[sage-support] Re: solve_ineq() fails

2012-12-03 Thread Cary Cherng
The patch in the ticket seemed to only address making the error messages better. Is there some mechanism to convert p1 and p2 to symbolic based polynomials in the below code R. = PolynomialRing(QQ) ... # long sequence of calculations to compute polynomials p1 and p2 ... solve_ineq([p1 > 0, p2 >

[sage-support] Re: solve_ineq() fails

2012-12-03 Thread P Purkayastha
On 12/03/2012 09:44 AM, Cary Cherng wrote: I tried using solve_ineq in the notebook in the simple way below and got an error. It seems to be related to http://trac.sagemath.org/sage_trac/ticket/11520 Is there a workaround? R. = PolynomialRing(QQ) solve_ineq([g1 > g2],[g1,g2]) Traceback (most re