Advanced Search

Question: Phantom solution to linear inequalities using solve

Question:Phantom solution to linear inequalities using solve

Simon Willerton 15 Maple
January 29 2013
3

I'm trying to use solve to find out if a system of equalities and inequalities has any solution or not, but maple 15 seems to be giving phantom solutions.  A simple example is the following:

  solve({ a + b = 1, a > 0, b > 1, c > 0 }, {a,b,c});

It gives the output

which is clearly wrong.

This seems like a bug.  Is there anyway to get maple to behave more sensibly?

Thanks,

Simon.
Please Wait...