[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

**[Axiom-developer] Question concerning types...**, *C Y*, `2006/09/16`
**Re: [Axiom-developer] Question concerning types...**, *Martin Rubey*, `2006/09/16`
**Re: [Axiom-developer] Question concerning types...**, *C Y*, `2006/09/16`
**Re: [Axiom-developer] Question concerning types...**, *Ralf Hemmecke*, `2006/09/16`
**Re: [Axiom-developer] Question concerning types...**,
*Gabriel Dos Reis* **<=**
**Re: [Axiom-developer] Question concerning types...**, *C Y*, `2006/09/16`
**Re: [Axiom-developer] Question concerning types...**, *Martin Rubey*, `2006/09/16`
**Re: [Axiom-developer] Question concerning types...**, *Ralf Hemmecke*, `2006/09/16`
**Re: [Axiom-developer] Question concerning types...**, *Gabriel Dos Reis*, `2006/09/16`
**Re: [Axiom-developer] Question concerning types...**, *Gabriel Dos Reis*, `2006/09/16`
**Re: [Axiom-developer] Question concerning types...**, *C Y*, `2006/09/16`
**Re: [Axiom-developer] Question concerning types...**, *Gabriel Dos Reis*, `2006/09/16`
**Re: [Axiom-developer] Question concerning types...**, *C Y*, `2006/09/16`
**Re: [Axiom-developer] Question concerning types...**, *Gabriel Dos Reis*, `2006/09/17`
**Re: [Axiom-developer] Question concerning types...**, *Martin Rubey*, `2006/09/17`