On Wednesday, 23 September 2015 10:32:08 UTC-7, Thierry 
(sage-googlesucks@xxx) wrote:
>
> Hi, 
>
> On Wed, Sep 23, 2015 at 06:46:10PM +0200, Jeroen Demeyer wrote: 
> > On 2015-09-23 18:44, Dima Pasechnik wrote: 
> > >one has to draw a line somewhere; 40-symbol names must be forbidden 
> > >outright, and 20-symbol names ought to be 
> > >avoided  without a very good reasons to the contrary... 
> > 
> > On the other hand, with TAB-completion, that doesn't really matter so 
> much. 
>
> Note that adding abbreviations actually *breaks* tab-completion and turns 
> out to be counter-productive: 
>
> sage: a = 0.1 
> sage: a.alg<TAB> 
>
> Here, the pseudo-faster 'algdep' breaks the autocompletion of 
> algebraic_dependency, and makes both algdep and algebraic_dependency 
> slower to find, for no benefit. 
>

I don't think this thread is about adding abbreviations for function names, 
it's about
the names themselves.

There are well-accepted abbreviations in various areas of maths, e.g. ILP 
for Integer Linear Programming.
Would it be acceptable to have ILP rather than LinearProgramming in a 
function name, e.g.
BlahFooByILP rather than BlahFooByIntegerLinearProgramming ?




> Ciao, 
> Thierry 
>
>
> > 
> > -- 
> > You received this message because you are subscribed to the Google 
> Groups "sage-devel" group. 
> > To unsubscribe from this group and stop receiving emails from it, send 
> an email to sage-devel+...@googlegroups.com <javascript:>. 
> > To post to this group, send email to sage-...@googlegroups.com 
> <javascript:>. 
> > Visit this group at http://groups.google.com/group/sage-devel. 
> > For more options, visit https://groups.google.com/d/optout. 
> > 
> > 
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to