Magma V2.19-8 Tue Aug 20 2013 17:56:06 on localhost [Seed = 4122231345] Type ? for help. Type -D to quit. Loading file "11_33__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_33 geometric_solution 9.33367688 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 0 0 0 0 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 -1 0 1 0 0 14 -14 0 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404968156556 0.552036541919 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597666870172 0.848124351687 7 0 3 6 2031 0132 0321 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.432394103696 0.857661641329 8 9 2 0 0132 0132 0321 0132 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 -1 0 15 -14 1 -1 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428513475957 0.530620396903 5 6 0 8 3201 1302 0132 1023 0 0 0 0 0 0 0 0 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 -1 1 0 0 14 -14 1 0 0 -1 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.947183127680 0.982444819445 7 1 9 4 0213 0132 3120 2310 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 -1 0 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409955067309 0.956882406535 8 2 1 4 2103 2310 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.998798747169 1.293577928446 5 9 2 1 0213 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732455506632 0.657957189053 3 9 6 4 0132 2310 2103 1023 0 0 0 0 0 -1 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 0 0 0 0 -14 0 14 1 0 0 -1 14 -15 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.839119304672 0.972026569715 7 3 5 8 1023 0132 3120 3201 0 0 0 0 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 -15 15 0 -14 0 14 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203637566120 1.123477943021 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : d['c_0110_6'], 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_1001_0']), 'c_1001_1' : negation(d['c_0110_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_0110_6'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_6'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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_0011_3'], 'c_1100_8' : negation(d['c_0110_6']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0110_6'], 'c_1100_7' : d['c_0101_2'], 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0110_6'], 'c_1100_3' : d['c_0110_6'], 'c_1100_2' : negation(d['c_0011_6']), 'c_1010_7' : negation(d['c_0110_4']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_0110_6'], 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_0110_4'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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_0101_7' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_4']), 'c_0101_8' : d['c_0101_0'], 'c_0110_9' : negation(d['c_0110_4']), 'c_0110_8' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0110_4, c_0110_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 39247672540544663/8795261157778*c_1001_0^15 - 84215512767877829/4397630578889*c_1001_0^14 - 103994781738605217/8795261157778*c_1001_0^13 + 279487141858599696/4397630578889*c_1001_0^12 + 1018839304934416683/8795261157778*c_1001_0^11 - 346433246659672335/8795261157778*c_1001_0^10 - 1566445900496132330/4397630578889*c_1001_0^9 - 2339291652526529211/4397630578889*c_1001_0^8 - 1819723274045901375/4397630578889*c_1001_0^7 - 708581343672898273/4397630578889*c_1001_0^6 + 92531368606753247/4397630578889*c_1001_0^5 + 707327272668110479/8795261157778*c_1001_0^4 + 285259076829860063/4397630578889*c_1001_0^3 + 270195197749746997/8795261157778*c_1001_0^2 + 37130708404935401/4397630578889*c_1001_0 + 4575091665987923/4397630578889, c_0011_0 - 1, c_0011_3 - 609070297785766/4397630578889*c_1001_0^15 - 1667520888065246/4397630578889*c_1001_0^14 + 1378064151420705/4397630578889*c_1001_0^13 + 8025008181677735/4397630578889*c_1001_0^12 + 3140219904820772/4397630578889*c_1001_0^11 - 17036784156230104/4397630578889*c_1001_0^10 - 28097531850697115/4397630578889*c_1001_0^9 - 16704297563024326/4397630578889*c_1001_0^8 - 1742221316836426/4397630578889*c_1001_0^7 + 2405255551688376/4397630578889*c_1001_0^6 + 1920025616472439/4397630578889*c_1001_0^5 + 2066920061985071/4397630578889*c_1001_0^4 + 1440739635579855/4397630578889*c_1001_0^3 + 353574483156905/4397630578889*c_1001_0^2 - 27720923404295/4397630578889*c_1001_0 - 12026457839335/4397630578889, c_0011_4 + 2210003003633586/4397630578889*c_1001_0^15 + 6807583856608365/4397630578889*c_1001_0^14 - 2478194475596659/4397630578889*c_1001_0^13 - 29738835894118011/4397630578889*c_1001_0^12 - 22673548279907147/4397630578889*c_1001_0^11 + 52518123730395583/4397630578889*c_1001_0^10 + 122339497935220535/4397630578889*c_1001_0^9 + 107728933475208590/4397630578889*c_1001_0^8 + 43922613693615882/4397630578889*c_1001_0^7 + 1976834076701464/4397630578889*c_1001_0^6 - 9288563462657897/4397630578889*c_1001_0^5 - 10882663969804486/4397630578889*c_1001_0^4 - 8944630547273343/4397630578889*c_1001_0^3 - 4417658898105949/4397630578889*c_1001_0^2 - 1114864637415107/4397630578889*c_1001_0 - 102017231785724/4397630578889, c_0011_6 - 2210003003633586/4397630578889*c_1001_0^15 - 6807583856608365/4397630578889*c_1001_0^14 + 2478194475596659/4397630578889*c_1001_0^13 + 29738835894118011/4397630578889*c_1001_0^12 + 22673548279907147/4397630578889*c_1001_0^11 - 52518123730395583/4397630578889*c_1001_0^10 - 122339497935220535/4397630578889*c_1001_0^9 - 107728933475208590/4397630578889*c_1001_0^8 - 43922613693615882/4397630578889*c_1001_0^7 - 1976834076701464/4397630578889*c_1001_0^6 + 9288563462657897/4397630578889*c_1001_0^5 + 10882663969804486/4397630578889*c_1001_0^4 + 8944630547273343/4397630578889*c_1001_0^3 + 4417658898105949/4397630578889*c_1001_0^2 + 1114864637415107/4397630578889*c_1001_0 + 102017231785724/4397630578889, c_0101_0 + 1571089375457745/4397630578889*c_1001_0^15 + 4848416470757971/4397630578889*c_1001_0^14 - 1778964306167455/4397630578889*c_1001_0^13 - 21275365486451046/4397630578889*c_1001_0^12 - 16126138828503488/4397630578889*c_1001_0^11 + 37857618678100223/4397630578889*c_1001_0^10 + 87359015755431259/4397630578889*c_1001_0^9 + 75719761434650046/4397630578889*c_1001_0^8 + 29679217939337182/4397630578889*c_1001_0^7 + 621555662237086/4397630578889*c_1001_0^6 - 6585401316206412/4397630578889*c_1001_0^5 - 7648591610567474/4397630578889*c_1001_0^4 - 6292607025494947/4397630578889*c_1001_0^3 - 3017782782490162/4397630578889*c_1001_0^2 - 721295517868906/4397630578889*c_1001_0 - 67367723197593/4397630578889, c_0101_1 + 3566999760291204/4397630578889*c_1001_0^15 + 10666004948636494/4397630578889*c_1001_0^14 - 5152136500838001/4397630578889*c_1001_0^13 - 47773882455116135/4397630578889*c_1001_0^12 - 31328480414339306/4397630578889*c_1001_0^11 + 88970440096858319/4397630578889*c_1001_0^10 + 187653035891029923/4397630578889*c_1001_0^9 + 152748894960882448/4397630578889*c_1001_0^8 + 55397526191434477/4397630578889*c_1001_0^7 - 510298556273589/4397630578889*c_1001_0^6 - 13888928100396403/4397630578889*c_1001_0^5 - 16167414973835831/4397630578889*c_1001_0^4 - 12804004906486796/4397630578889*c_1001_0^3 - 5832416600222439/4397630578889*c_1001_0^2 - 1341021357450140/4397630578889*c_1001_0 - 119163322953880/4397630578889, c_0101_2 - 1660562230417091/4397630578889*c_1001_0^15 - 5517712806822526/4397630578889*c_1001_0^14 + 1031153766484874/4397630578889*c_1001_0^13 + 23831897640780142/4397630578889*c_1001_0^12 + 21323686348832988/4397630578889*c_1001_0^11 - 40397692969107012/4397630578889*c_1001_0^10 - 102496485670491890/4397630578889*c_1001_0^9 - 92007925638091717/4397630578889*c_1001_0^8 - 36546241544335404/4397630578889*c_1001_0^7 - 806529772840376/4397630578889*c_1001_0^6 + 7658658223079892/4397630578889*c_1001_0^5 + 8950155902978908/4397630578889*c_1001_0^4 + 7596966925530830/4397630578889*c_1001_0^3 + 3689977998604082/4397630578889*c_1001_0^2 + 865512572796425/4397630578889*c_1001_0 + 75341832145416/4397630578889, c_0110_4 + 273676914655884/4397630578889*c_1001_0^15 - 311713788676281/4397630578889*c_1001_0^14 - 3012045907754630/4397630578889*c_1001_0^13 - 270496889892767/4397630578889*c_1001_0^12 + 10419008084222738/4397630578889*c_1001_0^11 + 8093027868157494/4397630578889*c_1001_0^10 - 14530824974362188/4397630578889*c_1001_0^9 - 28122872181077374/4397630578889*c_1001_0^8 - 17495718457245928/4397630578889*c_1001_0^7 - 3296032715437248/4397630578889*c_1001_0^6 + 1162251816315263/4397630578889*c_1001_0^5 + 1705326338313551/4397630578889*c_1001_0^4 + 2170823875821940/4397630578889*c_1001_0^3 + 1491966626186921/4397630578889*c_1001_0^2 + 465241687484547/4397630578889*c_1001_0 + 45484633124155/4397630578889, c_0110_6 - 2138546872746239/4397630578889*c_1001_0^15 - 6693688828354543/4397630578889*c_1001_0^14 + 2323097767699501/4397630578889*c_1001_0^13 + 29390722210912367/4397630578889*c_1001_0^12 + 22463970755689164/4397630578889*c_1001_0^11 - 52216149097379087/4397630578889*c_1001_0^10 - 120418844677063601/4397630578889*c_1001_0^9 - 104125213936208623/4397630578889*c_1001_0^8 - 40802212297571198/4397630578889*c_1001_0^7 - 904418827538759/4397630578889*c_1001_0^6 + 9138414400241855/4397630578889*c_1001_0^5 + 10550388616996911/4397630578889*c_1001_0^4 + 8632123895007134/4397630578889*c_1001_0^3 + 4160566395345799/4397630578889*c_1001_0^2 + 999292839398607/4397630578889*c_1001_0 + 80573910005313/4397630578889, c_1001_0^16 + 148/41*c_1001_0^15 + 22/41*c_1001_0^14 - 14*c_1001_0^13 - 717/41*c_1001_0^12 + 741/41*c_1001_0^11 + 2789/41*c_1001_0^10 + 3227/41*c_1001_0^9 + 1900/41*c_1001_0^8 + 477/41*c_1001_0^7 - 154/41*c_1001_0^6 - 295/41*c_1001_0^5 - 275/41*c_1001_0^4 - 172/41*c_1001_0^3 - 65/41*c_1001_0^2 - 13/41*c_1001_0 - 1/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.310 seconds, Total memory usage: 32.09MB