[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