From: Rainer Schöpf <rainer.schoepf@gm...>  20120525 14:03:19

Try this:  let int(1/(~x^~n*log(x)),x) => ei((n+1)*log(x)) when fixp n; on combineexpt; let int(1/(~x^~n*log(x)),x) => ei((n+1)*log(x)) when fixp n; ***** Nonnumeric argument in arithmetic  The problem comes from the special treatment if the free variable ~n in the exponent: simplification of ~x^~n yields (~x . ~n) instead of ((expt ~x ~n) . 1) Finally the former is passed (as s.f.) as first argument to the function expf, in alg/simp.red. (expf (((!~x . !~n) (((log !~x) . 1) . 1))) 1) in order to raise this s.f. to the power of 1. Any ideas how to fix this? Rainer 