Re: [open-axiom-devel] [fricas-devel] Re: VOID and NONE

2009-10-05 Thread Bill Page
On Mon, Oct 5, 2009 at 6:37 PM, Waldek Hebisch wrote: > Bill Page wrote: >> I hope you do not mind continuation of this discussion. > > I should be really doing something else, but could not > resist so I wrote quick answer. > Thanks. :-) i do appreciate that this discussion might seem too "philos

Re: [open-axiom-devel] [fricas-devel] Re: VOID and NONE

2009-10-05 Thread Waldek Hebisch
Bill Page wrote: > > On Mon, Oct 5, 2009 at 2:03 PM, Waldek Hebisch wrote: > > > > Bill Page wrote: > >> ... > >> Although it is currently a stand alone domain, 'Void' could be easily > >> made to satisfy 'SetCategory' by providing a simple '=' operation. > >> Since by definition 'Void' has only a

Re: [open-axiom-devel] [fricas-devel] Re: VOID and NONE

2009-10-05 Thread Bill Page
On Mon, Oct 5, 2009 at 2:03 PM, Waldek Hebisch wrote: > > Bill Page wrote: >> ... >> Although it is currently a stand alone domain, 'Void' could be easily >> made to satisfy 'SetCategory' by providing a simple '=' operation. >> Since by definition 'Void' has only a single "canonical" value we can >