[sage-devel] Re: Asking for advice: differential operators in the global namespace

2018-03-06 Thread Eric Gourgoulhon
Thank you all for your answers! The conclusion is pretty clear: the differential operators will *not* be added to the global namespace at start, even less be added silently when a pseudo-Riemannian manifold is constructed. The only way to get them will be an explicit demand from the user, in

[sage-devel] Re: Asking for advice: differential operators in the global namespace

2018-03-04 Thread Nils Bruin
On Sunday, March 4, 2018 at 10:58:32 AM UTC, Eric Gourgoulhon wrote: > > > I'm also -1 for this, after the argument given by Travis on the ticket: > injecting silently names in the global namespace may override names already > defined by the user. Initially, I naively thought this was a good way

Re: [sage-devel] Re: Asking for advice: differential operators in the global namespace

2018-03-04 Thread Eric Gourgoulhon
Hi Vincent, Le dimanche 4 mars 2018 11:35:04 UTC+1, vdelecroix a écrit : > > Hi Eric, > > I agree with Kwankyu and Simon: > - the global namespace is already bloated > - abbreviations should be avoided in most places in Sage > > Thanks for your feedback. > And having the namespace modified

[sage-devel] Re: Asking for advice: differential operators in the global namespace

2018-03-04 Thread Eric Gourgoulhon
Hi Simon, Le dimanche 4 mars 2018 08:25:09 UTC+1, Simon King a écrit : > > > > What's wrong with v.div(), to cope with standard notation in SageMath? > > Nothing from my point of view: I also prefer object-oriented notations over functional ones and v.div() is already implemented in the ticket

[sage-devel] Re: Asking for advice: differential operators in the global namespace

2018-03-04 Thread Eric Gourgoulhon
> > An alternative (disapproved by the reviewer) is to inject these names in >> the global namespace only if any pseudo-Riemannian manifold is constructed, >> by means of the function sage.repl.user_globals.set_global in >> PseudoRiemannianManifold.__init__, see line 398 of >> this source

Re: [sage-devel] Re: Asking for advice: differential operators in the global namespace

2018-03-04 Thread Vincent Delecroix
Hi Eric, I agree with Kwankyu and Simon: - the global namespace is already bloated - abbreviations should be avoided in most places in Sage And having the namespace modified at the time an object is created is by far the worst solution. The following two alternatives would be fine 1) using

[sage-devel] Re: Asking for advice: differential operators in the global namespace

2018-03-03 Thread Simon King
Hi Eric, On 2018-03-03, Eric Gourgoulhon wrote: > To cope with standard mathematical notations, these operators are > introduced as functions in the global namespace, which merely invoke the > corresponding method of their argument, e.g. if v is a vector field, > >

[sage-devel] Re: Asking for advice: differential operators in the global namespace

2018-03-03 Thread Kwankyu Lee
> > Is it OK to introduce five new names in the global namespace: > grad, div, curl, laplacian, dalembertian > and possibly a sixth one: rot as an alias of curl? > -1 > An alternative (disapproved by the reviewer) is to inject these names in > the global namespace only if any