(a b)^n --> a^n*b^n via Refine

*To*: mathgroup at smc.vnet.net*Subject*: [mg48455] (a b)^n --> a^n*b^n via Refine*From*: "Drago Ganic" <drago.ganic at in2.hr>*Date*: Mon, 31 May 2004 00:13:30 -0400 (EDT)*Sender*: owner-wri-mathgroup at wolfram.com

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