memory.gi: add BaseDomain for matrix with memory

olexandr-konovalov · Jul 14, 2019 · 74006cb · 74006cb
1 parent a2d5dd9
commit 74006cb
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/lib/memory.gi b/lib/memory.gi
@@ -406,6 +406,10 @@ InstallOtherMethod( \*, "for a matrix with memory and a scalar",true,
     return M!.el * s;
   end);
 
+InstallOtherMethod( BaseDomain, "for a matrix with memory", true,
+  [ IsMatrix and IsObjWithMemory ], 0,
+  M -> BaseDomain(M!.el) );
+
 InstallOtherMethod(ProjectiveOrder,"object with memory",true, 
   [IsObjWithMemory],0,
   function(a)

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