Magma V2.7-3 Wed Nov 29 2000 15:51:42 on modular [Seed = 3824989690] Type ? for help. Type -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