Trac #32647: remove some things from namespace

URL: https://trac.sagemath.org/32647 Reported by: chapoton Ticket author(s): Frédéric Chapoton Reviewer(s): David Roe
sagemath · Oct 19, 2021 · 5c0ceda · 5c0ceda
2 parents f2ea708 + 32c87b9
commit 5c0ceda
Show file tree

Hide file tree

Showing 17 changed files with 46 additions and 68 deletions.
diff --git a/src/doc/de/tutorial/tour_advanced.rst b/src/doc/de/tutorial/tour_advanced.rst
@@ -405,6 +405,7 @@ Räumen von Modulformen zur Verfügung. Zum Beispiel,
 
 ::
 
+    sage: from sage.modular.dims import dimension_cusp_forms
     sage: dimension_cusp_forms(Gamma0(11),2)
     1
     sage: dimension_cusp_forms(Gamma0(1),12)

diff --git a/src/doc/en/constructions/modular_forms.rst b/src/doc/en/constructions/modular_forms.rst
@@ -4,7 +4,7 @@
 Modular forms
 *************
 
-One of 's computational specialities is (the very technical field
+One of SageMath's computational specialities is (the very technical field
 of) modular forms and can do a lot more than is even suggested in
 this very brief introduction.
 
@@ -19,6 +19,7 @@ section "Modular forms" in the Tutorial:
 
 ::
 
+    sage: from sage.modular.dims import dimension_cusp_forms
     sage: dimension_cusp_forms(Gamma0(11),2)
     1
     sage: dimension_cusp_forms(Gamma0(1),12)
@@ -31,8 +32,6 @@ dimensions of newforms), ``dimension_modular_forms`` (for modular
 forms), and ``dimension_eis`` (for Eisenstein series). The syntax is
 similar - see the Reference Manual for examples.
 
-In future versions of Sage, more related commands will be added.
-
 .. index:: cosets of Gamma_0
 
 Coset representatives
@@ -115,6 +114,7 @@ and related curves. Here are some examples of the syntax:
 
 ::
 
+    sage: from sage.modular.dims import dimension_cusp_forms
     sage: dimension_cusp_forms(Gamma0(22))
     2
     sage: dimension_cusp_forms(Gamma0(30))

diff --git a/...doc/en/thematic_tutorials/explicit_methods_in_number_theory/level_one_forms.rst b/...doc/en/thematic_tutorials/explicit_methods_in_number_theory/level_one_forms.rst
@@ -52,6 +52,7 @@ rather nice diagonal shape.
     q + 195660*q^3 + 12080128*q^4 + 44656110*q^5 + O(q^6),
     q^2 - 48*q^3 + 1080*q^4 - 15040*q^5 + O(q^6)
     ]
+    sage: from sage.modular.dims import dimension_modular_forms
     sage: dimension_modular_forms(1,200)
     17
     sage: B = victor_miller_basis(200, 18) #5 seconds
@@ -64,7 +65,7 @@ rather nice diagonal shape.
     ]
 
 Note: Craig Citro has made the above computation an order of
-magnitude faster in code he hasn't quite got into Sage yet.
+magnitude faster in code he has not quite got into Sage yet.
 
    "I'll clean those up and submit them soon, since I need them for
    something I'm working on ... I'm currently in the process of making

diff --git a/...torials/explicit_methods_in_number_theory/modular_forms_and_hecke_operators.rst b/...torials/explicit_methods_in_number_theory/modular_forms_and_hecke_operators.rst
@@ -164,14 +164,14 @@ dimension formulas.
 
     sage: ModularForms(Gamma1(949284), 456).dimension()
     11156973844800
+    sage: from sage.modular.dims import dimension_cusp_forms
     sage: a = [dimension_cusp_forms(Gamma0(N),2) for N in [1..25]]; a
     [0, 0, ..., 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 2, 2, 1, 0]
     sage: oeis(a)                                       # optional - internet
     0: A001617: Genus of modular group Gamma_0(n). Or, genus of modular curve X_0(n).
 
-Sage doesn't have simple formulas for dimensions of spaces of
-modular forms of weight :math:`1`, since such formulas perhaps do
-not exist.
+Sage does not have simple formulas for dimensions of spaces of modular
+forms of weight :math:`1`, since such formulas perhaps do not exist.
 
 Diamond Bracket Operators
 ~~~~~~~~~~~~~~~~~~~~~~~~~

diff --git a/src/doc/en/tutorial/tour_advanced.rst b/src/doc/en/tutorial/tour_advanced.rst
@@ -402,6 +402,7 @@ spaces of modular forms. For example,
 
 ::
 
+    sage: from sage.modular.dims import dimension_cusp_forms
     sage: dimension_cusp_forms(Gamma0(11),2)
     1
     sage: dimension_cusp_forms(Gamma0(1),12)

diff --git a/src/doc/fr/tutorial/tour_advanced.rst b/src/doc/fr/tutorial/tour_advanced.rst
@@ -402,6 +402,7 @@ d'espaces de formes modulaires. Par exemple,
 
 ::
 
+    sage: from sage.modular.dims import dimension_cusp_forms
     sage: dimension_cusp_forms(Gamma0(11),2)
     1
     sage: dimension_cusp_forms(Gamma0(1),12)

diff --git a/src/doc/ja/tutorial/tour_advanced.rst b/src/doc/ja/tutorial/tour_advanced.rst
@@ -383,6 +383,7 @@ Sageを使ってモジュラー空間の次元，モジュラー・シンポル
 
 ::
 
+    sage: from sage.modular.dims import dimension_cusp_forms
     sage: dimension_cusp_forms(Gamma0(11),2)
     1
     sage: dimension_cusp_forms(Gamma0(1),12)

diff --git a/src/doc/pt/tutorial/tour_advanced.rst b/src/doc/pt/tutorial/tour_advanced.rst
@@ -402,6 +402,7 @@ de formas modulares. Por exemplo,
 
 ::
 
+    sage: from sage.modular.dims import dimension_cusp_forms
     sage: dimension_cusp_forms(Gamma0(11),2)
     1
     sage: dimension_cusp_forms(Gamma0(1),12)

diff --git a/src/doc/ru/tutorial/tour_advanced.rst b/src/doc/ru/tutorial/tour_advanced.rst
@@ -364,6 +364,7 @@ Sage может выполнять вычисления, связанные с
 
 ::
 
+    sage: from sage.modular.dims import dimension_cusp_forms
     sage: dimension_cusp_forms(Gamma0(11),2)
     1
     sage: dimension_cusp_forms(Gamma0(1),12)

diff --git a/src/sage/algebras/steenrod/all.py b/src/sage/algebras/steenrod/all.py
@@ -1,7 +1,8 @@
 """
 The Steenrod algebra
 """
-
 from .steenrod_algebra import SteenrodAlgebra, Sq
-from .steenrod_algebra_bases import steenrod_algebra_basis
-
+from sage.misc.lazy_import import lazy_import
+lazy_import('sage.algebras.steenrod.steenrod_algebra_bases',
+            'steenrod_algebra_basis',
+            deprecation=(32647, 'removed from namespace'))
diff --git a/src/sage/modular/all.py b/src/sage/modular/all.py
@@ -20,11 +20,12 @@
 
 from .cusps import Cusp, Cusps
 
-from .dims import (dimension_cusp_forms,
-                   dimension_new_cusp_forms,
-                   dimension_eis,
-                   dimension_modular_forms,
-                   sturm_bound)
+lazy_import('sage.modular.dims', ('dimension_cusp_forms',
+                                  'dimension_new_cusp_forms',
+                                  'dimension_eis',
+                                  'dimension_modular_forms',
+                                  'sturm_bound'),
+            deprecation=(32647, 'removed from main namespace'))
 
 from .etaproducts import (EtaGroup, EtaProduct, EtaGroupElement,
                           AllCusps, CuspFamily)

diff --git a/src/sage/modular/arithgroup/arithgroup_generic.py b/src/sage/modular/arithgroup/arithgroup_generic.py
@@ -952,14 +952,15 @@ def is_congruence(self):
 
     def genus(self):
         r"""
-        Return the genus of the modular curve of self.
+        Return the genus of the modular curve of ``self``.
 
         EXAMPLES::
 
             sage: Gamma1(5).genus()
             0
             sage: Gamma1(31).genus()
             26
+            sage: from sage.modular.dims import dimension_cusp_forms
             sage: Gamma1(157).genus() == dimension_cusp_forms(Gamma1(157), 2)
             True
             sage: GammaH(7, [2]).genus()
@@ -968,10 +969,7 @@ def genus(self):
             [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 2, 2]
             sage: [n for n in [1..200] if Gamma0(n).genus() == 1]
             [11, 14, 15, 17, 19, 20, 21, 24, 27, 32, 36, 49]
-
-
         """
-
         return ZZ(1 + (self.projective_index()) / ZZ(12)  - (self.nu2())/ZZ(4) - (self.nu3())/ZZ(3) - self.ncusps()/ZZ(2))
 
     def farey_symbol(self):