On Nov 7, 2007 11:42 AM, Barton Willis <willisb at unk.edu> wrote:
> 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.
Done:
http://sourceforge.net/tracker/index.php?func=detail&aid=1827488&group_id=4933&atid=104933
Paul
> -----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
>
>