Magma V2.19-8 Tue Aug 20 2013 16:18:17 on localhost [Seed = 1309660026] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2496 geometric_solution 5.81907878 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 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 0 1 -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 1.097645135382 0.631171752595 0 1 1 0 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 -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.640218187816 0.307468858633 4 0 6 5 0132 0132 0132 0132 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.646845849949 1.221460997334 6 5 4 0 1023 2310 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 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.646845849949 1.221460997334 2 4 4 3 0132 3201 2310 0132 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 1 0 -1 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.180639918393 0.492801721414 5 5 2 3 1302 2031 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.194795695925 0.488749862316 6 3 6 2 2031 1023 1302 0132 0 0 0 0 0 0 -1 1 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 0.549427026016 0.759324434768 ==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' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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_0'], 'c_0011_6' : 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' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0110_5']), 'c_1001_3' : negation(d['c_0011_5']), '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_0101_0'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 743799864807661/95641242247168*c_0110_5^12 - 4602678914918375/47820621123584*c_0110_5^11 + 38203970038449533/95641242247168*c_0110_5^10 - 61720413222240607/95641242247168*c_0110_5^9 + 1364028254617511/5977577640448*c_0110_5^8 + 78105598350504745/95641242247168*c_0110_5^7 - 144611815919827375/95641242247168*c_0110_5^6 + 61414693287031403/95641242247168*c_0110_5^5 + 69292129617428741/95641242247168*c_0110_5^4 - 2584338217773849/2988788820224*c_0110_5^3 + 135839951735237/1648986935296*c_0110_5^2 + 12017086039515051/95641242247168*c_0110_5 + 776129390678187/95641242247168, c_0011_0 - 1, c_0011_3 + 1422972481/11674956329*c_0110_5^12 - 18793807341/11674956329*c_0110_5^11 + 87926961248/11674956329*c_0110_5^10 - 181113363282/11674956329*c_0110_5^9 + 147746569350/11674956329*c_0110_5^8 + 109116727130/11674956329*c_0110_5^7 - 416381057412/11674956329*c_0110_5^6 + 381805172664/11674956329*c_0110_5^5 + 16389562032/11674956329*c_0110_5^4 - 297505073093/11674956329*c_0110_5^3 + 6842171309/402584701*c_0110_5^2 - 9066314719/11674956329*c_0110_5 - 23706850837/11674956329, c_0011_5 + 277903118/11674956329*c_0110_5^12 - 5381212884/11674956329*c_0110_5^11 + 38281521669/11674956329*c_0110_5^10 - 122607922416/11674956329*c_0110_5^9 + 169596119934/11674956329*c_0110_5^8 - 32939414318/11674956329*c_0110_5^7 - 247266607035/11674956329*c_0110_5^6 + 399090686779/11674956329*c_0110_5^5 - 147732258649/11674956329*c_0110_5^4 - 190065422495/11674956329*c_0110_5^3 + 7382778824/402584701*c_0110_5^2 - 31675696155/11674956329*c_0110_5 - 25893434053/11674956329, c_0101_0 - 1547079227/11674956329*c_0110_5^12 + 18848731217/11674956329*c_0110_5^11 - 75581078157/11674956329*c_0110_5^10 + 110721591959/11674956329*c_0110_5^9 - 11084960863/11674956329*c_0110_5^8 - 187553334349/11674956329*c_0110_5^7 + 283843321674/11674956329*c_0110_5^6 - 74753127910/11674956329*c_0110_5^5 - 176571726121/11674956329*c_0110_5^4 + 149293348794/11674956329*c_0110_5^3 + 59170476/402584701*c_0110_5^2 - 9559014057/11674956329*c_0110_5 - 11666473184/11674956329, c_0101_1 - 3888619783/11674956329*c_0110_5^12 + 50086766677/11674956329*c_0110_5^11 - 223684067238/11674956329*c_0110_5^10 + 419704782536/11674956329*c_0110_5^9 - 262685198692/11674956329*c_0110_5^8 - 372632177540/11674956329*c_0110_5^7 + 978634170748/11674956329*c_0110_5^6 - 700435544850/11674956329*c_0110_5^5 - 218756733235/11674956329*c_0110_5^4 + 626017530820/11674956329*c_0110_5^3 - 9322985580/402584701*c_0110_5^2 - 33824759460/11674956329*c_0110_5 + 15927836468/11674956329, c_0101_2 + 1021452394/11674956329*c_0110_5^12 - 12860770256/11674956329*c_0110_5^11 + 54870416508/11674956329*c_0110_5^10 - 91776724593/11674956329*c_0110_5^9 + 27224367141/11674956329*c_0110_5^8 + 146072135116/11674956329*c_0110_5^7 - 260573828843/11674956329*c_0110_5^6 + 113997683731/11674956329*c_0110_5^5 + 153362360766/11674956329*c_0110_5^4 - 215023399814/11674956329*c_0110_5^3 + 1744585869/402584701*c_0110_5^2 + 35332148923/11674956329*c_0110_5 - 11834630076/11674956329, c_0110_5^13 - 13*c_0110_5^12 + 59*c_0110_5^11 - 114*c_0110_5^10 + 77*c_0110_5^9 + 93*c_0110_5^8 - 262*c_0110_5^7 + 196*c_0110_5^6 + 56*c_0110_5^5 - 175*c_0110_5^4 + 74*c_0110_5^3 + 17*c_0110_5^2 - 10*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB