From 29c4e84fac21a24f315b7ff5c4785f8a29f0b10b Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Wed, 12 Feb 2020 01:12:49 +0100
Subject: [PATCH] add grups555

---
 Makefile                     | 10 +++++++---
 data/presentations_5_5_5.txt | 22 ++++++++++++++++++++++
 runcomputations.jl           |  4 +++-
 3 files changed, 32 insertions(+), 4 deletions(-)
 create mode 100644 data/presentations_5_5_5.txt

diff --git a/Makefile b/Makefile
index 4262d22..24ab34c 100644
--- a/Makefile
+++ b/Makefile
@@ -6,12 +6,14 @@ GROUPS344 = 14_40_40_0 14_40_48_0 14_40_54_0 14_40_54_2 14_48_48_0 14_48_48_1 14
 
 GROUPS444 = 40_40_40_0 40_40_48_0 40_40_54_0 40_48_48_0 40_48_54_0 40_48_54_2 40_54_54_0 40_54_54_2 40_54_54_8 48_48_48_0 48_48_48_1 48_48_54_0 48_54_54_0 48_54_54_2 48_54_54_8 54_54_54_0 54_54_54_2
 
+GROUPS555 = H_1 H_2 H_3 H_4 H_5 H_6 H_7 H_8
+
 
 JULIA = /opt/bin/julia
 
-.PHONY: allgroups groups333 groups334 groups344 groups444 $(GROUPS334) $(GROUPS344) $(GROUPS444)
+.PHONY: allgroups groups333 groups334 groups344 groups444 groups555 $(GROUPS334) $(GROUPS344) $(GROUPS444) $(GROUPS555)
 
-allgroups: groups334 groups344 groups444
+allgroups: groups334 groups344 groups444 group555
 
 groups333: $(GROUPS333)
 
@@ -21,7 +23,9 @@ groups344: $(GROUPS344)
 
 groups444: $(GROUPS444)
 
-$(GROUPS333) $(GROUPS334) $(GROUPS344) $(GROUPS444):
+groups555: $(GROUPS555)
+
+$(GROUPS333) $(GROUPS334) $(GROUPS344) $(GROUPS444) $(GROUPS555):
 	@echo "Checking property (T) for" $@
 	@mkdir -p log
 	$(JULIA) --project=. runcomputations.jl $@ &>> log/$@.log
diff --git a/data/presentations_5_5_5.txt b/data/presentations_5_5_5.txt
new file mode 100644
index 0000000..c0927b3
--- /dev/null
+++ b/data/presentations_5_5_5.txt
@@ -0,0 +1,22 @@
+/////////////
+/// Groups with property (T), hyperbolicity unknown
+/////////////
+// H_1
+H_1:=Group<a, b, c |a^5, b^5, c^5, comm(a, b, a), comm(a, b, b), comm(b,c,b),comm(b,c,c), comm(a,c,a), comm(a,c,c)>;
+// H_2
+H_2:=Group<a, b, c |a^5, b^5, c^5, a^-1 * b * a * b^-1 * a * b, b^-2 * a * b * a * b^-2 * a^2, comm(b,c,b),comm(b,c,c), comm(a,c,a),comm(a,c,c)>;
+// H_3
+H_3:=Group<a, b, c |a^5, b^5, c^5, a^-1 * b * a * b^-1 * a * b, b^-2 * a * b * a * b^-2 * a^2, b^-1 * c * b * c^-1 * b * c, c^-2 * b * c * b * c^-2 * b^2, comm(a,c,a),comm(a,c,c)>;
+// H_4
+H_4:=Group<a, b, c |a^5, b^5, c^5, a^-1 * b * a * b^-1 * a * b, b^-2 * a * b * a * b^-2 * a^2, b^-1 * c * b * c^-1 * b * c, c^-2 * b * c * b * c^-2 * b^2, a^-1 * c * a * c^-1 * a * c, c^-2 * a * c * a * c^-2 * a^2>;
+/////////////
+/// Infinite hyperbolic groups, property (T) unknown
+/////////////
+// H_5
+H_5:=Group<a, b, c |a^5, b^5, c^5, comm(a, b, a), comm(a, b, b), comm(b,c,b),comm(b,c,c), comm(a,c,a),comm(a,c,c,a),comm(a,c,c,c)>;
+// H_6
+H_6:=Group<a, b, c |a^5, b^5, c^5, a^-1 * b * a * b^-1 * a * b, b^-2 * a * b * a * b^-2 * a^2, comm(b,c,b),comm(b,c,c), comm(a,c,a),comm(a,c,c,a),comm(a,c,c,c)>;
+// H_7
+H_7:=Group<a, b, c |a^5, b^5, c^5, comm(a, b, a), comm(a, b, b), b^-1 * c * b * c^-1 * b * c, c^-2 * b * c * b * c^-2 * b^2, comm(a,c,a), comm(a,c,c,a), comm(a,c,c,c)>;
+//H_8
+H_8:=Group<a, b, c |a^5, b^5, c^5, a^-1 * b * a * b^-1 * a * b, b^-2 * a * b * a * b^-2 * a^2, b^-1 * c * b * c^-1 * b * c, c^-2 * b * c * b * c^-2 * b^2, comm(a,c,a), comm(a,c,c,a), comm(a,c,c,c)>;
diff --git a/runcomputations.jl b/runcomputations.jl
index 08bf333..ee8fb1a 100644
--- a/runcomputations.jl
+++ b/runcomputations.jl
@@ -37,8 +37,10 @@ groups333 = parse_grouppresentations("data/presentations_3_3_3.txt")
 groups334 = parse_grouppresentations("data/presentations_3_3_4.txt")
 groups344 = parse_grouppresentations("data/presentations_3_4_4.txt")
 groups444 = parse_grouppresentations("data/presentations_4_4_4.txt")
+groups555 = parse_grouppresentations("data/presentations_5_5_5.txt")
 
-groups = merge(groups333, groups334, groups344, groups444)
+
+groups = merge(groups333, groups334, groups344, groups444, groups555)
 
 @assert length(ARGS) == 1