Some experiments

Author: fingolfin

lib/grpmat.gd

@@ -27,7 +27,7 @@
 ##  <#/GAPDoc>
 ##
 DeclareCategory( "IsMatrixGroup", IsGroup );
-InstallTrueMethod( IsMatrixGroup, IsRingElementCollCollColl and IsGroup );
+InstallTrueMethod( IsMatrixGroup, IsRingElementCollCollColl and IsGroup ); # TODO
 
 #############################################################################
 ##

lib/matobj1.gd

@@ -274,14 +274,14 @@ DeclareCategory( "IsFFEVectorObj", IsVectorObj );
 DeclareCategory( "IsCyclotomicVectorObj", IsVectorObj );
 
 DeclareCategory( "IsFFEMatrixOrMatrixObj", IsMatrixOrMatrixObj );
-# DeclareSynonym( "IsFFEMatrix", IsFFEMatrixOrMatrixObj and IsMatrix );
+DeclareSynonym( "IsFFEMatrix", IsFFEMatrixOrMatrixObj and IsMatrix );
 DeclareSynonym( "IsFFEMatrixObj", IsFFEMatrixOrMatrixObj and IsMatrixObj );
 # or maybe
 # DeclareProperty( "IsFFEMatrix", IsMatrix );
 # DeclareProperty( "IsFFEMatrixObj", IsMatrixObj );
 
 DeclareCategory( "IsCyclotomicMatrixOrMatrixObj", IsMatrixOrMatrixObj );
-# DeclareSynonym( "IsCyclotomicMatrix", IsCyclotomicMatrixOrMatrixObj and IsMatrix );
+DeclareSynonym( "IsCyclotomicMatrix", IsCyclotomicMatrixOrMatrixObj and IsMatrix );
 DeclareSynonym( "IsCyclotomicMatrixObj", IsCyclotomicMatrixOrMatrixObj and IsMatrixObj );
 # or maybe have them be properties with methods so users are not confused ?!?
 # DeclareProperty( "IsCyclotomicMatrix", IsMatrix );

lib/vecmat.gi

@@ -863,8 +863,9 @@ InstallMethod( InverseOp,
 InstallMethod( InverseSameMutability,
     "for plain list of GF2 vectors",
     true,
-    [ IsPlistRep and IsFFECollColl and IsMatrix],
-        0,
+    [ IsPlistRep and IsFFEMatrixOrMatrixObj],
+        {} -> RankFilter(IsPlistRep and IsFFECollColl and IsMatrix)
+            - RankFilter(IsPlistRep and IsFFEMatrixOrMatrixObj),
         function(m)
     local inv,i;
     inv := INV_PLIST_GF2VECS_DESTRUCTIVE(List(m, ShallowCopy));