From 754a71120e970cded9868d88d259d28f79fbafb1 Mon Sep 17 00:00:00 2001
From: Travis Scrimshaw <tcscrims@gmail.com>
Date: Mon, 12 Feb 2024 09:27:30 +0900
Subject: [PATCH] Fixing all of the doctest failures.

---
 .../algebras/lie_algebras/bgg_resolution.py   |  5 ++--
 .../algebras/lie_algebras/verma_module.py     |  2 +-
 .../root_system/root_lattice_realizations.py  | 26 ++++++++++++-------
 src/sage/groups/indexed_free_group.py         |  4 +--
 4 files changed, 21 insertions(+), 16 deletions(-)

diff --git a/src/sage/algebras/lie_algebras/bgg_resolution.py b/src/sage/algebras/lie_algebras/bgg_resolution.py
index f58388ea4d1..53bb9ce86da 100644
--- a/src/sage/algebras/lie_algebras/bgg_resolution.py
+++ b/src/sage/algebras/lie_algebras/bgg_resolution.py
@@ -145,6 +145,7 @@ def module_order(self, i):
             return []
         return self._module_order[i]
 
+
 @cached_function
 def build_differentials(W):
     r"""
@@ -164,10 +165,10 @@ def build_differentials(W):
 
     EXAMPLES::
 
-        sage: from sage.algebras.lie_algebras.bgg_dual_module import build_differentials
+        sage: from sage.algebras.lie_algebras.bgg_resolution import build_differentials
         sage: W = WeylGroup(['B', 2], prefix='s')
         sage: D, O = build_differentials(W)
-        sage: unicode_art(D)
+        sage: D
         {0: [],
          1: [-1  1],
          2: [1 1]
diff --git a/src/sage/algebras/lie_algebras/verma_module.py b/src/sage/algebras/lie_algebras/verma_module.py
index 1e9e73184a9..ac5d0ceb113 100644
--- a/src/sage/algebras/lie_algebras/verma_module.py
+++ b/src/sage/algebras/lie_algebras/verma_module.py
@@ -47,7 +47,7 @@ def __init__(self, vector_name='v'):
 
             sage: from sage.algebras.lie_algebras.verma_module import ModulePrinting
             sage: MP = ModulePrinting()
-            sage: TestSuite(MP).run()
+            sage: TestSuite(MP).run(skip="_test_pickling")
         """
         self.__vector_name = vector_name
 
diff --git a/src/sage/combinat/root_system/root_lattice_realizations.py b/src/sage/combinat/root_system/root_lattice_realizations.py
index ab63dadf135..2687aa8b1c4 100644
--- a/src/sage/combinat/root_system/root_lattice_realizations.py
+++ b/src/sage/combinat/root_system/root_lattice_realizations.py
@@ -3937,22 +3937,28 @@ def is_verma_dominant(self, positive=True):
 
                 sage: P = RootSystem(['A', 3]).weight_space()
                 sage: La = P.fundamental_weights()
+                sage: alphacheck = P.coroot_lattice().positive_roots()
+                sage: rho = P.rho()
                 sage: (La[1] + 2*La[2]).is_verma_dominant()
                 True
-                sage: (La[1] - 3/2*La[3]).is_verma_dominant()
-                True
-                sage: (La[1] - 3/2*La[3]).is_verma_dominant(positive=False)
+                sage: la = La[1] - 3/2*La[3] - rho
+                sage: la.is_verma_dominant()
                 True
-                sage: (1/2*La[1] - 3/2*La[3]).is_verma_dominant()
+                sage: la.is_verma_dominant(positive=False)
                 False
-                sage: alphacheck = P.coroot_lattice().positive_roots()
-                sage: [(1/2*La[1] - 3/2*La[3]).scalar(coroot) for coroot in alphacheck]
-                [1/2, 0, -3/2, 1/2, -3/2, -1]
-                sage: (1/2*La[1] - 3/2*La[3]).is_verma_dominant(positive=False)
+                sage: [(la+rho).scalar(coroot) for coroot in alphacheck]
+                [1, 0, -3/2, 1, -3/2, -1/2]
+                sage: mu = 1/2*La[1] - 3/2*La[3] - rho
+                sage: mu.is_verma_dominant()
+                False
+                sage: mu.is_verma_dominant(positive=False)
                 True
+                sage: [(mu+rho).scalar(coroot) for coroot in alphacheck]
+                [1/2, 0, -3/2, 1/2, -3/2, -1]
             """
-            alphacheck = self.parent().coroot_lattice().positive_roots()
-            wt = self + self.parent().rho()
+            P = self.parent()
+            alphacheck = P.coroot_lattice().positive_roots()
+            wt = self + P.rho()
             if positive:
                 return not any((c := wt.scalar(ac)) in ZZ and c < 0 for ac in alphacheck)
             return not any((c := wt.scalar(ac)) in ZZ and c > 0 for ac in alphacheck)
diff --git a/src/sage/groups/indexed_free_group.py b/src/sage/groups/indexed_free_group.py
index 02a4838d77c..ad484532f13 100644
--- a/src/sage/groups/indexed_free_group.py
+++ b/src/sage/groups/indexed_free_group.py
@@ -347,9 +347,7 @@ def _element_constructor_(self, x=None):
             sage: G({1: 3, -2: 12})
             F[-2]^12*F[1]^3
             sage: G(-5)
-            Traceback (most recent call last):
-            ...
-            TypeError: unable to convert -5, use gen() instead
+            F[-5]
 
         TESTS::