Fix BaseDomain for IsMatrix and IsPlistRep

gap-system · May 3, 2022 · 448079e · 448079e
1 parent f0886ca
commit 448079e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lib/matrix.gi b/lib/matrix.gi
@@ -1282,7 +1282,7 @@ InstallOtherMethod( ConstructingFilter,
 InstallOtherMethod( BaseDomain,
  "generic method for a matrix that is a plain list",
  [ IsMatrix and IsPlistRep ],
- mat -> BaseDomain( mat[1] ) );
+ mat -> BaseDomain( Concatenation( mat ) ) );
 
 InstallOtherMethod( OneOfBaseDomain,
  "generic method for a matrix that is a plain list",

diff --git a/tst/testinstall/matrix.tst b/tst/testinstall/matrix.tst
@@ -89,9 +89,9 @@ gap> IsLowerTriangularMat([[1,0],[1,1],[1,1]]);
 true
 
 #
-gap> m := Z(5)^0 * [[0, 1], [1, 0]];;
+gap> m := Z(5)^0 * [[0, 1], [Z(25), 0]];;
 gap> m := GeneratorsWithMemory([m])[1];;
-gap> BaseDomain(m) = GF(5);
+gap> BaseDomain(m) = GF(25);
 true
 gap> NrRows(m);
 2