Magma V2.19-8 Fri Sep 13 2013 00:58:42 on localhost [Seed = 3753842218] Type ? for help. Type -D to quit. Loading file "m125__sl3_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation m125 geometric_solution 3.66386238 oriented_manifold CS_known -0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 4 1 2 2 3 0132 0132 2031 0132 0 0 1 0 0 1 0 -1 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000000000 0.500000000000 0 3 2 3 0132 2103 2103 1023 0 0 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000000 1.000000000000 1 0 3 0 2103 0132 2103 1302 0 0 0 1 0 -1 0 1 1 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000000 1.000000000000 2 1 0 1 2103 2103 0132 1023 0 0 0 1 0 0 1 -1 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000000 1.000000000000 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0210_2'] * d['u'] ** 2, 'c_1020_3' : d['c_0102_0'], 'c_1020_0' : d['c_0012_1'], 'c_1020_1' : d['c_0120_3'], 'c_0201_0' : d['c_0120_3'], 'c_0201_1' : d['c_0201_1'], 'c_0201_2' : d['c_0201_1'], 'c_0201_3' : d['c_0201_1'], 'c_2100_0' : d['c_0210_2'], 'c_2100_1' : d['c_0120_2'] * d['u'] ** 1, 'c_2100_2' : d['c_0120_3'], 'c_2100_3' : d['c_0210_2'], 'c_2010_2' : d['c_0120_2'] * d['u'] ** 1, 'c_2010_3' : d['c_0120_3'], 'c_2010_0' : d['c_0012_0'] * d['u'] ** 1, 'c_2010_1' : d['c_0102_0'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0102_1'], 'c_0102_2' : d['c_0102_1'], 'c_0102_3' : d['c_0102_1'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : negation(d['c_0111_2']) * d['u'] ** 2, 'c_1101_2' : negation(d['c_0111_3']), 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0102_0'], 'c_1200_3' : d['c_0120_2'], 'c_1200_0' : d['c_0120_2'], 'c_1200_1' : d['c_0210_2'] * d['u'] ** 2, 'c_1110_2' : d['c_1101_0'] * d['u'] ** 1, 'c_1110_3' : negation(d['c_1110_1']) * d['u'] ** 2, 'c_1110_0' : d['c_1101_3'], 'c_1110_1' : d['c_1110_1'], 'c_0120_0' : d['c_0102_1'], 'c_0120_1' : d['c_0102_0'] * d['u'] ** 1, 'c_0120_2' : d['c_0120_2'], 'c_0120_3' : d['c_0120_3'], 'c_2001_0' : d['c_0120_2'] * d['u'] ** 1, 'c_2001_1' : d['c_0012_0'] * d['u'] ** 1, 'c_2001_2' : d['c_0012_0'] * d['u'] ** 1, 'c_2001_3' : d['c_0012_0'] * d['u'] ** 1, 'c_0012_2' : d['c_0012_1'] * d['u'] ** 1, 'c_0012_3' : d['c_0012_1'], 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']) * d['u'] ** 2, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0210_2'], 'c_0210_3' : d['c_0102_0'], 'c_0210_0' : d['c_0201_1'], 'c_0210_1' : d['c_0120_3'] * d['u'] ** 2, 'c_1002_2' : d['c_0012_1'], 'c_1002_3' : d['c_0012_1'], 'c_1002_0' : d['c_0210_2'] * d['u'] ** 2, 'c_1002_1' : d['c_0012_1'], 'c_1011_2' : negation(d['c_1011_0']), 'c_1011_3' : negation(d['c_1011_1']), 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'] * d['u'] ** 1, 'c_0021_1' : d['c_0012_0'] * d['u'] ** 1, 'c_0021_2' : d['c_0012_0'], 'c_0021_3' : d['c_0012_0'] * d['u'] ** 1}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 0.830 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0102_0, c_0102_1, c_0111_0, c_0111_2, c_0111_3, c_0120_2, c_0120_3, c_0201_1, c_0210_2, c_1011_0, c_1011_1, c_1101_0, c_1101_3, c_1110_1, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 17/14*c_1110_1*u + 17/14*c_1110_1 - 41/14, c_0012_0 - 1, c_0012_1 + u + 1, c_0102_0 - 1, c_0102_1 + u, c_0111_0 - 1, c_0111_2 + c_1110_1 + u + 1, c_0111_3 - u, c_0120_2 - c_1110_1*u - c_1110_1 + u, c_0120_3 - 1, c_0201_1 - u - 1, c_0210_2 - c_1110_1*u - c_1110_1 - u - 1, c_1011_0 + c_1110_1*u, c_1011_1 + c_1110_1 + u, c_1101_0 - u, c_1101_3 - c_1110_1*u - c_1110_1 + u + 1, c_1110_1^2 + 2*c_1110_1*u + u + 1, u^2 + u + 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0102_0, c_0102_1, c_0111_0, c_0111_2, c_0111_3, c_0120_2, c_0120_3, c_0201_1, c_0210_2, c_1011_0, c_1011_1, c_1101_0, c_1101_3, c_1110_1, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 124027290870094/3897027547*c_1110_1^6*u - 354734813790739/7794055094*c_1110_1^6 - 637821282339937/7794055094*c_1110_1^5*u + 348736495611159/7794055094*c_1110_1^5 - 565651390353883/7794055094*c_1110_1^4*u - 379391816117499/7794055094*c_1110_1^4 - 24717469184013/1113436442*c_1110_1^3*u + 55526608690085/1113436442*c_1110_1^3 - 1086336389371237/7794055094*c_1110_1^2*u - 550284957597359/7794055094*c_1110_1^2 - 145709513937252/3897027547*c_1110_1*u - 267041021689558/3897027547*c_1110_1 + 29175000103975/7794055094*u - 50466911126785/7794055094, c_0012_0 - 1, c_0012_1 + u + 1, c_0102_0 - 1, c_0102_1 + 680799821/29300959*c_1110_1^6*u + 52395349/29300959*c_1110_1^6 - 1399944529/29300959*c_1110_1^5*u - 2107042642/29300959*c_1110_1^5 + 1051859055/29300959*c_1110_1^4*u + 202162649/29300959*c_1110_1^4 - 1154290356/29300959*c_1110_1^3*u - 1083557463/29300959*c_1110_1^3 + 1117049902/29300959*c_1110_1^2*u - 1027762031/29300959*c_1110_1^2 + 815025496/29300959*c_1110_1*u + 665740830/29300959*c_1110_1 - 32926527/29300959*u + 113091101/29300959, c_0111_0 - 1, c_0111_2 + 86686306/29300959*c_1110_1^6*u + 203469308/29300959*c_1110_1^6 + 464149582/29300959*c_1110_1^5*u - 153823478/29300959*c_1110_1^5 - 167565844/29300959*c_1110_1^4*u + 144219553/29300959*c_1110_1^4 + 162929410/29300959*c_1110_1^3*u - 162314220/29300959*c_1110_1^3 + 311291450/29300959*c_1110_1^2*u + 478393378/29300959*c_1110_1^2 - 138807796/29300959*c_1110_1*u + 24523845/29300959*c_1110_1 - 32327944/29300959*u - 19934397/29300959, c_0111_3 - 203087216/29300959*c_1110_1^6*u - 356827060/29300959*c_1110_1^6 - 613368030/29300959*c_1110_1^5*u + 383944520/29300959*c_1110_1^5 - 215738009/29300959*c_1110_1^4*u - 648900192/29300959*c_1110_1^4 - 134719740/29300959*c_1110_1^3*u + 531587678/29300959*c_1110_1^3 - 919229255/29300959*c_1110_1^2*u - 934038371/29300959*c_1110_1^2 + 223770832/29300959*c_1110_1*u - 186008470/29300959*c_1110_1 + 66267737/29300959*u + 61268971/29300959, c_0120_2 + 219034624/29300959*c_1110_1^6*u - 377872987/29300959*c_1110_1^6 - 1679796194/29300959*c_1110_1^5*u - 970208537/29300959*c_1110_1^5 + 523350919/29300959*c_1110_1^4*u - 491527539/29300959*c_1110_1^4 - 982184806/29300959*c_1110_1^3*u - 198497983/29300959*c_1110_1^3 - 310427170/29300959*c_1110_1^2*u - 1637499053/29300959*c_1110_1^2 + 749867861/29300959*c_1110_1*u + 223874014/29300959*c_1110_1 + 61129706/29300959*u + 146239009/29300959, c_0120_3 - 248254456/29300959*c_1110_1^6*u - 254851085/29300959*c_1110_1^6 - 165469198/29300959*c_1110_1^5*u + 544496774/29300959*c_1110_1^5 - 597581108/29300959*c_1110_1^4*u - 663429196/29300959*c_1110_1^4 + 143372389/29300959*c_1110_1^3*u + 529688946/29300959*c_1110_1^3 - 984079254/29300959*c_1110_1^2*u - 519194800/29300959*c_1110_1^2 + 1551804/29300959*c_1110_1*u - 450337781/29300959*c_1110_1 + 101854320/29300959*u + 47336260/29300959, c_0201_1 - 628404472/29300959*c_1110_1^6*u - 680799821/29300959*c_1110_1^6 - 707098113/29300959*c_1110_1^5*u + 1399944529/29300959*c_1110_1^5 - 849696406/29300959*c_1110_1^4*u - 1051859055/29300959*c_1110_1^4 + 70732893/29300959*c_1110_1^3*u + 1154290356/29300959*c_1110_1^3 - 2144811933/29300959*c_1110_1^2*u - 1117049902/29300959*c_1110_1^2 - 149284666/29300959*c_1110_1*u - 815025496/29300959*c_1110_1 + 146017628/29300959*u + 32926527/29300959, c_0210_2 + 120076272/29300959*c_1110_1^6*u + 220123977/29300959*c_1110_1^6 + 409796196/29300959*c_1110_1^5*u - 192090471/29300959*c_1110_1^5 + 154141456/29300959*c_1110_1^4*u + 388554337/29300959*c_1110_1^4 + 274709823/29300959*c_1110_1^3*u - 174296381/29300959*c_1110_1^3 + 564282436/29300959*c_1110_1^2*u + 482534997/29300959*c_1110_1^2 + 32637163/29300959*c_1110_1*u + 200238841/29300959*c_1110_1 - 31163735/29300959*u + 14609759/29300959, c_1011_0 - 25807359/29300959*c_1110_1^6*u + 6484284/29300959*c_1110_1^6 + 44901484/29300959*c_1110_1^5*u + 154468175/29300959*c_1110_1^5 + 250464152/29300959*c_1110_1^4*u + 166962536/29300959*c_1110_1^4 - 25079266/29300959*c_1110_1^3*u + 145593879/29300959*c_1110_1^3 + 237475741/29300959*c_1110_1^2*u + 140233955/29300959*c_1110_1^2 + 15401977/29300959*c_1110_1*u + 224383449/29300959*c_1110_1 - 70703068/29300959*u - 27051362/29300959, c_1011_1 + 6596629/29300959*c_1110_1^6*u - 248254456/29300959*c_1110_1^6 - 709965972/29300959*c_1110_1^5*u - 165469198/29300959*c_1110_1^5 + 65848088/29300959*c_1110_1^4*u - 597581108/29300959*c_1110_1^4 - 386316557/29300959*c_1110_1^3*u + 143372389/29300959*c_1110_1^3 - 464884454/29300959*c_1110_1^2*u - 984079254/29300959*c_1110_1^2 + 451889585/29300959*c_1110_1*u + 30852763/29300959*c_1110_1 + 54518060/29300959*u + 101854320/29300959, c_1101_0 + 194316618/29300959*c_1110_1^6*u + 106531989/29300959*c_1110_1^6 - 147188987/29300959*c_1110_1^5*u - 447418492/29300959*c_1110_1^5 + 639018489/29300959*c_1110_1^4*u + 401375417/29300959*c_1110_1^4 - 199375647/29300959*c_1110_1^3*u - 303412325/29300959*c_1110_1^3 + 720010738/29300959*c_1110_1^2*u + 58486516/29300959*c_1110_1^2 + 215640818/29300959*c_1110_1*u + 391985127/29300959*c_1110_1 - 56093309/29300959*u + 18722132/29300959, c_1101_3 - 382092/29300959*c_1110_1^6*u + 240044058/29300959*c_1110_1^6 + 767191508/29300959*c_1110_1^5*u + 234028540/29300959*c_1110_1^5 + 71518456/29300959*c_1110_1^4*u + 337114795/29300959*c_1110_1^4 + 297033960/29300959*c_1110_1^3*u - 206344048/29300959*c_1110_1^3 + 440835877/29300959*c_1110_1^2*u + 766936443/29300959*c_1110_1^2 - 248294677/29300959*c_1110_1*u + 22676829/29300959*c_1110_1 - 17032381/29300959*u - 44361559/29300959, c_1110_1^7 + 58/21*c_1110_1^6*u + 17/21*c_1110_1^6 + 79/147*c_1110_1^5*u + 374/147*c_1110_1^5 + 43/49*c_1110_1^4*u - 16/49*c_1110_1^4 + 121/49*c_1110_1^3*u + 192/49*c_1110_1^3 - 34/21*c_1110_1^2*u + 19/21*c_1110_1^2 - 103/147*c_1110_1*u - 95/147*c_1110_1 + 2/147*u - 11/147, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 0.830 Total time: 1.040 seconds, Total memory usage: 32.09MB