diff --git a/gap/structure.gd b/gap/structure.gd index 30941f6..781b207 100644 --- a/gap/structure.gd +++ b/gap/structure.gd @@ -44,7 +44,7 @@ DeclareSynonym("IsLeftRack", IsLeftQuasigroup and IsLSelfDistributive); DeclareSynonym("IsRightRack", IsRightQuasigroup and IsRSelfDistributive); DeclareSynonym("IsLeftQuandle", IsLeftRack and IsElementwiseIdempotent); -DeclareSynonym("IsRightQuandle", IsLeftRack and IsElementwiseIdempotent); +DeclareSynonym("IsRightQuandle", IsRightRack and IsElementwiseIdempotent); ## One-sided quasigroups and racks and quandles by generators