assumption for integer?

• Subject: assumption for integer?
• From: Albert Reiner
• Date: 27 Sep 2005 14:29:48 +0200

Hi,

how do I enter the assumption that some variable, say M, is an
integer?

,----
| (%i1) assume(integerp(m));
| 
| (%o1) 			        [INCONSISTENT]
`----

Thanks in advance,

Albert.

• Prev by Date: changelog for 5.9.2
• Next by Date: changelog for 5.9.2
• Previous by thread: assume and kill from Lisp?
• Next by thread: assumption for integer?
• Index(es):
  • Date
  • Thread