On Wed, May 7, 2008 at 10:05 AM, Gabriel Dos Reis wrote:
> ...
> Bill Page writes:
> |
> | Could you please give an example of a coercion that has been moved
> | to | the library? Does this include any of the coercions that are "hard
> | coded" into the Axiom interpreter?
>
> See an example I gave on the wiki
>
>   a := 'x :: OutputForm
>   b := 'y :: OutputForm
>   a and b
>

Ok, I see. Compare the output of:

http://axiom-wiki.newsynthesis.org/SandBoxOpenAxiom#bottom

(which is executed using OpenAxiom) to:

http://axiom-wiki.newsynthesis.org/SandBoxAxiom#bottom

(which is executed by default using FriCAS).

Thanks!

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

Reply via email to