On Tue, Apr 8, 2008 at 11:46 PM, Gabriel Dos Reis wrote: > Bill Page writes: > ... > | You have injected the words "hack" and "worship" here but I do not > | think they are appropriate. What reason do you have to believe that I > | worship anything in particular? > > Because you have not given the substance that the category theory must > work with in the context that is of interest to us. You have only posted > links to stuff -- largely known to the audience -- which are > *axiomatic* in nature. You have carefully avoided giving any > rigorous definition that can be tested -- that is not science. >
That is not true. In the example code that I gave and in my emails I have specifically stated that I think equality of functions in Axiom should be changed so that it applies EQ after resolving the functions. Right now I am looking for a way to do this inside the Mapping domain, in the operation MappingEqual instead of by using the "hack" of applying the functions to some test arguments before testing the equality. 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
