On Fri, Mar 13, 2009 at 1:26 AM, Nicolas M. Thiery <nicolas.thi...@u-psud.fr> wrote: > > 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 :-)
Is it "the concept"? Did you guys independently arrive at the same solution? -- william --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
