On Tue, Apr 8, 2008 at 8:33 PM, Gabriel Dos Reis wrote: > "Bill Page" <[EMAIL PROTECTED]> writes: > > [...] > > | Aha. So what is your point? Do you see something wrong with > | what I wrote? Are you saying that it should work if I replace my > | definition of '=' with the one from 'Mapping'? > > From computational (there algorithmic) perspective, function > equality is ill-defined.
I can not agree. Because something cannot always be computed does not mean that it is therefore ill-defined. This is especially true in mathematics. For example, the assumed equality of functions, i.e. the concept of a commutative diagram, is essential for category theory. And we have not problems (in principle) in dealing with exact representations of real numbers in computer algebra systems. > I don't see a point in build a tower of hacks over hacks. I do agree with you there! Let's fix the original hacks. :-) > The fact that Mapping belongs to SetCategory is largely > historical accident. I would rather ditch that relationship out. > I think SetCategory is mis-named. It does not provide anything substantially more than BasicType. Would you propose that Mapping not even belong to BasicType? Regards, Bill Page. ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Don't miss this year's exciting event. There's still time to save $100. Use priority code J8TL2D2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
