On Fri, May 27, 2011 at 7:57 AM, Chris Smith <[email protected]> wrote: > That's ok with me. Let's see if anyone else has an opinion.
I for myself prefer the longer names. I don't think this is used so often, so that you should shorten it. But I am ok either way. Ondrej -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
