[Axiom-developer] GCL sidebar entry for AXIOM

2010-03-08 Thread Eugene Surowitz
The sibebar entry for AXIOM at www.gnu.org/software/gcl/gcl.html goes to http://www.nongnu.org/axiom which results in a redirection page that sends the user to http://www.axiom-developer.org which is as it should be. Who maintains the page www.gnu.org/software/gcl/gcl.html ? Cheer

[Axiom-developer] PASCO 2010: News and 2nd Call for Papers

2010-03-08 Thread Daniel de Angelis Cordeiro
(Please accept our apologies if you receive this message multiple times) Parallel Symbolic Computation 2010 (PASCO 2010) July 21-23, 2010 -- Grenoble, France http:

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

2010-03-08 Thread Martin Rubey
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)^

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

2010-03-08 Thread William Sit
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