[Axiom-developer] Lisp representation of Union, Record, etc.

2007-07-15 Thread daly
As these discussions proceed I'm trying to write up the details we discover in the developer notes so other people can follow when these things come up again. I'd like make a whole section devoted to a couple interesting domains (e.g. Integer, DHMATRIX), peel them open completely, and show exactly

[Axiom-developer] Lisp representation of Union, Record, etc

2007-07-15 Thread daly
Steven, The function |Integer| is defined in int/algebra/INT.lsp. The first time the function is executed it replaces itself in the $ConstructorCache. The real |Integer| function is called |Integer;| This function constructs the domain $ All of the function lookup for the function in Integer are

[Axiom-developer] Lisp representation of Union, Record, etc

2007-07-15 Thread daly
William, Stephen, In the src/doc/developernotes.pamphlet (mnt/linux/doc/developernotes.dvi) you'll find a section on Axiom Internal Representation that might be of interest. Tim ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.