Regression in integration



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

___