Magma V2.19-8 Tue Aug 20 2013 17:58:13 on localhost [Seed = 54703958] Type ? for help. Type -D to quit. Loading file "10^2_167__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_167 geometric_solution 11.98386338 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 1 1 1 0 0 0 -1 1 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 -1 -1 2 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.094266807212 0.802634968258 0 4 5 4 0132 0132 0132 1230 1 1 0 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 -1 1 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.286915459847 0.736710250844 0 0 6 3 2031 0132 0132 0321 1 1 0 1 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 1 -1 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 1.144335462271 1.228944658298 7 2 0 6 0132 0321 0132 1230 1 1 0 1 0 0 -1 1 0 0 0 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 0 -2 2 1 0 0 -1 2 -1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409519941076 0.851251741686 1 1 8 9 3012 0132 0132 0132 1 1 1 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 -1 0 1 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.678332510749 0.700806827257 10 11 12 1 0132 0132 0132 0132 1 1 1 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 -1 0 1 0 0 0 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.144489781432 1.120857076114 3 10 7 2 3012 0132 0213 0132 1 1 1 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 -1 0 1 -2 0 2 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.311553450513 0.366809413250 3 6 11 10 0132 0213 1302 0132 1 1 1 0 0 0 0 0 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 0 0 0 -1 0 0 1 0 -2 0 2 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722418683059 0.458280018268 12 12 9 4 0321 3120 1230 0132 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 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.119119400624 0.821876692774 12 11 4 8 2031 0213 0132 3012 1 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 0 0 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.690427187514 0.498311080015 5 6 7 11 0132 0132 0132 1023 1 1 0 1 0 0 0 0 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 1 0 -1 0 0 -1 1 1 1 0 -2 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748650281072 1.209452700831 7 5 9 10 2031 0132 0213 1023 1 1 0 1 0 0 0 0 0 0 0 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 0 0 -1 1 -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.404127569820 0.485235344878 8 8 9 5 0321 3120 1302 0132 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 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.119119400624 0.821876692774 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0110_9'], 'c_1001_5' : negation(d['c_0011_8']), 'c_1001_4' : negation(d['c_0011_12']), 'c_1001_7' : d['c_0110_11'], 'c_1001_6' : d['c_0110_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0110_9']), 'c_1010_12' : negation(d['c_0011_8']), 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : d['c_0110_11'], 's_0_10' : negation(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_0011_9'], 'c_0101_10' : d['c_0101_1'], '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' : 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' : negation(d['1']), 's_0_5' : negation(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_9' : d['c_0110_9'], 'c_1100_8' : d['c_0110_9'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_0110_9'], 'c_1100_7' : d['c_0011_9'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_9']), 'c_1100_10' : d['c_0011_9'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0011_12']), 'c_1010_0' : d['c_1001_10'], 'c_1010_9' : negation(d['c_0011_9']), 'c_1010_8' : negation(d['c_0011_12']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_9'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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_0011_8']), 'c_0110_12' : negation(d['c_0011_8']), 'c_0101_12' : negation(d['c_0011_9']), 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_8']), 'c_0101_4' : negation(d['c_0011_12']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_9'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_10']), 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} 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_12, c_0011_3, c_0011_8, c_0011_9, c_0101_1, c_0101_2, c_0101_9, c_0110_11, c_0110_9, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 20063170264548404233/22315297297758464*c_1001_10^16 - 1282266910552539103319/11157648648879232*c_1001_10^15 + 11233539345839081585167/22315297297758464*c_1001_10^14 - 11608402292298728504915/11157648648879232*c_1001_10^13 + 7103521301487975557075/5578824324439616*c_1001_10^12 - 1337956857123707604465/1394706081109904*c_1001_10^11 + 8410276061318553378765/22315297297758464*c_1001_10^10 + 29497027422694440743/1394706081109904*c_1001_10^9 - 2334146311091729999707/22315297297758464*c_1001_10^8 + 72763553933000698745/1394706081109904*c_1001_10^7 + 135327829310329936237/22315297297758464*c_1001_10^6 - 122097259932740758383/2789412162219808*c_1001_10^5 + 2482569577670354505/87169130069369*c_1001_10^4 + 78628865015897860125/11157648648879232*c_1001_10^3 - 218117561727212040001/22315297297758464*c_1001_10^2 - 2018629503236907287/11157648648879232*c_1001_10 + 24937693632378649399/22315297297758464, c_0011_0 - 1, c_0011_10 - 247269404052585/174338260138738*c_1001_10^16 - 15786979135312429/87169130069369*c_1001_10^15 + 71328468791479441/87169130069369*c_1001_10^14 - 301580748951733945/174338260138738*c_1001_10^13 + 375445775675994275/174338260138738*c_1001_10^12 - 286124607128334019/174338260138738*c_1001_10^11 + 113081240129385547/174338260138738*c_1001_10^10 + 6192731950626999/174338260138738*c_1001_10^9 - 30535042477811781/174338260138738*c_1001_10^8 + 6939383350754242/87169130069369*c_1001_10^7 + 1140412897992390/87169130069369*c_1001_10^6 - 12678398953824031/174338260138738*c_1001_10^5 + 4464678700716774/87169130069369*c_1001_10^4 + 1038906096210863/87169130069369*c_1001_10^3 - 1705017896383003/87169130069369*c_1001_10^2 - 199839193551543/87169130069369*c_1001_10 + 230107542296366/87169130069369, c_0011_12 + 131866814798277/174338260138738*c_1001_10^16 + 8547721713210812/87169130069369*c_1001_10^15 - 43084333704460379/174338260138738*c_1001_10^14 + 30169564704716835/174338260138738*c_1001_10^13 + 46089799253623325/174338260138738*c_1001_10^12 - 60034112701240412/87169130069369*c_1001_10^11 + 61983193677116023/87169130069369*c_1001_10^10 - 33486021587698981/87169130069369*c_1001_10^9 + 7677726249391221/87169130069369*c_1001_10^8 + 599779869543493/174338260138738*c_1001_10^7 - 2482622668679911/174338260138738*c_1001_10^6 + 1374570818767855/174338260138738*c_1001_10^5 + 2872525571983094/87169130069369*c_1001_10^4 - 4486435611802561/174338260138738*c_1001_10^3 - 680239887191691/87169130069369*c_1001_10^2 + 502854857469019/87169130069369*c_1001_10 + 157093537353321/87169130069369, c_0011_3 - 438599891549715/174338260138738*c_1001_10^16 - 55970042162416957/174338260138738*c_1001_10^15 + 257476101830153661/174338260138738*c_1001_10^14 - 279797985172731847/87169130069369*c_1001_10^13 + 726133687927312631/174338260138738*c_1001_10^12 - 296337928326867675/87169130069369*c_1001_10^11 + 274350126632565803/174338260138738*c_1001_10^10 - 12354397270121648/87169130069369*c_1001_10^9 - 51100903597422415/174338260138738*c_1001_10^8 + 31727900380993401/174338260138738*c_1001_10^7 - 45305125890279/174338260138738*c_1001_10^6 - 11173120123891774/87169130069369*c_1001_10^5 + 9053495817074252/87169130069369*c_1001_10^4 + 470027469238089/87169130069369*c_1001_10^3 - 2968974351396158/87169130069369*c_1001_10^2 + 317276672365735/87169130069369*c_1001_10 + 342934647801150/87169130069369, c_0011_8 + 847499025271617/174338260138738*c_1001_10^16 + 54065254660896352/87169130069369*c_1001_10^15 - 250037596169383003/87169130069369*c_1001_10^14 + 1082737741117860983/174338260138738*c_1001_10^13 - 1388576159957473401/174338260138738*c_1001_10^12 + 1102494700082286675/174338260138738*c_1001_10^11 - 471142102393584153/174338260138738*c_1001_10^10 - 1633002724966443/174338260138738*c_1001_10^9 + 122387710334084113/174338260138738*c_1001_10^8 - 32471710643032591/87169130069369*c_1001_10^7 - 1491679912826780/87169130069369*c_1001_10^6 + 46089684535706445/174338260138738*c_1001_10^5 - 17822960167592648/87169130069369*c_1001_10^4 - 2124175947651031/87169130069369*c_1001_10^3 + 6345653992652904/87169130069369*c_1001_10^2 - 408724381703911/87169130069369*c_1001_10 - 789289585956339/87169130069369, c_0011_9 - 247269404052585/174338260138738*c_1001_10^16 - 15786979135312429/87169130069369*c_1001_10^15 + 71328468791479441/87169130069369*c_1001_10^14 - 301580748951733945/174338260138738*c_1001_10^13 + 375445775675994275/174338260138738*c_1001_10^12 - 286124607128334019/174338260138738*c_1001_10^11 + 113081240129385547/174338260138738*c_1001_10^10 + 6192731950626999/174338260138738*c_1001_10^9 - 30535042477811781/174338260138738*c_1001_10^8 + 6939383350754242/87169130069369*c_1001_10^7 + 1140412897992390/87169130069369*c_1001_10^6 - 12678398953824031/174338260138738*c_1001_10^5 + 4464678700716774/87169130069369*c_1001_10^4 + 1038906096210863/87169130069369*c_1001_10^3 - 1705017896383003/87169130069369*c_1001_10^2 - 112670063482174/87169130069369*c_1001_10 + 230107542296366/87169130069369, c_0101_1 - 1, c_0101_2 + 438599891549715/174338260138738*c_1001_10^16 + 55970042162416957/174338260138738*c_1001_10^15 - 257476101830153661/174338260138738*c_1001_10^14 + 279797985172731847/87169130069369*c_1001_10^13 - 726133687927312631/174338260138738*c_1001_10^12 + 296337928326867675/87169130069369*c_1001_10^11 - 274350126632565803/174338260138738*c_1001_10^10 + 12354397270121648/87169130069369*c_1001_10^9 + 51100903597422415/174338260138738*c_1001_10^8 - 31727900380993401/174338260138738*c_1001_10^7 + 45305125890279/174338260138738*c_1001_10^6 + 11173120123891774/87169130069369*c_1001_10^5 - 9053495817074252/87169130069369*c_1001_10^4 - 470027469238089/87169130069369*c_1001_10^3 + 2968974351396158/87169130069369*c_1001_10^2 - 230107542296366/87169130069369*c_1001_10 - 342934647801150/87169130069369, c_0101_9 + 498021991691533/87169130069369*c_1001_10^16 + 63605625510372611/87169130069369*c_1001_10^15 - 285605316569483079/87169130069369*c_1001_10^14 + 608380455253894559/87169130069369*c_1001_10^13 - 775104465442561646/87169130069369*c_1001_10^12 + 623173147632954533/87169130069369*c_1001_10^11 - 286399518823537689/87169130069369*c_1001_10^10 + 29150475507086970/87169130069369*c_1001_10^9 + 48865228515620745/87169130069369*c_1001_10^8 - 32566328843460942/87169130069369*c_1001_10^7 + 1547027187904600/87169130069369*c_1001_10^6 + 22601966813589431/87169130069369*c_1001_10^5 - 17895934616996744/87169130069369*c_1001_10^4 - 1643186293530603/87169130069369*c_1001_10^3 + 5331726887633886/87169130069369*c_1001_10^2 - 213989357079234/87169130069369*c_1001_10 - 533652369025770/87169130069369, c_0110_11 + 1, c_0110_9 - 408443565635475/87169130069369*c_1001_10^16 - 52106821401590266/87169130069369*c_1001_10^15 + 241709911958111985/87169130069369*c_1001_10^14 - 526171601367531275/87169130069369*c_1001_10^13 + 682474808407031608/87169130069369*c_1001_10^12 - 554573292325829432/87169130069369*c_1001_10^11 + 253067508645446693/87169130069369*c_1001_10^10 - 17188326836065650/87169130069369*c_1001_10^9 - 52993620469970744/87169130069369*c_1001_10^8 + 33252483337874867/87169130069369*c_1001_10^7 - 1925645207171497/87169130069369*c_1001_10^6 - 20439609033213425/87169130069369*c_1001_10^5 + 17242837637936649/87169130069369*c_1001_10^4 + 878555507710936/87169130069369*c_1001_10^3 - 5311613913689253/87169130069369*c_1001_10^2 + 460985187491552/87169130069369*c_1001_10 + 626109029313590/87169130069369, c_1001_1 + 864177168584789/174338260138738*c_1001_10^16 + 55057903797161799/87169130069369*c_1001_10^15 - 528126299434505779/174338260138738*c_1001_10^14 + 1186591345803072283/174338260138738*c_1001_10^13 - 1596298730138746617/174338260138738*c_1001_10^12 + 683207260334194945/87169130069369*c_1001_10^11 - 348382712500653712/87169130069369*c_1001_10^10 + 62636497094785951/87169130069369*c_1001_10^9 + 41187502266229524/87169130069369*c_1001_10^8 - 65732437556465377/174338260138738*c_1001_10^7 + 5576677044489111/174338260138738*c_1001_10^6 + 43829362808411007/174338260138738*c_1001_10^5 - 20768460188979838/87169130069369*c_1001_10^4 + 1200063024741355/174338260138738*c_1001_10^3 + 6011966774825577/87169130069369*c_1001_10^2 - 716844214548253/87169130069369*c_1001_10 - 690745906379091/87169130069369, c_1001_10^17 + 127*c_1001_10^16 - 665*c_1001_10^15 + 1631*c_1001_10^14 - 2422*c_1001_10^13 + 2340*c_1001_10^12 - 1429*c_1001_10^11 + 427*c_1001_10^10 + 83*c_1001_10^9 - 141*c_1001_10^8 + 43*c_1001_10^7 + 51*c_1001_10^6 - 72*c_1001_10^5 + 22*c_1001_10^4 + 15*c_1001_10^3 - 9*c_1001_10^2 - c_1001_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.350 seconds, Total memory usage: 32.09MB