Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 4155927317] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0560 geometric_solution 4.57695671 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 1 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.455747456236 1.642377748616 0 3 0 2 0132 1302 2310 1302 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 -1 -1 2 1 0 -1 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.697764845184 0.340982421774 4 4 1 0 0132 2310 2031 0132 0 0 0 0 0 0 0 0 -1 0 1 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 2 0 -2 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.324076625882 0.235492615383 5 5 0 1 0132 3201 0132 2031 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 1 -1 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.252123107116 0.452796062587 2 6 6 2 0132 0132 1023 3201 0 0 0 0 0 0 0 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 0 0 0 -2 0 0 2 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.048703244127 0.879250776879 3 5 3 5 0132 1302 2310 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.110920371691 2.090860115759 6 4 4 6 3201 0132 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.734397997768 0.459273674592 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : 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' : 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' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : 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' : d['c_0011_2'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_1010_1']), 'c_1100_3' : negation(d['c_1010_1']), 'c_1100_2' : negation(d['c_1010_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_1010_1'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_3, c_0101_0, c_0101_5, c_0101_6, c_1010_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 112351634260783023370610/7446659673084335174761317*c_1010_1^11 + 118975017035121350315437/7446659673084335174761317*c_1010_1^10 + 137067542050341322373584/827406630342703908306813*c_1010_1^9 + 69860331397929867685299/275802210114234636102271*c_1010_1^8 + 269979941503864542921487/275802210114234636102271*c_1010_1^7 + 5872404160407860819384210/7446659673084335174761317*c_1010_1^6 + 6309374297875322109755953/7446659673084335174761317*c_1010_1^5 - 29298185119348295471032319/7446659673084335174761317*c_1010_1^4 - 67320560481053770898774957/7446659673084335174761317*c_1010_1^3 - 11547977941867282932914665/2482219891028111724920439*c_1010_1^2 - 195331369995601323843105166/7446659673084335174761317*c_1010_1 + 80913268737287368711078573/2482219891028111724920439, c_0011_0 - 1, c_0011_2 + 67288315746193438/130375539210468602601*c_1010_1^11 + 111134783056685366/130375539210468602601*c_1010_1^10 + 77379213572085116/14486171023385400289*c_1010_1^9 + 166311663680171017/14486171023385400289*c_1010_1^8 + 498156313538785904/14486171023385400289*c_1010_1^7 + 5033887356071037337/130375539210468602601*c_1010_1^6 + 3400779927860575127/130375539210468602601*c_1010_1^5 - 14589618455238394408/130375539210468602601*c_1010_1^4 - 39052946177509534564/130375539210468602601*c_1010_1^3 - 918090829399599167/43458513070156200867*c_1010_1^2 - 23283441213254558081/130375539210468602601*c_1010_1 + 27599334608599034012/43458513070156200867, c_0011_3 + 27568368190724615/130375539210468602601*c_1010_1^11 - 41245342752047027/130375539210468602601*c_1010_1^10 + 16211980486240985/14486171023385400289*c_1010_1^9 - 65147491325349853/14486171023385400289*c_1010_1^8 - 63338327745023389/14486171023385400289*c_1010_1^7 - 5597527318953645163/130375539210468602601*c_1010_1^6 - 11148892599896203880/130375539210468602601*c_1010_1^5 - 20255665122056448239/130375539210468602601*c_1010_1^4 - 5138134899819102287/130375539210468602601*c_1010_1^3 + 22668235156164719996/43458513070156200867*c_1010_1^2 + 109355208655726636715/130375539210468602601*c_1010_1 + 52727894302018585027/43458513070156200867, c_0101_0 - 11855185801865521/43458513070156200867*c_1010_1^11 - 51522078850548149/43458513070156200867*c_1010_1^10 - 65233564923221163/14486171023385400289*c_1010_1^9 - 192896356768005152/14486171023385400289*c_1010_1^8 - 522055089277559877/14486171023385400289*c_1010_1^7 - 3291580939142796814/43458513070156200867*c_1010_1^6 - 3445459666578434927/43458513070156200867*c_1010_1^5 - 241395219694242161/43458513070156200867*c_1010_1^4 + 10929219220318961854/43458513070156200867*c_1010_1^3 + 4511502668559922415/14486171023385400289*c_1010_1^2 + 18844800208398064976/43458513070156200867*c_1010_1 + 5997590795112411698/14486171023385400289, c_0101_5 - 10056707339051456/43458513070156200867*c_1010_1^11 - 14606408727875875/43458513070156200867*c_1010_1^10 - 52973862375133578/14486171023385400289*c_1010_1^9 - 121478186880338989/14486171023385400289*c_1010_1^8 - 445800208971824197/14486171023385400289*c_1010_1^7 - 2111588755113740675/43458513070156200867*c_1010_1^6 - 5877152570042302855/43458513070156200867*c_1010_1^5 - 2730464256758771845/43458513070156200867*c_1010_1^4 - 479123170967797081/43458513070156200867*c_1010_1^3 + 5796603510236293842/14486171023385400289*c_1010_1^2 + 55855772638979874940/43458513070156200867*c_1010_1 + 6102499673281267788/14486171023385400289, c_0101_6 + 16164854456899168/43458513070156200867*c_1010_1^11 + 17139568488422123/43458513070156200867*c_1010_1^10 + 62699462015147267/14486171023385400289*c_1010_1^9 + 104762368322465823/14486171023385400289*c_1010_1^8 + 385582693638641505/14486171023385400289*c_1010_1^7 + 1178767453716156088/43458513070156200867*c_1010_1^6 + 2039200803306674402/43458513070156200867*c_1010_1^5 - 2044225087927086493/43458513070156200867*c_1010_1^4 - 9172526556398166685/43458513070156200867*c_1010_1^3 - 5467153237222103789/14486171023385400289*c_1010_1^2 - 45011206421032083635/43458513070156200867*c_1010_1 + 2312615067788657913/14486171023385400289, c_1010_1^12 + 2*c_1010_1^11 + 12*c_1010_1^10 + 27*c_1010_1^9 + 81*c_1010_1^8 + 112*c_1010_1^7 + 107*c_1010_1^6 - 217*c_1010_1^5 - 835*c_1010_1^4 - 903*c_1010_1^3 - 1964*c_1010_1^2 + 471*c_1010_1 + 2169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB