From 79682e0048633f0e9eb436ff4f558be0d23951de Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Fri, 20 Oct 2017 15:48:34 +0200 Subject: [PATCH] right quandles are not left racks --- gap/structure.gd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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