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..272b80d 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))); +gap> CompatibleVectorFilter(m) = ConstructingFilter(CompatibleVector(m)); +true gap> ScalarProductsRows(m,m,1); Z(3)^0 gap> ScalarProductsRows(m,m,2); @@ -60,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);