1
0
mirror of https://github.com/kalmarek/SmallHyperbolic synced 2024-11-09 04:05:27 +01:00

add groups333 to makefile

This commit is contained in:
kalmarek 2020-01-27 14:26:24 +01:00
parent ce1f551224
commit ccf0242f5d
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15

View File

@ -1,22 +1,27 @@
GROUPS334 = 24_24_54_G_0 14_24_48_G_1 16_24_54_G_0 26_26_48_G_4 16_18_48_G_0 24_26_48_G_1 14_24_54_G_2 24_26_54_G_0 18_18_54_G_0 14_16_54_G_2 26_26_48_G_5 16_26_48_G_0 26_26_40_G_0 14_26_54_G_2 18_26_54_G_0 14_26_48_G_1 14_14_54_G_0 14_14_54_G_4 16_18_54_G_0 14_24_48_G_0 14_26_54_G_4 14_16_48_G_1 14_24_40_G_0 16_24_48_G_1 14_14_48_G_4 14_24_54_G_0 14_14_48_G_5 18_26_48_G_0 14_14_40_G_0 14_26_40_G_0 16_16_48_G_0 14_18_54_G_0 16_24_54_G_2 18_24_48_G_0 14_16_54_G_0 16_24_48_G_0 16_16_48_G_1 16_26_54_G_2 14_26_54_G_6 16_16_40_G_0 16_16_54_G_0 26_26_48_G_1 26_26_48_G_0 14_18_54_G_2 16_26_48_G_1 18_26_54_G_2 14_14_40_G_4 14_26_40_G_4 14_26_54_G_0 14_16_48_G_0 14_18_48_G_0 14_14_48_G_0 24_24_48_G_0 14_26_48_G_5 16_26_54_G_0 16_26_40_G_0 18_26_40_G_0 26_26_40_G_4 24_26_40_G_0 18_18_40_G_0 24_24_48_G_1 14_26_48_G_4 18_24_40_G_0 16_24_40_G_0 24_26_54_G_2 14_16_40_G_0 18_18_48_G_0 14_18_40_G_0 16_18_40_G_0 18_24_54_G_0 24_26_48_G_0 18_24_54_G_2 24_24_40_G_0 14_14_48_G_1 14_26_48_G_0 16_18_54_G_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
GROUPS344 = 24_48_54_G_0 26_48_54_G_2 24_54_54_G_8 18_54_54_G_8 24_40_48_G_0 14_48_48_G_1 16_48_48_G_0 26_40_40_G_0 26_48_48_G_0 24_40_40_G_0 18_48_54_G_0 24_40_54_G_0 24_54_54_G_0 16_48_54_G_0 14_40_40_G_0 16_48_54_G_2 16_40_54_G_0 16_40_40_G_0 16_54_54_G_0 16_54_54_G_8 14_54_54_G_0 18_40_54_G_0 14_40_54_G_0 14_48_54_G_0 14_54_54_G_8 16_48_48_G_1 18_54_54_G_0 18_48_48_G_0 14_54_54_G_2 18_40_48_G_0 16_40_48_G_0 18_40_40_G_0 24_40_54_G_2 26_40_54_G_0 16_54_54_G_2 18_40_54_G_2 26_40_48_G_0 14_48_54_G_2 18_54_54_G_2 14_40_48_G_0 18_48_54_G_2 16_40_54_G_2 26_40_54_G_2 14_40_54_G_2 24_54_54_G_2 26_48_54_G_0 24_48_48_G_1 24_48_54_G_2 26_48_48_G_1 14_48_48_G_0 24_48_48_G_0
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
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_48_54_0 14_48_54_2 14_54_54_0 14_54_54_2 14_54_54_8 16_40_40_0 16_40_48_0 16_40_54_0 16_40_54_2 16_48_48_0 16_48_48_1 16_48_54_0 16_48_54_2 16_54_54_0 16_54_54_2 16_54_54_8 18_40_40_0 18_40_48_0 18_40_54_0 18_40_54_2 18_48_48_0 18_48_54_0 18_48_54_2 18_54_54_0 18_54_54_2 18_54_54_8 24_40_40_0 24_40_48_0 24_40_54_0 24_40_54_2 24_48_48_0 24_48_48_1 24_48_54_0 24_48_54_2 24_54_54_0 24_54_54_2 24_54_54_8 26_40_40_0 26_40_48_0 26_40_54_0 26_40_54_2 26_48_48_0 26_48_48_1 26_48_54_0 26_48_54_2 26_54_54_0 26_54_54_2 26_54_54_8
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
GROUPS444 = 48_54_54_G_2 48_48_48_G_1 40_40_48_G_0 48_54_54_G_8 48_54_54_G_0 40_40_40_G_0 48_48_54_G_0 40_48_54_G_0 40_48_48_G_0 40_54_54_G_2 48_48_48_G_0 40_40_54_G_0 40_54_54_G_0 40_48_54_G_2 40_54_54_G_8
JULIA = /opt/bin/julia
.PHONY: allgroups groups334 groups344 groups444 $(GROUPS334) $(GROUPS344) $(GROUPS444)
.PHONY: allgroups groups333 groups334 groups344 groups444 $(GROUPS334) $(GROUPS344) $(GROUPS444)
allgroups: groups334 groups344 groups444
groups333: $(GROUPS333)
groups334: $(GROUPS334)
groups344: $(GROUPS344)
groups444: $(GROUPS444)
$(GROUPS334) $(GROUPS344) $(GROUPS444):
$(GROUPS333) $(GROUPS334) $(GROUPS344) $(GROUPS444):
@echo "Checking property (T) for" $@
@mkdir -p log
$(JULIA) --project=. runcomputations.jl $@ &>> log/$@.log