This is a bug--if you could file a bug report, please do. I can't
think of a workaround. Maxima doesn't allow 'or; assertions
(for example assume(k < 1 or k > 1)). You can try
(%i1) assume((x-1)^2 > 0);
(%o1) [(x-1)^2>0]
(%i2) is(equal(x,1));
(%o2) unknown
But that doesn't work either.
BW
-----maxima-bounces at math.utexas.edu wrote: -----
>To: maxima at math.utexas.edu
>From: "Paul Smith" <phhs80 at gmail.com>
>Sent by: maxima-bounces at math.utexas.edu
>Date: 11/07/2007 04:40AM
>Subject: Assuming not equal to
>
>Dear All,
>
>I am trying to make maxima assuming that k is not equal to 1. I have
>tried the following, but with no success:
>
>(%i1) assume(k # 1);
>
>`assume': `#' means syntactic nonequality in Maxima. Maybe you want to
>use `not equal'.
> -- an error. To debug this try debugmode(true);
>(%i2) assume(notequal(k,1));
>(%o2) [notequal(k, 1)]
>(%i3) is(equal(k,1));
>(%o3) unknown
>
>Any ideas?
>
>Thanks in advance,
>
>Paul
>_______________________________________________
>Maxima mailing list
>Maxima at math.utexas.edu
>http://www.math.utexas.edu/mailman/listinfo/maxima