Re: [Axiom-developer] SAGE, Axiom, and usage

[Gabriel Dos Reis]

"Page, Bill" <address@hidden> writes:

[...]

| Gaby would like to introduce his students to "symbolic
| computation", but really Axiom (and Aldor) are not very
| good at this -- by design.

    The appearance of AXIOM in the scientific market moves symbolic
    computations into a higher plane, where scientists can formulate 
    their statements in their own language and receive computer
    assistance in their proofs. [...] AXIOM provides a powerful
    scientific environment for easy construction of mathematical tools
    and algorithms; it is a symbolic manipulation system, and a high
    performance numerical system, with full graphic capabilities.

             -- Gregory V. Chudnovsky in the Foreword of
                AXIOM, the Scientific Computation System


I suspect the authors of the book forgot to tell him that the
designers of AXIOM, by design, really did make it "not very good at
symbolic computation". 


-- Gaby