# [Maxima] question about 'is', 'compare'

sen1 at math.msu.edu sen1 at math.msu.edu
Tue Jun 5 09:23:19 CDT 2007

```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                |
---------------------------------------------------------------------------
```

More information about the Maxima mailing list