From 9c9b9b5e3780271bab4a0fbcb71a9d3152161631 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Tue, 31 Mar 2020 23:26:55 +0200 Subject: [PATCH] add 244 groups --- Makefile | 8 ++++++-- data/presentations_2_4_4.txt | 33 +++++++++++++++++++++++++++++++++ runcomputations.jl | 3 ++- 3 files changed, 41 insertions(+), 3 deletions(-) create mode 100644 data/presentations_2_4_4.txt diff --git a/Makefile b/Makefile index 24ab34c..6f24293 100644 --- a/Makefile +++ b/Makefile @@ -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 diff --git a/data/presentations_2_4_4.txt b/data/presentations_2_4_4.txt new file mode 100644 index 0000000..e320db4 --- /dev/null +++ b/data/presentations_2_4_4.txt @@ -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> diff --git a/runcomputations.jl b/runcomputations.jl index b599123..f81ef96 100644 --- a/runcomputations.jl +++ b/runcomputations.jl @@ -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