## [Reduce-algebra-developers] Error in rule simplification

 [Reduce-algebra-developers] Error in rule simplification From: Rainer Schöpf - 2012-05-25 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; ***** Non-numeric 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 ```

 [Reduce-algebra-developers] Error in rule simplification From: Rainer Schöpf - 2012-05-25 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; ***** Non-numeric 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 ```