On Thu, Mar 12, 2009 at 09:10:43PM -0700, Robert Bradshaw wrote: > > - I see 10*bla as (potentially) involving two independent things: > > coercion and multiple dispatch > > Yep, though in my mind they're a bit more intertwined (e.g. for a \in > Z, b \in QQ[x], one can do a*b by doing a coercion then an action, > b._lmul_(QQ(a)).
Definitely. > > For whatever it's worth, I had started writing a draft of paper on the > > coercion (= implicit conversion) and multiple dispatch mechanism I had > > implemented in MuPAD: > > > > http://mupad-combinat.svn.sourceforge.net/viewvc/mupad-combinat/ > > trunk/MuPAD-Combinat/Papers/2007-12-13-Overloading.tex?view=markup > > > > Strangely enough, I lost part of my motivation for working on this > > shortly after :-) > > I'll take a look. I've been intending to write this up as a paper > too, but haven't found the time yet. Well, maybe we could join forces, and write a paper "coercion and dispatch in Sage and MuPAD". Having more than one implementation of the concept would even make it a standard :-) Best, Nicolas -- Nicolas M. ThiƩry "Isil" <nthi...@users.sf.net> http://Nicolas.Thiery.name/ --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---