sign non-forgetfulness
- Subject: sign non-forgetfulness
- From: Barton Willis
- Date: Tue, 27 Jul 2010 08:16:42 -0500
A simple example:
(%i1) (sign(1/a), facts(a));
(%o1) [notequal(a,0)]
(%i2) facts(a);
(%o2) []
I'll file a bug report using this example.
--Barton
-----maxima-bounces at math.utexas.edu wrote: -----
>Apparently?csign?(and?sign)?temporarily?place?facts?in?the?fact?database,
>but?the?temporary?facts?aren't?removed?immediately.?An?example: