[Top][All Lists]

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

Re: [Axiom-developer] Question concerning types...

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] Question concerning types...
Date: 16 Sep 2006 22:20:39 +0200

Ralf Hemmecke <address@hidden> writes:


| then n does not have a value. However, there is a relation between m and
| n. Where do you store that information? Certainly not in MachineInteger.
| And hopefully also NOT in the interpreter. There should be a general
| domain that handles such things. Something like a typed expression tree
| which then could be used by the interpreter to figure out what you mean.
| But to write such a domain, is another story.

Why Expression(I) could not be made to work with that?

More generally, I would like to see support for symbolic expressions
in Axiom.

Yesterday, it took me very time lines to code some simple symbolic
expression  manipulation in Mathematica.  The thing in Axiom would
have eaten my evening :-(

-- Gaby

reply via email to

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