On Fri, May 27, 2011 at 7:57 AM, Chris Smith <smi...@gmail.com> 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 sympy@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.