divergent integral not recognized, (Was: integrate and pnz questions (progress?))



Am Sonntag, den 23.08.2009, 12:54 +0200 schrieb andre maute:
> The zeroa problem has NOT been fully fixed yet. In Maxima 5.17.1 I get
> 
> 
> 
> -------------------------------------------------------------
> $ maxima -b integratebug.max 
> Maxima 5.17.1 http://maxima.sourceforge.net
> Using Lisp SBCL 1.0.18.debian
> Distributed under the GNU Public License. See the file COPYING.
> Dedicated to the memory of William Schelter.
> The function bug_report() provides bug reporting information.
> (%i1) batch(integratebug.max)
> 
> 
> 
> batching /home/user/integratebug.max
> (%i2) display2d : false
> (%o2) false
> (%i3) integrate((1+x)^2/(x-1),x)
> (%o3) 4*log(x-1)+(x^2+6*x)/2
> (%i4) integrate((1+x)^2/(x-1),x,-1,1)
> Is zeroa positive, negative, or zero?
> 
> 
> 
> pos;
> Integral is divergent
> -- an error. To debug this try debugmode(true);
> -------------------------------------------------------------

The current version of Maxima is 5.19 (August 2009). 

Maxima gets

(%i18) integrate((1+x)^2/(x-1),x,-1,1);
defint: integral is divergent.
-- an error.  To debug this try debugmode(true);

There is no question and Maxima returns immediately that the integral is
divergent. That is correct.

There is no longer a zeroa or zerob problem present for this example and
the current Maxima version.

Dieter Kaiser