gap-polycyclic 2.11-3 / usr / share / gap / pkg / Polycyclic / gap / exam / matlib.gi

This file is indexed.

/usr/share/gap/pkg/Polycyclic/gap/exam/matlib.gi is in gap-polycyclic 2.11-3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below. 

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
#############################################################################
##
#W  matexam.gi              Polycyc                                  BE & WN
##
##  Some examples of polycylic matrix groups -- MatExamples
##

#############################################################################
##
#F MatExamples(n)
##
MatExamples := function( n )
    local MG;

##
## Plesken/Nebe 1
##
if n = 1 then

MG := [];

MG[1] := [
[ 0, -1,  0, -1,  1, -1,  0,  0,  1,  0,  1,  1,  0,  1,  0, -1 ],
[ 0,  1,  1,  0, -1,  0,  0,  0, -1,  0, -1, -1,  0,  0,  0,  0 ],
[ 0,  0,  1, -1, -1,  0,  0, -1, -1,  0,  0,  0,  0,  1, -1,  0 ],
[ 0,  0, -1,  0,  0,  0,  0,  1,  0,  1,  0, -1,  0,  0,  0,  0 ],
[ 0,  1,  1,  2,  0,  1,  0,  0,  0, -1, -1, -1, -1, -1,  1,  0 ],
[ 0,  1,  0,  1,  0,  0,  0,  0,  0, -1,  0, -1,  0, -1,  1,  1 ],
[ 0,  0, -1,  0,  0,  0,  0,  1,  0,  1,  0,  0,  0,  0, -1,  0 ],
[ 0,  0,  0, -1, -1,  0,  0, -1,  0,  0,  0,  1,  0,  1, -1,  0 ],
[ 0,  0,  1,  0,  0,  0,  0, -1,  0,  0,  0,  0,  0,  0,  0, -1 ],
[ 0,  1,  0,  0, -1,  0, -1,  0, -1,  0, -1, -1,  0,  0,  0,  0 ],
[ 0,  0,  0, -1,  0, -1,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0 ],
[ 0,  0,  0, -1, -1,  0,  0,  0, -1,  0,  0,  0,  1,  1,  0,  0 ],
[ 0,  0,  1,  1,  0,  1,  0,  0,  0,  0,  0, -1,  0, -1,  0,  0 ],
[ 0,  1,  0,  1,  0,  0,  0,  0,  0,  0, -1, -1, -1, -1,  0,  0 ],
[ 0,  0,  0, -1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0 ],
[ 1,  0,  1,  1,  0,  1,  0,  0, -1,  0, -1,  0,  0,  0,  0,  0 ] ];

MG[2] := [
[  0,  0,  0,  0,  0, -1, -1, -1, -1, -1,  1,  1,  0,  0, -1,  1 ],
[  0,  2, -2,  1, -1,  0, -2,  2,  0,  0, -1, -1, -1,  1,  0,  0 ],
[  0,  2, -1,  1, -1,  0, -1,  1, -1, -1, -1, -1,  0,  0,  0,  1 ],
[  0, -1, -1, -1,  0, -1,  0,  0,  0,  1,  1,  1,  1,  0, -1,  0 ],
[  0,  1,  0,  1,  1,  1,  0,  2,  1,  0, -2, -1, -2,  0,  2, -2 ],
[  1,  0,  0,  0,  0,  1,  0,  1,  0,  1, -1,  0,  0,  1,  0, -1 ],
[ -1, -1,  0,  0,  0,  0,  0, -1,  1,  0,  1,  0,  0, -1,  0,  0 ],
[ -1,  1,  0,  0, -1,  0,  0, -1,  0, -1,  0, -1,  0, -1,  0,  1 ],
[  0,  2, -1,  1, -1,  0, -1,  1, -1, -1, -1, -1,  0,  0,  1,  1 ],
[  1,  0, -1,  0,  0,  0,  0,  1,  0,  1,  0,  0,  0,  1, -1,  0 ],
[  0,  0, -1,  0,  0, -1, -1,  0,  0,  0,  1,  0,  0,  0, -1,  1 ],
[  1,  1, -1,  0, -1,  0, -1,  1, -1,  0,  0,  0,  1,  1, -1,  1 ],
[  0,  1, -1,  0,  0,  0,  0,  1,  0,  0, -1,  0,  0,  0,  1, -1 ],
[ -1,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0, -1, -1,  0,  1, -1 ],
[  1, -1,  0, -1,  0,  0,  0,  0, -1,  1,  1,  1,  1,  1, -2,  0 ],
[  0,  1,  0,  1,  0,  1,  0,  1,  0, -1, -1, -1, -1,  0,  1,  0 ] ];


MG[3] :=  [
[ -2,  1, 0,  1, -1, -1, -2,  0, 1, -1,  1, -2, -1, -1, 0,  0 ],
[  0, -2, 0, -2,  0,  1,  3, -1, 1,  1,  1,  2,  1,  1, 0,  0 ],
[  0,  0, 0,  0, -1,  0,  0,  0, 0,  0,  0,  0,  1,  1, 0,  0 ],
[  0,  0, 0,  0,  0,  0,  0,  0, 0, -1,  0,  1,  0,  1, 0,  0 ],
[  1, -2, 0, -2,  2,  1,  3, -1, 0,  2,  0,  2,  0,  0, 0, -1 ],
[  1, -1, 0, -1,  1,  1,  2,  0, 0,  1,  0,  1,  0,  0, 0,  0 ],
[  0,  0, 0,  0,  0,  0,  0,  0, 0, -1,  0,  1,  0,  0, 0,  0 ],
[  0,  0, 0,  0, -1, -1, -1,  0, 0,  0,  0,  0,  1,  1, 0,  0 ],
[  0,  0, 0,  0,  0,  0,  0,  0, 0,  0, -1,  0,  0,  0, 0, -1 ],
[  0,  0, 0,  0,  0,  1,  2,  0, 1,  0,  0,  0,  0,  0, 1,  1 ],
[ -1,  0, 0,  0, -1,  0,  0,  0, 1, -1,  1,  0,  0,  1, 1,  1 ],
[  0,  0, 0,  0, -1,  0,  0,  0, 0,  0,  0,  0,  0,  1, 0,  1 ],
[  0, -1, 0, -1,  1,  0,  1, -1, 0,  0,  0,  1,  0,  0, 0, -1 ],
[  1, -1, 1, -1,  1,  1,  2, -1, 0,  1, -1,  1,  0,  0, 0, -1 ],
[  0,  1, 0,  0, -1,  0,  0,  0, 0,  0,  0, -1,  0,  0, 0,  1 ],
[  1,  0, 0,  0,  0,  1,  1,  0, 0,  1, -1,  0,  0,  0, 0,  0 ] ];

MG[4] := [
[ 0,  0,  0,  2,  0, 0, -1,  1, 0,  0,  0, -1, 0, -1,  0,  1 ],
[ 0, -1,  0, -1,  1, 0,  2, -1, 2,  0,  1,  1, 0,  0,  1,  0 ],
[ 0,  0,  0,  0,  0, 0,  0,  0, 1,  0,  0,  0, 0,  0,  0,  0 ],
[ 0,  0, -1,  0,  0, 0,  0,  1, 0,  0,  0,  0, 1,  0,  1,  0 ],
[ 0, -1,  1, -2,  1, 0,  2, -2, 0,  0,  1,  1, 0,  0,  0,  0 ],
[ 0,  0,  0, -1,  0, 0,  1, -1, 0,  0,  0,  1, 0,  0,  0,  0 ],
[ 0,  0, -1,  0,  0, 0,  0,  1, 0,  0,  0,  0, 0,  0,  0,  0 ],
[ 0,  0,  0,  0, -1, 0, -1,  0, 0,  0,  0,  0, 0,  1, -1,  0 ],
[ 0,  0,  1,  0,  0, 0,  0, -1, 0, -1,  0,  0, 0,  0,  0,  0 ],
[ 0,  0,  0,  0,  0, 1,  1,  0, 1,  0,  0,  0, 0,  0,  1,  0 ],
[ 0,  0, -1,  1,  0, 0,  0,  1, 1,  0,  0,  0, 0,  0,  1,  1 ],
[ 0,  0,  0,  0,  0, 0,  0,  0, 1,  0,  0,  0, 0,  0,  1,  0 ],
[ 0, -1,  1, -1,  1, 0,  1, -1, 0,  0,  0,  1, 0,  0,  0, -1 ],
[ 0,  0,  0, -1,  0, 0,  1, -1, 0,  0,  0,  0, 0,  0,  0,  0 ],
[ 1,  0,  0,  1,  0, 1,  0,  1, 0,  1, -1,  0, 0,  0,  0,  0 ],
[ 0,  0,  1, -1,  0, 0,  1, -1, 0,  0,  0,  0, 0,  0,  0,  0 ] ];

MG[5] :=  [
[  0,  1, -1,  1, -1, -1, -3,  1, -1, -1,  1, -1,  0,  1,  0,  2 ],
[  1, -2, -1, -2,  1, -1,  1,  0, -1,  2,  1,  3,  2,  0, -2, -1 ],
[  1, -2,  0, -2,  0,  0,  1, -1,  0,  2,  1,  2,  2,  1, -2, -1 ],
[  0,  2, -1,  2,  0,  0, -2,  2, -1, -1, -1, -1, -1,  0,  1,  1 ],
[  0, -3,  1, -3,  1, -1,  3, -2,  1,  3,  1,  2,  1,  0, -1, -2 ],
[  1,  0,  0, -1,  0,  0,  1,  0, -1,  1, -1,  1,  1,  0, -1, -1 ],
[ -2,  1,  0,  2,  0,  0, -1,  0,  1, -2,  0, -2, -2, -1,  2,  1 ],
[  0, -1,  1,  0,  0,  1,  1, -1,  1,  0,  0,  0,  0,  0,  0,  0 ],
[  1, -2,  0, -2,  0,  0,  1, -1,  0,  2,  1,  2,  1,  1, -2, -1 ],
[  1,  1, -1,  0,  0,  0,  0,  1, -1,  0, -1,  1,  1,  0,  0,  0 ],
[  0,  1, -1,  1,  0, -1, -2,  1, -1, -1,  0,  0,  0,  0,  0,  1 ],
[  2,  0, -1, -1,  0,  0,  0,  1, -2,  1,  0,  2,  2,  1, -2,  0 ],
[  1, -1,  0, -1,  0,  0,  1,  0,  0,  2,  0,  1,  1,  1, -1, -1 ],
[ -1, -1,  1,  0,  1,  0,  1, -1,  1,  0,  0,  0, -1, -1,  1, -1 ],
[  1,  2, -1,  1, -1,  0, -2,  2, -2, -1, -1,  0,  1,  1,  0,  1 ],
[  0, -2,  1, -2,  0,  0,  2, -2,  1,  2,  1,  1,  1,  0, -1, -1 ] ];

MG[6] :=  [
[  0,  2, -3,  1, -1, -1, -4,  3, -2, -1,  1, -1,  1,  0,  0,  2 ],
[ -1, -1,  3,  1,  1,  2,  2, -1,  3, -1,  0, -2, -2,  0,  3, -1 ],
[  0, -1,  1,  1,  2,  0,  0,  1,  1,  0,  0,  0, -2,  0,  1, -1 ],
[ -2,  1, -1,  1, -1,  0, -1, -1,  1, -2,  1, -2, -1, -2,  1,  2 ],
[  1, -2,  3, -2,  2,  2,  6, -2,  3,  2, -2,  1,  0,  0,  1, -4 ],
[  1, -1,  2,  0,  0,  2,  2, -1,  1,  1, -1,  0,  0,  1,  0, -1 ],
[ -2,  1, -1,  0, -1, -2, -1, -1,  0, -1,  1, -1,  0, -1,  1,  2 ],
[ -1, -1,  0,  0,  1, -2, -1,  0,  0,  0,  1,  1, -1,  0,  0,  0 ],
[  0, -2,  1, -1,  2,  0,  1,  0,  1,  1,  1,  1, -1,  0,  0, -2 ],
[  0,  1,  1,  2, -1,  2,  0,  0,  1, -1, -1, -2, -1,  0,  1,  1 ],
[ -2,  1,  0,  2, -1,  0, -2,  0,  1, -2,  1, -3, -1, -1,  2,  2 ],
[  0, -1,  1,  1,  0,  1, -1,  0,  1,  0,  1, -1, -1,  1,  0,  0 ],
[  0, -2,  1, -1,  2,  1,  3, -1,  2,  1,  0,  1, -1, -1,  0, -2 ],
[  0, -1,  1, -2,  0,  0,  3, -2,  1,  1,  0,  1,  1,  0,  0, -1 ],
[  1,  1, -1,  1, -2,  1, -2,  1, -1,  0,  0, -1,  1,  1, -1,  2 ],
[  1, -1,  1, -1,  1,  0,  2,  0,  1,  2, -1,  1,  0,  1,  0, -2 ] ];

MG[7] :=  [
[  0,  0,  1, -1, -1, -1, 0, -2,  0,  1, -1, -1,  0,  0, -1, -1 ],
[  0,  0,  0,  1,  1,  0, 0,  1,  0, -1,  0,  0,  0,  1,  2,  1 ],
[  0,  0,  1,  1,  1,  0, 0,  0,  0,  0, -1, -1, -1, -1,  1,  0 ],
[  0,  0,  0,  0,  1,  0, 0,  0,  0,  0,  0,  0, -1,  0,  0, -1 ],
[  0,  0, -2,  1,  0,  1, 0,  3,  0, -1,  2,  1,  2,  1,  1,  2 ],
[  0,  0, -1,  0,  0,  0, 0,  1,  0, -1,  1,  1,  1,  1,  1,  1 ],
[  1,  0,  0, -1,  0,  0, 0,  0, -1,  1, -1,  1,  0,  1, -1, -1 ],
[  0,  0,  1,  0,  0,  0, 0, -1,  0,  1, -1, -1, -1, -1,  0,  0 ],
[  1,  1,  0,  1,  0,  1, 0,  1, -1,  0, -1, -1,  0, -1,  0,  1 ],
[ -1,  0,  0,  1,  1,  0, 0,  0,  1, -2,  0,  0, -1,  0,  2,  0 ],
[ -1, -1,  1, -1,  1, -1, 1, -2,  1,  0,  0,  0, -1,  0,  1, -1 ],
[  0, -1,  1,  0,  1,  0, 1, -1,  1,  0,  0,  0, -1,  0,  1,  0 ],
[  1,  1, -1,  1,  0,  1, 0,  2, -1,  0,  0,  0,  1,  0,  0,  1 ],
[  0,  1, -1,  1,  0,  1, 0,  2,  0, -1,  0,  0,  0,  0,  1,  1 ],
[ -1,  0,  0,  0,  0, -1, 0, -1,  1, -1,  0,  0, -1,  0,  1,  0 ],
[  0,  0,  0,  1,  0,  1, 0,  1,  0, -1,  0,  0,  0,  0,  1,  1 ] ];

MG[8] :=  [
[ -1,  0,  0, -1,  0, -1, -1, -1, 0, 0,  1,  0,  0, 0, -1, -2 ],
[  0,  0,  0,  0,  0,  0,  1, -1, 1, 0,  0, -1, -1, 0,  1,  1 ],
[  0,  0,  0,  0,  0,  0,  0,  0, 0, 0,  0, -1,  0, 0,  0,  0 ],
[  0,  1, -1,  0, -1,  0, -1,  0, 0, 0, -1,  0,  0, 0,  0,  0 ],
[  0,  0,  0,  0,  0,  0,  2,  0, 1, 0,  0,  0, -1, 0,  1,  2 ],
[  0,  0,  0,  0,  0,  0,  1,  0, 0, 0,  0,  0,  0, 0,  1,  1 ],
[  0,  0,  0,  0,  0,  0, -1,  0, 0, 0,  0,  0,  0, 0,  0,  0 ],
[  0, -1,  1,  0,  1,  0,  0,  0, 0, 0,  0,  0,  0, 0,  0, -1 ],
[  0,  0,  0,  0,  0, -1,  0,  0, 0, 0,  0,  0,  0, 1,  0,  0 ],
[  1,  0,  0,  0,  0,  1,  1,  0, 0, 1, -1,  0,  0, 0,  0,  0 ],
[  0,  0,  0, -1,  0,  0,  0, -1, 0, 0,  0,  0,  0, 0,  0, -1 ],
[  0,  0, -1,  0,  0,  0,  0,  0, 0, 0,  0,  0,  0, 0,  0,  0 ],
[  0,  0,  0,  0, -1,  0,  0,  0, 0, 0,  0,  0,  0, 1,  0,  1 ],
[  0,  0,  0,  0,  0,  0,  1,  0, 1, 0,  0,  0,  0, 0,  1,  1 ],
[  0,  0,  0,  0,  0,  1,  0,  0, 0, 0,  0,  0,  0, 0,  0, -1 ],
[  0,  0,  0,  0,  0,  0,  1,  0, 0, 0,  0,  0,  0, 0,  0,  1 ] ];

MG[9] :=  [
[ -1,  0, 0,  1, 0,  0,  0,  0,  1, -1,  1,  0, 0, -1,  1,  1 ],
[  1,  0, 0,  0, 0,  0, -1,  1, -2,  1, -1,  0, 1,  0, -1, -1 ],
[  0,  0, 0,  0, 0,  0,  0,  1, -1,  0,  0,  0, 1,  0,  0,  0 ],
[  0,  0, 0,  0, 1, -1,  0,  0,  1,  0,  0,  0, 0,  0,  1, -1 ],
[  2, -1, 1, -1, 0,  1,  0,  0, -2,  2, -2,  1, 0,  1, -2, -1 ],
[  1,  0, 0,  0, 0,  0,  0,  0, -1,  1, -1,  0, 0,  0, -1,  0 ],
[ -1,  0, 0, -1, 0, -1,  0, -1,  1,  0,  1,  0, 0,  0,  0, -1 ],
[ -1,  0, 0,  0, 0,  0,  0,  0,  0, -1,  1,  0, 0,  0,  0,  0 ],
[  1, -1, 0,  0, 0,  1,  0,  1, -1,  1,  0,  1, 1,  1, -1,  0 ],
[  1,  1, 0,  1, 0,  0, -1,  1, -1,  0, -1, -1, 0,  0,  0,  0 ],
[ -1,  1, 0,  1, 0, -1, -1,  0,  0, -1,  0, -1, 0, -1,  1,  0 ],
[  0,  0, 0,  1, 1,  0,  0,  1,  0,  0,  0, -1, 0, -1,  1,  0 ],
[  1, -1, 0, -1, 0,  0,  0,  0, -1,  1,  0,  1, 1,  1, -1,  0 ],
[  1,  0, 0, -1, 0,  0,  0,  0, -1,  1, -1,  1, 0,  1, -1, -1 ],
[  0,  1, 0,  1, 0,  0,  0,  0,  0, -1,  0, -1, 0, -1,  1,  1 ],
[  1,  0, 0,  0, 0,  1,  0,  1, -1,  1, -1,  0, 0,  0, -1,  0 ] ];

return Group(MG, MG[1]^0 );

elif n = 2 then

MG := [];

MG[1] := [
[  2, -1, -1,  3 ],
[ -1,  0,  1, -4 ],
[  0,  1,  2, -2 ],
[ -1,  1,  2, -4 ]];

MG[2] := [
[  1, 1,  1, -2 ],
[  1, 1, -1,  1 ],
[ -2, 1,  0, -3 ],
[ -1, 1,  0, -2 ]];

MG[3] := [
[  1, 0, -1,   0 ],
[ -2, 5,  5, -11 ],
[ -1, 0,  2,   0 ],
[ -1, 1,  2,  -2 ]];

MG[4] := [
[  0, 3, 2,  -7 ],
[ -1, 6, 4, -13 ],
[ -1, 2, 1,  -5 ],
[ -1, 3, 2,  -7 ]];

MG[5] := [
[ 0,  4,  5, -12 ],
[ 2, -4,  1,   5 ],
[ 1, -4, -1,   8 ],
[ 1, -3,  0,   5 ]];

MG[6] := [
[  1, 0, -1,   0 ],
[ -2, 5,  5, -11 ],
[ -1, 0,  2,   0 ],
[ -1, 1,  2,  -2 ]];

return Group( MG, MG[1]^0 );

elif n = 3 then

MG := [];

MG[1] := [
[  5, 3, 3,  -5 ],
[  7, 4, 5,  -8 ],
[  2, 1, 2,  -2 ],
[ 10, 6, 7, -11 ]];

MG[2] := [
[ -2, -4, -3,  5 ],
[  4,  7,  5, -8 ],
[ -3, -3, -3,  4 ],
[  1,  2,  1, -2 ]];

MG[3] := [
[  1, -1,  0, 1 ],
[ -4, -2, -2, 5 ],
[ -4, -2, -3, 3 ],
[ -3, -2, -2, 4 ]];

MG[4] := [
[   8,   8,  3, -10 ],
[ -13, -14, -5,  17 ],
[ -13, -14, -5,  18 ],
[  -8,  -9, -3,  11 ]];

MG[5] := [
[ 0, -1, -1,  2 ],
[ 2,  2,  1, -1 ],
[ 2,  3,  1, -5 ],
[ 3,  3,  1, -3 ]];

MG[6] := [
[  2,  1,  0,  0 ],
[  3,  2,  0,  0 ],
[ -7, -8, -3, 11 ],
[ -1, -3, -2,  7 ]];

return Group( MG, MG[1]^0 );

elif n = 4 then

MG :=
[ [ [ -492568055, -715902540, -559233360, 913773168 ],
    [ 853152732, 1239979321, 968620464, -1582701120 ],
    [ 796991748, 1158354480, 904858501, -1478515764 ],
    [ 543797628, 790360020, 617396520, -1008810083 ] ],
  [ [ -348686135, -530151780, -271469520, 913773168 ],
    [ -603941868, -918249479, -470198736, 1582701120 ],
    [ -215499732, -327651600, -167777219, 564742596 ],
    [ -793008492, -1205711460, -617396520, 2078172517 ] ],
  [ [ -151935722, -225045135, -150030090, 330066198 ],
    [ 45009027, 58106404, 90018054, 0 ],
    [ 105021063, 150030090, 133121449, -165033099 ],
    [ -45009027, -75015045, 0, 193133485 ] ],
  [ [ 13, 0, -21, 0 ],
    [ 147, 181, 105, -231 ],
    [ -21, 0, 34, 0 ],
    [ 84, 105, 63, -134 ] ],
  [ [ 670415977, 715902540, 271469520, -913773168 ],
    [ 1161194148, 1239979321, 470198736, -1582701120 ],
    [ -1084755588, -1158354480, -439246739, 1478515764 ],
    [ 607257732, 648459180, 245895000, -827688875 ] ],
  [ [ 814297897, 530151780, 559233360, -913773168 ],
    [ -1410405012, -918249479, -968620464, 1582701120 ],
    [ 503263572, 327651600, 345625141, -564742596 ],
    [ -358046868, -233107740, -245895000, 401786125 ] ],
  [ [ 141577573978831, 92174617804950, 97230886083807, -158872797828558 ],
    [ -245219551343241, -159651121205951, -168408834761919, 275175757779087 ],
    [ 87499752763389, 56967046703190, 60091992355948, -98188788945456 ],
    [ -62251695137616, -40529202794985, -42752445237981, 69856409444878 ] ]
];

return Group( MG, MG[1]^0 );

fi;

return fail;

end;

APT Browse - Built by Thomas Orozco.