right quandles are not left racks
This commit is contained in:
parent
341872bafa
commit
79682e0048
|
@ -44,7 +44,7 @@ DeclareSynonym("IsLeftRack", IsLeftQuasigroup and IsLSelfDistributive);
|
||||||
DeclareSynonym("IsRightRack", IsRightQuasigroup and IsRSelfDistributive);
|
DeclareSynonym("IsRightRack", IsRightQuasigroup and IsRSelfDistributive);
|
||||||
|
|
||||||
DeclareSynonym("IsLeftQuandle", IsLeftRack and IsElementwiseIdempotent);
|
DeclareSynonym("IsLeftQuandle", IsLeftRack and IsElementwiseIdempotent);
|
||||||
DeclareSynonym("IsRightQuandle", IsLeftRack and IsElementwiseIdempotent);
|
DeclareSynonym("IsRightQuandle", IsRightRack and IsElementwiseIdempotent);
|
||||||
|
|
||||||
## One-sided quasigroups and racks and quandles by generators
|
## One-sided quasigroups and racks and quandles by generators
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue