I am strongly +1 on this idea. On Tue, Apr 1, 2014 at 7:10 PM, Matthew Rocklin <mrock...@gmail.com> wrote: > Hi Everyone, > > i'd like to add the multipledispatch project as an external dependency to > SymPy. > > As a reminder, SymPy currently doesn't depend on any external libraries, so > this particular move also represents a policy shift. This potential policy > shift follows substantial discussion, notably at > https://github.com/sympy/sympy/issues/7339 . There are good reasons for and > against external dependencies (I recommend checking out the header of the > mentioned issue). > I'm now specifically proposing that we depend on multipledispatch which > might have other more specific benefits and drawbacks. Even if someone is > for dependencies they might not be for this particular dependency. > > Any thoughts? Now would be a good time to voice concern. One example use > of multipledispatch in SymPy is at #2979 . > > Best, > -Matt > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/CAJ8oX-Gi8uGcXF6i73tGFp71%2B02mfJW2d42MUvADkRvCsZHRRw%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout.
-- Brian E. Granger Cal Poly State University, San Luis Obispo bgran...@calpoly.edu and elliso...@gmail.com -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAH4pYpSx%3DDt3TqF3dAS0LrjAM1XHa_-3xUWuxut89cURYoE3XQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
