Regression in integration



OK I'll see what I can do.  (There is a missing let in integrate-mexpt that I''ll fix).

The function asksign-p-or-n is a bit sketchy, by the way:

(defmfun asksign-p-or-n (e)
  (unwind-protect (prog2
		      (assume `(($notequal) ,e 0))
		      ($asksign e))
    (forget `(($notequal) ,e 0))))

Maybe this code is never called if it has been assumed that notequal(e,0). But this assume / forget method is suboptimal.

--Barton

________________________________________
From: maxima-bounces at math.utexas.edu [maxima-bounces at math.utexas.edu] on behalf of Robert Dodier [robert.dodier at gmail.com]
Sent: Thursday, May 23, 2013 12:09
To: maxima at math.utexas.edu
Subject: Re: [Maxima] Regression in integration

On 2013-05-23, Barton Willis <willisb at unk.edu> wrote:

> I know that asksign isn't loved by all. Nevertheless if there is
> support for the askequal & related change to the integrate defprop
> for mexpt, let me know.

OK by me to incorporate askequal.

best

Robert Dodier

_______________________________________________
Maxima mailing list
Maxima at math.utexas.edu
http://www.math.utexas.edu/mailman/listinfo/maxima