[Axiom-developer] Testing if (72*a^3*b^5)^(1/2) is equivalent to 6*a*b^2*(2*a*b)^(1/2)

[Ted Kosan]

I have been experimenting with Axiom to see how it compares to other
computer algebra systems.

One of the things I tried testing was if Axiom could determine if
(72*a^3*b^5)^(1/2) was equivalent to 6*a*b^2*(2*a*b)^(1/2):

(2) -> (72*a^3*b^5)^(1/2) - 6*a*b^2*(2*a*b)^(1/2)

         +------+
         |   3 5        2 +----+
 (2)  \|72a b   - 6a b \|2a b


When I entered this expression into Wolfram Alpha, it returned 0 as a result.

Is Axiom capable of determining if (72*a^3*b^5)^(1/2) is equivalent to
6*a*b^2*(2*a*b)^(1/2) ?

Thanks,

Ted