diff --git a/gap/structure.gd b/gap/structure.gd index 7bd146f..425ea59 100644 --- a/gap/structure.gd +++ b/gap/structure.gd @@ -86,21 +86,9 @@ DeclareAttribute("UnderlyingMultiplicativeElement", IsOppositeObject); # structures, these are the same as the GeneratorsOfMagma but in general more # elements might be required to generate the structure just under * DeclareAttribute("GeneratorsOfLeftQuasigroup", IsLeftQuasigroup); -InstallMethod(GeneratorsOfMagma, - "finite left quasigroups", - IsLeftQuasigroup and IsFinite, - 1, - q -> GeneratorsOfLeftQuasigroup(q) -); # Generates the structure by \* and \/, same considerations as above DeclareAttribute("GeneratorsOfRightQuasigroup", IsRightQuasigroup); -InstallMethod(GeneratorsOfMagma, - "finite right quasigroups", - IsRightQuasigroup and IsFinite, - 2, - q -> GeneratorsOfRightQuasigroup(q) -); ## Conversions into quasigroup/rack/quandle DeclareAttribute("AsLeftQuasigroup", IsCollection); diff --git a/gap/structure.gi b/gap/structure.gi index fe4766c..ff09ead 100644 --- a/gap/structure.gi +++ b/gap/structure.gi @@ -31,6 +31,17 @@ end); ## Create structures with generators +InstallMethod(GeneratorsOfMagma, + "finite left quasigroups", + [IsLeftQuasigroup and IsFinite], + q -> GeneratorsOfLeftQuasigroup(q) +); +InstallMethod(GeneratorsOfMagma, + "finite right quasigroups", + {IsRightQuasigroup and IsFinite], + q -> GeneratorsOfRightQuasigroup(q) +); + InstallGlobalFunction(CloneOfTypeByGenerators, function(cat, fam, gens, genAttrib, tableCstr) local M, elf;