glen
/
RAQ
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity

IsFilter is not an operation, which GAP doesn't like

This commit is contained in:
Glen Whitney 2017-10-18 13:19:57 +02:00
parent 92a7bff629
commit 6b679f8671
2 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gap/structure.gd
View File

@ -45,8 +45,7 @@ DeclareGlobalFunction("LeftRack");
DeclareGlobalFunction("RightRack");
# Underlying operation
DeclareOperation("CloneOfTypeByGenerators",
[IsFilter, IsFamily, IsCollection, IsAttribute]);
DeclareGlobalFunction("CloneOfTypeByGenerators");
# Attributes for the generators

4
gap/structure.gi
View File

@ -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