Oops, your both right. I didn't catch these cases. It is a bug. Contexts
should fix that.
-----Original Message-----
From: Barton Willis
Sent: Saturday, June 02, 2012 5:25 PM
To: Stavros Macrakis ; Richard Hennessy
Cc: maxima at math.utexas.edu
Subject: RE: [Maxima] pw.mac
A crazy chained assignment:
(%i3) (a : b, b : c, c : d, d : e)$
No facts:
(%i4) facts();
(%o4) []
Call simp_given on 1 with one fact a < b
(%i5) simp_given(1,a<b);
(%o5) 1
And oops--a fact leaked out:
(%i6) facts();
(%o6) [d>c]
Isn't this a bug?
--Barton