我希望改变表达式的形式
r^{-1-n} a^n
结合Mathematica的权力给予
[(a/r)^n] / r.
为此,我编写了这个TransformationFunction
PowerReduce[Times[Power[a_, -1 - b_], Power[c_, b_]]] := Power[a, -1] Power[c/a, b]
这适用于这样的例子
Simplify[Power[r, -1 - n] Power[a, n], TransformationFunctions -> PowerReduce]
但如果我使用数值,则会失败,例如r=2:
Simplify[ Power[2, -1 - n] Power[a, n], TransformationFunctions -> PowerReduce]
其他TransformFunction似乎与数值一起使用.例如,以下适用于数值和代数值.
MultAllVals[Power[a_, b_]] := a b
Simplify[ Power[2, -1 - n] Power[a, n], TransformationFunctions -> MultAllVals]
我怎样才能让Mathematica将n一起的权力分组到一个Power []？