From 6e25748df5e8d7cc5a5ee1cddd4017c23423e0bf Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Thu, 26 Oct 2017 21:32:15 -0400
Subject: [PATCH] The NC versions require family

---
 gap/structure.gi | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/gap/structure.gi b/gap/structure.gi
index 43671aa..05ddab9 100644
--- a/gap/structure.gi
+++ b/gap/structure.gi
@@ -604,19 +604,19 @@ InstallOtherMethod(DirectProductOp, "for a list and non-quasigroup magma",
     elif "IsLeftQuasigroup" in jof then
       if "IsLSelfDistributive" in jof then
         if "IsElementwiseIdempotent" in jof then
-          return LeftQuandleNC(gens);
+          return LeftQuandleNC(FamilyObj(gens), gens);
         fi;
-        return LeftRackNC(gens);
+        return LeftRackNC(FamilyObj(gens), gens);
       fi;
-      return LeftQuasigroupNC(gens);
+      return LeftQuasigroupNC(FamilyObj(gens), gens);
     elif "IsRightQuasigroup" in jof then
       if "IsRSelfDistributive" in jof then
         if "IsElementwiseIdempotent" in jof then
-          return RightQuandleNC(gens);
+          return RightQuandleNC(FamilyObj(gens), gens);
         fi;
-        return RightRackNC(gens);
+        return RightRackNC(FamilyObj(gens), gens);
       fi;
-      return RightQuasigroupNC(gens);
+      return RightQuasigroupNC(FamilyObj(gens), gens);
     fi;
     # Not seeing any additional structure; did I miss anything?
     return MagmaByGenerators(gens);