Magma V2.19-8 Tue Aug 20 2013 23:50:41 on localhost [Seed = 3785853656] Type ? for help. Type -D to quit. Loading file "L12n688__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n688 geometric_solution 10.80879637 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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 -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.342090696831 1.063632372236 0 5 7 6 0132 0132 0132 0132 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823115827879 0.748792531243 8 0 7 6 0132 0132 3012 1023 1 1 1 0 0 0 1 -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 1 -1 0 -1 0 1 0 1 -1 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503135670664 0.478825749293 6 9 10 0 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 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.503135670664 0.478825749293 5 8 0 11 0132 0132 0132 0132 1 1 1 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 -1 1 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.532280959405 0.910658574292 4 1 9 11 0132 0132 0132 0321 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 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.334628179809 0.923881844008 3 10 1 2 0132 0132 0132 1023 1 1 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 0 0 0 0 0 0 0 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.467127646326 0.288916564288 11 2 9 1 0321 1230 3201 0132 1 1 0 1 0 0 0 0 0 0 -1 1 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 -1 1 0 0 0 0 0 0 -2 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.105681550106 0.858810052448 2 4 10 11 0132 0132 1023 1023 1 1 0 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 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.342090696831 1.063632372236 7 3 10 5 2310 0132 1302 0132 1 1 1 1 0 0 0 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 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.435901625500 0.438149080577 9 6 8 3 2031 0132 1023 0132 1 1 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 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.823115827879 0.748792531243 7 5 4 8 0321 0321 0132 1023 1 1 0 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 -1 1 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.334628179809 0.923881844008 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0101_8'], 'c_1001_5' : d['c_1001_3'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : d['c_1001_3'], 's_3_11' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0011_7']), 'c_1100_8' : negation(d['c_1100_0']), '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' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_10']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], '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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_7']), 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : negation(d['c_0011_11']), 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_11']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_2'], '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_0101_8'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_7, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_8, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 2767200431210012965537436246/6674934495377289161439695*c_1100_0^11 - 22112116381344393664146149649/287022183301223433941906885*c_1100_0^\ 10 + 20773624046719858118798759623/57404436660244686788381377*c_110\ 0_0^9 + 1243023008287157325239335140941/574044366602446867883813770\ *c_1100_0^8 - 2788066609191104382101479401321/574044366602446867883\ 813770*c_1100_0^7 + 441412591057579518933075663411/1148088733204893\ 73576762754*c_1100_0^6 - 2229047103994104953706951008071/5740443666\ 02446867883813770*c_1100_0^5 + 1915757686260782959714101460201/5740\ 44366602446867883813770*c_1100_0^4 - 37084779107702901690099982264/16883657841248437290700405*c_1100_0^3 + 45758997990326880438333523659/16883657841248437290700405*c_1100_0\ ^2 - 1740338335070359147155422304581/574044366602446867883813770*c_\ 1100_0 + 89073556142384248146199808118/287022183301223433941906885, c_0011_0 - 1, c_0011_10 + 134227777093854285684/809573619815317060211*c_1100_0^11 + 329877524430964457540/809573619815317060211*c_1100_0^10 + 224448519696155532925/809573619815317060211*c_1100_0^9 - 561883608639065333328/809573619815317060211*c_1100_0^8 + 87389290760059990014/809573619815317060211*c_1100_0^7 + 656807760661575825482/809573619815317060211*c_1100_0^6 - 561501347987056318901/809573619815317060211*c_1100_0^5 + 993123872100987941100/809573619815317060211*c_1100_0^4 - 76033796996777791359/809573619815317060211*c_1100_0^3 + 452108080439233604978/809573619815317060211*c_1100_0^2 - 37495072998780471789/809573619815317060211*c_1100_0 + 237135331982672542941/809573619815317060211, c_0011_11 + 1430103395288111384411/13762751536860390023587*c_1100_0^11 - 2290901062135964906112/13762751536860390023587*c_1100_0^10 - 1774954849973628669247/13762751536860390023587*c_1100_0^9 - 3473107765992996997401/13762751536860390023587*c_1100_0^8 + 31733697087234431774642/13762751536860390023587*c_1100_0^7 - 45202449709942314610112/13762751536860390023587*c_1100_0^6 + 23181047624315533950533/13762751536860390023587*c_1100_0^5 - 24183954860484816157693/13762751536860390023587*c_1100_0^4 + 28052121541072830516185/13762751536860390023587*c_1100_0^3 - 15271048920411749472061/13762751536860390023587*c_1100_0^2 + 27725594239067197018105/13762751536860390023587*c_1100_0 - 15705182754684020627763/13762751536860390023587, c_0011_7 + 4395869976803653622382/13762751536860390023587*c_1100_0^11 + 1515923100429597894670/13762751536860390023587*c_1100_0^10 - 677252210284442720416/13762751536860390023587*c_1100_0^9 - 21204052397213299198312/13762751536860390023587*c_1100_0^8 + 44859126730798930307174/13762751536860390023587*c_1100_0^7 - 53624603657770593815854/13762751536860390023587*c_1100_0^6 + 54496079178823240498849/13762751536860390023587*c_1100_0^5 - 38737618703502183865912/13762751536860390023587*c_1100_0^4 + 34264437902461326191165/13762751536860390023587*c_1100_0^3 - 40156044463967407460458/13762751536860390023587*c_1100_0^2 + 33040163563857155228473/13762751536860390023587*c_1100_0 - 16937861802100825902443/13762751536860390023587, c_0101_0 - 1, c_0101_10 + 27203194598597144699/809573619815317060211*c_1100_0^11 - 25585772434289089752/809573619815317060211*c_1100_0^10 - 61940866138727273119/809573619815317060211*c_1100_0^9 + 59962960175269328083/809573619815317060211*c_1100_0^8 + 839374782154466356654/809573619815317060211*c_1100_0^7 - 258628797883575112380/809573619815317060211*c_1100_0^6 - 610339605572989727754/809573619815317060211*c_1100_0^5 + 592630076700533224473/809573619815317060211*c_1100_0^4 + 432058303055488711637/809573619815317060211*c_1100_0^3 - 189749487352133331933/809573619815317060211*c_1100_0^2 + 729851404757284474111/809573619815317060211*c_1100_0 - 357524468321963071449/809573619815317060211, c_0101_11 + 173307643072368333055/809573619815317060211*c_1100_0^11 + 162078675571068394302/809573619815317060211*c_1100_0^10 - 114182037209382952077/809573619815317060211*c_1100_0^9 - 1231438075384159983923/809573619815317060211*c_1100_0^8 + 795755837773814513046/809573619815317060211*c_1100_0^7 - 907247327711988174213/809573619815317060211*c_1100_0^6 + 1058791588168951006512/809573619815317060211*c_1100_0^5 - 272824484743272789894/809573619815317060211*c_1100_0^4 + 983615915835483798060/809573619815317060211*c_1100_0^3 - 1788251574398278456255/809573619815317060211*c_1100_0^2 - 134170081795290060127/809573619815317060211*c_1100_0 - 703565165992805297539/809573619815317060211, c_0101_2 - 90060911330447457688/13762751536860390023587*c_1100_0^11 + 919918880559610137597/13762751536860390023587*c_1100_0^10 - 1380914338356770878718/13762751536860390023587*c_1100_0^9 - 2773126308166782234826/13762751536860390023587*c_1100_0^8 - 6971340770175436894660/13762751536860390023587*c_1100_0^7 + 21140728846257583808597/13762751536860390023587*c_1100_0^6 - 17088622585290700380809/13762751536860390023587*c_1100_0^5 + 9457900129395762966462/13762751536860390023587*c_1100_0^4 - 23541963803493890528481/13762751536860390023587*c_1100_0^3 + 14916140558799249672550/13762751536860390023587*c_1100_0^2 - 14386229015508491245247/13762751536860390023587*c_1100_0 + 12754033864209518653607/13762751536860390023587, c_0101_3 - 112897809455895007327/809573619815317060211*c_1100_0^11 - 294447513306323244428/809573619815317060211*c_1100_0^10 - 135085921971594823248/809573619815317060211*c_1100_0^9 + 655360975226810083614/809573619815317060211*c_1100_0^8 + 261898075191854203383/809573619815317060211*c_1100_0^7 - 870671687560957195129/809573619815317060211*c_1100_0^6 + 376839371987826728848/809573619815317060211*c_1100_0^5 - 1402223251389155756261/809573619815317060211*c_1100_0^4 + 805399459832309950588/809573619815317060211*c_1100_0^3 + 349368951660197436389/809573619815317060211*c_1100_0^2 + 477610790196599032919/809573619815317060211*c_1100_0 - 272820234296338077906/809573619815317060211, c_0101_8 + 292358527399993453072/809573619815317060211*c_1100_0^11 + 261197926835308608496/809573619815317060211*c_1100_0^10 + 428213403101735660668/809573619815317060211*c_1100_0^9 - 896220767278464669260/809573619815317060211*c_1100_0^8 + 2478900752062837251896/809573619815317060211*c_1100_0^7 - 3647157252693996809830/809573619815317060211*c_1100_0^6 + 4308615017942903791836/809573619815317060211*c_1100_0^5 - 2207357054066978956054/809573619815317060211*c_1100_0^4 + 2418609858899805623360/809573619815317060211*c_1100_0^3 + 141694423223935237146/809573619815317060211*c_1100_0^2 + 495522515350973295502/809573619815317060211*c_1100_0 + 8166835680857500889/809573619815317060211, c_1001_3 - 146179263699996726536/809573619815317060211*c_1100_0^11 - 130598963417654304248/809573619815317060211*c_1100_0^10 - 214106701550867830334/809573619815317060211*c_1100_0^9 + 448110383639232334630/809573619815317060211*c_1100_0^8 - 1239450376031418625948/809573619815317060211*c_1100_0^7 + 1823578626346998404915/809573619815317060211*c_1100_0^6 - 2154307508971451895918/809573619815317060211*c_1100_0^5 + 1103678527033489478027/809573619815317060211*c_1100_0^4 - 1209304929449902811680/809573619815317060211*c_1100_0^3 - 70847211611967618573/809573619815317060211*c_1100_0^2 - 247761257675486647751/809573619815317060211*c_1100_0 - 408870227748087280550/809573619815317060211, c_1100_0^12 + 17/43*c_1100_0^11 - 21/43*c_1100_0^10 - 228/43*c_1100_0^9 + 445/43*c_1100_0^8 - 372/43*c_1100_0^7 + 483/43*c_1100_0^6 - 385/43*c_1100_0^5 + 290/43*c_1100_0^4 - 340/43*c_1100_0^3 + 320/43*c_1100_0^2 - 60/43*c_1100_0 + 97/43 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.180 Total time: 0.390 seconds, Total memory usage: 32.09MB