Ralf Hemmecke <[EMAIL PROTECTED]> 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 mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
