Magma V2.19-8 Wed Aug 21 2013 01:01:44 on localhost [Seed = 2614984780] Type ? for help. Type -D to quit. Loading file "L14n13205__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13205 geometric_solution 12.47186752 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 1 1 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 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.585053501784 0.550644949052 0 5 2 6 0132 0132 2103 0132 1 0 1 1 0 0 -1 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 0 0 2 -2 -1 0 0 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.796617712844 1.099164340155 1 0 8 7 2103 0132 0132 0132 0 0 1 1 0 -1 1 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 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.897928488660 0.658443765671 9 5 6 0 0132 1230 1230 0132 0 0 1 1 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 0 -1 1 0 0 0 0 -1 1 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.295739397920 0.802769002978 8 10 0 11 0132 0132 0132 0132 0 0 1 1 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 1 -1 0 -1 0 1 0 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.067058064645 0.973597638909 7 1 3 7 1023 0132 3012 3120 1 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 0 0 0 0 0 3 -3 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.681997214752 1.051160089701 11 9 1 3 3012 2103 0132 3012 1 0 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 -2 2 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.236919665864 0.581732792054 5 5 2 9 3120 1023 0132 1023 0 0 1 1 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 1 0 0 -1 3 -1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565622843351 0.669504099241 4 12 10 2 0132 0132 1023 0132 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 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.380282362350 0.709350492984 3 6 12 7 0132 2103 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 -3 2 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.067058064645 0.973597638909 11 4 8 12 0132 0132 1023 0132 0 0 1 1 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 -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.703628583397 1.460185489027 10 12 4 6 0132 1023 0132 1230 0 0 1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.067058064645 0.973597638909 11 8 10 9 1023 0132 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380282362350 0.709350492984 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_12'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_6'], 'c_1010_12' : d['c_0011_6'], 'c_1010_11' : d['c_0101_0'], 'c_1010_10' : d['c_1001_12'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_6'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_7']), 'c_1100_4' : d['c_0110_6'], 'c_1100_7' : negation(d['c_1100_10']), 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : d['c_0110_6'], 'c_1100_3' : d['c_0110_6'], 'c_1100_2' : negation(d['c_1100_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_6'], 'c_1100_10' : d['c_1100_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_12'], 'c_1010_9' : d['c_0101_3'], 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : negation(d['c_1100_10']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : d['c_1100_10'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_6'], 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0101_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_11'], 's_1_12' : negation(d['1']), 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_5, c_0101_7, c_0110_6, c_1001_12, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 32341396109917057039739880320015/13185610456737360982611990037536*c\ _1100_10^11 - 1131143166688053138406961876098223/131856104567373609\ 82611990037536*c_1100_10^10 + 7359364422254200105379518762081949/65\ 92805228368680491305995018768*c_1100_10^9 - 25536964098893219606741492150298853/4395203485579120327537330012512\ *c_1100_10^8 + 62964107162047366418782412776521619/6592805228368680\ 491305995018768*c_1100_10^7 + 51056716120697453351666954789429387/6\ 592805228368680491305995018768*c_1100_10^6 + 203818167398949450144824864925202/137350108924347510235541562891*c_\ 1100_10^5 - 316127732836035656135947475829590077/131856104567373609\ 82611990037536*c_1100_10^4 + 3805969347400402769242729069707733/627\ 886212225588618219618573216*c_1100_10^3 + 77378042030528697345777613796582297/1318561045673736098261199003753\ 6*c_1100_10^2 + 5083464162130215351677909848695641/6592805228368680\ 491305995018768*c_1100_10 - 953735770100970779136681929504719/13185\ 610456737360982611990037536, c_0011_0 - 1, c_0011_10 + 17259007099364332096984821/146977109603368122242420078*c_11\ 00_10^11 - 602733243673610368917369559/146977109603368122242420078*\ c_1100_10^10 + 3911704016808171306003084683/73488554801684061121210\ 039*c_1100_10^9 - 40483590471443931600416613327/1469771096033681222\ 42420078*c_1100_10^8 + 32604520449036429209721441371/73488554801684\ 061121210039*c_1100_10^7 + 28593595372258064991478668696/7348855480\ 1684061121210039*c_1100_10^6 + 7522556286535879451583428407/7348855\ 4801684061121210039*c_1100_10^5 - 168276507357997904748391837087/14\ 6977109603368122242420078*c_1100_10^4 + 33576100529826781801808772143/146977109603368122242420078*c_1100_10\ ^3 + 40137795397550991932485801233/146977109603368122242420078*c_11\ 00_10^2 + 5299446113677220751270520537/73488554801684061121210039*c\ _1100_10 - 473223688910759395855157283/146977109603368122242420078, c_0011_3 + 3292302189928539420596732/73488554801684061121210039*c_1100_\ 10^11 - 115090994057799448818464856/73488554801684061121210039*c_11\ 00_10^10 + 1496446687481558833453120201/73488554801684061121210039*\ c_1100_10^9 - 7776795807298351665729820734/734885548016840611212100\ 39*c_1100_10^8 + 12737428165617366563085168755/73488554801684061121\ 210039*c_1100_10^7 + 10325171986488225502539853258/7348855480168406\ 1121210039*c_1100_10^6 + 2724383822155236970527954811/7348855480168\ 4061121210039*c_1100_10^5 - 31981566232943624051447938678/734885548\ 01684061121210039*c_1100_10^4 + 7658121799462996182253456318/734885\ 54801684061121210039*c_1100_10^3 + 6896542803833105920030352396/73488554801684061121210039*c_1100_10^2 + 1938493512183872724681953901/73488554801684061121210039*c_1100_10 - 140941754013591631479966520/73488554801684061121210039, c_0011_6 + 1026915683554365035785374/73488554801684061121210039*c_1100_\ 10^11 - 35945639076700573219960791/73488554801684061121210039*c_110\ 0_10^10 + 468403413818096155881342869/73488554801684061121210039*c_\ 1100_10^9 - 2446864858100609824229636154/73488554801684061121210039\ *c_1100_10^8 + 4080969507411323140788154365/73488554801684061121210\ 039*c_1100_10^7 + 3056713451291684927343178985/73488554801684061121\ 210039*c_1100_10^6 + 666307458106960214874224546/734885548016840611\ 21210039*c_1100_10^5 - 10032576304248843212285907667/73488554801684\ 061121210039*c_1100_10^4 + 2883479936236521257215005537/73488554801\ 684061121210039*c_1100_10^3 + 2132911331726602470001065969/73488554\ 801684061121210039*c_1100_10^2 + 411237073112534391914645466/734885\ 54801684061121210039*c_1100_10 - 100426449850839534222172315/734885\ 54801684061121210039, c_0101_0 - 1, c_0101_1 + 1, c_0101_11 + 1009745858567010801830596/73488554801684061121210039*c_1100\ _10^11 - 35473825190725547670219796/73488554801684061121210039*c_11\ 00_10^10 + 465059791887716144716608848/73488554801684061121210039*c\ _1100_10^9 - 2463705739031744336682873338/7348855480168406112121003\ 9*c_1100_10^8 + 4305645535627464544537290011/7348855480168406112121\ 0039*c_1100_10^7 + 2565607953362283022389349654/7348855480168406112\ 1210039*c_1100_10^6 + 169927836728152935069707977/73488554801684061\ 121210039*c_1100_10^5 - 10071582565052633975320512394/7348855480168\ 4061121210039*c_1100_10^4 + 3931218282203486510944075904/7348855480\ 1684061121210039*c_1100_10^3 + 1971003798840123336105937063/7348855\ 4801684061121210039*c_1100_10^2 + 204364833255811829286248797/73488\ 554801684061121210039*c_1100_10 - 89293261997807107066807916/734885\ 54801684061121210039, c_0101_3 - 693903694164403863747028/73488554801684061121210039*c_1100_1\ 0^11 + 24190436794590496230583188/73488554801684061121210039*c_1100\ _10^10 - 313055107746218501230872635/73488554801684061121210039*c_1\ 100_10^9 + 1608364357847141168091274022/73488554801684061121210039*\ c_1100_10^8 - 2521781718088346954105946937/734885548016840611212100\ 39*c_1100_10^7 - 2465205807836182021284650926/734885548016840611212\ 10039*c_1100_10^6 - 711006715515866776669677828/7348855480168406112\ 1210039*c_1100_10^5 + 6675432943879533774470400932/7348855480168406\ 1121210039*c_1100_10^4 - 1023142089437002560810287459/7348855480168\ 4061121210039*c_1100_10^3 - 1815577382515586451731249374/7348855480\ 1684061121210039*c_1100_10^2 - 416917796403852073458824822/73488554\ 801684061121210039*c_1100_10 + 11215779116439517048593767/734885548\ 01684061121210039, c_0101_5 - 2731536398103110049474158/73488554801684061121210039*c_1100_\ 10^11 + 95427224366024790231586000/73488554801684061121210039*c_110\ 0_10^10 - 1239414993381773121345993557/73488554801684061121210039*c\ _1100_10^9 + 6423765485201392227404807964/7348855480168406112121003\ 9*c_1100_10^8 - 10413901678047272462202045809/734885548016840611212\ 10039*c_1100_10^7 - 8853400688717563058632132254/734885548016840611\ 21210039*c_1100_10^6 - 2380512843797799764577030270/734885548016840\ 61121210039*c_1100_10^5 + 26580013147039254807235590425/73488554801\ 684061121210039*c_1100_10^4 - 5666859691540258164864237485/73488554\ 801684061121210039*c_1100_10^3 - 6069781390927488028679837128/73488\ 554801684061121210039*c_1100_10^2 - 1771276840640271459293331134/73488554801684061121210039*c_1100_10 + 42318471134078422287659425/73488554801684061121210039, c_0101_7 - 3292302189928539420596732/73488554801684061121210039*c_1100_\ 10^11 + 115090994057799448818464856/73488554801684061121210039*c_11\ 00_10^10 - 1496446687481558833453120201/73488554801684061121210039*\ c_1100_10^9 + 7776795807298351665729820734/734885548016840611212100\ 39*c_1100_10^8 - 12737428165617366563085168755/73488554801684061121\ 210039*c_1100_10^7 - 10325171986488225502539853258/7348855480168406\ 1121210039*c_1100_10^6 - 2724383822155236970527954811/7348855480168\ 4061121210039*c_1100_10^5 + 31981566232943624051447938678/734885548\ 01684061121210039*c_1100_10^4 - 7658121799462996182253456318/734885\ 54801684061121210039*c_1100_10^3 - 6896542803833105920030352396/73488554801684061121210039*c_1100_10^2 - 1938493512183872724681953901/73488554801684061121210039*c_1100_10 + 67453199211907570358756481/73488554801684061121210039, c_0110_6 + 3758452081657475085259532/73488554801684061121210039*c_1100_\ 10^11 - 131372863442725363451546791/73488554801684061121210039*c_11\ 00_10^10 + 1707818407199869277227336426/73488554801684061121210039*\ c_1100_10^9 - 8870630343302002051634444118/734885548016840611212100\ 39*c_1100_10^8 + 14494871185458595602990200174/73488554801684061121\ 210039*c_1100_10^7 + 11910114140009247985975311239/7348855480168406\ 1121210039*c_1100_10^6 + 3046820301904759979451254816/7348855480168\ 4061121210039*c_1100_10^5 - 36612589451288098019521498092/734885548\ 01684061121210039*c_1100_10^4 + 8550339627776779422079243022/734885\ 54801684061121210039*c_1100_10^3 + 8202692722654090498680903097/73488554801684061121210039*c_1100_10^2 + 2182513913752805851207976600/73488554801684061121210039*c_1100_10 - 142744920984917956509831740/73488554801684061121210039, c_1001_12 + 1026915683554365035785374/73488554801684061121210039*c_1100\ _10^11 - 35945639076700573219960791/73488554801684061121210039*c_11\ 00_10^10 + 468403413818096155881342869/73488554801684061121210039*c\ _1100_10^9 - 2446864858100609824229636154/7348855480168406112121003\ 9*c_1100_10^8 + 4080969507411323140788154365/7348855480168406112121\ 0039*c_1100_10^7 + 3056713451291684927343178985/7348855480168406112\ 1210039*c_1100_10^6 + 666307458106960214874224546/73488554801684061\ 121210039*c_1100_10^5 - 10032576304248843212285907667/7348855480168\ 4061121210039*c_1100_10^4 + 2883479936236521257215005537/7348855480\ 1684061121210039*c_1100_10^3 + 2132911331726602470001065969/7348855\ 4801684061121210039*c_1100_10^2 + 411237073112534391914645466/73488\ 554801684061121210039*c_1100_10 - 100426449850839534222172315/73488\ 554801684061121210039, c_1100_10^12 - 35*c_1100_10^11 + 456*c_1100_10^10 - 2381*c_1100_10^9 + 3964*c_1100_10^8 + 2998*c_1100_10^7 + 652*c_1100_10^6 - 9779*c_1100_10^5 + 2717*c_1100_10^4 + 2089*c_1100_10^3 + 448*c_1100_10^2 - 61*c_1100_10 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.330 seconds, Total memory usage: 32.09MB