From 74006cb4c175be55eb73416f7cc7f00d0b8703bd Mon Sep 17 00:00:00 2001
From: Wilf Wilson <wilf@wilf-wilson.net>
Date: Fri, 12 Jul 2019 19:04:40 +0200
Subject: [PATCH] memory.gi: add BaseDomain for matrix with memory

---
 lib/memory.gi              | 4 ++++
 tst/testinstall/matrix.tst | 6 ++++++
 2 files changed, 10 insertions(+)

diff --git a/lib/memory.gi b/lib/memory.gi
index b018f1a566..9a56f8e4fc 100644
--- 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
index 195bcb49f8..1baaa3ecc7 100644
--- 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