Some last little details.

sagemath · Jan 23, 2023 · 64608ff · 64608ff
1 parent 3c4e316
commit 64608ff
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/sage/groups/cactus_group.py b/src/sage/groups/cactus_group.py
@@ -455,7 +455,7 @@ def geometric_representation_generators(self, t=None):
         r"""
         Return the matrices corresponding to the generators of ``self``.
 
-        We construct a representation over `R = ZZ(t)` of `J_n` as follows.
+        We construct a representation over `R = \ZZ[t]` of `J_n` as follows.
         Let `E` be the vector space over `R` spanned by `\{\epsilon_v\}_v`,
         where `v` is a generator of `J_n`. Fix some generator `v`, and
         let `E_v` denote the span of `\epsilon_u - \epsilon_{u'}`,
@@ -467,7 +467,7 @@ def geometric_representation_generators(self, t=None):
 
         .. MATH::
 
-            \rho(v) = -I |_{R\espilon_v \oplus E_v} \oplus I |_{F_v}.
+            \rho(v) = -I |_{R\epsilon_v \oplus E_v} \oplus I |_{F_v}.
 
         By Theorem 6.2.3 of [DJS2003]_, this defines a representation of `J_n`.
         It is expected that this is a faithful representation (see

diff --git a/src/sage/groups/groups_catalog.py b/src/sage/groups/groups_catalog.py
@@ -68,6 +68,7 @@
     - :func:`groups.misc.Braid <sage.groups.braid.BraidGroup>`
     - :func:`groups.misc.Cactus <sage.groups.cactus_group.CactusGroup>`
     - :func:`groups.misc.CoxeterGroup <sage.combinat.root_system.coxeter_group.CoxeterGroup>`
+    - :func:`groups.misc.PureCactus <sage.groups.cactus_group.PureCactusGroup>`
     - :func:`groups.misc.ReflectionGroup <sage.combinat.root_system.reflection_group_real.ReflectionGroup>`
     - :class:`groups.misc.RightAngledArtin <sage.groups.raag.RightAngledArtinGroup>`
     - :func:`groups.misc.WeylGroup <sage.combinat.root_system.weyl_group.WeylGroup>`