System of inequalities regression

[nenad.miksa]

Hi!

I have found a possible regression in solving certain system of inequalities.

When using old version of icas command line tool:

Code : Tout sélectionner

0>> solve(list[(y)^(2) + 5 >= 2, 2 > y - 10, (y)^(2) >= 0], y)
list[y<=0,((y>=0) and (y<=12))]
1>> version()
"giac 0.9.9"
2>>

When using the latest xcas for Mac OS:

Code : Tout sélectionner

0>> solve(list[(y)^(2) + 5 >= 2, 2 > y - 10, (y)^(2) >= 0], y)
[]
1>> version()
"giac 1.2.0-19, (c) B. Parisse and R. De Graeve, Institut Fourier, Universite de Grenoble I"
2>>

Am I using it wrong?

[parisse]

You are correct. I'm fixing that, you can check on
http://www-fourier.ujf-grenoble.fr/~parisse/xcasen.html

[nenad.miksa]

Are there any Git, SVN or CVS repositories that contain the fix?

[parisse]

No, but you can access the latest sources (with Makefile for emscripten) here:
www-fourier.ujf-grenoble.fr/~parisse/giac/emgiac.tgz