sage.categories: Replace imports from sage.rings.all by more specific imports

Author: Matthias Koeppe

src/sage/categories/bimodules.py

@@ -107,7 +107,8 @@ def an_instance(cls):
             sage: Bimodules.an_instance()
             Category of bimodules over Rational Field on the left and Real Field with 53 bits of precision on the right
         """
-        from sage.rings.all import QQ, RR
+        from sage.rings.rational_field import QQ
+        from sage.rings.real_mpfr import RR
         return cls(QQ, RR)
 
     def _repr_object_names(self):

src/sage/categories/coalgebras_with_basis.py

@@ -197,7 +197,7 @@ def coproduct_iterated(self, n=1):
             if n == 1:
                 return self.coproduct()
             from sage.functions.all import floor, ceil
-            from sage.rings.all import Integer
+            from sage.rings.integer import Integer
 
             # Use coassociativity of `\Delta` to perform many coproducts simultaneously.
             fn = floor(Integer(n-1)/2); cn = ceil(Integer(n-1)/2)

src/sage/categories/complex_reflection_or_generalized_coxeter_groups.py

@@ -339,7 +339,7 @@ def simple_reflection_orders(self):
             """
             one = self.one()
             s = self.simple_reflections()
-            from sage.rings.all import ZZ
+            from sage.rings.integer_ring import ZZ
 
             def mult_order(x):
                 ct = ZZ.one()

src/sage/categories/euclidean_domains.py

@@ -148,7 +148,7 @@ def _test_euclidean_degree(self, **options):
 
             min_degree = self.one().euclidean_degree()
 
-            from sage.rings.all import NN
+            from sage.rings.semirings.non_negative_integer_semiring import NN
             for a in S:
                 tester.assertIn(a.euclidean_degree(), NN)
                 tester.assertGreaterEqual(a.euclidean_degree(), min_degree)

src/sage/categories/fields.py

@@ -559,7 +559,7 @@ def euclidean_degree(self):
             """
             if self.is_zero():
                 raise ValueError("euclidean degree not defined for the zero element")
-            from sage.rings.all import ZZ
+            from sage.rings.integer_ring import ZZ
             return ZZ.zero()
 
         def quo_rem(self, other):

src/sage/categories/finite_complex_reflection_groups.py

@@ -324,7 +324,7 @@ def number_of_reflection_hyperplanes(self):
                 sage: W.number_of_reflection_hyperplanes()  # optional - gap3
                 15
             """
-            from sage.rings.all import ZZ
+            from sage.rings.integer_ring import ZZ
             return ZZ.sum(codeg + 1 for codeg in self.codegrees())
 
         @cached_method
@@ -358,7 +358,7 @@ def number_of_reflections(self):
                 sage: W.number_of_reflections()            # optional - gap3
                 15
             """
-            from sage.rings.all import ZZ
+            from sage.rings.integer_ring import ZZ
             return ZZ.sum(deg - 1 for deg in self.degrees())
 
         @cached_method
@@ -413,7 +413,7 @@ def cardinality(self):
                 sage: W.cardinality()                      # optional - gap3
                 192
             """
-            from sage.rings.all import ZZ
+            from sage.rings.integer_ring import ZZ
             return ZZ.prod(self.degrees())
 
         def is_well_generated(self):

src/sage/categories/finite_coxeter_groups.py

@@ -13,9 +13,6 @@
 from sage.misc.lazy_attribute import lazy_attribute
 from sage.categories.category_with_axiom import CategoryWithAxiom
 from sage.categories.coxeter_groups import CoxeterGroups
-from sage.rings.all import AA, UniversalCyclotomicField, QQbar
-from sage.rings.integer_ring import ZZ
-
 
 class FiniteCoxeterGroups(CategoryWithAxiom):
     r"""
@@ -742,9 +739,12 @@ def permutahedron(self, point=None, base_ring=None):
             n = self.one().canonical_matrix().rank()
             weights = self.fundamental_weights()
             if point is None:
+                from sage.rings.integer_ring import ZZ
                 point = [ZZ.one()] * n
             v = sum(point[i-1] * weights[i] for i in weights.keys())
             from sage.geometry.polyhedron.constructor import Polyhedron
+            from sage.rings.qqbar import AA, QQbar
+            from sage.rings.universal_cyclotomic_field import UniversalCyclotomicField
             vertices = [v*w for w in self]
             if base_ring is None and v.base_ring() in [UniversalCyclotomicField(), QQbar]:
                 vertices = [v.change_ring(AA) for v in vertices]

src/sage/categories/groups.py

@@ -78,7 +78,7 @@ def free(index_set=None, names=None, **kwds):
             sage: F.<x,y,z> = Groups().free(); F
             Free Group on generators {x, y, z}
         """
-        from sage.rings.all import ZZ
+        from sage.rings.integer_ring import ZZ
         if index_set in ZZ or (index_set is None and names is not None):
             from sage.groups.free_group import FreeGroup
             if names is None:

src/sage/categories/lie_algebras.py

@@ -166,7 +166,7 @@ def example(self, gens=None):
         """
         if gens is None:
             from sage.combinat.symmetric_group_algebra import SymmetricGroupAlgebra
-            from sage.rings.all import QQ
+            from sage.rings.rational_field import QQ
             gens = SymmetricGroupAlgebra(QQ, 3).algebra_generators()
         from sage.categories.examples.lie_algebras import Example
         return Example(gens)

src/sage/categories/monoids.py

@@ -103,7 +103,7 @@ def free(index_set=None, names=None, **kwds):
         """
         if names is not None:
             if isinstance(names, str):
-                from sage.rings.all import ZZ
+                from sage.rings.integer_ring import ZZ
                 if ',' not in names and index_set in ZZ:
                     names = [names + repr(i) for i in range(index_set)]
                 else:
@@ -349,7 +349,7 @@ def free(index_set=None, names=None, **kwds):
             """
             if names is not None:
                 if isinstance(names, str):
-                    from sage.rings.all import ZZ
+                    from sage.rings.integer_ring import ZZ
                     if ',' not in names and index_set in ZZ:
                         names = [names + repr(i) for i in range(index_set)]
                     else: