Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 4004475393] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0720 geometric_solution 4.67114945 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0321 0132 0132 0 0 0 0 0 -1 0 1 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 1 -1 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.351757922437 0.647797250271 0 2 3 0 0132 2103 3012 0321 0 0 0 0 0 -1 0 1 0 0 -1 1 -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 1 -1 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.771846255893 0.771316610732 4 1 4 0 0132 2103 2310 0132 0 0 0 0 0 -1 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 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.785108120214 1.060876252251 5 1 0 5 0132 1230 0132 1023 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 -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 1.146117924764 0.813699976454 2 2 6 6 0132 3201 0132 3201 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.356898771244 0.185110893741 3 5 5 3 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.709947817425 0.290060245104 6 4 6 4 2310 2310 3201 0132 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 0 0 0 0 0 0 0 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.532189831001 0.373708612180 ==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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], '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_0011_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_1001_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_6, c_0101_1, c_0101_2, c_0101_5, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 833881463228968/3211818867855*c_1001_0^18 + 324014665578911/3211818867855*c_1001_0^17 + 1048737626372186/1070606289285*c_1001_0^16 - 3579948575802953/3211818867855*c_1001_0^15 - 1889056412515214/642363773571*c_1001_0^14 + 2304167090797669/247062989835*c_1001_0^13 + 3984940070899468/642363773571*c_1001_0^12 - 44487656144728207/3211818867855*c_1001_0^11 - 19877914964982388/3211818867855*c_1001_0^10 + 94966030541329/23791250873*c_1001_0^9 + 8065780345166314/1070606289285*c_1001_0^8 - 274823914714892/356868763095*c_1001_0^7 - 65001398525524748/3211818867855*c_1001_0^6 + 8231768630347343/3211818867855*c_1001_0^5 + 2045692008531491/118956254365*c_1001_0^4 - 31453198256518/23791250873*c_1001_0^3 - 15362907164674921/3211818867855*c_1001_0^2 + 65421880429349/356868763095*c_1001_0 + 1318058836128707/3211818867855, c_0011_0 - 1, c_0011_2 + 92836662870/23791250873*c_1001_0^18 + 127948061972/71373752619*c_1001_0^17 + 1060771738099/71373752619*c_1001_0^16 - 1118295008551/71373752619*c_1001_0^15 - 3222908853325/71373752619*c_1001_0^14 + 250685117894/1830096221*c_1001_0^13 + 2453702291490/23791250873*c_1001_0^12 - 14380624551673/71373752619*c_1001_0^11 - 7586650870348/71373752619*c_1001_0^10 + 3976973585419/71373752619*c_1001_0^9 + 8188386898391/71373752619*c_1001_0^8 - 150323471787/23791250873*c_1001_0^7 - 21670933128847/71373752619*c_1001_0^6 + 1176935943982/71373752619*c_1001_0^5 + 18680017752971/71373752619*c_1001_0^4 - 387683153029/71373752619*c_1001_0^3 - 5357990317538/71373752619*c_1001_0^2 + 175182516610/71373752619*c_1001_0 + 458270925028/71373752619, c_0011_6 + 790487717606/71373752619*c_1001_0^18 + 100355088021/23791250873*c_1001_0^17 + 970127518168/23791250873*c_1001_0^16 - 3456042049730/71373752619*c_1001_0^15 - 9206743523566/71373752619*c_1001_0^14 + 735954864703/1830096221*c_1001_0^13 + 19466512522679/71373752619*c_1001_0^12 - 44685181872401/71373752619*c_1001_0^11 - 6816861772482/23791250873*c_1001_0^10 + 5132434089022/23791250873*c_1001_0^9 + 24561850986713/71373752619*c_1001_0^8 - 2875440834358/71373752619*c_1001_0^7 - 21092294197524/23791250873*c_1001_0^6 + 2704370281417/23791250873*c_1001_0^5 + 57558114918244/71373752619*c_1001_0^4 - 1460506180113/23791250873*c_1001_0^3 - 18285184524730/71373752619*c_1001_0^2 + 660123940211/71373752619*c_1001_0 + 1785232141657/71373752619, c_0101_1 - 458270925028/71373752619*c_1001_0^18 - 179760936418/71373752619*c_1001_0^17 - 1705135638140/71373752619*c_1001_0^16 + 659104529385/23791250873*c_1001_0^15 + 5297497941841/71373752619*c_1001_0^14 - 423404248183/1830096221*c_1001_0^13 - 11303742953422/71373752619*c_1001_0^12 + 8411224316854/23791250873*c_1001_0^11 + 11740818174923/71373752619*c_1001_0^10 - 8044921795376/71373752619*c_1001_0^9 - 13895592490673/71373752619*c_1001_0^8 + 1314323022971/71373752619*c_1001_0^7 + 36210703586879/71373752619*c_1001_0^6 - 4256637977783/71373752619*c_1001_0^5 - 10758947194354/23791250873*c_1001_0^4 + 2182264451963/71373752619*c_1001_0^3 + 3231425732529/23791250873*c_1001_0^2 - 105670047410/23791250873*c_1001_0 - 812733086065/71373752619, c_0101_2 + 285345823/17928599*c_1001_0^18 + 145020242/17928599*c_1001_0^17 + 1084224279/17928599*c_1001_0^16 - 1092854353/17928599*c_1001_0^15 - 3398096109/17928599*c_1001_0^14 + 762243845/1379123*c_1001_0^13 + 8084405288/17928599*c_1001_0^12 - 14667490373/17928599*c_1001_0^11 - 8559977950/17928599*c_1001_0^10 + 3988398001/17928599*c_1001_0^9 + 8662960304/17928599*c_1001_0^8 - 24604890/17928599*c_1001_0^7 - 22445782777/17928599*c_1001_0^6 + 289625758/17928599*c_1001_0^5 + 19661064205/17928599*c_1001_0^4 + 350613039/17928599*c_1001_0^3 - 5725537390/17928599*c_1001_0^2 - 101343011/17928599*c_1001_0 + 496263164/17928599, c_0101_5 + 665407161019/71373752619*c_1001_0^18 + 102569666130/23791250873*c_1001_0^17 + 826804121921/23791250873*c_1001_0^16 - 2667366080992/71373752619*c_1001_0^15 - 7949416774214/71373752619*c_1001_0^14 + 606375805900/1830096221*c_1001_0^13 + 18022486054321/71373752619*c_1001_0^12 - 36188357376523/71373752619*c_1001_0^11 - 6228368423900/23791250873*c_1001_0^10 + 3769385951535/23791250873*c_1001_0^9 + 20014140563113/71373752619*c_1001_0^8 - 766060901666/71373752619*c_1001_0^7 - 17723656347624/23791250873*c_1001_0^6 + 1145036282811/23791250873*c_1001_0^5 + 47745040468178/71373752619*c_1001_0^4 - 642527943807/23791250873*c_1001_0^3 - 14124408731078/71373752619*c_1001_0^2 + 349445153602/71373752619*c_1001_0 + 1199630258474/71373752619, c_1001_0^19 + c_1001_0^18 + 4*c_1001_0^17 - 2*c_1001_0^16 - 14*c_1001_0^15 + 29*c_1001_0^14 + 46*c_1001_0^13 - 39*c_1001_0^12 - 57*c_1001_0^11 + c_1001_0^10 + 39*c_1001_0^9 + 15*c_1001_0^8 - 80*c_1001_0^7 - 38*c_1001_0^6 + 73*c_1001_0^5 + 36*c_1001_0^4 - 22*c_1001_0^3 - 11*c_1001_0^2 + 2*c_1001_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB