From ea82aa9af5af77fa7c98576987b40f77724367af Mon Sep 17 00:00:00 2001 From: Miguel Marco Date: Tue, 24 May 2022 20:54:06 +0200 Subject: [PATCH] Force base ring to be a field, to prevent singular segfault --- src/sage/groups/matrix_gps/finitely_generated.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/sage/groups/matrix_gps/finitely_generated.py b/src/sage/groups/matrix_gps/finitely_generated.py index c0d31a2b4de..92953310686 100644 --- 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: