Yes, if you could do that, that would be nice. Thank you. I am not really familiar with Maxima myself.
> Am 31.03.2020 um 15:13 schrieb Evan O'Dorney <emo916m...@gmail.com>: > > Thank you, Markus. So shall I submit it as a bug on > https://sourceforge.net/p/maxima/bugs/ > <https://sourceforge.net/p/maxima/bugs/>? I searched for it, and it appears > to be new. > > Thanks, > Evan > > > On Sun, Mar 29, 2020 at 5:36 PM Markus Wageringel > <markus.wagerin...@gmail.com <mailto:markus.wagerin...@gmail.com>> wrote: > Thank you for the report. This seems to be a problem in Maxima itself: > > 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 > <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+unsubscr...@googlegroups.com > <mailto:sage-devel+unsubscr...@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 > > <https://groups.google.com/d/msgid/sage-devel/e7f6205b-8ff8-4536-a756-1e62f71f3b25%40googlegroups.com?utm_medium=email&utm_source=footer>. > > -- > 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 > <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+unsubscr...@googlegroups.com > <mailto:sage-devel+unsubscr...@googlegroups.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 > > <https://groups.google.com/d/msgid/sage-devel/CA%2BZgNF5%3D78gin-WDWdgsge3sNQ0XNC5SfTc%3D3MJGewYmEXwC8w%40mail.gmail.com?utm_medium=email&utm_source=footer>. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/209A0EE8-C685-40CA-BFD7-2360E3DA8D90%40gmail.com.