Question: Assume Faciltiy

I am trying to write a procedure which takes a list of (linear) expressions in two variables and a list of assumptions on the two variables and returns all of the possible orderings of those expressions. To my dismay, the assuming facility does not seem to be working properly. I using Maple 9 on a Windows System. The following input illustrates the problem. coulditbe(mU > 1-u) assuming mU true Maple returns true! The first assumption alone eliminates the possibility of this being true. What's going wrong and how do I get this to work? If you wish, you can plot these assumptions and though at least two are redundant, there is a feasible region. Finally, I've looked to the maple 9.5 guides and to the help file on assume, they do not provide enough guidance. Thanks in Advance.
Please Wait...