Page 1 sur 1

System of inequalities regression

Publié : mar. août 04, 2015 10:22 am
par 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?

Re: System of inequalities regression

Publié : mar. août 04, 2015 8:32 pm
par parisse
You are correct. I'm fixing that, you can check on
http://www-fourier.ujf-grenoble.fr/~parisse/xcasen.html

Re: System of inequalities regression

Publié : jeu. août 06, 2015 12:17 pm
par nenad.miksa
Are there any Git, SVN or CVS repositories that contain the fix?

Re: System of inequalities regression

Publié : jeu. août 06, 2015 12:53 pm
par parisse
No, but you can access the latest sources (with Makefile for emscripten) here:
www-fourier.ujf-grenoble.fr/~parisse/giac/emgiac.tgz