From 6b679f867148928f2a574c50d90e8e0e4896600f Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Wed, 18 Oct 2017 13:19:57 +0200
Subject: [PATCH] IsFilter is not an operation, which GAP doesn't like

---
 gap/structure.gd | 3 +--
 gap/structure.gi | 4 +---
 2 files changed, 2 insertions(+), 5 deletions(-)

diff --git a/gap/structure.gd b/gap/structure.gd
index 4332b73..449a09f 100644
--- a/gap/structure.gd
+++ b/gap/structure.gd
@@ -45,8 +45,7 @@ DeclareGlobalFunction("LeftRack");
 DeclareGlobalFunction("RightRack");
 
 # Underlying operation
-DeclareOperation("CloneOfTypeByGenerators", 
-                 [IsFilter, IsFamily, IsCollection, IsAttribute]);
+DeclareGlobalFunction("CloneOfTypeByGenerators");
 
 # Attributes for the generators
 
diff --git a/gap/structure.gi b/gap/structure.gi
index f99e830..b0fa165 100644
--- a/gap/structure.gi
+++ b/gap/structure.gi
@@ -1,9 +1,7 @@
 ## structure.gi RAQ Implementation of definitiions, reps, and elt operations
 
 ## Create structures with generators
-InstallMethod(CloneOfTypeByGenerators,
-              "for generic category of magma, family, collection, gen attrib",
-              [IsFilter, IsFamily, IsCollection, IsAttribute],
+InstallGlobalFunction(CloneOfTypeByGenerators,
   function(cat, fam, gens, genAttrib)
     local M;
     if not(IsEmpty(gens) or IsIdenticalObj(FamilyObj(gens), fam)) then