From cbabb9144135f61b3c5213fc30966940191fd34f Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Sun, 29 Oct 2017 14:03:19 -0400
Subject: [PATCH] move methods into .gi now that they are not immediate

---
 gap/structure.gd | 12 ------------
 gap/structure.gi | 11 +++++++++++
 2 files changed, 11 insertions(+), 12 deletions(-)

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;