share testsuite doesn't finish + logmabs defective.



Oops--about logmabs:


OK:

 (%i1) integrate(1/(2+x^3),x);
 (%o1) -log(x^2-2^(1/3)*x+2^(2/3))/(3*2^(5/3))+atan((2*x-2^(1/3))/(2^(1/3)*sqrt(3)))/(2^(2/3)*sqrt(3))+log(x+2^(1/3))/(3*2^(2/3))

looks simplified:

 (%i2) expand(%,0,0);
 (%o2) -log(x^2-2^(1/3)*x+2^(2/3))/(3*2^(5/3))+atan((2*x-2^(1/3))/(2^(1/3)*sqrt(3)))/(2^(2/3)*sqrt(3))+log(x+2^(1/3))/(3*2^(2/3))

Improved logmabs: (does take (%log) .. instead of (list (%log) ....

 (%i3) :lisp(defun logmabs (x) (take '(%log) (if $logabs (take '(mabs) x) x)))
  LOGMABS

Not simplified:

  (%i3) integrate(1/(2+x^3),x);
  (%o3) atan((2*x-2^(1/3))/(2^(1/3)*sqrt(3)))/(2^(2/3)*sqrt(3))+log(x+2^(1/3))/(3*2^(2/3))-log(x^2-2^(1/3)*x+(2^(1/3))^2)/(3*2^(5/3))

  (%i4) expand(%,0,0);
  (%o4) -log(x^2-2^(1/3)*x+2^(2/3))/(3*2^(5/3))+atan((2*x-2^(1/3))/(2^(1/3)*sqrt(3)))/(2^(2/3)*sqrt(3))+log(x+2^(1/3))/(3*2^(2/3))

Ahh, that's a puzzler.

--Barton