Hello,
I have some questions about 'is' and 'compare'
Consider the following:
(%i1) assume(x > 2);
(%o1) [x > 2]
(%i2) is (x >1);
(%o2) true
(%i3) is (x^2 > 2);
(%o3) unknown
(%i4) is (x^2 > 3);
(%o4) unknown
(%i5) is (x^2 > 4);
(%o5) true
(%i6) compare(x^2,3);
(%o6) unknown
Is there a simple way to make sure that, after setting
assume(x > 2)
one gets
is (x^2 > 3)
to result in 'true' ?
TIA,
-sen
--
---------------------------------------------------------------------------
| Sheldon E. Newhouse | e-mail: sen1 at math.msu.edu |
| Mathematics Department | |
| Michigan State University | telephone: 517-355-9684 |
| E. Lansing, MI 48824-1027 USA | FAX: 517-432-1562 |
---------------------------------------------------------------------------