search

rtoy / maxima

A Clone of Maxima's repo
Other
0 stars 0 forks source link

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

Open rtoy opened 4 months ago

rtoy commented 4 months ago

Imported from SourceForge on 2024-07-05 10:23:56 Created by emo916math on 2020-04-07 19:00:46 Original: https://sourceforge.net/p/maxima/bugs/3626

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])
rtoy commented 4 months ago

Imported from SourceForge on 2024-07-05 10:23:56 Created by emo916math on 2020-04-10 17:28:55 Original: https://sourceforge.net/p/maxima/bugs/3626/#87d5/312a

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?

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/

Attachments: