Sharedwww / talks / circles / out.goOpen in CoCalc
Author: William A. Stein
1
Magma V2.7-3 Wed Nov 29 2000 15:51:42 on modular [Seed = 3824989690]
2
Type ? for help. Type <Ctrl>-D to quit.
3
4
Loading startup file "/home/was/modsym/init.m"
5
6
Loading "/home/was/modsym/init-magma.m"
7
C IndexGamma0 R ellap idxG0
8
CS MS S factormod modcharpoly
9
DC ND Tn factorpadic padiccharpoly
10
ES NS Z fcp qexp
11
F Q charpoly fn x
12
-50 -50
13
-50 -49
14
-50 -48
15
-50 -47
16
-50 -46
17
-50 -45
18
-50 -44
19
-50 -43
20
-50 -42
21
-50 -41
22
-50 -40
23
-50 -39
24
-50 -38
25
-50 -37
26
-50 -36
27
-50 -35
28
-50 -34
29
-50 -33
30
-50 -32
31
-50 -31
32
-50 -30
33
-50 -29
34
-50 -28
35
-50 -27
36
-50 -26
37
-50 -25
38
-50 -24
39
-50 -23
40
-50 -22
41
-50 -21
42
-50 -20
43
-50 -19
44
-50 -18
45
-50 -17
46
-50 -16
47
-50 -15
48
-50 -14
49
-50 -13
50
-50 -12
51
-50 -11
52
-50 -10
53
-50 -9
54
-50 -8
55
-50 -7
56
-50 -6
57
-50 -5
58
-50 -4
59
-50 -3
60
-50 -2
61
-50 -1
62
-50 0
63
-50 1
64
-50 2
65
-50 3
66
-50 4
67
-50 5
68
-50 6
69
-50 7
70
-50 8
71
-50 9
72
-50 10
73
-50 11
74
-50 12
75
-50 13
76
-50 14
77
-50 15
78
-50 16
79
-50 17
80
-50 18
81
-50 19
82
-50 20
83
-50 21
84
-50 22
85
-50 23
86
-50 24
87
-50 25
88
-50 26
89
-50 27
90
-50 28
91
-50 29
92
-50 30
93
-50 31
94
-50 32
95
-50 33
96
-50 34
97
-50 35
98
-50 36
99
-50 37
100
-50 38
101
-50 39
102
-50 40
103
-50 41
104
-50 42
105
-50 43
106
-50 44
107
-50 45
108
-50 46
109
-50 47
110
-50 48
111
-50 49
112
-50 50
113
-49 -50
114
-49 -49
115
-49 -48
116
-49 -47
117
-49 -46
118
-49 -45
119
Warning: rank computed (0) is only a lower bound
120
(It may still be correct, though)
121
Warning: rank computed (0) is only a lower bound
122
(It may still be correct, though)
123
-49 -44
124
-49 -43
125
-49 -42
126
-49 -41
127
-49 -40
128
-49 -39
129
-49 -38
130
-49 -37
131
-49 -36
132
-49 -35
133
-49 -34
134
-49 -33
135
-49 -32
136
-49 -31
137
-49 -30
138
-49 -29
139
-49 -28
140
-49 -27
141
-49 -26
142
-49 -25
143
Height bound (15.5490) on point search is too large -- reducing to 15.0000
144
This means that the computed group may only generate a group of finite
145
index in the actual group.
146
-49 -24
147
-49 -23
148
-49 -22
149
-49 -21
150
-49 -20
151
-49 -19
152
-49 -18
153
-49 -17
154
-49 -16
155
-49 -15
156
-49 -14
157
-49 -13
158
-49 -12
159
-49 -11
160
-49 -10
161
-49 -9
162
-49 -8
163
-49 -7
164
-49 -6
165
-49 -5
166
-49 -4
167
-49 -3
168
-49 -2
169
-49 -1
170
-49 0
171
found <[ 0, 0, 0, -49, 0 ], (-7 : 0 : 1), (7 : 0 : 1)>
172
-49 1
173
found <[ 0, 0, 0, -49, 1 ], (37 : -221 : 1), (767 : -21241 : 1)>
174
-49 2
175
-49 3
176
-49 4
177
-49 5
178
Warning: rank computed (0) is only a lower bound
179
(It may still be correct, though)
180
Warning: rank computed (0) is only a lower bound
181
(It may still be correct, though)
182
-49 6
183
-49 7
184
-49 8
185
-49 9
186
-49 10
187
-49 11
188
-49 12
189
-49 13
190
-49 14
191
-49 15
192
-49 16
193
-49 17
194
-49 18
195
-49 19
196
-49 20
197
-49 21
198
-49 22
199
-49 23
200
-49 24
201
-49 25
202
-49 26
203
-49 27
204
-49 28
205
-49 29
206
-49 30
207
-49 31
208
-49 32
209
Warning: rank computed (0) is only a lower bound
210
(It may still be correct, though)
211
Warning: rank computed (0) is only a lower bound
212
(It may still be correct, though)
213
-49 33
214
-49 34
215
-49 35
216
Warning: rank computed (0) is only a lower bound
217
(It may still be correct, though)
218
Warning: rank computed (0) is only a lower bound
219
(It may still be correct, though)
220
-49 36
221
-49 37
222
-49 38
223
-49 39
224
-49 40
225
-49 41
226
-49 42
227
-49 43
228
-49 44
229
-49 45
230
-49 46
231
-49 47
232
-49 48
233
Warning: rank computed (0) is only a lower bound
234
(It may still be correct, though)
235
Warning: rank computed (0) is only a lower bound
236
(It may still be correct, though)
237
-49 49
238
found <[ 0, 0, 0, -49, 49 ], (21 : -91 : 1), (7 : -7 : 1)>
239
-49 50
240
Warning: rank computed (0) is only a lower bound
241
(It may still be correct, though)
242
Warning: rank computed (0) is only a lower bound
243
(It may still be correct, though)
244
-48 -50
245
-48 -49
246
-48 -48
247
-48 -47
248
found <[ 0, 0, 0, -48, -47 ], (-1 : 0 : 1), (-4 : 9 : 1)>
249
-48 -46
250
-48 -45
251
-48 -44
252
-48 -43
253
-48 -42
254
-48 -41
255
-48 -40
256
-48 -39
257
-48 -38
258
-48 -37
259
-48 -36
260
-48 -35
261
-48 -34
262
-48 -33
263
-48 -32
264
-48 -31
265
-48 -30
266
-48 -29
267
-48 -28
268
-48 -27
269
-48 -26
270
-48 -25
271
-48 -24
272
-48 -23
273
-48 -22
274
-48 -21
275
-48 -20
276
-48 -19
277
-48 -18
278
-48 -17
279
-48 -16
280
-48 -15
281
-48 -14
282
-48 -13
283
-48 -12
284
-48 -11
285
-48 -10
286
-48 -9
287
-48 -8
288
-48 -7
289
found <[ 0, 0, 0, -48, -7 ], (7 : 0 : 1), (-4 : 11 : 1)>
290
-48 -6
291
-48 -5
292
Warning: rank computed (0) is only a lower bound
293
(It may still be correct, though)
294
Warning: rank computed (0) is only a lower bound
295
(It may still be correct, though)
296
-48 -4
297
-48 -3
298
-48 -2
299
-48 -1
300
-48 0
301
-48 1
302
-48 2
303
-48 3
304
-48 4
305
-48 5
306
-48 6
307
-48 7
308
-48 8
309
-48 9
310
-48 10
311
Warning: rank computed (0) is only a lower bound
312
(It may still be correct, though)
313
Warning: rank computed (0) is only a lower bound
314
(It may still be correct, though)
315
-48 11
316
-48 12
317
-48 13
318
-48 14
319
-48 15
320
-48 16
321
found <[ 0, 0, 0, -48, 16 ], (-4 : 12 : 1), (8 : -12 : 1)>
322
-48 17
323
-48 18
324
-48 19
325
-48 20
326
-48 21
327
-48 22
328
-48 23
329
-48 24
330
-48 25
331
-48 26
332
-48 27
333
-48 28
334
-48 29
335
-48 30
336
-48 31
337
-48 32
338
-48 33
339
-48 34
340
-48 35
341
-48 36
342
-48 37
343
-48 38
344
-48 39
345
-48 40
346
-48 41
347
-48 42
348
-48 43
349
-48 44
350
-48 45
351
-48 46
352
-48 47
353
-48 48
354
-48 49
355
-48 50
356
Warning: rank computed (0) is only a lower bound
357
(It may still be correct, though)
358
Warning: rank computed (0) is only a lower bound
359
(It may still be correct, though)
360
-47 -50
361
-47 -49
362
-47 -48
363
-47 -47
364
-47 -46
365
-47 -45
366
-47 -44
367
-47 -43
368
-47 -42
369
-47 -41
370
-47 -40
371
-47 -39
372
-47 -38
373
-47 -37
374
-47 -36
375
-47 -35
376
-47 -34
377
-47 -33
378
-47 -32
379
-47 -31
380
-47 -30
381
-47 -29
382
-47 -28
383
-47 -27
384
-47 -26
385
-47 -25
386
-47 -24
387
-47 -23
388
-47 -22
389
-47 -21
390
-47 -20
391
-47 -19
392
-47 -18
393
-47 -17
394
-47 -16
395
-47 -15
396
-47 -14
397
Warning: rank computed (0) is only a lower bound
398
(It may still be correct, though)
399
Warning: rank computed (0) is only a lower bound
400
(It may still be correct, though)
401
-47 -13
402
-47 -12
403
-47 -11
404
-47 -10
405
-47 -9
406
-47 -8
407
-47 -7
408
-47 -6
409
-47 -5
410
-47 -4
411
-47 -3
412
-47 -2
413
-47 -1
414
-47 0
415
-47 1
416
-47 2
417
-47 3
418
-47 4
419
-47 5
420
-47 6
421
-47 7
422
-47 8
423
Warning: rank computed (1) is only a lower bound
424
(It may still be correct, though)
425
Warning: rank computed (1) is only a lower bound
426
(It may still be correct, though)
427
Warning: rank computed (1) is only a lower bound
428
(It may still be correct, though)
429
Warning: rank computed (1) is only a lower bound
430
(It may still be correct, though)
431
Warning: rank computed (1) is only a lower bound
432
(It may still be correct, though)
433
Warning: rank computed (1) is only a lower bound
434
(It may still be correct, though)
435
Warning: rank computed (1) is only a lower bound
436
(It may still be correct, though)
437
-47 9
438
-47 10
439
-47 11
440
found <[ 0, 0, 0, -47, 11 ], (-5 : 11 : 1), (86 : 795 : 1)>
441
-47 12
442
-47 13
443
-47 14
444
found <[ 0, 0, 0, -47, 14 ], (-7 : 0 : 1), (-2 : 10 : 1)>
445
-47 15
446
-47 16
447
-47 17
448
-47 18
449
-47 19
450
-47 20
451
-47 21
452
-47 22
453
-47 23
454
-47 24
455
-47 25
456
-47 26
457
-47 27
458
-47 28
459
-47 29
460
-47 30
461
-47 31
462
-47 32
463
-47 33
464
-47 34
465
-47 35
466
-47 36
467
-47 37
468
-47 38
469
-47 39
470
-47 40
471
-47 41
472
-47 42
473
-47 43
474
-47 44
475
-47 45
476
-47 46
477
-47 47
478
-47 48
479
-47 49
480
-47 50
481
-46 -50
482
-46 -49
483
-46 -48
484
-46 -47
485
-46 -46
486
-46 -45
487
-46 -44
488
-46 -43
489
Warning: rank computed (0) is only a lower bound
490
(It may still be correct, though)
491
Warning: rank computed (0) is only a lower bound
492
(It may still be correct, though)
493
-46 -42
494
-46 -41
495
-46 -40
496
-46 -39
497
-46 -38
498
-46 -37
499
-46 -36
500
-46 -35
501
-46 -34
502
-46 -33
503
-46 -32
504
-46 -31
505
-46 -30
506
-46 -29
507
-46 -28
508
Warning: rank computed (0) is only a lower bound
509
(It may still be correct, though)
510
Warning: rank computed (0) is only a lower bound
511
(It may still be correct, though)
512
-46 -27
513
-46 -26
514
-46 -25
515
-46 -24
516
-46 -23
517
-46 -22
518
-46 -21
519
-46 -20
520
-46 -19
521
-46 -18
522
-46 -17
523
-46 -16
524
-46 -15
525
-46 -14
526
-46 -13
527
-46 -12
528
-46 -11
529
-46 -10
530
-46 -9
531
-46 -8
532
-46 -7
533
-46 -6
534
-46 -5
535
-46 -4
536
-46 -3
537
-46 -2
538
-46 -1
539
Warning: rank computed (0) is only a lower bound
540
(It may still be correct, though)
541
Warning: rank computed (0) is only a lower bound
542
(It may still be correct, though)
543
-46 0
544
-46 1
545
-46 2
546
-46 3
547
-46 4
548
-46 5
549
-46 6
550
-46 7
551
-46 8
552
-46 9
553
-46 10
554
-46 11
555
-46 12
556
-46 13
557
-46 14
558
-46 15
559
-46 16
560
-46 17
561
-46 18
562
-46 19
563
-46 20
564
-46 21
565
-46 22
566
-46 23
567
-46 24
568
-46 25
569
-46 26
570
-46 27
571
-46 28
572
-46 29
573
-46 30
574
-46 31
575
-46 32
576
-46 33
577
-46 34
578
-46 35
579
-46 36
580
-46 37
581
-46 38
582
Warning: rank computed (0) is only a lower bound
583
(It may still be correct, though)
584
Warning: rank computed (0) is only a lower bound
585
(It may still be correct, though)
586
-46 39
587
-46 40
588
-46 41
589
-46 42
590
-46 43
591
-46 44
592
-46 45
593
-46 46
594
-46 47
595
-46 48
596
-46 49
597
-46 50
598
-45 -50
599
-45 -49
600
-45 -48
601
-45 -47
602
-45 -46
603
-45 -45
604
-45 -44
605
-45 -43
606
-45 -42
607
-45 -41
608
-45 -40
609
-45 -39
610
-45 -38
611
-45 -37
612
-45 -36
613
-45 -35
614
-45 -34
615
-45 -33
616
Height bound (15.9682) on point search is too large -- reducing to 15.0000
617
This means that the computed group may only generate a group of finite
618
index in the actual group.
619
-45 -32
620
-45 -31
621
-45 -30
622
-45 -29
623
-45 -28
624
-45 -27
625
-45 -26
626
-45 -25
627
-45 -24
628
-45 -23
629
-45 -22
630
-45 -21
631
-45 -20
632
-45 -19
633
found <[ 0, 0, 0, -45, -19 ], (7 : -3 : 1), (275 : 4559 : 1)>
634
-45 -18
635
-45 -17
636
-45 -16
637
-45 -15
638
-45 -14
639
-45 -13
640
-45 -12
641
-45 -11
642
-45 -10
643
-45 -9
644
-45 -8
645
-45 -7
646
-45 -6
647
-45 -5
648
-45 -4
649
-45 -3
650
-45 -2
651
-45 -1
652
-45 0
653
found <[ 0, 0, 0, -45, 0 ], (0 : 0 : 1), (-5 : 10 : 1)>
654
-45 1
655
-45 2
656
Height bound (15.0343) on point search is too large -- reducing to 15.0000
657
This means that the computed group may only generate a group of finite
658
index in the actual group.
659
-45 3
660
-45 4
661
-45 5
662
-45 6
663
-45 7
664
-45 8
665
-45 9
666
-45 10
667
-45 11
668
-45 12
669
-45 13
670
-45 14
671
-45 15
672
-45 16
673
-45 17
674
-45 18
675
-45 19
676
-45 20
677
-45 21
678
-45 22
679
-45 23
680
-45 24
681
-45 25
682
-45 26
683
-45 27
684
-45 28
685
-45 29
686
-45 30
687
-45 31
688
-45 32
689
-45 33
690
-45 34
691
-45 35
692
-45 36
693
-45 37
694
-45 38
695
-45 39
696
-45 40
697
-45 41
698
-45 42
699
-45 43
700
-45 44
701
-45 45
702
-45 46
703
-45 47
704
-45 48
705
-45 49
706
-45 50
707
-44 -50
708
-44 -49
709
-44 -48
710
-44 -47
711
-44 -46
712
-44 -45
713
-44 -44
714
-44 -43
715
-44 -42
716
-44 -41
717
-44 -40
718
-44 -39
719
-44 -38
720
-44 -37
721
-44 -36
722
-44 -35
723
-44 -34
724
-44 -33
725
-44 -32
726
-44 -31
727
-44 -30
728
-44 -29
729
-44 -28
730
-44 -27
731
-44 -26
732
-44 -25
733
-44 -24
734
-44 -23
735
-44 -22
736
-44 -21
737
-44 -20
738
-44 -19
739
-44 -18
740
Height bound (15.3774) on point search is too large -- reducing to 15.0000
741
This means that the computed group may only generate a group of finite
742
index in the actual group.
743
-44 -17
744
-44 -16
745
-44 -15
746
-44 -14
747
-44 -13
748
-44 -12
749
-44 -11
750
-44 -10
751
-44 -9
752
-44 -8
753
-44 -7
754
-44 -6
755
-44 -5
756
-44 -4
757
-44 -3
758
-44 -2
759
-44 -1
760
-44 0
761
-44 1
762
-44 2
763
-44 3
764
-44 4
765
-44 5
766
-44 6
767
-44 7
768
-44 8
769
-44 9
770
-44 10
771
-44 11
772
-44 12
773
-44 13
774
-44 14
775
-44 15
776
-44 16
777
found <[ 0, 0, 0, -44, 16 ], (-6 : 8 : 1), (28 : -144 : 1)>
778
-44 17
779
-44 18
780
-44 19
781
-44 20
782
-44 21
783
-44 22
784
-44 23
785
-44 24
786
-44 25
787
-44 26
788
-44 27
789
-44 28
790
-44 29
791
-44 30
792
-44 31
793
-44 32
794
-44 33
795
-44 34
796
-44 35
797
-44 36
798
-44 37
799
-44 38
800
Height bound (15.2764) on point search is too large -- reducing to 15.0000
801
This means that the computed group may only generate a group of finite
802
index in the actual group.
803
-44 39
804
-44 40
805
-44 41
806
-44 42
807
-44 43
808
-44 44
809
-44 45
810
-44 46
811
-44 47
812
-44 48
813
Warning: rank computed (0) is only a lower bound
814
(It may still be correct, though)
815
Warning: rank computed (0) is only a lower bound
816
(It may still be correct, though)
817
-44 49
818
-44 50
819
-43 -50
820
-43 -49
821
-43 -48
822
-43 -47
823
-43 -46
824
Warning: rank computed (0) is only a lower bound
825
(It may still be correct, though)
826
Warning: rank computed (0) is only a lower bound
827
(It may still be correct, though)
828
-43 -45
829
-43 -44
830
-43 -43
831
Warning: rank computed (0) is only a lower bound
832
(It may still be correct, though)
833
Warning: rank computed (0) is only a lower bound
834
(It may still be correct, though)
835
-43 -42
836
found <[ 0, 0, 0, -43, -42 ], (-6 : 0 : 1), (7 : 0 : 1)>
837
-43 -41
838
-43 -40
839
-43 -39
840
-43 -38
841
-43 -37
842
-43 -36
843
-43 -35
844
-43 -34
845
-43 -33
846
-43 -32
847
-43 -31
848
-43 -30
849
-43 -29
850
-43 -28
851
Warning: rank computed (0) is only a lower bound
852
(It may still be correct, though)
853
Warning: rank computed (0) is only a lower bound
854
(It may still be correct, though)
855
-43 -27
856
-43 -26
857
-43 -25
858
Warning: rank computed (0) is only a lower bound
859
(It may still be correct, though)
860
Warning: rank computed (0) is only a lower bound
861
(It may still be correct, though)
862
-43 -24
863
-43 -23
864
-43 -22
865
-43 -21
866
-43 -20
867
-43 -19
868
-43 -18
869
-43 -17
870
found <[ 0, 0, 0, -43, -17 ], (-6 : -5 : 1), (18 : -71 : 1)>
871
-43 -16
872
-43 -15
873
-43 -14
874
-43 -13
875
-43 -12
876
-43 -11
877
-43 -10
878
-43 -9
879
-43 -8
880
-43 -7
881
-43 -6
882
-43 -5
883
-43 -4
884
-43 -3
885
-43 -2
886
-43 -1
887
-43 0
888
-43 1
889
-43 2
890
-43 3
891
-43 4
892
-43 5
893
-43 6
894
-43 7
895
-43 8
896
-43 9
897
-43 10
898
-43 11
899
-43 12
900
-43 13
901
-43 14
902
-43 15
903
-43 16
904
-43 17
905
-43 18
906
-43 19
907
-43 20
908
Warning: rank computed (0) is only a lower bound
909
(It may still be correct, though)
910
Warning: rank computed (0) is only a lower bound
911
(It may still be correct, though)
912
-43 21
913
-43 22
914
-43 23
915
-43 24
916
-43 25
917
-43 26
918
-43 27
919
-43 28
920
-43 29
921
-43 30
922
-43 31
923
-43 32
924
-43 33
925
-43 34
926
-43 35
927
-43 36
928
-43 37
929
-43 38
930
-43 39
931
-43 40
932
-43 41
933
-43 42
934
found <[ 0, 0, 0, -43, 42 ], (-7 : 0 : 1), (6 : 0 : 1)>
935
-43 43
936
-43 44
937
-43 45
938
-43 46
939
-43 47
940
-43 48
941
-43 49
942
-43 50
943
Warning: rank computed (0) is only a lower bound
944
(It may still be correct, though)
945
Warning: rank computed (0) is only a lower bound
946
(It may still be correct, though)
947
-42 -50
948
-42 -49
949
-42 -48
950
-42 -47
951
-42 -46
952
-42 -45
953
-42 -44
954
-42 -43
955
-42 -42
956
-42 -41
957
-42 -40
958
-42 -39
959
-42 -38
960
-42 -37
961
962
963
Magma: Internal error
964
Please mail this entire run [**WITH THE FOLLOWING LINES**]
965
to magma-bugs@maths.usyd.edu.au
966
Version date: Fri Sep 15 18:19:43 EST 2000
967
Initial seed: 3824989690
968
Time to this point: 2555.43
969
Arithmetic exception
970
971
>> good;
972
^
973
User error: Identifier 'good' has not been declared or assigned
974
975
Total time: 2555.729 seconds
976