Magma V2.19-8 Tue Aug 20 2013 16:18:33 on localhost [Seed = 3869735892] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2734 geometric_solution 5.97932150 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -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 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.783255423984 1.155704684037 0 3 5 4 0132 0132 0132 0132 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 -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.749802270172 0.830354909464 3 0 4 5 2310 0132 3201 2310 0 0 0 0 0 0 1 -1 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 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.749802270172 0.830354909464 3 1 2 3 3201 0132 3201 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 -0.184863696147 0.733531470282 2 6 1 6 2310 0132 0132 1023 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 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.951136674801 0.431819023124 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 -1 0 1 0 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.709162945944 0.696701972816 6 4 6 4 2031 0132 1302 1023 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 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.616926122912 0.181627967232 ==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_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' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], '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_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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 23274526694093266/155367858545809*c_0110_6^17 + 11131873275890589/22195408363687*c_0110_6^16 - 27018898752843561/22195408363687*c_0110_6^15 + 78687697370457680/22195408363687*c_0110_6^14 + 1517839969286113254/155367858545809*c_0110_6^13 + 419215773590640181/155367858545809*c_0110_6^12 + 2496218729634120527/155367858545809*c_0110_6^11 - 159677474841179676/155367858545809*c_0110_6^10 - 17792010772940780388/155367858545809*c_0110_6^9 - 1804425379121834396/11951373734293*c_0110_6^8 - 3774471575461887589/155367858545809*c_0110_6^7 + 9037341176717537380/155367858545809*c_0110_6^6 + 3588737763562781818/155367858545809*c_0110_6^5 - 68701965721885870/11951373734293*c_0110_6^4 + 189194517107275196/155367858545809*c_0110_6^3 + 504579103120905598/155367858545809*c_0110_6^2 - 29353730383447695/155367858545809*c_0110_6 - 60848393223516291/155367858545809, c_0011_0 - 1, c_0011_4 + 6805520815725487/1569044637402181*c_0110_6^17 - 22874358209504793/1569044637402181*c_0110_6^16 + 54837525883886782/1569044637402181*c_0110_6^15 - 158415017794309671/1569044637402181*c_0110_6^14 - 451580945971406170/1569044637402181*c_0110_6^13 - 87914962386131648/1569044637402181*c_0110_6^12 - 709496905446869791/1569044637402181*c_0110_6^11 + 51531666302519241/1569044637402181*c_0110_6^10 + 5296915316264315951/1569044637402181*c_0110_6^9 + 6685628670832788509/1569044637402181*c_0110_6^8 + 550954308556562539/1569044637402181*c_0110_6^7 - 2932691284906412602/1569044637402181*c_0110_6^6 - 923816273570847486/1569044637402181*c_0110_6^5 + 366579644252448467/1569044637402181*c_0110_6^4 - 61852466888435648/1569044637402181*c_0110_6^3 - 140902012712998851/1569044637402181*c_0110_6^2 + 23249389816335667/1569044637402181*c_0110_6 + 19839033327875219/1569044637402181, c_0101_0 + 8534645700665144/1569044637402181*c_0110_6^17 - 31246745158719866/1569044637402181*c_0110_6^16 + 79726441243057736/1569044637402181*c_0110_6^15 - 228792040931289770/1569044637402181*c_0110_6^14 - 481264143818593376/1569044637402181*c_0110_6^13 - 12436173922020905/1569044637402181*c_0110_6^12 - 963685807803373990/1569044637402181*c_0110_6^11 + 374564406187842601/1569044637402181*c_0110_6^10 + 6339039743793059603/1569044637402181*c_0110_6^9 + 6604213025430293831/1569044637402181*c_0110_6^8 - 148633589152270155/1569044637402181*c_0110_6^7 - 2729445044002392871/1569044637402181*c_0110_6^6 - 576274673434768015/1569044637402181*c_0110_6^5 + 253090262861401483/1569044637402181*c_0110_6^4 - 149056409334231493/1569044637402181*c_0110_6^3 - 105779996269077775/1569044637402181*c_0110_6^2 + 23628921884197979/1569044637402181*c_0110_6 + 11581361305361816/1569044637402181, c_0101_1 - 4629292393493791/1569044637402181*c_0110_6^17 + 17410123962123631/1569044637402181*c_0110_6^16 - 45588430438985731/1569044637402181*c_0110_6^15 + 131521305289904148/1569044637402181*c_0110_6^14 + 239225668583015610/1569044637402181*c_0110_6^13 + 8193473782469009/1569044637402181*c_0110_6^12 + 530158139968168296/1569044637402181*c_0110_6^11 - 266872202397051561/1569044637402181*c_0110_6^10 - 3330050087134570119/1569044637402181*c_0110_6^9 - 3360167117247035425/1569044637402181*c_0110_6^8 + 73610207896454927/1569044637402181*c_0110_6^7 + 1387258494920533188/1569044637402181*c_0110_6^6 + 299114550846288793/1569044637402181*c_0110_6^5 - 146989494310810628/1569044637402181*c_0110_6^4 + 68224471136306569/1569044637402181*c_0110_6^3 + 60517091936725844/1569044637402181*c_0110_6^2 - 9501406764397574/1569044637402181*c_0110_6 - 5941919735786923/1569044637402181, c_0101_2 + 7220008371234405/1569044637402181*c_0110_6^17 - 25263035430241587/1569044637402181*c_0110_6^16 + 62142490350065907/1569044637402181*c_0110_6^15 - 178385282242268946/1569044637402181*c_0110_6^14 - 450358733253649173/1569044637402181*c_0110_6^13 - 42256936864810128/1569044637402181*c_0110_6^12 - 779920486784414513/1569044637402181*c_0110_6^11 + 177554837478560382/1569044637402181*c_0110_6^10 + 5536979000531460163/1569044637402181*c_0110_6^9 + 6346578852743416096/1569044637402181*c_0110_6^8 + 111713940769907835/1569044637402181*c_0110_6^7 - 2827134716182931672/1569044637402181*c_0110_6^6 - 738947623271261597/1569044637402181*c_0110_6^5 + 348332592656000599/1569044637402181*c_0110_6^4 - 85125023535255051/1569044637402181*c_0110_6^3 - 124527179894999706/1569044637402181*c_0110_6^2 + 25424733574891684/1569044637402181*c_0110_6 + 17734548363562055/1569044637402181, c_0101_3 - 11859002766349288/1569044637402181*c_0110_6^17 + 42919666952221152/1569044637402181*c_0110_6^16 - 110807542722471042/1569044637402181*c_0110_6^15 + 322280452092050947/1569044637402181*c_0110_6^14 + 653837900378206585/1569044637402181*c_0110_6^13 + 128838058550407213/1569044637402181*c_0110_6^12 + 1344641070224542302/1569044637402181*c_0110_6^11 - 473594115286042446/1569044637402181*c_0110_6^10 - 8594217771594378925/1569044637402181*c_0110_6^9 - 9909845497246670258/1569044637402181*c_0110_6^8 - 1115382509998998551/1569044637402181*c_0110_6^7 + 3558486762925350375/1569044637402181*c_0110_6^6 + 1235164081981169546/1569044637402181*c_0110_6^5 - 263544996374964598/1569044637402181*c_0110_6^4 + 157052958830873413/1569044637402181*c_0110_6^3 + 191146091097265972/1569044637402181*c_0110_6^2 - 9847448917243928/1569044637402181*c_0110_6 - 18278787299424673/1569044637402181, c_0110_6^18 - 3*c_0110_6^17 + 7*c_0110_6^16 - 21*c_0110_6^15 - 73*c_0110_6^14 - 42*c_0110_6^13 - 115*c_0110_6^12 - 30*c_0110_6^11 + 762*c_0110_6^10 + 1278*c_0110_6^9 + 539*c_0110_6^8 - 314*c_0110_6^7 - 295*c_0110_6^6 - 22*c_0110_6^5 + 6*c_0110_6^4 - 24*c_0110_6^3 - 7*c_0110_6^2 + 3*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB