Revision history [back]

Formally, there is nothing wrong since the second list of inequalities leads to the empty set (because of -a > 0, a > 0). That said, one could indeed expect that that list would have been automatically removed. In general, the solve function is not reliable since it might fail silently (e.g. give less solution than expected), for such systems of inequelities, an alternative is to use qepcad, whose installation is unfortunately currently broken.

Formally, there is nothing wrong since the second list of inequalities leads to the empty set (because of -a > 0, a > 0). That said, one could indeed expect that that list would have been automatically removed. In general, the solve function is not reliable since it might fail silently (e.g. give less solution than expected), for such systems of inequelities, an alternative is to use qepcad, whose installation is unfortunately currently broken.broken (it used to be an experimental package).