FIX: DirectSumMat builds field extensions if needed

gap-system · Sep 9, 2022 · f13d1ed · f13d1ed
1 parent d11ab96
commit f13d1ed
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/lib/matrix.gi b/lib/matrix.gi
@@ -4052,7 +4052,7 @@ InstallGlobalFunction( DirectSumMat, function (arg)
           if IsSubset(c,F) then
             F:=c;
           else
-            Error("build field/ring");
+            F:=Field(Concatenation(GeneratorsOfField(F),GeneratorsOfField(c)));
           fi;
         fi;
       od;

diff --git a/tst/teststandard/permgrp.tst b/tst/teststandard/permgrp.tst
@@ -136,5 +136,9 @@ false
 gap> IsConjugatorAutomorphism(hom);
 true
 
+# classes over larger field extension 
+gap> Length(ConjugacyClasses(PSL(2,64)));
+65
+
 #
 gap> STOP_TEST( "permgrp.tst", 1);