kalmar/SmallHyperbolic
1
0
Fork 0
mirror of https://github.com/kalmarek/SmallHyperbolic synced 2024-11-27 08:30:27 +01:00
Code Issues Releases Wiki Activity

add grups555

Browse Source
This commit is contained in:
kalmarek 2020-02-12 01:12:49 +01:00
parent 2a7d121e13
commit 29c4e84fac
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
3 changed files with 32 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
Makefile
View File

@ -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

22
data/presentations_5_5_5.txt Normal file
View File

@ -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)>;

4
runcomputations.jl
View File

@ -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