Skip to content

Commit 2889bf1

Browse files
hulpkehulpke
authored
Merge pull request hulpke#46 from fingolfin/mh/Revision
Remove all uses of global variable Revision
2 parents c7d0a8c + bfeace4 commit 2889bf1

File tree

156 files changed

+0
-312
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

156 files changed

+0
-312
lines changed

Diff for: ‎data/trans39.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 39
1111
##
12-
Revision.trans39_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[39]:=[];
1614
TRANSPROPERTIES[39]:=[];

Diff for: ‎data/trans39a.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 39
1111
##
12-
Revision.trans39a_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[39]{[1..300]}:=
1614
[[(1,35,28,23,16,10,6,39,33,26,21,15,9,3,34,30,22,18,12,5,38,32,25,20,14,8,2,

Diff for: ‎data/trans39b.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 39
1111
##
12-
Revision.trans39b_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[39]{[301..306]}:=
1614
[[(1,8,3,5,9,7,12,2,13,6)(14,22,17,19,24,20,15,23,25,16,26,21,18)(27,35,31,32)

Diff for: ‎data/trans40.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]:=[];
1614
TRANSPROPERTIES[40]:=[];

Diff for: ‎data/trans40a.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40a_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[1..5000]}:=
1614
[[(1,5,12,14,17,21,25,29,35,37,4,7,10,15,20,23,28,32,33,40,2,6,11,13,18,22,26,

Diff for: ‎data/trans40aa.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40aa_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[130001..135000]}:=
1614
[[(1,23,9,36,27,7,18,16,39,31)(2,24,10,35,28,8,17,15,40,32)(3,22,12,34,26,6,19,

Diff for: ‎data/trans40ab.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40ab_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[135001..140000]}:=
1614
[[(1,9,29,24,36,7,16,26,18,40)(2,10,30,23,35,8,15,25,17,39)(3,11,31,21,33,6,13,

Diff for: ‎data/trans40ac.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40ac_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[140001..145000]}:=
1614
[[(1,3,7,5)(2,4,8,6)(9,10)(11,18,19,14)(12,17,20,13)(21,26,27,24)

Diff for: ‎data/trans40ad.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40ad_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[145001..150000]}:=
1614
[[(1,6,4,8,2,5,3,7)(9,25,12,28)(10,26,11,27)(13,30,15,31)(14,29,16,32)

Diff for: ‎data/trans40ae.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40ae_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[150001..155000]}:=
1614
[[(1,18,4,20,2,17,3,19)(5,24,8,21,6,23,7,22)(9,25)(10,26)(11,27,12,28)(13,31)

Diff for: ‎data/trans40af.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40af_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[155001..160000]}:=
1614
[[(1,38,7,28,2,37,8,27)(3,40,5,25,4,39,6,26)(9,34,20,32)(10,33,19,31)

Diff for: ‎data/trans40ag.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40ag_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[160001..165000]}:=
1614
[[(1,3,2,4)(5,8,6,7)(9,12,10,11)(13,15,14,16)(17,21)(18,22)(19,23)(20,24)

Diff for: ‎data/trans40ah.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40ah_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[165001..170000]}:=
1614
[[(1,33,12,23,20,32,5,40,14,26)(2,34,11,24,19,31,6,39,13,25)(3,35,9,21,18,29,8,

Diff for: ‎data/trans40ai.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40ai_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[170001..175000]}:=
1614
[[(1,30,3,32)(2,29,4,31)(5,28)(6,27)(7,26)(8,25)(9,23,10,24)(11,22,12,21)

Diff for: ‎data/trans40aj.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40aj_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[175001..180000]}:=
1614
[[(1,16,25,39,11,24,35,7,19,30)(2,15,26,40,12,23,36,8,20,29)(3,14,27,37,10,21,34,

Diff for: ‎data/trans40ak.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40ak_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[180001..185000]}:=
1614
[[(1,30,19,8,33,24,11,39,26,15,2,29,20,7,34,23,12,40,25,16)(3,32,17,6,35,21,10,

Diff for: ‎data/trans40al.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40al_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[185001..190000]}:=
1614
[[(1,17,9,35,3,19,11,33,2,18,10,36,4,20,12,34)(5,6)(13,21,38,32)(14,22,37,31)

Diff for: ‎data/trans40am.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40am_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[190001..195000]}:=
1614
[[(1,3,5,2,4)(6,37,11,9,40,14,7,38,12,10,36,15,8,39,13)(16,18,20,17,19)

Diff for: ‎data/trans40an.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40an_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[195001..200000]}:=
1614
[[(1,8,22,26,4,9,23,30)(2,10,24,29,3,7,21,27)(5,6,25,28)(11,19,33,38)

Diff for: ‎data/trans40ao.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40ao_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[200001..205000]}:=
1614
[[(1,14,20,39,8,11,24,35,3,16,18,38,5,10,21,34,2,13,19,40,7,12,23,36,4,15,17,

Diff for: ‎data/trans40ap.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40ap_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[205001..210000]}:=
1614
[[(1,23,5,25,4,22,3,24,2,21)(6,19,9,18,7,17,10,16,8,20)(11,33,15,35)

Diff for: ‎data/trans40aq.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40aq_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[210001..215000]}:=
1614
[[(1,28,34,17,22,10,11,37,3,30,35,20,23,9,12,38,5,27,31,18,24,8,13,39,2,29,32,

Diff for: ‎data/trans40ar.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40ar_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[215001..220000]}:=
1614
[[(1,25,36,10,3,28,34,11,2,26,35,9,4,27,33,12)(5,16,30,21,8,13,32,23,6,15,29,

Diff for: ‎data/trans40as.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40as_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[220001..225000]}:=
1614
[[(1,11,3,15,5,14,2,13,4,12)(6,36,7,39,8,37,9,40,10,38)(16,27)(17,26,20,28)

Diff for: ‎data/trans40at.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40at_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[225001..230000]}:=
1614
[[(1,7,13,18,3,8,15,20,5,9,12,17,2,10,14,19,4,6,11,16)(21,27,31,39,22,28,34,

Diff for: ‎data/trans40au.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40au_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[230001..235000]}:=
1614
[[(1,9,11,19,22,26,34,39,2,8,13,17,25,29,35,38)(3,7,15,20,23,27,31,37,5,10,14,

Diff for: ‎data/trans40av.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40av_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[235001..240000]}:=
1614
[[(1,7,11,36,4,9,14,37)(2,6,12,38,3,10,13,40)(5,8,15,39)(16,22,29,31,17,23,

Diff for: ‎data/trans40aw.grp

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
##
1010
## This file contains part of the transitive groups of degree 40
1111
##
12-
Revision.trans40aw_grp:=
13-
"@(#)$Id:$";
1412

1513
TRANSGRP[40]{[240001..245000]}:=
1614
[[(1,2,4,3)(6,8,9,7)(11,39,15,37)(12,36,14,40)(13,38)(16,32,20,31)

0 commit comments

Comments
 (0)