-----maxima-bounces at math.utexas.edu wrote: -----
>The?fact?database?sometimes?holds?unsimplified?facts.?One?way?to
>see?this?is?to?insert?a?print?into?$sign:
>Then,?for?example
>
>(%i12)?abs(sin(x)/x);
>(FACTS?=?((MLIST)))?
>(FACTS?=?((MLIST)?((MNOT)?(($EQUAL)?$X?0))))?
The functions c-$pos, c-$pz, daddnq, and intext (all defined in compar.lisp)
do things such as (list '(mnot) (cons '($equal) body)). Fixing daddnq and
intext to return $notequal expressions fixes nothing and causes no bugs.
The functions c-$pos and c-$pz aren't called by any function in
compar.lisp--maybe they could be commented out.
--Barton