axiom-developer
[Top][All Lists]

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

 From: Tim Daly Subject: Re: [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, 08 Mar 2010 02:31:32 -0500 User-agent: Thunderbird 2.0.0.21 (Windows/20090302)

```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
```