One more thing:
(%i1) integrate(x^n,x);
0> Calling (ASKSIGN1 ((MEXPT SIMP) ((MPLUS SIMP) 1 $N) 2))
Is n + 1 zero or nonzero?
nonzero;
<0 ASKSIGN1 returned $PN
(%o1) log(x)
The function asksign01 mishandles a return of $pn from asksign1 :
(defun asksign01 (a)
(let ((e (sign-prep a)))
(cond ((eq e '$pnz) '$pnz)
((member (setq e (asksign1 e)) '($pos $neg) :test #'eq) e)
(limitp (eps-sign a))
(t '$zero))))
--Barton
___