trac #15894 changin back the category names

src/sage/categories/affine_weyl_groups.py

@@ -30,7 +30,7 @@ class AffineWeylGroups(Category_singleton):
         sage: C = AffineWeylGroups(); C
         Category of affine Weyl groups
         sage: C.super_categories()
-        [Category of Weyl groups, Category of infinite enumerated sets]
+        [Category of weyl groups, Category of infinite enumerated sets]
 
         sage: C.example()
         NotImplemented
@@ -49,7 +49,7 @@ def super_categories(self):
         EXAMPLES::
 
             sage: AffineWeylGroups().super_categories()
-            [Category of Weyl groups, Category of infinite enumerated sets]
+            [Category of weyl groups, Category of infinite enumerated sets]
         """
         return [WeylGroups(), InfiniteEnumeratedSets()]
 

src/sage/categories/category.py

@@ -38,7 +38,7 @@
     Category of vector spaces over Rational Field
     sage: G = SymmetricGroup(9)
     sage: G.category()
-    Join of Category of finite permutation groups and Category of finite Weyl groups
+    Join of Category of finite permutation groups and Category of finite weyl groups
     sage: P = PerfectMatchings(3)
     sage: P.category()
     Category of finite enumerated sets
@@ -1770,7 +1770,7 @@ def category_sample():
          Category of modular abelian varieties over Rational Field, ...,
          Category of simplicial complexes, ...,
          Category of vector spaces over Rational Field, ...,
-         Category of Weyl groups,...
+         Category of weyl groups,...
     """
     import sage.categories.all
     abstract_classes_for_categories = [Category, HomCategory]

src/sage/categories/coxeter_groups.py

@@ -38,7 +38,7 @@ class CoxeterGroups(Category_singleton):
     EXAMPLES::
 
         sage: C = CoxeterGroups(); C
-        Category of Coxeter groups
+        Category of coxeter groups
         sage: C.super_categories()
         [Category of groups, Category of enumerated sets]
 

src/sage/categories/examples/finite_weyl_groups.py

@@ -31,7 +31,7 @@ class SymmetricGroup(UniqueRepresentation, Parent):
         sage: S
         The symmetric group on {0, ..., 3}
         sage: S.category()
-        Category of finite Weyl groups
+        Category of finite weyl groups
 
     The elements of this group are permutations of the set `\{0,\ldots,3\}`::
 

src/sage/categories/finite_coxeter_groups.py

@@ -51,7 +51,7 @@ def super_categories(self):
         EXAMPLES::
 
             sage: FiniteCoxeterGroups().super_categories()
-            [Category of Coxeter groups, Category of finite groups]
+            [Category of coxeter groups, Category of finite groups]
         """
         return [CoxeterGroups(), FiniteGroups()]
 

src/sage/categories/finite_weyl_groups.py

@@ -21,9 +21,9 @@ class FiniteWeylGroups(Category):
 
         sage: C = FiniteWeylGroups()
         sage: C
-        Category of finite Weyl groups
+        Category of finite weyl groups
         sage: C.super_categories()
-        [Category of Weyl groups, Category of finite Coxeter groups]
+        [Category of weyl groups, Category of finite coxeter groups]
         sage: C.example()
         The symmetric group on {0, ..., 3}
 
@@ -66,7 +66,7 @@ def super_categories(self):
         EXAMPLES::
 
             sage: FiniteWeylGroups().super_categories()
-            [Category of Weyl groups, Category of finite Coxeter groups]
+            [Category of weyl groups, Category of finite coxeter groups]
         """
         return [WeylGroups(), FiniteCoxeterGroups()]
 

src/sage/categories/weyl_groups.py

@@ -24,9 +24,9 @@ class WeylGroups(Category_singleton):
     EXAMPLES::
 
         sage: WeylGroups()
-        Category of Weyl groups
+        Category of weyl groups
         sage: WeylGroups().super_categories()
-        [Category of Coxeter groups]
+        [Category of coxeter groups]
 
     Here are some examples::
 
@@ -53,7 +53,7 @@ def super_categories(self):
         EXAMPLES::
 
             sage: WeylGroups().super_categories()
-            [Category of Coxeter groups]
+            [Category of coxeter groups]
         """
         return [CoxeterGroups()]
 

src/sage/combinat/root_system/coxeter_group.py

@@ -78,7 +78,7 @@ def CoxeterGroup(data, implementation=None, base_ring=None, index_set=None):
         sage: W                                                         # optional - chevie
         Permutation Group with generators [(1,3)(2,5)(4,6), (1,4)(2,3)(5,6)]
         sage: W.category()                       # optional - chevie
-        Join of Category of finite permutation groups and Category of finite Coxeter groups
+        Join of Category of finite permutation groups and Category of finite coxeter groups
 
         sage: W = CoxeterGroup(["A",2], implementation = "matrix")
         sage: W

src/sage/combinat/root_system/weyl_group.py

@@ -580,7 +580,7 @@ class ClassicalWeylSubgroup(WeylGroup_gens):
         sage: G
         Parabolic Subgroup of the Weyl Group of type ['A', 3, 1] (as a matrix group acting on the root space)
         sage: G.category()
-        Category of finite Weyl groups
+        Category of finite weyl groups
         sage: G.cardinality()
         24
         sage: G.index_set()

src/sage/groups/perm_gps/permgroup_named.py

@@ -242,7 +242,7 @@ def __init__(self, domain=None):
             sage: G.domain()
             {1, 2, 3, 4}
             sage: G.category()
-            Join of Category of finite permutation groups and Category of finite Weyl groups
+            Join of Category of finite permutation groups and Category of finite weyl groups
             sage: TestSuite(G).run()
 
         TESTS::