kalmar
/
SmallHyperbolic
mirror of https://github.com/kalmarek/SmallHyperbolic
1
0
Fork 0
Code Issues Releases Wiki Activity

add 244 groups

This commit is contained in:
kalmarek 2020-03-31 23:26:55 +02:00
parent bf85dd7e3c
commit 9c9b9b5e37
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
3 changed files with 41 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Makefile
View File

@ -1,3 +1,5 @@
GROUPS244 = 6_40_40_0 6_40_48_0 6_40_54_2 8_40_54_0 8_40_54_2
GROUPS333 = 14_14_14_0 14_14_14_1 14_14_14_2 14_14_14_6 14_14_16_0 14_14_16_1 14_14_16_4 14_14_16_5 14_14_18_0 14_14_18_4 14_14_24_0 14_14_24_1 14_14_24_4 14_14_24_5 14_14_26_0 14_14_26_1 14_14_26_3 14_14_26_4 14_14_26_5 14_14_26_7 14_16_16_0 14_16_16_1 14_16_18_0 14_16_24_0 14_16_24_1 14_16_26_0 14_16_26_1 14_16_26_3 14_16_26_7 14_18_18_0 14_18_24_0 14_18_26_0 14_18_26_3 14_24_24_0 14_24_24_1 14_24_26_0 14_24_26_1 14_24_26_3 14_24_26_7 14_26_26_0 14_26_26_1 14_26_26_15 14_26_26_3 14_26_26_4 14_26_26_5 16_16_16_0 16_16_16_1 16_16_18_0 16_16_24_0 16_16_24_1 16_16_26_0 16_16_26_1 16_18_18_0 16_18_24_0 16_18_26_0 16_24_24_0 16_24_24_1 16_24_26_0 16_24_26_1 16_26_26_0 16_26_26_1 16_26_26_3 16_26_26_5 18_18_18_0 18_18_24_0 18_18_26_0 18_24_24_0 18_24_26_0 18_26_26_0 18_26_26_1 24_24_24_0 24_24_24_1 24_24_26_0 24_24_26_1 24_26_26_0 24_26_26_1 24_26_26_3 24_26_26_5 26_26_26_0 26_26_26_1 26_26_26_21 26_26_26_5
GROUPS334 = 14_14_40_0 14_14_40_4 14_14_48_0 14_14_48_1 14_14_48_4 14_14_48_5 14_14_54_0 14_14_54_4 14_16_40_0 14_16_48_0 14_16_48_1 14_16_54_0 14_16_54_2 14_18_40_0 14_18_48_0 14_18_54_0 14_18_54_2 14_24_40_0 14_24_48_0 14_24_48_1 14_24_54_0 14_24_54_2 14_26_40_0 14_26_40_4 14_26_48_0 14_26_48_1 14_26_48_4 14_26_48_5 14_26_54_0 14_26_54_2 14_26_54_4 14_26_54_6 16_16_40_0 16_16_48_0 16_16_48_1 16_16_54_0 16_18_40_0 16_18_48_0 16_18_54_0 16_18_54_2 16_24_40_0 16_24_48_0 16_24_48_1 16_24_54_0 16_24_54_2 16_26_40_0 16_26_48_0 16_26_48_1 16_26_54_0 16_26_54_2 18_18_40_0 18_18_48_0 18_18_54_0 18_24_40_0 18_24_48_0 18_24_54_0 18_24_54_2 18_26_40_0 18_26_48_0 18_26_54_0 18_26_54_2 24_24_40_0 24_24_48_0 24_24_48_1 24_24_54_0 24_26_40_0 24_26_48_0 24_26_48_1 24_26_54_0 24_26_54_2 26_26_40_0 26_26_40_4 26_26_48_0 26_26_48_1 26_26_48_4 26_26_48_5 26_26_54_0 26_26_54_4
@ -13,7 +15,9 @@ JULIA = /opt/bin/julia
.PHONY: allgroups groups333 groups334 groups344 groups444 groups555 $(GROUPS334) $(GROUPS344) $(GROUPS444) $(GROUPS555)
allgroups: groups334 groups344 groups444 group555
allgroups: groups244 groups334 groups344 groups444 group555
groups244: $(GROUPS244)
groups333: $(GROUPS333)
@ -25,7 +29,7 @@ groups444: $(GROUPS444)
groups555: $(GROUPS555)
$(GROUPS333) $(GROUPS334) $(GROUPS344) $(GROUPS444) $(GROUPS555):
$(GROUPS244) $(GROUPS333) $(GROUPS334) $(GROUPS344) $(GROUPS444) $(GROUPS555):
@echo "Checking property (T) for" $@
@mkdir -p log
$(JULIA) --project=. runcomputations.jl $@ &>> log/$@.log

33
data/presentations_2_4_4.txt Normal file
View File

@ -0,0 +1,33 @@
// 6 40 40 0
G_6_40_40_0 := Group< a, b, c | a^3, b^3, c^3, b*a*b^-1*a^-1, (c*b^-1*c*b)^2, (c^-1*b^-1*c*b^-1)^2, (a*c^-1*a*c)^2, (a^-1*c^-1*a*c^-1)^2>
// 6 40 48 0
G_6_40_48_0 := Group< a, b, c | a^3, b^3, c^3, b*a*b^-1*a^-1, (c*b^-1*c*b)^2, (c^-1*b^-1*c*b^-1)^2, (a*c)^2*(a^-1*c^-1)^2>
// 6 40 54 0 2
// G_6_40_54_0 := Group< a, b, c | a^3, b^3, c^3, b*a*b^-1*a^-1, (c*b^-1*c*b)^2, (c^-1*b^-1*c*b^-1)^2, a*c*a^-1*c^-1*a^-1*c*a*c^-1, (a*c*a^-1*c)^3>
G_6_40_54_2 := Group< a, b, c | a^3, b^3, c^3, b*a*b^-1*a^-1, (c*b^-1*c*b)^2, (c^-1*b^-1*c*b^-1)^2, c*a*c^-1*a^-1*c^-1*a*c*a^-1, (c*a*c^-1*a)^3>
// 6 48 48 0
// G_6_48_48_0 := Group< a, b, c | a^3, b^3, c^3, b*a*b^-1*a^-1, (c*b)^2*(c^-1*b^-1)^2, (a*c)^2*(a^-1*c^-1)^2>
// 6 48 54 0 2
// G_6_48_54_0 := Group< a, b, c | a^3, b^3, c^3, b*a*b^-1*a^-1, (c*b)^2*(c^-1*b^-1)^2, a*c*a^-1*c^-1*a^-1*c*a*c^-1, (a*c*a^-1*c)^3>
// G_6_48_54_2 := Group< a, b, c | a^3, b^3, c^3, b*a*b^-1*a^-1, (c*b)^2*(c^-1*b^-1)^2, c*a*c^-1*a^-1*c^-1*a*c*a^-1, (c*a*c^-1*a)^3>
// 6 54 54 0 2 8
// G_6_54_54_0 := Group< a, b, c | a^3, b^3, c^3, b*a*b^-1*a^-1, c*b*c^-1*b^-1*c^-1*b*c*b^-1, (c*b*c^-1*b)^3, a*c*a^-1*c^-1*a^-1*c*a*c^-1, (a*c*a^-1*c)^3>
// G_6_54_54_2 := Group< a, b, c | a^3, b^3, c^3, b*a*b^-1*a^-1, c*b*c^-1*b^-1*c^-1*b*c*b^-1, (c*b*c^-1*b)^3, c*a*c^-1*a^-1*c^-1*a*c*a^-1, (c*a*c^-1*a)^3>
// G_6_54_54_8 := Group< a, b, c | a^3, b^3, c^3, b*a*b^-1*a^-1, b*c*b^-1*c^-1*b^-1*c*b*c^-1, (b*c*b^-1*c)^3, a*c*a^-1*c^-1*a^-1*c*a*c^-1, (a*c*a^-1*c)^3>
// 8 40 40 0
// G_8_40_40_0 := Group< a, b, c | a^3, b^3, c^3, b*a*b*a, (c*b^-1*c*b)^2, (c^-1*b^-1*c*b^-1)^2, (a*c^-1*a*c)^2, (a^-1*c^-1*a*c^-1)^2>
// 8 40 48 0
// G_8_40_48_0 := Group< a, b, c | a^3, b^3, c^3, b*a*b*a, (c*b^-1*c*b)^2, (c^-1*b^-1*c*b^-1)^2, (a*c)^2*(a^-1*c^-1)^2>
// 8 40 54 0 2
G_8_40_54_0 := Group< a, b, c | a^3, b^3, c^3, b*a*b*a, (c*b^-1*c*b)^2, (c^-1*b^-1*c*b^-1)^2, a*c*a^-1*c^-1*a^-1*c*a*c^-1, (a*c*a^-1*c)^3>
G_8_40_54_2 := Group< a, b, c | a^3, b^3, c^3, b*a*b*a, (c*b^-1*c*b)^2, (c^-1*b^-1*c*b^-1)^2, c*a*c^-1*a^-1*c^-1*a*c*a^-1, (c*a*c^-1*a)^3>
// 8 48 48 0 1
// G_8_48_48_0 := Group< a, b, c | a^3, b^3, c^3, b*a*b*a, (c*b)^2*(c^-1*b^-1)^2, (a*c)^2*(a^-1*c^-1)^2>
// G_8_48_48_1 := Group< a, b, c | a^3, b^3, c^3, b*a*b*a, (c*b)^2*(c^-1*b^-1)^2, (a*c^-1)^2*(a^-1*c)^2>
// 8 48 54 0 2
// G_8_48_54_0 := Group< a, b, c | a^3, b^3, c^3, b*a*b*a, (c*b)^2*(c^-1*b^-1)^2, a*c*a^-1*c^-1*a^-1*c*a*c^-1, (a*c*a^-1*c)^3>
// G_8_48_54_2 := Group< a, b, c | a^3, b^3, c^3, b*a*b*a, (c*b)^2*(c^-1*b^-1)^2, c*a*c^-1*a^-1*c^-1*a*c*a^-1, (c*a*c^-1*a)^3>
// 8 54 54 0 2 8
// G_8_54_54_0 := Group< a, b, c | a^3, b^3, c^3, b*a*b*a, c*b*c^-1*b^-1*c^-1*b*c*b^-1, (c*b*c^-1*b)^3, a*c*a^-1*c^-1*a^-1*c*a*c^-1, (a*c*a^-1*c)^3>
// G_8_54_54_2 := Group< a, b, c | a^3, b^3, c^3, b*a*b*a, c*b*c^-1*b^-1*c^-1*b*c*b^-1, (c*b*c^-1*b)^3, c*a*c^-1*a^-1*c^-1*a*c*a^-1, (c*a*c^-1*a)^3>
// G_8_54_54_8 := Group< a, b, c | a^3, b^3, c^3, b*a*b*a, b*c*b^-1*c^-1*b^-1*c*b*c^-1, (b*c*b^-1*c)^3, a*c*a^-1*c^-1*a^-1*c*a*c^-1, (a*c*a^-1*c)^3>

3
runcomputations.jl
View File

@ -33,6 +33,7 @@ with_SCS(iters=30_000, acceleration=10; eps=1e-10) = with_optimizer(SCS.Optimize
acceleration_lookback=acceleration,
warm_start=true)
groups244 = parse_grouppresentations("data/presentations_2_4_4.txt")
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")
@ -40,7 +41,7 @@ groups444 = parse_grouppresentations("data/presentations_4_4_4.txt")
groups555 = parse_grouppresentations("data/presentations_5_5_5.txt")
groups = merge(groups333, groups334, groups344, groups444, groups555)
groups = merge(groups244, groups333, groups334, groups344, groups444, groups555)
@assert length(ARGS) == 1