Question: 'assume' doesn't work as expected

To evaluate some real integrals I use the 'assume' instruction to make sure all the quantities are real.  But Maple 12 can't seem to deduce the obvious inequalities from this - testing for them gives a FAIL result.  Here is a minimal example:

    assume(X,real, Y,real, w>0);

    is( (X+w)^2 + Y^2 >= 0);


What's the best way, if there is one, to get around this deficiency?

- Dushan

Please Wait...