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