sergio rossi <arianefour <at> gmail.com> writes:
>
>
> Hi,
>
> I tried the following in Maxima 5.19.2 and it doesn't seem to work:?
>
>
> (%i1) load("solve_rat_ineq.mac");
> (%o1)?
> ?? ?C:/PROGRA~1/MAXIMA~1.2/share/maxima/5.19.2/share/contrib/solve_rat_ineq.mac
> (%i2) solve_rat_ineq((2*x-1)/(2*x*(x^2+1))>0);
> Division by 0
> #0: solve_rat_ineq(ineq=(2*x-1)/(2*x*(x^2+1)) > 0)(solve_rat_ineq.mac line 87)
> ?-- an error. ?To debug this try debugmode(true);
>
> Maybe a bug? Thanks,
>
Hello, I found another bug in solve_rat_ineq. See the bug report
http://sourceforge.net/tracker/?func=detail&aid=2882408&group_id=4933&atid=104933
for description what happens and try to use attached fixed solve_rat_ineq.mac
file. I cannot test it now against your inequality, but I hope that it will
work. Maxima is trying to test if the ineqauality is valid on the interval
(-infinity, 0) and because of minor bug in the definition, x=0 is used for this
testing. It fails, of course ....
This fix solves also bug 2636628 "solve_rat_ineq doesnt find all soloutions"
https://sourceforge.net/tracker/index.php?
func=detail&aid=2636628&group_id=4933&atid=104933
If any of the developers is interested, please confirm this bug and that the
fixed file solve_rat_ineq.mac attached to bugreport to bug "solve_rat_ineq
returns false answers" No 2882408
http://sourceforge.net/tracker/?
func=detail&aid=2882408&group_id=4933&atid=104933
Works and could be accepted for future versions of Maxima. Many thanks.
Robert Marik