Don't mix your quasigroups and quandles

This commit is contained in:
Glen Whitney 2017-10-26 21:27:32 -04:00
parent 7f940ba87e
commit c4cb6e80f8

View File

@ -442,7 +442,7 @@ InstallOtherMethod(DirectProductOp,
fi; fi;
return LeftRackByMultiplicationTableNC(bigtable); return LeftRackByMultiplicationTableNC(bigtable);
fi; fi;
return LeftQuandleByMultiplicationTableNC(bigtable); return LeftQuasigroupByMultiplicationTableNC(bigtable);
elif "IsRightQuasigroup" in jof then elif "IsRightQuasigroup" in jof then
if "IsLSelfDistributive" in jof then if "IsLSelfDistributive" in jof then
if "IsElementwiseIdempotent" in jof then if "IsElementwiseIdempotent" in jof then
@ -450,7 +450,7 @@ InstallOtherMethod(DirectProductOp,
fi; fi;
return RightRackByMultiplicationTableNC(bigtable); return RightRackByMultiplicationTableNC(bigtable);
fi; fi;
return RightQuandleByMultiplicationTableNC(bigtable); return RightQuasigroupByMultiplicationTableNC(bigtable);
fi; fi;
return MagmaByMultiplicationTable(bigtable); return MagmaByMultiplicationTable(bigtable);
end); end);