multiple evaluations & integrate



OK:

  (%i2) integrate(sin(2 *asin(a*x)), x);
  (%o2) ((1-a^2*x^2)^(3/2)+sqrt(1-a*x)*sqrt(a*x+1)*(5*a^2*x^2-5))/(6*a)

Not OK:

  (%i3) (a:b,b:c,c:d,d:e,e:f,f:g,g:h,h:i)$

  (%i4) integrate(sin(2 *asin(a*x)), x);
  (%o4) ((1-f^2*x^2)^(3/2)+sqrt(1-f*x)*sqrt(f*x+1)*(5*f^2*x^2-5))/(6*f)

In risch.lisp, I see things such as

  (let ((*in-risch-p* t))  (meval (list '($ev) result '$nouns)))

I'm not sure that appending '$noeval fixes the (putative) bug.

I think (%o4) shows a bug. Is the Maxima  evaluation policy clearly documented?




--Barton