Magma V2.19-8 Wed Aug 21 2013 01:03:52 on localhost [Seed = 4105366744] Type ? for help. Type -D to quit. Loading file "L14n2337__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n2337 geometric_solution 11.57189681 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 1 0132 1230 0132 2031 1 1 0 1 0 0 0 0 0 0 0 0 -1 2 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 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.198061275636 1.219726925806 0 0 0 3 0132 1302 3012 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 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 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.129709364169 0.798793219414 4 5 3 0 0132 0132 3012 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.129709364169 0.798793219414 6 2 1 6 0132 1230 0132 2031 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 1 0 -1 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.623651275619 0.572416144369 2 7 6 5 0132 0132 0132 1023 1 1 1 1 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 -1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.165450462726 1.051164513787 8 2 7 4 0132 0132 0132 1023 1 1 1 1 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 0 0 0 0 0 0 0 2 0 0 -2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375138696017 0.558103024845 3 3 9 4 0132 1302 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 -1 0 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.129709364169 0.798793219414 10 4 8 5 0132 0132 1023 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.256180591645 0.639505008712 5 10 7 9 0132 0132 1023 0132 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 1 0 0 -1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.508928896588 1.587559583112 11 12 8 6 0132 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 1 0 0 -1 -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.309927191475 0.711374015301 7 8 12 11 0132 0132 0132 0321 1 1 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 -1 1 1 -2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309927191475 0.711374015301 9 10 12 12 0132 0321 1023 3120 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 -1 0 0 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.383709318528 0.423862985660 11 9 11 10 3120 0132 1023 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 -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.442482420527 0.872779681204 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_0'], 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_11']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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' : negation(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' : 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' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_1100_4']), 'c_1100_4' : d['c_1100_4'], 'c_1100_7' : negation(d['c_1100_4']), 'c_1100_6' : d['c_1100_4'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_1001_3']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : negation(d['c_1001_3']), 's_0_10' : d['1'], 'c_1100_9' : d['c_1100_4'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_0'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_1001_10'], 's_3_1' : negation(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' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_12'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_3']), '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_10']), 'c_0110_11' : d['c_0101_10'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_10'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_11'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_10'], 'c_1100_8' : d['c_1100_4'], 's_2_9' : d['1']})} 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_3, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_8, c_1001_0, c_1001_10, c_1001_3, c_1100_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 7 Groebner basis: [ t + 1304717683503524626302161/818363709630060544*c_1100_4^6 - 494375284766786795675963/204590927407515136*c_1100_4^5 + 329871909170045833513459/102295463703757568*c_1100_4^4 - 1369275516493604513329705/818363709630060544*c_1100_4^3 + 922946562141004583424235/818363709630060544*c_1100_4^2 - 263994597533023868335231/818363709630060544*c_1100_4 + 216432661959323038449877/818363709630060544, c_0011_0 - 1, c_0011_10 - 12707321674177/13779022589407*c_1100_4^6 + 10964865504974/13779022589407*c_1100_4^5 - 17537429161584/13779022589407*c_1100_4^4 - 119468234511/13779022589407*c_1100_4^3 - 7641041934989/13779022589407*c_1100_4^2 - 5311840160219/13779022589407*c_1100_4 + 3272613669492/13779022589407, c_0011_11 - 36785156348109/13779022589407*c_1100_4^6 + 38656623896086/13779022589407*c_1100_4^5 - 49955035197456/13779022589407*c_1100_4^4 + 27764719862620/13779022589407*c_1100_4^3 - 24712159303815/13779022589407*c_1100_4^2 + 7278059925797/13779022589407*c_1100_4 + 119421044325/13779022589407, c_0011_3 - 12707321674177/13779022589407*c_1100_4^6 + 10964865504974/13779022589407*c_1100_4^5 - 17537429161584/13779022589407*c_1100_4^4 - 119468234511/13779022589407*c_1100_4^3 - 7641041934989/13779022589407*c_1100_4^2 - 5311840160219/13779022589407*c_1100_4 - 10506408919915/13779022589407, c_0101_0 - 1, c_0101_10 + 40582092206344/13779022589407*c_1100_4^6 - 37142775669352/13779022589407*c_1100_4^5 + 56033679837040/13779022589407*c_1100_4^4 - 3426911576744/13779022589407*c_1100_4^3 + 5424344026817/13779022589407*c_1100_4^2 + 3215074744800/13779022589407*c_1100_4 + 1714127289935/13779022589407, c_0101_11 - 12707321674177/13779022589407*c_1100_4^6 + 10964865504974/13779022589407*c_1100_4^5 - 17537429161584/13779022589407*c_1100_4^4 - 119468234511/13779022589407*c_1100_4^3 - 7641041934989/13779022589407*c_1100_4^2 - 5311840160219/13779022589407*c_1100_4 + 3272613669492/13779022589407, c_0101_12 + 43898192180726/13779022589407*c_1100_4^6 - 59108514785164/13779022589407*c_1100_4^5 + 43092974944209/13779022589407*c_1100_4^4 - 7103623023577/13779022589407*c_1100_4^3 - 5619826663375/13779022589407*c_1100_4^2 - 837865334463/13779022589407*c_1100_4 + 2676821915254/13779022589407, c_0101_8 + 38121965022531/13779022589407*c_1100_4^6 - 32894596514922/13779022589407*c_1100_4^5 + 52612287484752/13779022589407*c_1100_4^4 + 358404703533/13779022589407*c_1100_4^3 + 22923125804967/13779022589407*c_1100_4^2 + 2156497891250/13779022589407*c_1100_4 + 3961181580931/13779022589407, c_1001_0 - 25414643348354/13779022589407*c_1100_4^6 + 21929731009948/13779022589407*c_1100_4^5 - 35074858323168/13779022589407*c_1100_4^4 - 238936469022/13779022589407*c_1100_4^3 - 15282083869978/13779022589407*c_1100_4^2 - 10623680320438/13779022589407*c_1100_4 - 7233795250423/13779022589407, c_1001_10 + 19820357506794/13779022589407*c_1100_4^6 - 31416756394052/13779022589407*c_1100_4^5 + 10675368908337/13779022589407*c_1100_4^4 + 20780565073554/13779022589407*c_1100_4^3 - 22690944032201/13779022589407*c_1100_4^2 - 2026987837854/13779022589407*c_1100_4 - 476370709913/13779022589407, c_1001_3 + 25414643348354/13779022589407*c_1100_4^6 - 21929731009948/13779022589407*c_1100_4^5 + 35074858323168/13779022589407*c_1100_4^4 + 238936469022/13779022589407*c_1100_4^3 + 15282083869978/13779022589407*c_1100_4^2 + 10623680320438/13779022589407*c_1100_4 + 21012817839830/13779022589407, c_1100_4^7 - 1004/793*c_1100_4^6 + 1304/793*c_1100_4^5 - 433/793*c_1100_4^4 + 355/793*c_1100_4^3 - 23/793*c_1100_4^2 + 93/793*c_1100_4 + 32/793 ], 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_3, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_8, c_1001_0, c_1001_10, c_1001_3, c_1100_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 7 Groebner basis: [ t + 29457552143487202655255/37971163336681408*c_1100_4^6 - 23298244756792203174869/18985581668340704*c_1100_4^5 + 22686733228495431704207/18985581668340704*c_1100_4^4 - 15422946874034842501801/37971163336681408*c_1100_4^3 + 1463304238733512523677/37971163336681408*c_1100_4^2 + 1622049515269578525739/37971163336681408*c_1100_4 + 1670126652556669198863/37971163336681408, c_0011_0 - 1, c_0011_10 + 29840116921810/8356329959657*c_1100_4^6 - 36261086072766/8356329959657*c_1100_4^5 + 34765472508104/8356329959657*c_1100_4^4 - 4996749174662/8356329959657*c_1100_4^3 + 3396696406392/8356329959657*c_1100_4^2 + 3059978280180/8356329959657*c_1100_4 - 597521962489/8356329959657, c_0011_11 + 104074904759210/8356329959657*c_1100_4^6 - 138925897513286/8356329959657*c_1100_4^5 + 126758715225032/8356329959657*c_1100_4^4 - 40427912340599/8356329959657*c_1100_4^3 + 11621331922506/8356329959657*c_1100_4^2 - 4533504918840/8356329959657*c_1100_4 + 5507985729700/8356329959657, c_0011_3 + 29840116921810/8356329959657*c_1100_4^6 - 36261086072766/8356329959657*c_1100_4^5 + 34765472508104/8356329959657*c_1100_4^4 - 4996749174662/8356329959657*c_1100_4^3 + 3396696406392/8356329959657*c_1100_4^2 + 3059978280180/8356329959657*c_1100_4 + 7758807997168/8356329959657, c_0101_0 - 1, c_0101_10 + 101544336623800/8356329959657*c_1100_4^6 - 127569384942360/8356329959657*c_1100_4^5 + 120517936462608/8356329959657*c_1100_4^4 - 21448551360936/8356329959657*c_1100_4^3 - 525966475097/8356329959657*c_1100_4^2 + 1569422717744/8356329959657*c_1100_4 + 6026831179593/8356329959657, c_0101_11 + 29840116921810/8356329959657*c_1100_4^6 - 36261086072766/8356329959657*c_1100_4^5 + 34765472508104/8356329959657*c_1100_4^4 - 4996749174662/8356329959657*c_1100_4^3 + 3396696406392/8356329959657*c_1100_4^2 + 3059978280180/8356329959657*c_1100_4 - 597521962489/8356329959657, c_0101_12 + 66280237451465/8356329959657*c_1100_4^6 - 136841467564424/8356329959657*c_1100_4^5 + 137539469962001/8356329959657*c_1100_4^4 - 57709660329576/8356329959657*c_1100_4^3 + 10149704009982/8356329959657*c_1100_4^2 + 4160012581624/8356329959657*c_1100_4 + 8076944732481/8356329959657, c_0101_8 - 89520350765430/8356329959657*c_1100_4^6 + 108783258218298/8356329959657*c_1100_4^5 - 104296417524312/8356329959657*c_1100_4^4 + 14990247523986/8356329959657*c_1100_4^3 - 10190089219176/8356329959657*c_1100_4^2 - 823604880883/8356329959657*c_1100_4 - 6563764072190/8356329959657, c_1001_0 - 59680233843620/8356329959657*c_1100_4^6 + 72522172145532/8356329959657*c_1100_4^5 - 69530945016208/8356329959657*c_1100_4^4 + 9993498349324/8356329959657*c_1100_4^3 - 6793392812784/8356329959657*c_1100_4^2 - 6119956560360/8356329959657*c_1100_4 - 7161286034679/8356329959657, c_1001_10 + 83019420950620/8356329959657*c_1100_4^6 - 126332309767252/8356329959657*c_1100_4^5 + 98812517927415/8356329959657*c_1100_4^4 - 13576771364368/8356329959657*c_1100_4^3 - 15192849814917/8356329959657*c_1100_4^2 - 778136049588/8356329959657*c_1100_4 + 5083781521719/8356329959657, c_1001_3 + 59680233843620/8356329959657*c_1100_4^6 - 72522172145532/8356329959657*c_1100_4^5 + 69530945016208/8356329959657*c_1100_4^4 - 9993498349324/8356329959657*c_1100_4^3 + 6793392812784/8356329959657*c_1100_4^2 + 6119956560360/8356329959657*c_1100_4 + 15517615994336/8356329959657, c_1100_4^7 - 1491/985*c_1100_4^6 + 1436/985*c_1100_4^5 - 471/985*c_1100_4^4 + 88/985*c_1100_4^3 + 6/985*c_1100_4^2 + 16/197*c_1100_4 + 1/985 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.990 Total time: 1.209 seconds, Total memory usage: 32.09MB