> > 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 file >> <https://git.sagemath.org/sage.git/tree/src/sage/manifolds/differentiable/pseudo_riemannian.py?id=ac81082ff6279d0a0e6879359d7792514b03aaa9> >> . >> > > -1 > > 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 to avoid cluttering the global namespace of a generic Sage session.
-- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.