Re: [Axiom-developer] Cast = pretend in Spad/Aldor? (was: B#)

2005-11-23 Thread Ralf Hemmecke
Bill Page wrote: On November 22, 2005 3:38 PM Peter Broadbery wrote: Bill Page wrote: Yet the ability to use 'pretend' is critical to the concept of representation in the construction of Axiom domains. For a perhaps overly abstract discussion of this see: http://wiki.axiom-developer.org/RepA

RE: [Axiom-developer] Cast = pretend in Spad/Aldor? (was: B#)

2005-11-22 Thread Bill Page
On November 22, 2005 3:38 PM Peter Broadbery wrote: > Bill Page wrote: > > > > Yet the ability to use 'pretend' is critical to the concept > > of representation in the construction of Axiom domains. > > > > For a perhaps overly abstract discussion of this see: > > > > http://wiki.axiom-develope

Re: [Axiom-developer] Cast = pretend in Spad/Aldor? (was: B#)

2005-11-22 Thread Peter Broadbery
On Mon, 2005-11-21 at 14:27 -0500, Bill Page wrote: > On November 21, 2005 12:59 PM Gaby wrote: > > > > > "Bill Page" writes: > > > > | On November 20, 2005 11:50 PM Gaby wrote: > > | > | > > | > | We have mentioned before on this list the very good article > > | > | > > | > | http://en.wikipe

[Axiom-developer] Cast = pretend in Spad/Aldor? (was: B#)

2005-11-21 Thread Bill Page
On November 21, 2005 12:59 PM Gaby wrote: > > "Bill Page" writes: > > | On November 20, 2005 11:50 PM Gaby wrote: > | > | > | > | We have mentioned before on this list the very good article > | > | > | > | http://en.wikipedia.org/wiki/Datatype > | > | > | > > | > That is interesting but the