Probably not. See:
http://www.apmaths.uwo.ca/~djeffrey/Offprints/AMAI.pdf
Tim
Ted Kosan wrote:
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
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
