CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
#############################################################################
##
#A  trans20.grp                 GAP group library           Alexander Hulpke
##
##
#Y  Copyright (C) 2001, Alexander Hulpke, Colorado State University
##
##  This file contains part of the transitive groups of degree 20
##

TRANSGRP[20]:=[];
TRANSPROPERTIES[20]:=[];
TRANSSELECT[20]:=[];
TRANSLENGTHS[20]:=1117;
TRANSSIZES[20]:=[20,20,20,20,20,40,40,40,40,40,40,40,40,60,60,80,80,
80,80,80,80,80,80,100,100,100,100,100,100,120,120,120,120,120,120,
120,120,160,160,160,160,160,160,160,160,160,200,200,200,200,200,200,
200,200,200,200,200,200,200,200,240,240,240,240,240,240,240,240,240,
240,320,320,320,320,320,320,320,320,320,320,320,320,320,320,320,320,
320,320,360,400,400,400,400,400,400,400,400,400,400,400,400,400,400,
400,400,400,400,400,400,400,400,400,400,400,400,480,480,480,480,480,
480,480,480,500,500,500,500,500,640,640,640,640,640,640,640,640,640,
640,640,640,640,640,640,640,720,720,720,720,720,720,720,720,800,800,
800,800,800,800,800,800,800,800,800,800,800,800,800,800,800,800,960,
960,960,960,960,960,960,1000,1000,1000,1000,1000,1000,1000,1000,1280,
1280,1280,1280,1280,1280,1280,1280,1280,1280,1280,1440,1440,1440,1440,
1440,1440,1440,1440,1440,1440,1440,1440,1500,1600,1600,1600,1600,1600,
1600,1920,1920,1920,1920,1920,1920,1920,1920,1920,1920,1920,1920,1920,
1920,1920,2000,2000,2000,2000,2000,2000,2500,2500,2560,2560,2560,2560,
2560,2560,2560,2560,2560,2560,2560,2560,2560,2560,2560,2560,2560,2560,
2560,2560,2560,2560,2560,2560,2560,2880,2880,2880,2880,3000,3000,3000,
3200,3420,3840,3840,3840,3840,3840,3840,3840,3840,3840,3840,3840,3840,
3840,3840,3840,3840,3840,3840,3840,4000,5000,5000,5000,5000,5000,5000,
5000,5000,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,
5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,
5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,
5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,5120,
5120,5120,5120,5760,6000,6000,6000,6840,7200,7500,7680,7680,7680,7680,
7680,7680,7680,7680,7680,7680,7680,7680,10000,10000,10000,10000,10000,
10000,10000,10000,10000,10000,10000,10000,10000,10000,10000,10000,10000,
10000,10000,10000,10000,10000,10000,10000,10000,10000,10000,10240,10240,
10240,10240,10240,10240,10240,10240,10240,10240,10240,10240,10240,10240,
10240,10240,10240,10240,10240,10240,10240,10240,10240,10240,10240,10240,
10240,10240,10240,10240,10240,10240,10240,10240,10240,10240,10240,10240,
10240,10240,10240,10240,10240,10240,10240,10240,10240,10240,11520,11520,
12000,12800,14400,14400,14400,14400,14400,14400,15000,15000,15000,15000,
15360,15360,15360,15360,15360,15360,15360,20000,20000,20000,20000,20000,
20000,20000,20000,20000,20000,20000,20000,20000,20000,20000,20000,20000,
20000,20000,20000,20000,20000,20000,20000,20000,20000,20000,20000,20000,
20000,20000,20000,20000,20000,20000,20000,20000,20480,20480,20480,20480,
20480,20480,20480,20480,20480,20480,20480,20480,20480,20480,20480,20480,
20480,20480,20480,20480,20480,23040,23040,25600,25600,25600,25600,25600,
25600,28800,28800,28800,28800,28800,28800,28800,28800,28800,28800,30000,
30000,30000,30000,30000,30000,30720,30720,30720,30720,30720,30720,30720,
30720,30720,30720,30720,30720,30720,30720,30720,30720,30720,30720,30720,
40000,40000,40000,40000,40000,40000,40000,40000,40000,40000,40000,40000,
40000,40000,40000,40000,40000,40000,40000,40000,40000,40000,40000,40000,
40000,40000,40000,40000,40000,40000,40000,40000,40000,40000,40000,40000,
40000,40000,40000,40000,40000,40000,40000,40000,40000,40000,40000,40000,
40000,40000,40000,40000,40000,40000,40000,40000,40000,40960,40960,40960,
40960,46080,51200,51200,51200,51200,51200,51200,51200,51200,51200,51200,
51200,51200,51200,51200,51200,51200,51200,51200,57600,57600,57600,57600,
57600,57600,60000,60000,60000,61440,61440,61440,61440,61440,61440,61440,
61440,61440,61440,61440,61440,61440,61440,61440,61440,61440,61440,61440,
61440,61440,61440,61440,61440,61440,61440,61440,61440,61440,61440,61440,
61440,61440,80000,80000,80000,80000,80000,80000,80000,80000,80000,80000,
80000,80000,80000,80000,80000,80000,80000,80000,80000,80000,80000,80000,
80000,80000,80000,80000,80000,80000,80000,80000,80000,80000,80000,80000,
80000,80000,80000,80000,80000,80000,80000,80000,80000,80000,80000,80000,
80000,80000,80000,81920,81920,81920,81920,81920,81920,81920,92160,92160,
92160,102400,102400,102400,102400,102400,102400,102400,102400,102400,
102400,102400,102400,102400,102400,102400,102400,102400,102400,102400,
102400,102400,102400,102400,102400,102400,102400,115200,120000,120000,
120000,120000,120000,120000,120000,120000,122880,122880,122880,122880,
122880,122880,122880,122880,122880,122880,122880,122880,122880,122880,
122880,122880,122880,122880,122880,122880,122880,122880,122880,160000,
160000,160000,160000,160000,160000,160000,160000,160000,160000,160000,
160000,160000,160000,160000,160000,160000,160000,160000,160000,160000,
160000,160000,160000,160000,160000,160000,160000,160000,160000,160000,
163840,163840,163840,163840,163840,163840,163840,163840,163840,163840,
163840,184320,184320,184320,184320,204800,204800,204800,204800,204800,
204800,204800,204800,204800,204800,204800,204800,204800,204800,204800,
204800,204800,204800,240000,240000,240000,240000,240000,240000,240000,
240000,245760,245760,245760,259200,320000,320000,320000,320000,320000,
320000,320000,320000,320000,320000,320000,320000,320000,320000,320000,
320000,327680,327680,327680,327680,327680,327680,327680,368640,368640,
368640,368640,368640,368640,368640,368640,368640,368640,368640,409600,
409600,409600,409600,409600,409600,414720,480000,480000,480000,491520,
518400,518400,518400,518400,518400,518400,640000,640000,640000,640000,
640000,640000,655360,737280,737280,737280,737280,737280,737280,737280,
737280,819200,829440,829440,829440,960000,960000,960000,983040,983040,
983040,983040,983040,983040,983040,1036800,1036800,1036800,1036800,1036800,
1036800,1036800,1036800,1036800,1036800,1244160,1280000,1474560,1658880,
1658880,1658880,1843200,1920000,1920000,1920000,1966080,1966080,1966080,
1966080,1966080,1966080,1966080,2073600,2073600,2073600,2073600,2073600,
2073600,2488320,2488320,2488320,3317760,3628800,3628800,3686400,3686400,
3686400,3686400,3686400,3686400,3840000,3932160,4147200,4976640,4976640,
4976640,4976640,7257600,7372800,7372800,7372800,7372800,7372800,7372800,
7372800,7372800,7372800,7372800,9953280,9953280,9953280,9953280,14745600,
14745600,14745600,14745600,14745600,14745600,14929920,19906560,19906560,
29491200,29859840,29859840,29859840,39813120,39813120,39813120,51840000,
51840000,59719680,79626240,79626240,79626240,103680000,103680000,103680000,
103680000,103680000,103680000,103680000,103680000,155520000,159252480,
207360000,207360000,207360000,207360000,207360000,207360000,207360000,
207360000,238878720,311040000,311040000,311040000,311040000,414720000,
414720000,414720000,414720000,414720000,414720000,414720000,414720000,
477757440,477757440,477757440,622080000,622080000,829440000,829440000,
829440000,829440000,829440000,829440000,928972800,955514880,1244160000,
1658880000,1857945600,1857945600,1857945600,2488320000,2488320000,2488320000,
3715891200,4976640000,6584094720000,13168189440000,13168189440000,
26336378880000,1216451004088320000,2432902008176640000];