There are also some further points about coercion in http://axiom-portal.newsynthesis.org/refs/articles/doye-aldor-phd.pdf
Ralf On 05/12/2008 09:02 AM, TimDaly wrote: > If you're doing coercions you might find this paper of interest: > > Andreas Weber, "On Coherence in Computer Algebra" > Journal of Symbolic Computation (1995) 19,25-38 > > On Apr 22, 4:24 am, Robert Bradshaw <[EMAIL PROTECTED]> > wrote: >> Sure. See you there. >> >> On Apr 22, 2008, at 12:50 AM, David Roe wrote: >> >> >> >>> Hey, >>> If you want to log onto sage-devel, I'm working on coercion and had a >>> few things to talk about. >>> David --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---