"Bill Page" <[EMAIL PROTECTED]> writes: | On Tue, Apr 8, 2008 at 4:53 AM, Gabriel Dos Reis wrote: | > On Mon, Apr 7, 2008 at 11:07 PM, Bill Page wrote: | > | > > Yes! That is the right idea but really what we need is for the | > > SPAD compiler to choose a reasonable signature for the '=' | > > operation. Probably everything would work-out (almost) ok | > > if the built-in 'Mapping' domain exported an operation like | > > this: | > > | > > (f:(S,S)->S) = (g:(S,S)->S)):Boolean == EQ(f,g)$Lisp | > | > Mapping(S,S,S) has that. | > | | Interesting. The information from command | | )show Mapping(Integer,Integer,Integer) | | is quite useless in this regard. Hyperdoc (in FriCAS) is better but | in OpenAxiom Hyperdoc crashes when displaying this kind of | information. :-(
I have not noticed it since I don't use the HyperDoc GUI, but your point is taken. -- Gaby ------------------------------------------------------------------------- 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
