Problem with algsys and realonly -& gt; false solution from solve_rat_ineq.
Subject: Problem with algsys and realonly -& gt; false solution from solve_rat_ineq.
From: Volker van Nek
Date: Sat, 01 May 2010 12:50:33 +0200
Leo,
thanks for working on this. I believe that generally it is very helpful
when someone else than the creator of a piece of software is writing the
tests.
Volker
Am Freitag, den 30.04.2010, 22:36 +0100 schrieb Leo Butler:
>
> Volker, I've added a few additional tests to rtest8 to prevent
> this particular regression, but it would be good to add a few more.
>
> I've also added tests to the share testsuite for solve_rat_ineq.
>
> Leo
>