#3626 to_poly_solve yields an expression rather than an equation/inequality

[Evan O'Dorney]

Solving a simple system of linear equations, I get an output where one entry of the result is incomplete:

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])

[Robert Dodier]

Thanks for the bug report. Can you say more about what's wrong here? What were you expecting and how does the output shown here differ from that?

[Evan O'Dorney]

Sorry. The entry

[x = 2 y, 2 y > 0, 2 y - 1]

in the output should be a list of equations and inequalities: it should say

[x = 2 y, 2 y > 0, 2 y - 1 <= 0]

Best,
Evan

On Thu, Apr 9, 2020 at 11:31 PM Robert Dodier robert_dodier@users.sourceforge.net wrote:

Thanks for the bug report. Can you say more about what's wrong here? What
were you expecting and how does the output shown here differ from that?

---

• [bugs:#3626] https://sourceforge.net/p/maxima/bugs/3626/ to_poly_solve
  yields an expression rather than an equation/inequality*

Status: open
Group: None
Labels: to_poly_solve
Created: Tue Apr 07, 2020 07:00 PM UTC by Evan O'Dorney
Last Updated: Tue Apr 07, 2020 07:00 PM UTC
Owner: nobody

Solving a simple system of linear equations, I get an output where one
entry of the result is incomplete:

sage -maxima(%i1) load(to_poly_solve)$(%i2) to_poly_solve([x > 0, x <= 2y, x <= 2 - 2y], 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])

---

Sent from sourceforge.net because you indicated interest in
https://sourceforge.net/p/maxima/bugs/3626/

To unsubscribe from further messages, please visit
https://sourceforge.net/auth/subscriptions/