[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] Testing if (72*a^3*b^5)^(1/2) is equivalent to 6*a*b^2

**From**: |
Ted Kosan |

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

**Date**: |
Mon, 8 Mar 2010 01:48:08 -0500 |

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] Testing if (72*a^3*b^5)^(1/2) is equivalent to 6*a*b^2*(2*a*b)^(1/2)**,
*Ted Kosan* **<=**