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
_______________________________________________
Axiom-developer mailing list
address@hidden
http://lists.nongnu.org/mailman/listinfo/axiom-developer