Fall back to generators of domain

This commit is contained in:
Glen Whitney 2017-10-29 14:19:05 -04:00
parent 0b68afb47e
commit 8c939b4a91
1 changed files with 2 additions and 0 deletions

View File

@ -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.");