#1800 solve_rat_ineq returns false answers

closed
nobody
5
2009-11-02
2009-10-20
Robert Marik
No

Solve_rat_ineq gives bad answers for inequalities like x^2+x>0, x^2+x<=0, x^2-x<=0, x^2-x>0

The problem of the boundary of the leftmost (rightmost) interval is x=0, then the agoritms tests this point instead a point from inside of the interval. It seems that the change suggested in the attachment solves this probleem and does not introduce any new problem.

Thanks for fixing.

Discussion

  • Volker van Nek
    Volker van Nek
    2009-11-02

    Hello Robert,
    my todays cvs commit of solve_rat_ineq.mac fixes this bug.
    Thank you for your help.
    Regards
    Volker van Nek

     
  • Volker van Nek
    Volker van Nek
    2009-11-02

    • status: open --> closed