divergent integral not recognized, (Was: integrate and pnz questions (progress?))
Subject: divergent integral not recognized, (Was: integrate and pnz questions (progress?))
From: andre maute
Date: Sun, 23 Aug 2009 12:54:48 +0200
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);
-------------------------------------------------------------
On Thursday 02 April 2009, Jaime Villate wrote:
> On Qui, 2009-04-02 at 16:21 +0200, andre maute wrote:
> > if there has been made some progress in the zeroa issue.
> > perhaps with a more recent maxima, i still have 5.15.0?
>
> > >> (%i3) integrate(x/(1-x),x,-1,1)
> > >> Is zeroa positive, negative, or zero?
>
> In 5.17 I get:
> (%i1) integrate(x/(1-x),x,-1,1);
> defint: integral is divergent.
>
> Regards,
> Jaime
On Thursday 02 April 2009, andre maute wrote:
> I would like to ask,
> if there has been made some progress in the zeroa issue.
> perhaps with a more recent maxima, i still have 5.15.0?
>
> Regards
> Andre
>
> >stavros macrakis wrote:
> >
> >On Sat, Jan 24, 2009 at 11:08 AM, andre maute <andre.maute at gmx.de>
wrote:
> >> (%i3) integrate(x/(1-x),x,-1,1)
> >> Is zeroa positive, negative, or zero?
> >> what does zeroa mean here?
> >
> >zeroa is an internal symbol for a positive infinitesimal (sort of).
> >The fact that it is being displayed to the user is a bug. Anyway,
> >asksign should know that zeroa>0 and zerob<0.
> >
> >> (%i3) integrate(1/x,x,-1,1)
> >> Is x-1 positive, negative, or zero?
> >> ----------------------------------------------------------
> >>
> >> isn't x-1 < 1-1 = 0?
> >> how does this pnz question help here?
> >
> >Yes, definite integration should be cleverer here. Not exactly a bug,
> >but not the best behavior.
> >
> > -s
>
> On Saturday 24 January 2009, andre maute wrote:
> > I stumbled upon the following
> >
> > --------------------------------------------------------
> > myuser at myhost:~$ maxima -b bug1.max
> > Maxima 5.15.0 http://maxima.sourceforge.net
> > Using Lisp SBCL 1.0.11.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(bug1.max)
> >
> > batching /home/myuser/bug1.max
> > (%i2) display2d : false
> > (%o2) false
> > (%i3) integrate(x/(1-x),x,-1,1)
> > Is zeroa positive, negative, or zero?
> > ----------------------------------------------------------
> >
> > what does zeroa mean here?
> >
> > ----------------------------------------------------------
> > myuser at myhost:~$ maxima -b bug2.max
> > Maxima 5.15.0 http://maxima.sourceforge.net
> > Using Lisp SBCL 1.0.11.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(bug2.max)
> >
> > batching /home/myuser/bug2.max
> > (%i2) display2d : false
> > (%o2) false
> > (%i3) integrate(1/x,x,-1,1)
> > Is x-1 positive, negative, or zero?
> > ----------------------------------------------------------
> >
> > isn't x-1 < 1-1 = 0?
> > how does this pnz question help here?
> >
> > Regards Andre