Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 2160139429] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0084 geometric_solution 3.62786143 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 -1 2 -1 0 0 1 1 -2 0 1 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.472059272573 0.074688128589 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 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 -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 6.230746140715 1.678480800187 3 1 1 3 0132 3201 0132 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 -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.364572554229 0.240396167100 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 1 0 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 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.503376352613 0.637939735888 6 5 3 5 0132 2031 0132 1302 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.747091175754 0.253471361083 4 6 4 3 1302 2310 2031 0132 0 0 0 0 0 0 1 -1 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 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.747091175754 0.253471361083 4 6 6 5 0132 1230 3012 3201 0 0 0 0 0 -1 1 0 0 0 1 -1 1 -1 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.799647121939 0.407252940010 ==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' : negation(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' : negation(d['1']), 's_1_6' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 4722251215093457712371168375/2735311635472487131798485504*c_0101_6^\ 21 + 71632369249285946540545463753/227942636289373927649873792*c_01\ 01_6^19 + 2257750576202071769824366458573/4558852725787478552997475\ 84*c_0101_6^17 + 47623035135381309427128332541799/13676558177362435\ 65899242752*c_0101_6^15 + 392687367522371529523162164496573/2735311\ 635472487131798485504*c_0101_6^13 + 518495370718106731123626572128667/1367655817736243565899242752*c_01\ 01_6^11 + 1789553293422445887951051130882649/2735311635472487131798\ 485504*c_0101_6^9 + 1957087242655602311747553589003871/273531163547\ 2487131798485504*c_0101_6^7 + 154853265626625848059951391777869/341\ 913954434060891474810688*c_0101_6^5 + 22619253593213971932517297955341/170956977217030445737405344*c_0101\ _6^3 + 140668201917512129570855546047/42739244304257611434351336*c_\ 0101_6, c_0011_0 - 1, c_0011_2 + 1110320863341885009453/14246414768085870478117112*c_0101_6^2\ 0 - 205733600622993741922747/14246414768085870478117112*c_0101_6^18 - 629602340121531010739707/3561603692021467619529278*c_0101_6^16 - 3335788823871250196365441/3561603692021467619529278*c_0101_6^14 - 38057452037076124660989469/14246414768085870478117112*c_0101_6^12 - 58861602748787443604454649/14246414768085870478117112*c_0101_6^10 - 37609312590902755563439035/14246414768085870478117112*c_0101_6^8 + 1517878384567816547611615/1780801846010733809764639*c_0101_6^6 + 6852330550310989615169089/14246414768085870478117112*c_0101_6^4 - 12280812163600577357606413/7123207384042935239058556*c_0101_6^2 - 1109779047995017698289277/1780801846010733809764639, c_0011_4 - 4061306371962211785101/56985659072343481912468448*c_0101_6^2\ 0 + 361906334368949421784799/28492829536171740956234224*c_0101_6^18 + 7258345885745048054837049/28492829536171740956234224*c_0101_6^16 + 58412527059911234442930835/28492829536171740956234224*c_0101_6^14 + 525722200401852554596444827/56985659072343481912468448*c_0101_6^12 + 363233133866337980179755101/14246414768085870478117112*c_0101_6^10 + 2518801595270156661526504799/56985659072343481912468448*c_0101_6^8 + 2607367573647080296762792927/56985659072343481912468448*c_0101_6^6 + 704890612936604800548497479/28492829536171740956234224*c_0101_6^4 + 9982273011362796930322528/1780801846010733809764639*c_0101_6^2 + 196503181547066328478286/1780801846010733809764639, c_0101_0 - 9590478559241032703321/56985659072343481912468448*c_0101_6^2\ 0 + 881672332506467609095835/28492829536171740956234224*c_0101_6^18 + 12140741525113720489533717/28492829536171740956234224*c_0101_6^16 + 73985554892125467379488151/28492829536171740956234224*c_0101_6^14 + 513825376936980703815570703/56985659072343481912468448*c_0101_6^1\ 2 + 273613035801053757693682629/14246414768085870478117112*c_0101_6\ ^10 + 1417406675786127342936213987/56985659072343481912468448*c_010\ 1_6^8 + 1031112773157314868489551955/56985659072343481912468448*c_0\ 101_6^6 + 193471671143115554858435987/28492829536171740956234224*c_\ 0101_6^4 + 2530435479102143399092830/1780801846010733809764639*c_01\ 01_6^2 - 501968854685745622358126/1780801846010733809764639, c_0101_1 - 215249432189944600994121/113971318144686963824936896*c_0101_\ 6^21 + 19603731764779074308723291/56985659072343481912468448*c_0101\ _6^19 + 306360492740547152558280869/56985659072343481912468448*c_01\ 01_6^17 + 2140184317994122574564172087/56985659072343481912468448*c\ _0101_6^15 + 17545182628267553659075520319/113971318144686963824936\ 896*c_0101_6^13 + 11521514290567831006238803109/2849282953617174095\ 6234224*c_0101_6^11 + 79112100128678511005578979891/113971318144686\ 963824936896*c_0101_6^9 + 86043959229099196631750028131/11397131814\ 4686963824936896*c_0101_6^7 + 27055179736040877720988511523/5698565\ 9072343481912468448*c_0101_6^5 + 242959927694878412087649869/178080\ 1846010733809764639*c_0101_6^3 + 7713356664513373659908341/35616036\ 92021467619529278*c_0101_6, c_0101_3 - 26037232217250969867735/28492829536171740956234224*c_0101_6^\ 21 + 4754570194796355101343861/28492829536171740956234224*c_0101_6^\ 19 + 4495799418062755282590358/1780801846010733809764639*c_0101_6^1\ 7 + 121581030586655945588047155/7123207384042935239058556*c_0101_6^\ 15 + 1921409768193596981192942751/28492829536171740956234224*c_0101\ _6^13 + 4835118640138965518247701143/28492829536171740956234224*c_0\ 101_6^11 + 7873045133978337381812581789/28492829536171740956234224*\ c_0101_6^9 + 1995717510151946164799580401/7123207384042935239058556\ *c_0101_6^7 + 4551173201380404072282278781/284928295361717409562342\ 24*c_0101_6^5 + 568444612364152713000852613/14246414768085870478117\ 112*c_0101_6^3 + 563968831650115867511697/3561603692021467619529278\ *c_0101_6, c_0101_6^22 - 182*c_0101_6^20 - 2874*c_0101_6^18 - 20254*c_0101_6^16 - 83751*c_0101_6^14 - 222052*c_0101_6^12 - 385467*c_0101_6^10 - 425723*c_0101_6^8 - 274790*c_0101_6^6 - 84672*c_0101_6^4 - 4384*c_0101_6^2 - 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB