var('x y')
solve([x > 0, x <= 2*y, x <= 2 - 2*y],x)
[[0 < x, x < min(2*y, -2*y + 2), 2*y > 0, -2*y + 2 > 0], [x == -2*y + 2, -2*y + 2 > 0, 4*y - 2 > 0], [x == 2*y, 2*y > 0, 2*y - 1], [x == 2*y, -4*y + 2 > 0, 2*y > 0]]
sage -maxima
(%i1) load(to_poly_solve)$
(%i2) to_poly_solve([x > 0, x <= 2*y, x <= 2 - 2*y], x);
(%o2) %union([0 < x, x < min(2 y, 2 - 2 y), 2 y > 0, - 2 (y - 1) > 0],
[x = 2 - 2 y, - 2 (y - 1) > 0, 2 (2 y - 1) > 0], [x = 2 y, 2 y > 0, 2 y - 1],
[x = 2 y, - 2 (2 y - 1) > 0, 2 y > 0])
--
You received this message because you are subscribed to a topic in the Google Groups "sage-devel" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/sage-devel/uSKLDDC77ZM/unsubscribe.
To unsubscribe from this group and all its topics, send an email to sage-devel+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/e7f6205b-8ff8-4536-a756-1e62f71f3b25%40googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CA%2BZgNF5%3D78gin-WDWdgsge3sNQ0XNC5SfTc%3D3MJGewYmEXwC8w%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/209A0EE8-C685-40CA-BFD7-2360E3DA8D90%40gmail.com.