Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 3069651560] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1488 geometric_solution 5.30082288 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.251125650311 0.562589626906 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 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 0 1 0 -1 1 0 0 -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 1.260717164822 1.871337852867 4 3 0 3 1230 1230 0132 2310 0 0 0 0 0 0 -1 1 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 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.329929334153 1.274382288207 2 1 2 4 3201 0132 3012 1230 0 0 0 0 0 1 0 -1 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 -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 0 0 0 0 0 0 0.550103149932 0.194296903059 3 2 1 5 3012 3012 0132 2310 0 0 0 0 0 1 -1 0 1 0 0 -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 -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 0 0 0 -0.066113365939 0.765145958814 4 6 6 1 3201 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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 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.139926613141 0.374122766725 6 5 5 6 3012 0132 1023 1230 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 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 0 0 0 0 0 0 0 2.111553339330 1.054786033051 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_2']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 8257000322/301328907*c_0101_6^13 + 11418806164/100442969*c_0101_6^12 + 58705193249/100442969*c_0101_6^11 - 172578946036/301328907*c_0101_6^10 - 377029873351/100442969*c_0101_6^9 - 798492483445/301328907*c_0101_6^8 - 59031718765/301328907*c_0101_6^7 - 2758544953402/301328907*c_0101_6^6 - 5710653382748/301328907*c_0101_6^5 - 3686665463309/301328907*c_0101_6^4 - 175022485702/301328907*c_0101_6^3 + 626773717556/301328907*c_0101_6^2 + 766842922/7007649*c_0101_6 - 124300167017/301328907, c_0011_0 - 1, c_0011_2 + 1364215623/100442969*c_0101_6^13 - 7172975833/100442969*c_0101_6^12 - 20985629019/100442969*c_0101_6^11 + 50936944331/100442969*c_0101_6^10 + 128199202618/100442969*c_0101_6^9 - 4242227767/100442969*c_0101_6^8 + 27674573974/100442969*c_0101_6^7 + 423530661217/100442969*c_0101_6^6 + 477946181916/100442969*c_0101_6^5 + 124676067842/100442969*c_0101_6^4 - 61070086361/100442969*c_0101_6^3 - 25537912238/100442969*c_0101_6^2 + 353814108/2335883*c_0101_6 + 1125268712/100442969, c_0011_4 - 380100229/9131179*c_0101_6^13 + 1998183583/9131179*c_0101_6^12 + 5851750573/9131179*c_0101_6^11 - 14203435359/9131179*c_0101_6^10 - 35762392035/9131179*c_0101_6^9 + 1280503664/9131179*c_0101_6^8 - 7557790588/9131179*c_0101_6^7 - 118170785598/9131179*c_0101_6^6 - 133074384555/9131179*c_0101_6^5 - 34154197030/9131179*c_0101_6^4 + 17289995360/9131179*c_0101_6^3 + 7094145361/9131179*c_0101_6^2 - 100228546/212353*c_0101_6 - 297605586/9131179, c_0011_5 + 3027126400/100442969*c_0101_6^13 - 15996956064/100442969*c_0101_6^12 - 46052567597/100442969*c_0101_6^11 + 113660086362/100442969*c_0101_6^10 + 280945967833/100442969*c_0101_6^9 - 12898748574/100442969*c_0101_6^8 + 64221171512/100442969*c_0101_6^7 + 934506614804/100442969*c_0101_6^6 + 1043011391042/100442969*c_0101_6^5 + 265463781821/100442969*c_0101_6^4 - 135046069651/100442969*c_0101_6^3 - 54128498383/100442969*c_0101_6^2 + 784234846/2335883*c_0101_6 + 2274707937/100442969, c_0101_0 + 7336564924/100442969*c_0101_6^13 - 38656288656/100442969*c_0101_6^12 - 112339775250/100442969*c_0101_6^11 + 274557349646/100442969*c_0101_6^10 + 685920885748/100442969*c_0101_6^9 - 26292571350/100442969*c_0101_6^8 + 151469314402/100442969*c_0101_6^7 + 2272573989032/100442969*c_0101_6^6 + 2552966751469/100442969*c_0101_6^5 + 658913146523/100442969*c_0101_6^4 - 327575346755/100442969*c_0101_6^3 - 134309043351/100442969*c_0101_6^2 + 1910045570/2335883*c_0101_6 + 5873823906/100442969, c_0101_1 + 6086760/2335883*c_0101_6^13 - 33226796/2335883*c_0101_6^12 - 85539888/2335883*c_0101_6^11 + 235279235/2335883*c_0101_6^10 + 514134274/2335883*c_0101_6^9 - 56604631/2335883*c_0101_6^8 + 187632428/2335883*c_0101_6^7 + 1784871861/2335883*c_0101_6^6 + 1886067910/2335883*c_0101_6^5 + 477632515/2335883*c_0101_6^4 - 236713580/2335883*c_0101_6^3 - 89410568/2335883*c_0101_6^2 + 55879096/2335883*c_0101_6 + 3618557/2335883, c_0101_6^14 - 4*c_0101_6^13 - 22*c_0101_6^12 + 18*c_0101_6^11 + 141*c_0101_6^10 + 115*c_0101_6^9 + 16*c_0101_6^8 + 336*c_0101_6^7 + 741*c_0101_6^6 + 531*c_0101_6^5 + 69*c_0101_6^4 - 75*c_0101_6^3 - 12*c_0101_6^2 + 15*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB