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 th
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
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
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 (
>
> 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 fil
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 mem
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: div(v)
What's wrong wi
>
> 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 pseudo-Riemannia