From 8c939b4a917ca2ed89eb3951c9a6da825e0fd172 Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Sun, 29 Oct 2017 14:19:05 -0400
Subject: [PATCH] Fall back to generators of domain

---
 gap/structure.gi | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gap/structure.gi b/gap/structure.gi
index 4b5e735..f458838 100644
--- a/gap/structure.gi
+++ b/gap/structure.gi
@@ -600,6 +600,8 @@ InstallOtherMethod(DirectProductOp, "for a list and non-quasigroup magma",
       genfunc := GeneratorsOfRightQuasigroup;
     elif "HasGeneratorsOfMagma" in jof then
       genfunc := GeneratorsOfMagma;
+    elif "HasGeneratorsOfDomain" in jof then
+      genfunc := GeneratorsOfDomain;
     else
       Info(InfoRAQ,1, "RAQ: Unusual product, each of ", list,
            " has generators, but not sure what kind; trying next method.");