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