Magma V2.19-8 Tue Aug 20 2013 16:18:28 on localhost [Seed = 2480017059] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2663 geometric_solution 5.92999996 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 -1 -1 2 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 -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 1.415943683337 1.023386200138 0 3 4 0 0132 0132 0132 3201 0 0 0 0 0 1 0 -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 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.103325693540 0.704014508307 0 4 3 0 3201 1023 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -2 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 -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.674933579584 0.614641383372 4 1 2 5 2310 0132 1023 0132 0 0 0 0 0 -1 0 1 -1 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 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.176941338839 1.048427257665 2 5 3 1 1023 2310 3201 0132 0 0 0 0 0 -1 1 0 0 0 0 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 -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.176941338839 1.048427257665 6 6 3 4 0132 2310 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -1 -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 0 0 -1 -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.119525149369 0.595712747979 5 6 6 5 0132 3201 2310 3201 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 -1 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 -0.992379816059 0.813044674621 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_2'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], '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' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 239720741904633498722178304/7635163954859867108027259*c_0101_6^22 + 3302859965883435579596588896/7635163954859867108027259*c_0101_6^20 - 643294917121299350866878512/7635163954859867108027259*c_0101_6^18 - 112111889794527539946129579664/7635163954859867108027259*c_0101_6^1\ 6 - 87655616245340130871875363032/7635163954859867108027259*c_0101_\ 6^14 - 175698654049163526935044353394/7635163954859867108027259*c_0\ 101_6^12 - 6477383886232832208277586681/2545054651619955702675753*c\ _0101_6^10 - 1924939175031165101632222947/848351550539985234225251*\ c_0101_6^8 + 16634345713329124145080392241/509010930323991140535150\ 6*c_0101_6^6 + 12129514515374928607253132188/7635163954859867108027\ 259*c_0101_6^4 + 16721884652427557919387043/50901093032399114053515\ 06*c_0101_6^2 - 269497635991849146073353811/76351639548598671080272\ 59, c_0011_0 - 1, c_0011_2 - 2477081051427458738212256/848351550539985234225251*c_0101_6^\ 22 - 35158520842811590501874624/848351550539985234225251*c_0101_6^2\ 0 - 7888024941412310342699728/848351550539985234225251*c_0101_6^18 + 1156163611695900544049623312/848351550539985234225251*c_0101_6^16 + 1384957166689138054975618822/848351550539985234225251*c_0101_6^14 + 2355649008352262587433245372/848351550539985234225251*c_0101_6^12 + 1188131074233270956763746701/848351550539985234225251*c_0101_6^10 + 650575490525160044506434654/848351550539985234225251*c_0101_6^8 + 75148430371401223401916919/848351550539985234225251*c_0101_6^6 - 79600660026316781697975279/848351550539985234225251*c_0101_6^4 - 6129498268194767827048649/848351550539985234225251*c_0101_6^2 + 1327852031680880184773324/848351550539985234225251, c_0011_5 + 8824130721250471020320896/848351550539985234225251*c_0101_6^\ 22 + 120462598292380248841283104/848351550539985234225251*c_0101_6^\ 20 - 38001499706161152420552448/848351550539985234225251*c_0101_6^1\ 8 - 4109212477278093937038356944/848351550539985234225251*c_0101_6^\ 16 - 2705432653264877901510957128/848351550539985234225251*c_0101_6\ ^14 - 6549322737701809775418844622/848351550539985234225251*c_0101_\ 6^12 - 348768139176892870969430304/848351550539985234225251*c_0101_\ 6^10 - 1452132346568088242093071451/848351550539985234225251*c_0101\ _6^8 + 710949524330660563660854454/848351550539985234225251*c_0101_\ 6^6 + 72682561886661548561978690/848351550539985234225251*c_0101_6^\ 4 - 40055029642957287512851915/848351550539985234225251*c_0101_6^2 + 2307567515614957419639531/848351550539985234225251, c_0101_0 - 37720328080109065547721632/848351550539985234225251*c_0101_6\ ^23 - 516207360620868411718869312/848351550539985234225251*c_0101_6\ ^21 + 145019813289776489034659888/848351550539985234225251*c_0101_6\ ^19 + 17569541830836370417900560656/848351550539985234225251*c_0101\ _6^17 + 12156028202310177954823806118/848351550539985234225251*c_01\ 01_6^15 + 28436189522812941039816862948/848351550539985234225251*c_\ 0101_6^13 + 2465135455014551610873151693/848351550539985234225251*c\ _0101_6^11 + 6325996294719962578941967446/848351550539985234225251*\ c_0101_6^9 - 2833313482502986299294305281/848351550539985234225251*\ c_0101_6^7 - 407459453221601568308477047/848351550539985234225251*c\ _0101_6^5 + 154407006724666392612694715/848351550539985234225251*c_\ 0101_6^3 - 5253971338245984693622024/848351550539985234225251*c_010\ 1_6, c_0101_1 + 45062256312639944380837120/848351550539985234225251*c_0101_6\ ^23 + 625753864533438400503283328/848351550539985234225251*c_0101_6\ ^21 - 47203265383446757499815424/848351550539985234225251*c_0101_6^\ 19 - 20997697602147049139538449024/848351550539985234225251*c_0101_\ 6^17 - 18748338675878174669112865840/848351550539985234225251*c_010\ 1_6^15 - 37780233866977805865799001240/848351550539985234225251*c_0\ 101_6^13 - 10608166490622085642253141552/848351550539985234225251*c\ _0101_6^11 - 9783369656332348809455915912/848351550539985234225251*\ c_0101_6^9 + 1348058152525360342170867844/848351550539985234225251*\ c_0101_6^7 + 721892629838380809631599076/848351550539985234225251*c\ _0101_6^5 - 50731649207246195638915060/848351550539985234225251*c_0\ 101_6^3 - 3338266282033047180487106/848351550539985234225251*c_0101\ _6, c_0101_3 + 22469210441181607752708608/848351550539985234225251*c_0101_6\ ^23 + 309227141774884831390747424/848351550539985234225251*c_0101_6\ ^21 - 62090333460512323871967680/848351550539985234225251*c_0101_6^\ 19 - 10464430206586177233642313264/848351550539985234225251*c_0101_\ 6^17 - 8048325666970372255812516272/848351550539985234225251*c_0101\ _6^15 - 17765557187709095880579544110/848351550539985234225251*c_01\ 01_6^13 - 3036827387966314002736236308/848351550539985234225251*c_0\ 101_6^11 - 4388963971387945408514944805/848351550539985234225251*c_\ 0101_6^9 + 1217319406328733936948095282/848351550539985234225251*c_\ 0101_6^7 + 229977567462810503720312681/848351550539985234225251*c_0\ 101_6^5 - 68160784415903656614678421/848351550539985234225251*c_010\ 1_6^3 + 5390858004019991148709077/848351550539985234225251*c_0101_6\ , c_0101_6^24 + 14*c_0101_6^22 + 1/2*c_0101_6^20 - 933/2*c_0101_6^18 - 7503/16*c_0101_6^16 - 6975/8*c_0101_6^14 - 10193/32*c_0101_6^12 - 3507/16*c_0101_6^10 + 381/32*c_0101_6^8 + 827/32*c_0101_6^6 - 7/32*c_0101_6^4 - 5/8*c_0101_6^2 + 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB