On Mar 14, 2009, at 2:27 AM, William Stein wrote: > 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?
No, there's stuff in Sage not in MuPAD and vice-versa. However, both are sufficiently interesting and novel. - Robert --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---