Force base ring to be a field, to prevent singular segfault

sagemath · May 24, 2022 · ea82aa9 · ea82aa9
1 parent 31d3c84
commit ea82aa9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/sage/groups/matrix_gps/finitely_generated.py b/src/sage/groups/matrix_gps/finitely_generated.py
@@ -776,6 +776,8 @@ def invariant_generators(self, ring=None):
         from sage.modules.free_module_element import vector
         if not ring:
             F = self.base_ring()
+            if not F.is_field():
+                F = F.fraction_field()
             n = self.matrix_space().nrows()
             R = PolynomialRing(F, n, ['x{}'.format(i) for i in range(n)])
         else: