Magma V2.7-3      Wed Nov 29 2000 15:51:42 on modular  [Seed = 3824989690]
Type ? for help.  Type <Ctrl>-D to quit.

Loading startup file "/home/was/modsym/init.m"

Loading "/home/was/modsym/init-magma.m"
C               IndexGamma0     R               ellap           idxG0
CS              MS              S               factormod       modcharpoly
DC              ND              Tn              factorpadic     padiccharpoly
ES              NS              Z               fcp             qexp
F               Q               charpoly        fn              x
-50 -50
-50 -49
-50 -48
-50 -47
-50 -46
-50 -45
-50 -44
-50 -43
-50 -42
-50 -41
-50 -40
-50 -39
-50 -38
-50 -37
-50 -36
-50 -35
-50 -34
-50 -33
-50 -32
-50 -31
-50 -30
-50 -29
-50 -28
-50 -27
-50 -26
-50 -25
-50 -24
-50 -23
-50 -22
-50 -21
-50 -20
-50 -19
-50 -18
-50 -17
-50 -16
-50 -15
-50 -14
-50 -13
-50 -12
-50 -11
-50 -10
-50 -9
-50 -8
-50 -7
-50 -6
-50 -5
-50 -4
-50 -3
-50 -2
-50 -1
-50 0
-50 1
-50 2
-50 3
-50 4
-50 5
-50 6
-50 7
-50 8
-50 9
-50 10
-50 11
-50 12
-50 13
-50 14
-50 15
-50 16
-50 17
-50 18
-50 19
-50 20
-50 21
-50 22
-50 23
-50 24
-50 25
-50 26
-50 27
-50 28
-50 29
-50 30
-50 31
-50 32
-50 33
-50 34
-50 35
-50 36
-50 37
-50 38
-50 39
-50 40
-50 41
-50 42
-50 43
-50 44
-50 45
-50 46
-50 47
-50 48
-50 49
-50 50
-49 -50
-49 -49
-49 -48
-49 -47
-49 -46
-49 -45
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-49 -44
-49 -43
-49 -42
-49 -41
-49 -40
-49 -39
-49 -38
-49 -37
-49 -36
-49 -35
-49 -34
-49 -33
-49 -32
-49 -31
-49 -30
-49 -29
-49 -28
-49 -27
-49 -26
-49 -25
Height bound (15.5490) on point search is too large -- reducing to 15.0000
This means that the computed group may only generate a group of finite
index in the actual group.
-49 -24
-49 -23
-49 -22
-49 -21
-49 -20
-49 -19
-49 -18
-49 -17
-49 -16
-49 -15
-49 -14
-49 -13
-49 -12
-49 -11
-49 -10
-49 -9
-49 -8
-49 -7
-49 -6
-49 -5
-49 -4
-49 -3
-49 -2
-49 -1
-49 0
found  <[ 0, 0, 0, -49, 0 ], (-7 : 0 : 1), (7 : 0 : 1)>
-49 1
found  <[ 0, 0, 0, -49, 1 ], (37 : -221 : 1), (767 : -21241 : 1)>
-49 2
-49 3
-49 4
-49 5
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-49 6
-49 7
-49 8
-49 9
-49 10
-49 11
-49 12
-49 13
-49 14
-49 15
-49 16
-49 17
-49 18
-49 19
-49 20
-49 21
-49 22
-49 23
-49 24
-49 25
-49 26
-49 27
-49 28
-49 29
-49 30
-49 31
-49 32
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-49 33
-49 34
-49 35
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-49 36
-49 37
-49 38
-49 39
-49 40
-49 41
-49 42
-49 43
-49 44
-49 45
-49 46
-49 47
-49 48
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-49 49
found  <[ 0, 0, 0, -49, 49 ], (21 : -91 : 1), (7 : -7 : 1)>
-49 50
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-48 -50
-48 -49
-48 -48
-48 -47
found  <[ 0, 0, 0, -48, -47 ], (-1 : 0 : 1), (-4 : 9 : 1)>
-48 -46
-48 -45
-48 -44
-48 -43
-48 -42
-48 -41
-48 -40
-48 -39
-48 -38
-48 -37
-48 -36
-48 -35
-48 -34
-48 -33
-48 -32
-48 -31
-48 -30
-48 -29
-48 -28
-48 -27
-48 -26
-48 -25
-48 -24
-48 -23
-48 -22
-48 -21
-48 -20
-48 -19
-48 -18
-48 -17
-48 -16
-48 -15
-48 -14
-48 -13
-48 -12
-48 -11
-48 -10
-48 -9
-48 -8
-48 -7
found  <[ 0, 0, 0, -48, -7 ], (7 : 0 : 1), (-4 : 11 : 1)>
-48 -6
-48 -5
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-48 -4
-48 -3
-48 -2
-48 -1
-48 0
-48 1
-48 2
-48 3
-48 4
-48 5
-48 6
-48 7
-48 8
-48 9
-48 10
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-48 11
-48 12
-48 13
-48 14
-48 15
-48 16
found  <[ 0, 0, 0, -48, 16 ], (-4 : 12 : 1), (8 : -12 : 1)>
-48 17
-48 18
-48 19
-48 20
-48 21
-48 22
-48 23
-48 24
-48 25
-48 26
-48 27
-48 28
-48 29
-48 30
-48 31
-48 32
-48 33
-48 34
-48 35
-48 36
-48 37
-48 38
-48 39
-48 40
-48 41
-48 42
-48 43
-48 44
-48 45
-48 46
-48 47
-48 48
-48 49
-48 50
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-47 -50
-47 -49
-47 -48
-47 -47
-47 -46
-47 -45
-47 -44
-47 -43
-47 -42
-47 -41
-47 -40
-47 -39
-47 -38
-47 -37
-47 -36
-47 -35
-47 -34
-47 -33
-47 -32
-47 -31
-47 -30
-47 -29
-47 -28
-47 -27
-47 -26
-47 -25
-47 -24
-47 -23
-47 -22
-47 -21
-47 -20
-47 -19
-47 -18
-47 -17
-47 -16
-47 -15
-47 -14
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-47 -13
-47 -12
-47 -11
-47 -10
-47 -9
-47 -8
-47 -7
-47 -6
-47 -5
-47 -4
-47 -3
-47 -2
-47 -1
-47 0
-47 1
-47 2
-47 3
-47 4
-47 5
-47 6
-47 7
-47 8
Warning: rank computed (1) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (1) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (1) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (1) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (1) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (1) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (1) is only a  lower bound
(It may still be correct, though)
-47 9
-47 10
-47 11
found  <[ 0, 0, 0, -47, 11 ], (-5 : 11 : 1), (86 : 795 : 1)>
-47 12
-47 13
-47 14
found  <[ 0, 0, 0, -47, 14 ], (-7 : 0 : 1), (-2 : 10 : 1)>
-47 15
-47 16
-47 17
-47 18
-47 19
-47 20
-47 21
-47 22
-47 23
-47 24
-47 25
-47 26
-47 27
-47 28
-47 29
-47 30
-47 31
-47 32
-47 33
-47 34
-47 35
-47 36
-47 37
-47 38
-47 39
-47 40
-47 41
-47 42
-47 43
-47 44
-47 45
-47 46
-47 47
-47 48
-47 49
-47 50
-46 -50
-46 -49
-46 -48
-46 -47
-46 -46
-46 -45
-46 -44
-46 -43
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-46 -42
-46 -41
-46 -40
-46 -39
-46 -38
-46 -37
-46 -36
-46 -35
-46 -34
-46 -33
-46 -32
-46 -31
-46 -30
-46 -29
-46 -28
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-46 -27
-46 -26
-46 -25
-46 -24
-46 -23
-46 -22
-46 -21
-46 -20
-46 -19
-46 -18
-46 -17
-46 -16
-46 -15
-46 -14
-46 -13
-46 -12
-46 -11
-46 -10
-46 -9
-46 -8
-46 -7
-46 -6
-46 -5
-46 -4
-46 -3
-46 -2
-46 -1
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-46 0
-46 1
-46 2
-46 3
-46 4
-46 5
-46 6
-46 7
-46 8
-46 9
-46 10
-46 11
-46 12
-46 13
-46 14
-46 15
-46 16
-46 17
-46 18
-46 19
-46 20
-46 21
-46 22
-46 23
-46 24
-46 25
-46 26
-46 27
-46 28
-46 29
-46 30
-46 31
-46 32
-46 33
-46 34
-46 35
-46 36
-46 37
-46 38
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-46 39
-46 40
-46 41
-46 42
-46 43
-46 44
-46 45
-46 46
-46 47
-46 48
-46 49
-46 50
-45 -50
-45 -49
-45 -48
-45 -47
-45 -46
-45 -45
-45 -44
-45 -43
-45 -42
-45 -41
-45 -40
-45 -39
-45 -38
-45 -37
-45 -36
-45 -35
-45 -34
-45 -33
Height bound (15.9682) on point search is too large -- reducing to 15.0000
This means that the computed group may only generate a group of finite
index in the actual group.
-45 -32
-45 -31
-45 -30
-45 -29
-45 -28
-45 -27
-45 -26
-45 -25
-45 -24
-45 -23
-45 -22
-45 -21
-45 -20
-45 -19
found  <[ 0, 0, 0, -45, -19 ], (7 : -3 : 1), (275 : 4559 : 1)>
-45 -18
-45 -17
-45 -16
-45 -15
-45 -14
-45 -13
-45 -12
-45 -11
-45 -10
-45 -9
-45 -8
-45 -7
-45 -6
-45 -5
-45 -4
-45 -3
-45 -2
-45 -1
-45 0
found  <[ 0, 0, 0, -45, 0 ], (0 : 0 : 1), (-5 : 10 : 1)>
-45 1
-45 2
Height bound (15.0343) on point search is too large -- reducing to 15.0000
This means that the computed group may only generate a group of finite
index in the actual group.
-45 3
-45 4
-45 5
-45 6
-45 7
-45 8
-45 9
-45 10
-45 11
-45 12
-45 13
-45 14
-45 15
-45 16
-45 17
-45 18
-45 19
-45 20
-45 21
-45 22
-45 23
-45 24
-45 25
-45 26
-45 27
-45 28
-45 29
-45 30
-45 31
-45 32
-45 33
-45 34
-45 35
-45 36
-45 37
-45 38
-45 39
-45 40
-45 41
-45 42
-45 43
-45 44
-45 45
-45 46
-45 47
-45 48
-45 49
-45 50
-44 -50
-44 -49
-44 -48
-44 -47
-44 -46
-44 -45
-44 -44
-44 -43
-44 -42
-44 -41
-44 -40
-44 -39
-44 -38
-44 -37
-44 -36
-44 -35
-44 -34
-44 -33
-44 -32
-44 -31
-44 -30
-44 -29
-44 -28
-44 -27
-44 -26
-44 -25
-44 -24
-44 -23
-44 -22
-44 -21
-44 -20
-44 -19
-44 -18
Height bound (15.3774) on point search is too large -- reducing to 15.0000
This means that the computed group may only generate a group of finite
index in the actual group.
-44 -17
-44 -16
-44 -15
-44 -14
-44 -13
-44 -12
-44 -11
-44 -10
-44 -9
-44 -8
-44 -7
-44 -6
-44 -5
-44 -4
-44 -3
-44 -2
-44 -1
-44 0
-44 1
-44 2
-44 3
-44 4
-44 5
-44 6
-44 7
-44 8
-44 9
-44 10
-44 11
-44 12
-44 13
-44 14
-44 15
-44 16
found  <[ 0, 0, 0, -44, 16 ], (-6 : 8 : 1), (28 : -144 : 1)>
-44 17
-44 18
-44 19
-44 20
-44 21
-44 22
-44 23
-44 24
-44 25
-44 26
-44 27
-44 28
-44 29
-44 30
-44 31
-44 32
-44 33
-44 34
-44 35
-44 36
-44 37
-44 38
Height bound (15.2764) on point search is too large -- reducing to 15.0000
This means that the computed group may only generate a group of finite
index in the actual group.
-44 39
-44 40
-44 41
-44 42
-44 43
-44 44
-44 45
-44 46
-44 47
-44 48
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-44 49
-44 50
-43 -50
-43 -49
-43 -48
-43 -47
-43 -46
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-43 -45
-43 -44
-43 -43
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-43 -42
found  <[ 0, 0, 0, -43, -42 ], (-6 : 0 : 1), (7 : 0 : 1)>
-43 -41
-43 -40
-43 -39
-43 -38
-43 -37
-43 -36
-43 -35
-43 -34
-43 -33
-43 -32
-43 -31
-43 -30
-43 -29
-43 -28
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-43 -27
-43 -26
-43 -25
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-43 -24
-43 -23
-43 -22
-43 -21
-43 -20
-43 -19
-43 -18
-43 -17
found  <[ 0, 0, 0, -43, -17 ], (-6 : -5 : 1), (18 : -71 : 1)>
-43 -16
-43 -15
-43 -14
-43 -13
-43 -12
-43 -11
-43 -10
-43 -9
-43 -8
-43 -7
-43 -6
-43 -5
-43 -4
-43 -3
-43 -2
-43 -1
-43 0
-43 1
-43 2
-43 3
-43 4
-43 5
-43 6
-43 7
-43 8
-43 9
-43 10
-43 11
-43 12
-43 13
-43 14
-43 15
-43 16
-43 17
-43 18
-43 19
-43 20
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-43 21
-43 22
-43 23
-43 24
-43 25
-43 26
-43 27
-43 28
-43 29
-43 30
-43 31
-43 32
-43 33
-43 34
-43 35
-43 36
-43 37
-43 38
-43 39
-43 40
-43 41
-43 42
found  <[ 0, 0, 0, -43, 42 ], (-7 : 0 : 1), (6 : 0 : 1)>
-43 43
-43 44
-43 45
-43 46
-43 47
-43 48
-43 49
-43 50
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
Warning: rank computed (0) is only a  lower bound
(It may still be correct, though)
-42 -50
-42 -49
-42 -48
-42 -47
-42 -46
-42 -45
-42 -44
-42 -43
-42 -42
-42 -41
-42 -40
-42 -39
-42 -38
-42 -37


Magma: Internal error
Please mail this entire run [**WITH THE FOLLOWING LINES**]
    to magma-bugs@maths.usyd.edu.au
Version date: Fri Sep 15 18:19:43 EST 2000
Initial seed: 3824989690
Time to this point: 2555.43
Arithmetic exception

>> good;
   ^
User error: Identifier 'good' has not been declared or assigned

Total time: 2555.729 seconds