Hi Group,
could someone help me in grasping why this work:
Refine[(b^r)^p, Element[{r, p}, Integers]] --> b^(p*r)
and this not
Refine[(a*b)^p, Element[ p, Integers]] --> a^p*b^p
In the documentation of PowerExpand it is stated that (a*b)^n == a^n*b^n for
every integer n, as we can see by evaluating (x y)^Range[-3, 3]. ?!?!
Greetings from Croatia,
Drago Ganic