From e8b525cb605ffa481035b6e1b893fcfc519c3818 Mon Sep 17 00:00:00 2001
From: ThomasBreuer <sam@math.rwth-aachen.de>
Date: Fri, 15 May 2026 13:33:33 +0200
Subject: [PATCH 1/2] Define `CompatibleVectorFilter` for `IsCMatRep`

---
 gap/cmat.gd  | 2 ++
 tst/cmat.tst | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/gap/cmat.gd b/gap/cmat.gd
index 3e6f170..62c5181 100644
--- a/gap/cmat.gd
+++ b/gap/cmat.gd
@@ -18,6 +18,8 @@ DeclareRepresentation( "IsCMatRep",
   IsComponentObjectRep and IsMatrix and IsOrdinaryMatrix and HasLength and
   IsRowListMatrix, [] );
 
+InstallMethod( CompatibleVectorFilter, ["IsCMatRep"],
+  M -> IsCVecRep );
 
 #############################################################################
 # Making of matrices:
diff --git a/tst/cmat.tst b/tst/cmat.tst
index e0f648b..ee116b2 100644
--- a/tst/cmat.tst
+++ b/tst/cmat.tst
@@ -20,6 +20,8 @@ gap> NewZeroMatrix(IsCMatRep, GF(3), 3, 2);
 #
 gap> m:=CMat(ImmutableMatrix(GF(3),[[1,0],[0,1]]*Z(3)));
 <cmat 2x2 over GF(3,1)>
+gap> CompatibleVectorFilter(m) = ConstructingFilter(CompatibleVector(m));
+true
 gap> ScalarProductsRows(m,m,1);
 Z(3)^0
 gap> ScalarProductsRows(m,m,2);

From b4231441302630e5295c19e94ca25b047915bb0a Mon Sep 17 00:00:00 2001
From: ThomasBreuer <sam@math.rwth-aachen.de>
Date: Fri, 15 May 2026 15:01:55 +0200
Subject: [PATCH 2/2] moved a test from GAP's tests to the cvec tests

(This was the test which caused the current pull request.)
---
 tst/cmat.tst | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tst/cmat.tst b/tst/cmat.tst
index ee116b2..272b80d 100644
--- a/tst/cmat.tst
+++ b/tst/cmat.tst
@@ -62,5 +62,11 @@ gap> Display(c9);
  [.12]
 ]
 
+# moved to the cvec tests from GAP's testbugfix/2012-06-18-t00327.tst
+gap> mat:= [ [ Z(2) ] ];;
+gap> ConvertToMatrixRep( mat, 2 );
+2
+gap> cmat:= CMat( mat );;  cmat^1000;;
+
 #
 gap> STOP_TEST("cmat.tst", 0);