From 244492a7eddb7b5638524d30737b4b9677de5b09 Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Mon, 30 Oct 2017 00:35:55 -0400
Subject: [PATCH] Finish the merge with 3.4.0

Aha, somehow I did not include the PackageInfo.g and the properly merged
gap/quasigroups.gd into the last commit; here they are
---
 PackageInfo.g      |  4 ++--
 gap/quasigroups.gd | 13 +++++++++----
 2 files changed, 11 insertions(+), 6 deletions(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 6b4d42a..1416dbf 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -1,8 +1,8 @@
 SetPackageInfo( rec(
 PackageName := "loops",
 Subtitle := "Computing with quasigroups and loops in GAP",
-Version := "3.4.0",
-Date := "27/10/2017",
+Version := "3.4.1",
+Date := "29/10/2017",
 ArchiveURL := "http://www.math.du.edu/loops/loops-3.4.0",
 ArchiveFormats := "-win.zip .tar.gz",
 
diff --git a/gap/quasigroups.gd b/gap/quasigroups.gd
index dc214cb..a33df6a 100644
--- a/gap/quasigroups.gd
+++ b/gap/quasigroups.gd
@@ -56,15 +56,20 @@ DeclareSynonym( "IsLoopElement",
 DeclareRepresentation( "IsLoopElmRep",
     IsPositionalObjectRep and IsMultiplicativeElementWithInverse, [1] );
 
-## latin (auxiliary category for GAP to tell apart IsMagma and IsQuasigroup)
-DeclareCategory( "IsLatinMagma", IsObject );
+## Right quasigroup
+DeclareCategory("IsRightQuasigroup", 
+                IsMagma and IsRightQuotientElementCollection);
+
+## Left quasigroup
+DeclareCategory("IsLeftQuasigroup",
+                IsMagma and IsLeftQuotientElementCollection);
 
 ## quasigroup
-DeclareCategory( "IsQuasigroup", IsMagma and IsLatinMagma );
+DeclareSynonym( "IsQuasigroup", IsRightQuasigroup and IsLeftQuasigroup );
 
 ## loop
 DeclareSynonym( "IsLoop", IsQuasigroup and IsMagmaWithOne and 
-                           IsMultiplicativeElementWithInverseCollection);
+                          IsMultiplicativeElementWithInverseCollection);
 
 #############################################################################
 ##  TESTING MULTIPLICATION TABLES