Make IsMatrixGroup and IsFFEMatrixGroup more flexible

fingolfin · fingolfin · commit 99643f4898ee · 2025-09-03T10:00:26.000+02:00
diff --git a/lib/grpffmat.gd b/lib/grpffmat.gd
@@ -26,7 +26,8 @@
 ##  </ManSection>
 ##  <#/GAPDoc>
 ##
-DeclareSynonym( "IsFFEMatrixGroup", IsFFECollCollColl and IsMatrixGroup );
+DeclareCategory( "IsFFEMatrixGroup", IsMatrixGroup );
+InstallTrueMethod( IsFFEMatrixGroup, IsFFECollCollColl and IsMatrixGroup );
 
 
 #############################################################################
diff --git a/lib/grpmat.gd b/lib/grpmat.gd
@@ -26,7 +26,8 @@
 ##  </ManSection>
 ##  <#/GAPDoc>
 ##
-DeclareSynonym( "IsMatrixGroup", IsRingElementCollCollColl and IsGroup );
+DeclareCategory( "IsMatrixGroup", IsGroup );
+InstallTrueMethod( IsMatrixGroup, IsRingElementCollCollColl and IsGroup );
 
 #############################################################################
 ##
