Ted Kosan writes:
> 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)^
Every "number" has two square roots. The expression may be
zero and may not be zero, depending on which of the four
possible interpretations you put on the square root.
An expression like the one given can be interpreted at
various levels in Axiom. Each "square root" can be
interpreted as an
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
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)
+--+
