Magma V2.19-8 Tue Aug 20 2013 16:18:28 on localhost [Seed = 3002281858] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2660 geometric_solution 5.92698073 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 -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.580847664922 0.399388434999 0 1 5 1 0132 1302 0132 2031 0 0 0 0 0 0 1 -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 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.716406973090 0.781052847824 2 0 2 5 2310 0132 3201 0132 0 0 0 0 0 0 1 -1 -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 1 -1 0 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554053665397 1.087088929773 6 5 6 0 0132 0132 1023 0132 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.985598895163 0.573936190896 5 4 0 4 0132 1302 0132 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 -1 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.946390073082 0.810061653078 4 3 2 1 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580847664922 0.399388434999 3 6 3 6 0132 1302 1023 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.580082438552 0.198950746821 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_3'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 3*c_0101_3 + 5, c_0011_0 - 1, c_0011_3 + 1, c_0101_0 + c_0101_3, c_0101_1 - c_0101_3, c_0101_2 - c_0101_3, c_0101_3^2 + c_0101_3 - 1, c_1001_0 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 3668345490007730494551790/391454082550732036209689*c_1001_0^15 - 20490854789289545288809961/391454082550732036209689*c_1001_0^14 - 9210122532433337328943251/55922011792961719458527*c_1001_0^13 - 128169716237052276161953087/391454082550732036209689*c_1001_0^12 - 155256189431179286629770119/391454082550732036209689*c_1001_0^11 - 81023191199727653967030488/391454082550732036209689*c_1001_0^10 + 169292966188920778126623156/391454082550732036209689*c_1001_0^9 + 683228937196841641361646886/391454082550732036209689*c_1001_0^8 + 1529471828988542562154315157/391454082550732036209689*c_1001_0^7 + 2422658374287167011737140190/391454082550732036209689*c_1001_0^6 + 2663152576754647714942318149/391454082550732036209689*c_1001_0^5 + 1945163865344051299769566226/391454082550732036209689*c_1001_0^4 + 936497672479348101628357735/391454082550732036209689*c_1001_0^3 + 286517783491282000767724259/391454082550732036209689*c_1001_0^2 - 70885068308350470833446251/391454082550732036209689*c_1001_0 - 41746345054373041536802814/391454082550732036209689, c_0011_0 - 1, c_0011_3 + 1433558885201251812885/55922011792961719458527*c_1001_0^15 + 7647538703373930881744/55922011792961719458527*c_1001_0^14 + 21467137680282943889807/55922011792961719458527*c_1001_0^13 + 37162311640377394087664/55922011792961719458527*c_1001_0^12 + 30327403228386344864484/55922011792961719458527*c_1001_0^11 - 8601330787753281830817/55922011792961719458527*c_1001_0^10 - 91840865628720269820783/55922011792961719458527*c_1001_0^9 - 239533896270656469316182/55922011792961719458527*c_1001_0^8 - 453697761776042504636723/55922011792961719458527*c_1001_0^7 - 609696796098971770465949/55922011792961719458527*c_1001_0^6 - 450990819349152610028470/55922011792961719458527*c_1001_0^5 - 88923399181921737566880/55922011792961719458527*c_1001_0^4 + 117033123468184945868201/55922011792961719458527*c_1001_0^3 + 66082302841742741588498/55922011792961719458527*c_1001_0^2 + 76909777804110632297151/55922011792961719458527*c_1001_0 - 59273675716266522001489/55922011792961719458527, c_0101_0 + 24636181983462857257020/55922011792961719458527*c_1001_0^15 + 128636152452687437950703/55922011792961719458527*c_1001_0^14 + 387465117956269041862525/55922011792961719458527*c_1001_0^13 + 725477644431471337335622/55922011792961719458527*c_1001_0^12 + 794771737799450427175611/55922011792961719458527*c_1001_0^11 + 281280316987801860157612/55922011792961719458527*c_1001_0^10 - 1216565707999544586023597/55922011792961719458527*c_1001_0^9 - 4148468441008650445329602/55922011792961719458527*c_1001_0^8 - 8828818554839799013912699/55922011792961719458527*c_1001_0^7 - 13235769963319513782130805/55922011792961719458527*c_1001_0^6 - 13405346875684595555352007/55922011792961719458527*c_1001_0^5 - 8633093557244233691634014/55922011792961719458527*c_1001_0^4 - 3530783220988130549392978/55922011792961719458527*c_1001_0^3 - 785077501774482887343288/55922011792961719458527*c_1001_0^2 + 773557434735984873718882/55922011792961719458527*c_1001_0 + 85798695722192633578549/55922011792961719458527, c_0101_1 - 4220214615598655302745/55922011792961719458527*c_1001_0^15 - 21859221994959668074133/55922011792961719458527*c_1001_0^14 - 62465925902419285013931/55922011792961719458527*c_1001_0^13 - 108855933235062378162247/55922011792961719458527*c_1001_0^12 - 97028690105252197931505/55922011792961719458527*c_1001_0^11 + 8479818836467428490048/55922011792961719458527*c_1001_0^10 + 247160151221847335481109/55922011792961719458527*c_1001_0^9 + 683572296020233413137607/55922011792961719458527*c_1001_0^8 + 1340745067045368194850513/55922011792961719458527*c_1001_0^7 + 1847550998310391817530836/55922011792961719458527*c_1001_0^6 + 1525247092194800989579866/55922011792961719458527*c_1001_0^5 + 560642369621353220186897/55922011792961719458527*c_1001_0^4 - 56769486049274286827703/55922011792961719458527*c_1001_0^3 - 82596788984313360163858/55922011792961719458527*c_1001_0^2 - 186173849667542901530228/55922011792961719458527*c_1001_0 + 3443809899083431307707/55922011792961719458527, c_0101_2 + 2081886038730/6227340951539*c_1001_0^15 + 11094994700027/6227340951539*c_1001_0^14 + 33694469233327/6227340951539*c_1001_0^13 + 63895072700008/6227340951539*c_1001_0^12 + 71104057005304/6227340951539*c_1001_0^11 + 26542762022363/6227340951539*c_1001_0^10 - 104579929611660/6227340951539*c_1001_0^9 - 362347961162640/6227340951539*c_1001_0^8 - 774181757982569/6227340951539*c_1001_0^7 - 1169821727737612/6227340951539*c_1001_0^6 - 1196358656560204/6227340951539*c_1001_0^5 - 772767171335129/6227340951539*c_1001_0^4 - 301892531867933/6227340951539*c_1001_0^3 - 55372428324957/6227340951539*c_1001_0^2 + 72973241659013/6227340951539*c_1001_0 + 8705746058592/6227340951539, c_0101_3 - 16843717046222710428980/55922011792961719458527*c_1001_0^15 - 89405146545750606660002/55922011792961719458527*c_1001_0^14 - 272566465702994036059392/55922011792961719458527*c_1001_0^13 - 519350081252578748788999/55922011792961719458527*c_1001_0^12 - 588504623053338101000656/55922011792961719458527*c_1001_0^11 - 244122080851812216886547/55922011792961719458527*c_1001_0^10 + 806857374553773970893485/55922011792961719458527*c_1001_0^9 + 2902784422892729494353477/55922011792961719458527*c_1001_0^8 + 6285253714322654805307013/55922011792961719458527*c_1001_0^7 + 9588865793102975817857424/55922011792961719458527*c_1001_0^6 + 10009737257069470707649250/55922011792961719458527*c_1001_0^5 + 6784805192105603938712977/55922011792961719458527*c_1001_0^4 + 3053052346030324650468373/55922011792961719458527*c_1001_0^3 + 820262533776795110191039/55922011792961719458527*c_1001_0^2 - 430663108248621617404496/55922011792961719458527*c_1001_0 - 101259076672970889854264/55922011792961719458527, c_1001_0^16 + 27/5*c_1001_0^15 + 83/5*c_1001_0^14 + 32*c_1001_0^13 + 184/5*c_1001_0^12 + 16*c_1001_0^11 - 242/5*c_1001_0^10 - 886/5*c_1001_0^9 - 1928/5*c_1001_0^8 - 2967/5*c_1001_0^7 - 625*c_1001_0^6 - 2136/5*c_1001_0^5 - 938/5*c_1001_0^4 - 243/5*c_1001_0^3 + 28*c_1001_0^2 + 36/5*c_1001_0 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB