Magma V2.19-8 Wed Aug 21 2013 01:06:45 on localhost [Seed = 3220809540] Type ? for help. Type -D to quit. Loading file "L14n32837__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32837 geometric_solution 11.72884924 oriented_manifold CS_known -0.0000000000000007 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 0 1 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 -1 1 0 0 0 0 0 -1 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386134086730 1.109387901951 0 5 2 6 0132 0132 1023 0132 1 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.267139528782 0.662428262906 7 0 1 8 0132 0132 1023 0132 1 1 1 0 0 0 0 0 -1 0 1 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 1 0 -2 1 -2 2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.057497499456 1.792713471732 5 8 9 0 2103 1023 0132 0132 1 1 1 1 0 0 0 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 -1 0 1 -2 0 2 0 2 0 0 -2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222342042026 0.988716589622 7 5 0 6 3012 1302 0132 1230 1 1 1 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 1 -1 0 0 0 0 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.136930530414 1.095212020748 7 1 3 4 1023 0132 2103 2031 1 1 0 1 0 -1 1 0 1 0 -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 2 -2 0 -1 0 2 -1 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.499307505349 1.086320626752 4 10 1 11 3012 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440172481732 1.017027962568 2 5 12 4 0132 1023 0132 1230 1 1 0 1 0 -1 1 0 1 0 -1 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 1 -1 0 -1 0 1 0 1 -2 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.243628167573 0.499553566365 3 10 2 11 1023 1302 0132 1023 1 1 1 1 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 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.166401136601 1.267323843181 12 10 11 3 1023 1230 1302 0132 1 1 1 1 0 0 0 0 0 0 -1 1 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 2 -2 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.321606953852 0.338150185935 12 6 9 8 2310 0132 3012 2031 1 1 1 1 0 0 0 0 0 0 0 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 -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.030572322233 0.909184736749 9 12 6 8 2031 3012 0132 1023 1 1 1 1 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445532574930 0.324278076970 11 9 10 7 1230 1023 3201 0132 1 1 1 1 0 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 -1 1 0 0 1 -1 -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.051995544655 1.411733381247 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_12']), 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_0110_11'], 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_12' : d['c_0101_3'], 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : d['c_0011_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : 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_11'], '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_11'], 'c_1100_8' : negation(d['c_1100_1']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : d['c_0101_11'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_11'], 'c_1100_3' : d['c_0101_11'], 'c_1100_2' : negation(d['c_1100_1']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : negation(d['c_0110_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_12']), 'c_1010_2' : negation(d['c_0101_12']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0110_11'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_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' : d['1'], 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_10']), '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_0110_11'], 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : d['c_0101_11']})} 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_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_0110_11, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t - 1201/5320*c_1100_1^4 + 1483/5320*c_1100_1^3 + 1285/1064*c_1100_1^2 - 675/532*c_1100_1 + 12897/5320, c_0011_0 - 1, c_0011_10 + c_1100_1^4 - 3*c_1100_1^2 + 6*c_1100_1 - 3, c_0011_11 - 1/2*c_1100_1^4 - 1/2*c_1100_1^3 + 3/2*c_1100_1^2 - 2*c_1100_1 - 1/2, c_0011_12 - 1, c_0011_3 + 1/2*c_1100_1^4 + 1/2*c_1100_1^3 - 3/2*c_1100_1^2 + c_1100_1 + 3/2, c_0011_4 + 3/5*c_1100_1^4 + 1/5*c_1100_1^3 - 9/5*c_1100_1^2 + 13/5*c_1100_1 - 2, c_0101_0 - 1, c_0101_1 - 3/10*c_1100_1^4 - 1/10*c_1100_1^3 + 9/10*c_1100_1^2 - 9/5*c_1100_1 + 3/2, c_0101_11 - c_1100_1 + 1, c_0101_12 + c_1100_1^3 + c_1100_1^2 - 2*c_1100_1 + 3, c_0101_3 - 1/2*c_1100_1^4 + 1/2*c_1100_1^3 + 5/2*c_1100_1^2 - 4*c_1100_1 + 7/2, c_0110_11 + 1/2*c_1100_1^4 + 1/2*c_1100_1^3 - 3/2*c_1100_1^2 + c_1100_1 - 1/2, c_1100_1^5 - 2*c_1100_1^3 + 7*c_1100_1^2 - 7*c_1100_1 + 5 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_0110_11, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 1148448783274273024398791364/723296112948454291540164971*c_1100_1^1\ 0 - 18177346315373284498051222064/723296112948454291540164971*c_110\ 0_1^9 - 179505536706472835656981192834/723296112948454291540164971*\ c_1100_1^8 - 507083281031298465903623722735/72329611294845429154016\ 4971*c_1100_1^7 + 612642640293720006692578413606/723296112948454291\ 540164971*c_1100_1^6 - 5148701390652386819157723190/723296112948454\ 291540164971*c_1100_1^5 - 3522448510945080007571382705430/723296112\ 948454291540164971*c_1100_1^4 + 1238758818799994046176838990481/723\ 296112948454291540164971*c_1100_1^3 - 575379498290007068397212081273/723296112948454291540164971*c_1100_1\ ^2 + 26309418457062677389976509386/723296112948454291540164971*c_11\ 00_1 - 469418905395605758664905283/723296112948454291540164971, c_0011_0 - 1, c_0011_10 + 342162838993310983458/12826900866276300192239*c_1100_1^10 + 5553436451332802353745/12826900866276300192239*c_1100_1^9 + 55672545957209401391542/12826900866276300192239*c_1100_1^8 + 172781558510128382528536/12826900866276300192239*c_1100_1^7 - 120053821366827277584939/12826900866276300192239*c_1100_1^6 - 67891673498646540075609/12826900866276300192239*c_1100_1^5 + 1041074878969740872127925/12826900866276300192239*c_1100_1^4 + 51693305722403952514180/12826900866276300192239*c_1100_1^3 + 61740164756252868190269/12826900866276300192239*c_1100_1^2 + 41254563161515323600655/12826900866276300192239*c_1100_1 - 11849074833977097225527/12826900866276300192239, c_0011_11 - 242873194370969499741/12826900866276300192239*c_1100_1^10 - 3926256242762776420579/12826900866276300192239*c_1100_1^9 - 39265659517168119564171/12826900866276300192239*c_1100_1^8 - 120143975794556379711212/12826900866276300192239*c_1100_1^7 + 92584253579929376427224/12826900866276300192239*c_1100_1^6 + 40224433594778061413265/12826900866276300192239*c_1100_1^5 - 744243917142942633145603/12826900866276300192239*c_1100_1^4 + 15043134580690378919375/12826900866276300192239*c_1100_1^3 - 49871423544237033825788/12826900866276300192239*c_1100_1^2 - 44659558858138842564818/12826900866276300192239*c_1100_1 + 17640640988223328826609/12826900866276300192239, c_0011_12 - 191088264268909081958/12826900866276300192239*c_1100_1^10 - 3123442490146925599835/12826900866276300192239*c_1100_1^9 - 31449817640918331784527/12826900866276300192239*c_1100_1^8 - 100092083334571905685658/12826900866276300192239*c_1100_1^7 + 55758236280197286432288/12826900866276300192239*c_1100_1^6 + 45159001758821904960528/12826900866276300192239*c_1100_1^5 - 575931104991462379655501/12826900866276300192239*c_1100_1^4 - 92958817308951920710985/12826900866276300192239*c_1100_1^3 - 40873485896823028597427/12826900866276300192239*c_1100_1^2 - 23068010773855432187698/12826900866276300192239*c_1100_1 + 14902338020791640296330/12826900866276300192239, c_0011_3 + 132791411309444093482/12826900866276300192239*c_1100_1^10 + 2122975327313511362409/12826900866276300192239*c_1100_1^9 + 21077164274451575342770/12826900866276300192239*c_1100_1^8 + 61718795858999561535959/12826900866276300192239*c_1100_1^7 - 63752626287554989532574/12826900866276300192239*c_1100_1^6 - 17919830038948199886751/12826900866276300192239*c_1100_1^5 + 410884783246676218218368/12826900866276300192239*c_1100_1^4 - 77577708382822401357794/12826900866276300192239*c_1100_1^3 + 6732257569669457446862/12826900866276300192239*c_1100_1^2 - 3379538926421958019362/12826900866276300192239*c_1100_1 - 12595200814639202859872/12826900866276300192239, c_0011_4 + 120532233481098296929/12826900866276300192239*c_1100_1^10 + 1953173232969891161343/12826900866276300192239*c_1100_1^9 + 19558354975918073939786/12826900866276300192239*c_1100_1^8 + 60316138841013229820961/12826900866276300192239*c_1100_1^7 - 44286316247791338435140/12826900866276300192239*c_1100_1^6 - 24080899077521128889198/12826900866276300192239*c_1100_1^5 + 368380736249543847751482/12826900866276300192239*c_1100_1^4 + 8523161936287228943493/12826900866276300192239*c_1100_1^3 + 12975491775167919161397/12826900866276300192239*c_1100_1^2 + 2406124481594202629184/12826900866276300192239*c_1100_1 - 14494396744032840141695/12826900866276300192239, c_0101_0 - 1, c_0101_1 + 175994540650074331036/12826900866276300192239*c_1100_1^10 + 2801108854342046931331/12826900866276300192239*c_1100_1^9 + 27741917373612818627599/12826900866276300192239*c_1100_1^8 + 79942209183962365499695/12826900866276300192239*c_1100_1^7 - 88921901917293733011660/12826900866276300192239*c_1100_1^6 - 12863704961346202895172/12826900866276300192239*c_1100_1^5 + 546088613548928540682384/12826900866276300192239*c_1100_1^4 - 141581637950209545593443/12826900866276300192239*c_1100_1^3 + 38093085513648132474935/12826900866276300192239*c_1100_1^2 + 13239567628121037403453/12826900866276300192239*c_1100_1 - 13817352259256322192712/12826900866276300192239, c_0101_11 + 295684732577291562536/12826900866276300192239*c_1100_1^10 + 4760649653960981354094/12826900866276300192239*c_1100_1^9 + 47503248827508902462267/12826900866276300192239*c_1100_1^8 + 143330291459266153492712/12826900866276300192239*c_1100_1^7 - 120436494739171091131138/12826900866276300192239*c_1100_1^6 - 36861019918851906503110/12826900866276300192239*c_1100_1^5 + 900802181087084374508856/12826900866276300192239*c_1100_1^4 - 76074408207489723263498/12826900866276300192239*c_1100_1^3 + 99037198523081612106023/12826900866276300192239*c_1100_1^2 + 30685039737223699721013/12826900866276300192239*c_1100_1 - 19136051220012319927032/12826900866276300192239, c_0101_12 + 232757024504439435450/12826900866276300192239*c_1100_1^10 + 3796355939355606250283/12826900866276300192239*c_1100_1^9 + 38169706300118791968740/12826900866276300192239*c_1100_1^8 + 120503665923109883127423/12826900866276300192239*c_1100_1^7 - 72869680393576939107679/12826900866276300192239*c_1100_1^6 - 54470817801256243386750/12826900866276300192239*c_1100_1^5 + 705795789136510282155818/12826900866276300192239*c_1100_1^4 + 89770585106641054113040/12826900866276300192239*c_1100_1^3 + 36124930623654764988662/12826900866276300192239*c_1100_1^2 + 34229502730200805788447/12826900866276300192239*c_1100_1 - 10605019217377500127721/12826900866276300192239, c_0101_3 + 148423805761747930188/12826900866276300192239*c_1100_1^10 + 2416451751011925917437/12826900866276300192239*c_1100_1^9 + 24276755228937107817298/12826900866276300192239*c_1100_1^8 + 76249720497317114945644/12826900866276300192239*c_1100_1^7 - 47512240576369311280045/12826900866276300192239*c_1100_1^6 - 30586452180073406198952/12826900866276300192239*c_1100_1^5 + 443994160623035540904775/12826900866276300192239*c_1100_1^4 + 47808014673149461996008/12826900866276300192239*c_1100_1^3 + 44914860099794204559539/12826900866276300192239*c_1100_1^2 - 6621409879782086205117/12826900866276300192239*c_1100_1 + 880808470249034021397/12826900866276300192239, c_0110_11 - 216836828587742982955/12826900866276300192239*c_1100_1^10 - 3546819217252510325159/12826900866276300192239*c_1100_1^9 - 35745361812453191854486/12826900866276300192239*c_1100_1^8 - 114263317844335955679132/12826900866276300192239*c_1100_1^7 + 59232423755364045499304/12826900866276300192239*c_1100_1^6 + 43579239693468929299244/12826900866276300192239*c_1100_1^5 - 647488610374254053331693/12826900866276300192239*c_1100_1^4 - 113530820677592351032372/12826900866276300192239*c_1100_1^3 - 92802581347530044547230/12826900866276300192239*c_1100_1^2 - 30256195948433340778314/12826900866276300192239*c_1100_1 + 8461950506749232113949/12826900866276300192239, c_1100_1^11 + 16*c_1100_1^10 + 159*c_1100_1^9 + 468*c_1100_1^8 - 462*c_1100_1^7 - 101*c_1100_1^6 + 3078*c_1100_1^5 - 563*c_1100_1^4 + 242*c_1100_1^3 + 95*c_1100_1^2 - 93*c_1100_1 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.270 Total time: 1.480 seconds, Total memory usage: 32.09MB