clean sage.all and user_globals upon initialization

src/sage/all.py

@@ -290,6 +290,12 @@ def quit_sage(verbose=True):
 set_random_seed()
 
 
+# Relink imported lazy_import objects to point to the appropriate namespace
+
+from sage.misc.lazy_import import clean_namespace
+clean_namespace(globals())
+del clean_namespace
+
 # From now on it is ok to resolve lazy imports
 sage.misc.lazy_import.finish_startup()
 

src/sage/repl/user_globals.py

@@ -156,6 +156,8 @@ def initialize_globals(all, g=None):
     for key in dir(all):
         if key[0] != '_':
             user_globals[key] = getattr(all, key)
+    from sage.misc.lazy_import import clean_namespace
+    clean_namespace(user_globals)
 
 
 def get_global(name):