sage.combinat.root_system: Update # needs

Matthias Koeppe · Matthias Koeppe · commit cf0357d6fc9c · 2023-12-18T17:27:35.000-08:00
diff --git a/src/sage/combinat/root_system/ambient_space.py b/src/sage/combinat/root_system/ambient_space.py
@@ -55,9 +55,10 @@ class AmbientSpace(CombinatorialFreeModule):
 
     TESTS::
 
-        sage: types = CartanType.samples(crystallographic = True)+[CartanType(["A",2],["C",5])]
+        sage: # needs sage.libs.gap
+        sage: types = CartanType.samples(crystallographic=True) + [CartanType(["A",2],["C",5])]
         sage: for e in [ct.root_system().ambient_space() for ct in types]:
-        ....:          TestSuite(e).run()
+        ....:     TestSuite(e).run()
 
         sage: e1 = RootSystem(['A',3]).ambient_lattice()
         sage: e2 = RootSystem(['B',3]).ambient_lattice()
diff --git a/src/sage/combinat/root_system/cartan_matrix.py b/src/sage/combinat/root_system/cartan_matrix.py
@@ -452,7 +452,7 @@ def reflection_group(self, type="matrix"):
         EXAMPLES::
 
             sage: C = CartanMatrix(['A',3])                                             # needs sage.graphs
-            sage: C.reflection_group()                                                  # needs sage.graphs
+            sage: C.reflection_group()                                                  # needs sage.libs.gap sage.graphs
             Weyl Group of type ['A', 3] (as a matrix group acting on the root space)
         """
         RS = self.root_space()
diff --git a/src/sage/combinat/root_system/coxeter_group.py b/src/sage/combinat/root_system/coxeter_group.py
@@ -86,7 +86,7 @@ def CoxeterGroup(data, implementation="reflection", base_ring=None, index_set=No
         [3 1 5]
         [2 5 1]
 
-        sage: W = CoxeterGroup(["H",3], implementation="reflection"); W                 # needs sage.rings.number_field
+        sage: W = CoxeterGroup(["H",3], implementation="reflection"); W                 # needs sage.libs.gap sage.rings.number_field
         Finite Coxeter group over Number Field in a with defining polynomial x^2 - 5
          with a = 2.236067977499790? with Coxeter matrix:
         [1 3 2]
diff --git a/src/sage/combinat/root_system/coxeter_matrix.py b/src/sage/combinat/root_system/coxeter_matrix.py
@@ -850,6 +850,7 @@ def bilinear_form(self, R=None):
 
         EXAMPLES::
 
+            sage: # needs sage.libs.gap
             sage: CoxeterType(['A', 2, 1]).bilinear_form()
             [   1 -1/2 -1/2]
             [-1/2    1 -1/2]
diff --git a/src/sage/combinat/root_system/coxeter_type.py b/src/sage/combinat/root_system/coxeter_type.py
@@ -357,7 +357,7 @@ def bilinear_form(self, R=None):
 
         EXAMPLES::
 
-            sage: # needs sage.graphs sage.rings.number_field
+            sage: # needs sage.graphs sage.libs.gap
             sage: CoxeterType(['A', 2, 1]).bilinear_form()
             [   1 -1/2 -1/2]
             [-1/2    1 -1/2]
diff --git a/src/sage/combinat/root_system/fundamental_group.py b/src/sage/combinat/root_system/fundamental_group.py
@@ -1,4 +1,4 @@
-# sage.doctest: needs sage.graphs
+# sage.doctest: needs sage.graphs sage.groups
 r"""
 Fundamental Group of an Extended Affine Weyl Group
 
diff --git a/src/sage/combinat/root_system/integrable_representations.py b/src/sage/combinat/root_system/integrable_representations.py
@@ -860,21 +860,22 @@ def mult(self, mu):
 
         EXAMPLES::
 
+            sage: # needs sage.libs.gap
             sage: L = RootSystem("B3~").weight_lattice(extended=True)
             sage: Lambda = L.fundamental_weights()
             sage: delta = L.null_root()
             sage: W = L.weyl_group(prefix="s")
             sage: [s0,s1,s2,s3] = W.simple_reflections()
             sage: V = IntegrableRepresentation(Lambda[0])
-            sage: V.mult(Lambda[2]-2*delta)
+            sage: V.mult(Lambda[2] - 2*delta)
             3
-            sage: V.mult(Lambda[2]-Lambda[1])
+            sage: V.mult(Lambda[2] - Lambda[1])
             0
-            sage: weights = [w.action(Lambda[1]-4*delta) for w in [s1,s2,s0*s1*s2*s3]]
+            sage: weights = [w.action(Lambda[1] - 4*delta) for w in [s1,s2,s0*s1*s2*s3]]
             sage: weights
             [-Lambda[1] + Lambda[2] - 4*delta,
-            Lambda[1] - 4*delta,
-            -Lambda[1] + Lambda[2] - 4*delta]
+             Lambda[1] - 4*delta,
+             -Lambda[1] + Lambda[2] - 4*delta]
             sage: [V.mult(mu) for mu in weights]
             [35, 35, 35]
 
@@ -1093,7 +1094,7 @@ def branch(self, i=None, weyl_character_ring=None, sequence=None, depth=5):
 
             sage: Lambda = RootSystem(['A',2,1]).weight_lattice(extended=true).fundamental_weights()
             sage: V = IntegrableRepresentation(2*Lambda[0])
-            sage: b = V.branch(); b
+            sage: b = V.branch(); b                                                     # needs sage.libs.gap
             [A2(0,0),
              A2(1,1),
              A2(0,0) + 2*A2(1,1) + A2(2,2),
@@ -1104,7 +1105,7 @@ def branch(self, i=None, weyl_character_ring=None, sequence=None, depth=5):
         If the parameter ``weyl_character_ring`` is omitted, the ring may be recovered
         as the parent of one of the branched coefficients::
 
-            sage: A2 = b[0].parent(); A2
+            sage: A2 = b[0].parent(); A2                                                # needs sage.libs.gap
             The Weyl Character Ring of Type A2 with Integer Ring coefficients
 
         If `i` is not zero then you should specify the :class:`WeylCharacterRing` that you
diff --git a/src/sage/combinat/root_system/non_symmetric_macdonald_polynomials.py b/src/sage/combinat/root_system/non_symmetric_macdonald_polynomials.py
@@ -72,7 +72,7 @@ class NonSymmetricMacdonaldPolynomials(CherednikOperatorsEigenvectors):
     Here is the nonsymmetric Macdonald polynomial with leading term
     `[2,0,1]`::
 
-        sage: E[L0([2,0,1])]
+        sage: E[L0([2,0,1])]                                                            # needs sage.libs.gap
         ((-q*q1-q*q2)/(-q*q1-q2))*B[(1, 1, 1)]
          + ((-q1-q2)/(-q*q1-q2))*B[(2, 1, 0)] + B[(2, 0, 1)]
 
diff --git a/src/sage/combinat/root_system/root_space.py b/src/sage/combinat/root_system/root_space.py
@@ -429,12 +429,13 @@ def max_quantum_element(self):
 
         EXAMPLES::
 
+            sage: # needs sage.libs.gap sage.graphs
             sage: Qvee = RootSystem(['C',2]).coroot_lattice()
-            sage: Qvee.from_vector(vector([1,2])).max_quantum_element()                 # needs sage.graphs
+            sage: Qvee.from_vector(vector([1,2])).max_quantum_element()
             [2, 1, 2, 1]
-            sage: Qvee.from_vector(vector([1,1])).max_quantum_element()                 # needs sage.graphs
+            sage: Qvee.from_vector(vector([1,1])).max_quantum_element()
             [1, 2, 1]
-            sage: Qvee.from_vector(vector([0,2])).max_quantum_element()                 # needs sage.graphs
+            sage: Qvee.from_vector(vector([0,2])).max_quantum_element()
             [2]
 
         """
diff --git a/src/sage/combinat/root_system/root_system.py b/src/sage/combinat/root_system/root_system.py
@@ -203,15 +203,17 @@ class RootSystem(UniqueRepresentation, SageObject):
     Here is the orbit of the identity under the action of the finite
     group::
 
-        sage: W = L.weyl_group()                                                        # needs sage.libs.pari
-        sage: S3 = [ w.action(id) for w in W.classical() ]                              # needs sage.graphs sage.libs.pari
-        sage: [L.classical()(x) for x in S3]                                            # needs sage.graphs sage.libs.pari
+        sage: # needs sage.libs.gap sage.libs.pari sage.graphs
+        sage: W = L.weyl_group()
+        sage: S3 = [ w.action(id) for w in W.classical() ]
+        sage: [L.classical()(x) for x in S3]
         [(1, 2, 3), (3, 1, 2), (2, 3, 1), (2, 1, 3), (1, 3, 2), (3, 2, 1)]
 
     And the action of `s_0` on these yields::
 
-        sage: s = W.simple_reflections()                                                # needs sage.libs.pari
-        sage: [L.classical()(s[0].action(x)) for x in S3]                               # needs sage.graphs sage.libs.pari
+        sage: # needs sage.libs.gap sage.libs.pari sage.graphs
+        sage: s = W.simple_reflections()
+        sage: [L.classical()(s[0].action(x)) for x in S3]
         [(0, 2, 4), (-1, 1, 6), (-2, 3, 5), (0, 1, 5), (-1, 3, 4), (-2, 2, 6)]
 
     We can also plot various components of the ambient spaces::
diff --git a/src/sage/combinat/root_system/weight_lattice_realizations.py b/src/sage/combinat/root_system/weight_lattice_realizations.py
@@ -551,7 +551,7 @@ def dynkin_diagram_automorphism_of_alcove_morphism(self, f):
             Translations by elements of the root lattice induce a
             trivial Dynkin diagram automorphism::
 
-                sage: # needs sage.graphs
+                sage: # needs sage.graphs sage.libs.gap
                 sage: R.dynkin_diagram_automorphism_of_alcove_morphism(alpha[0].translation)
                 {0: 0, 1: 1, 2: 2}
                 sage: R.dynkin_diagram_automorphism_of_alcove_morphism(alpha[1].translation)
@@ -565,19 +565,19 @@ def dynkin_diagram_automorphism_of_alcove_morphism(self, f):
                 sage: omega1 = Lambda[1] - Lambda[0]
                 sage: omega2 = Lambda[2] - Lambda[0]
 
-                sage: # needs sage.graphs
+                sage: # needs sage.graphs sage.libs.gap
                 sage: R.dynkin_diagram_automorphism_of_alcove_morphism(omega1.translation)
                 {0: 1, 1: 2, 2: 0}
                 sage: R.dynkin_diagram_automorphism_of_alcove_morphism(omega2.translation)
                 {0: 2, 1: 0, 2: 1}
 
-                sage: # needs sage.graphs
+                sage: # needs sage.graphs sage.libs.gap
                 sage: R = RootSystem(['C',2,1]).weight_lattice()
                 sage: alpha = R.simple_roots()
                 sage: R.dynkin_diagram_automorphism_of_alcove_morphism(alpha[1].translation)
                 {0: 2, 1: 1, 2: 0}
 
-                sage: # needs sage.graphs
+                sage: # needs sage.graphs sage.libs.gap
                 sage: R = RootSystem(['D',5,1]).weight_lattice()
                 sage: Lambda = R.fundamental_weights()
                 sage: omega1 = Lambda[1] - Lambda[0]
@@ -704,9 +704,14 @@ def _test_reduced_word_of_translation(self, elements=None, **options):
             # dictionary assigning a simple root to its index
             rank_simple_roots = dict( (alpha[i],i) for i in self.index_set() )
 
+            try:
+                W = self.weyl_group()
+            except ImportError:
+                return
+
             for t in elements:
                 t = t - self.base_ring()(t.level()/Lambda[0].level()) * Lambda[0]
-                w = self.weyl_group().from_reduced_word(self.reduced_word_of_translation(t))
+                w = W.from_reduced_word(self.reduced_word_of_translation(t))
                 if self.null_root().is_zero():
                     # The following formula is only valid when the null root is zero
                     tester.assertEqual(w.action(rho), rho + rho.level()*t)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# sage.doctest: needs sage.graphs`
	`1`	`+# sage.doctest: needs sage.graphs sage.groups`
`2`	`2`	`r"""`
`3`	`3`	`Fundamental Group of an Extended Affine Weyl Group`
`4`	`4`