odd bug in integrate: using x(t) instead of x get answer
Subject: odd bug in integrate: using x(t) instead of x get answer
From: Raymond Toy
Date: Mon, 15 Jul 2013 08:59:26 -0700
>>>>> "Barton" == Barton Willis <willisb at unk.edu> writes:
Barton> Substituting x --> z[0] also shows this bug. Also
Barton> (%i1) s: 1/sqrt(log(x)+a*x+b)$
Barton> (%i2) integrate(subst(x=z[0],s),z[0]);
Barton> (%o2) -sqrt(%pi)*%i*%e^(-b-z[0]*a)*erf(%i*sqrt(b+z[0]*a+log(z[0])))
Barton> (%i3) integrate(subst(x=a+b,s),a+b);
Barton> (%o3) a/sqrt(log(b+a)+(a+1)*b+a^2)
Barton> (%i4) integrate(subst(x=%i,s),%i);
Barton> Maxima encountered a Lisp error:
Barton> (%i5) integrate(subst(x=sqrt(5),s),sqrt(5));
Barton> (%o5) (2*sqrt(b+sqrt(5)*a+log(5)/2))/a
This looks wrong. I remember sometime ago that integrate was changed
to allow the integration variable to be more than just a plain
symbol. Perhaps to support using things like z[0] as the dummy
variable? But this seems to be too loose.
Ray