[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] RE: symbolic manipulation of expressions in Axiom
Date: 01 Apr 2007 15:19:53 -0500

"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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]