move methods into .gi now that they are not immediate

This commit is contained in:
Glen Whitney 2017-10-29 14:03:19 -04:00
parent f80f2a973c
commit cbabb91441
2 changed files with 11 additions and 12 deletions

View File

@ -86,21 +86,9 @@ DeclareAttribute("UnderlyingMultiplicativeElement", IsOppositeObject);
# structures, these are the same as the GeneratorsOfMagma but in general more # structures, these are the same as the GeneratorsOfMagma but in general more
# elements might be required to generate the structure just under * # elements might be required to generate the structure just under *
DeclareAttribute("GeneratorsOfLeftQuasigroup", IsLeftQuasigroup); DeclareAttribute("GeneratorsOfLeftQuasigroup", IsLeftQuasigroup);
InstallMethod(GeneratorsOfMagma,
"finite left quasigroups",
IsLeftQuasigroup and IsFinite,
1,
q -> GeneratorsOfLeftQuasigroup(q)
);
# Generates the structure by \* and \/, same considerations as above # Generates the structure by \* and \/, same considerations as above
DeclareAttribute("GeneratorsOfRightQuasigroup", IsRightQuasigroup); DeclareAttribute("GeneratorsOfRightQuasigroup", IsRightQuasigroup);
InstallMethod(GeneratorsOfMagma,
"finite right quasigroups",
IsRightQuasigroup and IsFinite,
2,
q -> GeneratorsOfRightQuasigroup(q)
);
## Conversions into quasigroup/rack/quandle ## Conversions into quasigroup/rack/quandle
DeclareAttribute("AsLeftQuasigroup", IsCollection); DeclareAttribute("AsLeftQuasigroup", IsCollection);

View File

@ -31,6 +31,17 @@ end);
## Create structures with generators ## 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, InstallGlobalFunction(CloneOfTypeByGenerators,
function(cat, fam, gens, genAttrib, tableCstr) function(cat, fam, gens, genAttrib, tableCstr)
local M, elf; local M, elf;