From 8f7f6891ece9e8e31cbfc00381e27bcd277bdfb5 Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Mon, 30 Oct 2017 11:58:26 -0400
Subject: [PATCH] loop element reps are quasigroup element reps.

---
 gap/quasigroups.gd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gap/quasigroups.gd b/gap/quasigroups.gd
index ce91c23..2dbbc90 100644
--- a/gap/quasigroups.gd
+++ b/gap/quasigroups.gd
@@ -54,7 +54,7 @@ DeclareRepresentation( "IsQuasigroupElmRep",
 DeclareSynonym( "IsLoopElement",
     IsQuasigroupElement and IsMultiplicativeElementWithInverse );
 DeclareRepresentation( "IsLoopElmRep",
-    IsPositionalObjectRep and IsMultiplicativeElementWithInverse, [1] );
+    IsQuasigroupElmRRep and IsMultiplicativeElementWithInverse, [1] );
 
 ## Right quasigroup
 DeclareCategory("IsRightQuasigroup",