On Tue, Apr 8, 2008 at 7:18 PM, Gabriel Dos Reis wrote: > Bill Page writes: > | > | ... > | > | The bug I think, is that MappingEqual does not attempt to > | > | resolve the 'newGoGet' indirection. > | > > | > In fact Mapping should not get a newGoGet -- that it does, puzzles > | > me. Which system was that? > | > > | > | This happens in both FriCAS built from svn on 2007-11-09 and > | OpenAxiom built from svn on 2008-01-28. See the output from the > | debugging statements: > | > | print(coerceMap2E(f)$Lisp::OutputForm) > | print(coerceMap2E(g)$Lisp::OutputForm) > | > | at > | > | http://axiom-wiki.newsynthesis.org/SandBoxMyReduceInOpenAxiom > > Those are not coming from Mapping. The newGoGets are coming from > your package MyReduce. >
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'? 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
