"Bill Page" <[EMAIL PROTECTED]> writes: [...]
| I think the paper by Steven Watt referred to in the | following thread: | | http://lists.nongnu.org/archive/html/axiom-developer/2006-08/msg00525.html | | Making Computer Algebra More Symbolic (Invited), Stephen M. Watt, | pp. 43-49, Proc. Transgressive Computing 2006: A conference | in honor or Jean Della Dora , (TC 2006), April 24-26 2006, | Granada Spain. | | http://www.csd.uwo.ca/~watt/pub/reprints/2006-tc-sympoly.pdf | | is a very important contribution. What he is describing here is | directly related to the implementation of the Expression domain | constructor in Axiom. As I said earlier, think of it as use of types programming languages. -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
