glen
/
RAQ
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity

The NC versions require family

This commit is contained in:
Glen Whitney 2017-10-26 21:32:15 -04:00
parent c4cb6e80f8
commit 6e25748df5
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gap/structure.gi
View File

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