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([t1 <= t2 , t1 > t2],[g1,g2])
[[g1 == 0, 1 < g2, 0 != 0], [g1 == 0, g2 < 0, 0 != 0]]
sage: solve_ineq([t1 < t2 , t1 > t2],[g1,g2])
[]
sage: s1 = g2^2
sage: s2 = g2
sage: solve_ineq([s1 <= s2 , s1 > s2],[g1,g2])
[]
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.
