diff --git a/gap/structure.gd b/gap/structure.gd index 54a4919..7bd146f 100644 --- a/gap/structure.gd +++ b/gap/structure.gd @@ -86,7 +86,7 @@ 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); -InstallImmediateMethod(GeneratorsOfMagma, +InstallMethod(GeneratorsOfMagma, "finite left quasigroups", IsLeftQuasigroup and IsFinite, 1, @@ -95,7 +95,7 @@ InstallImmediateMethod(GeneratorsOfMagma, # Generates the structure by \* and \/, same considerations as above DeclareAttribute("GeneratorsOfRightQuasigroup", IsRightQuasigroup); -InstallImmediateMethod(GeneratorsOfMagma, +InstallMethod(GeneratorsOfMagma, "finite right quasigroups", IsRightQuasigroup and IsFinite, 2,