Dan Gildea <dgildea at users.sourceforge.net> writes:
> Maxima 5.28.0_297_geb362e1 http://maxima.sourceforge.net
> using Lisp GNU Common Lisp (GCL) GCL 2.6.8 (a.k.a. GCL)
> Distributed under the GNU Public License. See the file COPYING.
> Dedicated to the memory of William Schelter.
> The function bug_report() provides bug reporting information.
> (%i1) assume(a>0);
> (%o1) [a > false]
> (%i2) assume(b>1);
> (%o2) [b > false]
> (%i3) facts();
> (%o3) [a > false, b > false]
Oh dear, this was caused by my commit acedfa0cf33. I'm trying to work
out what's gone wrong and I'll merge a fix asap. Sorry!
Rupert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 315 bytes
Desc: not available
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20130219/adbffce4/attachment.pgp>;