From 1c8d3fbe524679c6e4d28a250d9fce57546fc475 Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Wed, 18 Oct 2017 13:36:38 +0200
Subject: [PATCH] have to map indices back into the family

---
 gap/structure.gi | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/gap/structure.gi b/gap/structure.gi
index e98fddc..193ba75 100644
--- a/gap/structure.gi
+++ b/gap/structure.gi
@@ -106,7 +106,10 @@ InstallOtherMethod(LeftQuotient,
   IsIdenticalObj,
   [IsLeftQuotientElement, IsMagmaByMultiplicationTableObj],
   function (l,r)
-    return LeftDivisionTable(FamilyObj(l))[l![1],r![1]];
+    local fam, ix;
+    fam := FamilyObj(l);
+    ix := LeftDivisionTable(fam)[l![1],r![1]];
+    return fam!.set[ix];
 end);
 
 ## Create division tables as needed