Re: [Axiom-developer] RE: symbolic manipulation of expressions in Axiom

[Gabriel Dos Reis]

"Bill Page" <address@hidden> writes:


[...]

| > The difference, as I see it comes from the larger number of
| > supported mathematical operations for Expression T, than there
| > are for InputForm.
| 
| There are *no* mathematical (algebraic) operations in InputForm!

and I'm saying that once you've added them, as for Expression T,
you'll see no difference.  Adding them is precisely what people do
when they start "symbolic computation" and "simplification".

[...]

| > Also, be aware than the Axiom designers, in many places,
| > thought of Expression as the general domain for symbolic
| > manipulation and have appropriate hardwired type inference
| > rules in the interpreter.
| > 
| 
| Of course that is no problem. If you are able to read and
| understand Stephen Watt's paper on this subject, I am sure
| that this would be clear to you.

That has nothing to do with what I'm saying. 

BTW, it is possible to read Watt's paper and not agreeing with him.
And it is possible to agree with him and not reading his paper.
But again, what he said in his paper has nothing to do with the
distinction between Expression T and InputForm I'm concerned with.

-- Gaby