Add more examples

sagemath · Jan 19, 2024 · 231c475 · 231c475
1 parent 6761292
commit 231c475
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/src/sage/categories/coxeter_groups.py b/src/sage/categories/coxeter_groups.py
@@ -1982,6 +1982,12 @@ def absolute_length(self):
                 2
                 sage: (r * s * r).absolute_length()
                 1
+                sage: W = CoxeterGroup(['A', 3, 1])
+                sage: (r, s, t, u) = W.simple_reflections()
+                sage: (r * s * t * u).absolute_length()
+                4
+                sage: (r * s * t * u * s).absolute_length()
+                3
             """
             if self.length() <= 2:  # trivial cases
                 return self.length()
@@ -2053,6 +2059,22 @@ def absolute_chain_reflections(self):
                 [-1  0  2]  [-2 -1  4]
                 [ 0  0  1], [-1 -1  3]
                 ]
+                sage: W = CoxeterGroup(['A', 3, 1])
+                sage: (r, s, t, u) = W.simple_reflections()
+                sage: (r * s * t * u).absolute_chain_reflections()
+                [
+                [-1  1  0  1]  [ 0 -1  1  1]  [ 0  0 -1  2]  [-3  2  0  2]
+                [ 0  1  0  0]  [-1  0  1  1]  [-1  1 -1  2]  [-2  2  0  1]
+                [ 0  0  1  0]  [ 0  0  1  0]  [-1  0  0  2]  [-2  1  1  1]
+                [ 0  0  0  1], [ 0  0  0  1], [ 0  0  0  1], [-2  1  0  2]
+                ]
+                sage: (r * s * t * u * s).absolute_chain_reflections()
+                [
+                [-1  1  0  1]  [ 0  0 -1  2]  [-3  2  0  2]
+                [ 0  1  0  0]  [-1  1 -1  2]  [-2  2  0  1]
+                [ 0  0  1  0]  [-1  0  0  2]  [-2  1  1  1]
+                [ 0  0  0  1], [ 0  0  0  1], [-2  1  0  2]
+                ]
             """
             P = self.parent()
             if self.is_one():