Advanced Search

Question: 'assume' doesn't work as expected

Question:'assume' doesn't work as expected

dushanm 116 Maple
testing integral
April 23 2009
0

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);

                                          FAIL

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

- Dushan
Please Wait...