From ba8bc89544e57c2a0275ee4384e0520984eb8f6d Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Sun, 29 Oct 2017 20:06:12 -0400
Subject: [PATCH] mybe IsTrivial declarations unnecessary

---
 gap/constructions.gd | 2 --
 1 file changed, 2 deletions(-)

diff --git a/gap/constructions.gd b/gap/constructions.gd
index f22e68c..4bd3e2b 100644
--- a/gap/constructions.gd
+++ b/gap/constructions.gd
@@ -4,8 +4,6 @@
 
 DeclareGlobalFunction("TrivialLeftQuandle");
 DeclareGlobalFunction("TrivialRightQuandle");
-DeclareProperty("IsTrivial", IsLeftQuasigroup);
-DeclareProperty("IsTrivial", IsRightQuasigroup);
 
 ## Convenience functions