On Tue, Apr 8, 2008 at 6:21 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

Regards,
Bill Page.

-------------------------------------------------------------------------
This SF.net email is sponsored by the 2008 JavaOne(SM) Conference 
Register now and save $200. Hurry, offer ends at 11:59 p.m., 
Monday, April 7! Use priority code J8TLD2. 
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

Reply via email to