I recognize that it is the empty set described in a different way. Is there
a reason why it can't always describe the empty set as [ ] ?
The question I am having is how do I tell if it is the empty set for more
complicated inputs? For example, consider setting t1 and t2 to large
polynomials com
On 12/04/2012 08:51 AM, Cary Cherng wrote:
In the below why does solve_ineq called with the inequalities t1 <= t2 ,
t1 > t2 not return [ ], but the other invocations of solve_ineq return
the empty set as [ ] ?
sage: g1,g2 = var('g1,g2')
sage: t1 = g1^2*g2^2
sage: t2 = g1^2*g2
sage: solve_ineq([t