From: SourceForge.net <no...@so...> - 2009-10-20 15:13:52
|
Bugs item #2882408, was opened at 2009-10-20 17:13 Message generated for change (Tracker Item Submitted) made by robertmarik You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2882408&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Share Libraries Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Robert Marik (robertmarik) Assigned to: Nobody/Anonymous (nobody) Summary: solve_rat_ineq returns false answers Initial Comment: 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. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2882408&group_id=4933 |