Magma V2.19-8 Wed Aug 21 2013 00:51:31 on localhost [Seed = 2017357064] Type ? for help. Type -D to quit. Loading file "L11n129__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11n129 geometric_solution 11.62687349 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 0 1 0 0 1 -1 1 0 0 -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 0 0 0 0 1 -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.604084271759 1.344857233122 0 5 7 6 0132 0132 0132 0132 1 0 1 0 0 1 0 -1 -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 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.247872443032 0.535204191852 6 0 3 5 0321 0132 3201 0132 1 1 1 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 -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.168719697150 1.692467341679 2 8 7 0 2310 0132 0213 0132 1 0 1 1 0 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 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.293924077506 0.461377007968 9 10 0 5 0132 0132 0132 0213 1 0 1 0 0 0 1 -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 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 0 0 0 0 0.056452507053 0.863937179703 6 1 2 4 3012 0132 0132 0213 1 1 0 1 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 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 0 0 0 0 0.150194313361 0.625931738913 2 11 1 5 0321 0132 0132 1230 1 0 1 1 0 0 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 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 0.460990790955 0.736729480338 10 3 9 1 3120 0213 3120 0132 1 0 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 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.148086100652 0.588521006017 10 3 11 9 2103 0132 0132 3201 1 0 1 1 0 -1 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 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 2.129055364206 2.699924300869 4 8 7 12 0132 2310 3120 0132 1 0 0 1 0 0 0 0 1 0 0 -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 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.445479397694 0.510439257848 12 4 8 7 0132 0132 2103 3120 1 0 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 0 0 0 0 0 0 0 -1 1 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 1.062358428987 0.838424933433 12 6 12 8 3120 0132 2310 0132 1 0 1 1 0 0 1 -1 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 -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.232471829051 0.558863215137 10 11 9 11 0132 3201 0132 3120 1 0 1 0 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 0 -1 1 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.232471829051 0.558863215137 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_0'], 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_1001_3'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : negation(d['c_1001_3']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_0_11' : 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_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_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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : negation(d['c_0101_9']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0101_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1001_3'], '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_0101_11']), '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_10'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_11']), '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_0101_10'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : negation(d['c_0101_9']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0011_10'])})} 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_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_9, c_1001_0, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 1868870434410932467667268469957/17649832730401167422557663665*c_100\ 1_3^13 - 5036365329749964892445537837/263430339259718916754591995*c\ _1001_3^12 + 8032742476262910688795099302869/3137748040960207541788\ 0290960*c_1001_3^11 - 12475977306507050157250270701607/352996654608\ 02334845115327330*c_1001_3^10 + 92135864849077884293145973280857/10\ 0407937310726641337216931072*c_1001_3^9 + 776499693767914556905383115367515/451835717898269886017476189824*c_\ 1001_3^8 - 992077343214241132704243574391657/4518357178982698860174\ 761898240*c_1001_3^7 + 1136923810261467661301211814655897/903671435\ 796539772034952379648*c_1001_3^6 + 3318835435318016450832896421353687/4518357178982698860174761898240*\ c_1001_3^5 - 381814116912422924306383525915577/25101984327681660334\ 3042327680*c_1001_3^4 + 3463407753254871082551092584980577/45183571\ 78982698860174761898240*c_1001_3^3 - 1010804480106108723563559510436697/4518357178982698860174761898240*\ c_1001_3^2 - 834537742762538804841677234382349/22591785894913494300\ 87380949120*c_1001_3 + 1511833323383918862156042147813917/451835717\ 8982698860174761898240, c_0011_0 - 1, c_0011_10 - 248546101354166790728704/3718929050041913132697*c_1001_3^13 - 123592512009536790092288/3718929050041913132697*c_1001_3^12 - 137265771119103650382784/1239643016680637710899*c_1001_3^11 - 1108561921552722371790752/3718929050041913132697*c_1001_3^10 - 2327924828257079404700/137738112964515301211*c_1001_3^9 + 21646511104807609425982/3718929050041913132697*c_1001_3^8 - 312763768263638785673498/3718929050041913132697*c_1001_3^7 + 1083247753692313451843266/3718929050041913132697*c_1001_3^6 + 100620212756574131953808/3718929050041913132697*c_1001_3^5 - 101105269438980806961161/1239643016680637710899*c_1001_3^4 + 241804696026120309021076/3718929050041913132697*c_1001_3^3 - 251412709375108989779144/3718929050041913132697*c_1001_3^2 - 91174857669625194967466/3718929050041913132697*c_1001_3 + 110733293526085224648251/3718929050041913132697, c_0011_11 + 15364025711497347983104/413214338893545903633*c_1001_3^13 + 3293864569344878124288/137738112964515301211*c_1001_3^12 + 28231158512364856582160/413214338893545903633*c_1001_3^11 + 73883047598714091124960/413214338893545903633*c_1001_3^10 + 17917055228661668643209/413214338893545903633*c_1001_3^9 + 3127244549460033159620/137738112964515301211*c_1001_3^8 + 8524872825769966532256/137738112964515301211*c_1001_3^7 - 58163370490821824568931/413214338893545903633*c_1001_3^6 - 2843611919409139241104/137738112964515301211*c_1001_3^5 + 14606067244394517231529/413214338893545903633*c_1001_3^4 - 4666972169274457462568/137738112964515301211*c_1001_3^3 + 13625015225791340597182/413214338893545903633*c_1001_3^2 + 1876155980640864668019/137738112964515301211*c_1001_3 - 1781825617512448815943/137738112964515301211, c_0011_3 - 50522408693099139047168/1239643016680637710899*c_1001_3^13 - 9525193658416257150976/413214338893545903633*c_1001_3^12 - 86249352279225198126224/1239643016680637710899*c_1001_3^11 - 231920887580366805941072/1239643016680637710899*c_1001_3^10 - 3362037373264683125113/137738112964515301211*c_1001_3^9 - 3424298544809223332587/1239643016680637710899*c_1001_3^8 - 67593098368957396998257/1239643016680637710899*c_1001_3^7 + 209709410449022471291210/1239643016680637710899*c_1001_3^6 + 8021282634136684767046/413214338893545903633*c_1001_3^5 - 59905304805957807743641/1239643016680637710899*c_1001_3^4 + 15539582938339272849536/413214338893545903633*c_1001_3^3 - 5588228205296466185162/137738112964515301211*c_1001_3^2 - 2073964318044159381209/137738112964515301211*c_1001_3 + 21579236690156621683997/1239643016680637710899, c_0011_7 - 117408849175773643046144/3718929050041913132697*c_1001_3^13 - 45811006667734387257856/3718929050041913132697*c_1001_3^12 - 55328892879568617389968/1239643016680637710899*c_1001_3^11 - 482566238781912900241360/3718929050041913132697*c_1001_3^10 + 2866732337484256477143/137738112964515301211*c_1001_3^9 + 134508794223658416641825/3718929050041913132697*c_1001_3^8 - 77314026687054709628506/3718929050041913132697*c_1001_3^7 + 580004144450240217679226/3718929050041913132697*c_1001_3^6 + 48408696826120420744531/3718929050041913132697*c_1001_3^5 - 64146071565289390533347/1239643016680637710899*c_1001_3^4 + 114724791378965945884862/3718929050041913132697*c_1001_3^3 - 132335804595473770246276/3718929050041913132697*c_1001_3^2 - 40596062500252250125747/3718929050041913132697*c_1001_3 + 65066344865281619919637/3718929050041913132697, c_0101_0 - 8527120058759626194688/137738112964515301211*c_1001_3^13 - 25357805658284008471552/1239643016680637710899*c_1001_3^12 - 110264275094169134084368/1239643016680637710899*c_1001_3^11 - 308685694006030806612752/1239643016680637710899*c_1001_3^10 + 21304675376409310285117/413214338893545903633*c_1001_3^9 + 24719566309859927160035/413214338893545903633*c_1001_3^8 - 49836320494644513616439/1239643016680637710899*c_1001_3^7 + 42540770515194230369512/137738112964515301211*c_1001_3^6 + 9641282887132105858204/1239643016680637710899*c_1001_3^5 - 116972893074821180051189/1239643016680637710899*c_1001_3^4 + 74141093242710044789087/1239643016680637710899*c_1001_3^3 - 89549854952250075851872/1239643016680637710899*c_1001_3^2 - 23299707100392422180884/1239643016680637710899*c_1001_3 + 42994458942868889024375/1239643016680637710899, c_0101_1 - 1, c_0101_10 - 151132840418998618620160/3718929050041913132697*c_1001_3^13 - 27020415393622457653760/3718929050041913132697*c_1001_3^12 - 65072487810938515020752/1239643016680637710899*c_1001_3^11 - 553689567137645640239888/3718929050041913132697*c_1001_3^10 + 28848815244280972074841/413214338893545903633*c_1001_3^9 + 229471277060967178453141/3718929050041913132697*c_1001_3^8 - 28390224409572371932391/3718929050041913132697*c_1001_3^7 + 840585191834472934511698/3718929050041913132697*c_1001_3^6 - 22807813496065164594364/3718929050041913132697*c_1001_3^5 - 83918061996803017509649/1239643016680637710899*c_1001_3^4 + 150713392542316434167200/3718929050041913132697*c_1001_3^3 - 198705253158043288131146/3718929050041913132697*c_1001_3^2 - 34788410962937650002782/3718929050041913132697*c_1001_3 + 95181956562534563483417/3718929050041913132697, c_0101_11 - 266451389075191535912960/3718929050041913132697*c_1001_3^13 - 167927368261489242390784/3718929050041913132697*c_1001_3^12 - 157878106891622676556160/1239643016680637710899*c_1001_3^11 - 1268906909704243436075248/3718929050041913132697*c_1001_3^10 - 29426334919643027619032/413214338893545903633*c_1001_3^9 - 90013746849566246167447/3718929050041913132697*c_1001_3^8 - 423600216503038021328056/3718929050041913132697*c_1001_3^7 + 1053416619196308185497034/3718929050041913132697*c_1001_3^6 + 181871598742720326720256/3718929050041913132697*c_1001_3^5 - 98920421361896183964415/1239643016680637710899*c_1001_3^4 + 250782737496034414556612/3718929050041913132697*c_1001_3^3 - 244756556790074955909418/3718929050041913132697*c_1001_3^2 - 111138061748243215037056/3718929050041913132697*c_1001_3 + 105102266804819805371689/3718929050041913132697, c_0101_9 - 54110366249066254640896/3718929050041913132697*c_1001_3^13 + 20055501856276502147584/3718929050041913132697*c_1001_3^12 - 9082285413070615780528/1239643016680637710899*c_1001_3^11 - 121986303672516518725616/3718929050041913132697*c_1001_3^10 + 32650791478662683264783/413214338893545903633*c_1001_3^9 + 252942464948127911348011/3718929050041913132697*c_1001_3^8 + 92980134569917777409383/3718929050041913132697*c_1001_3^7 + 431498978125141416794524/3718929050041913132697*c_1001_3^6 - 36208713683446267621393/3718929050041913132697*c_1001_3^5 - 52042721893462671950279/1239643016680637710899*c_1001_3^4 + 66451658919108443240548/3718929050041913132697*c_1001_3^3 - 102230572925887673678594/3718929050041913132697*c_1001_3^2 - 10319675085999579158267/3718929050041913132697*c_1001_3 + 57507616056606641502653/3718929050041913132697, c_1001_0 - 13491490353030275306240/413214338893545903633*c_1001_3^13 - 9814885982325227392000/413214338893545903633*c_1001_3^12 - 26530837682959971655760/413214338893545903633*c_1001_3^11 - 68519876312850074326096/413214338893545903633*c_1001_3^10 - 23644802590669149681853/413214338893545903633*c_1001_3^9 - 5344900436183317834961/137738112964515301211*c_1001_3^8 - 28786332865506367021988/413214338893545903633*c_1001_3^7 + 47089464867715065633488/413214338893545903633*c_1001_3^6 + 9294905467038655313950/413214338893545903633*c_1001_3^5 - 11026163416118191882585/413214338893545903633*c_1001_3^4 + 13242348283538943845090/413214338893545903633*c_1001_3^3 - 3844191368807538544972/137738112964515301211*c_1001_3^2 - 5777147092218626796727/413214338893545903633*c_1001_3 + 4081107066426225297671/413214338893545903633, c_1001_1 + 13675072060638597381632/137738112964515301211*c_1001_3^13 + 72008696454084562921472/1239643016680637710899*c_1001_3^12 + 217979062655991905226272/1239643016680637710899*c_1001_3^11 + 576122732724928532195872/1239643016680637710899*c_1001_3^10 + 33603988074397553150534/413214338893545903633*c_1001_3^9 + 15154320219359189051290/413214338893545903633*c_1001_3^8 + 190045631580362171394682/1239643016680637710899*c_1001_3^7 - 54687374852321344683659/137738112964515301211*c_1001_3^6 - 60810910919246407345838/1239643016680637710899*c_1001_3^5 + 128784843917578669538770/1239643016680637710899*c_1001_3^4 - 115130463155097088873918/1239643016680637710899*c_1001_3^3 + 116522959339079948848148/1239643016680637710899*c_1001_3^2 + 46108284830285696552918/1239643016680637710899*c_1001_3 - 46888141013283580904968/1239643016680637710899, c_1001_3^14 + 23/16*c_1001_3^12 + 59/16*c_1001_3^11 - 481/256*c_1001_3^10 + 5/256*c_1001_3^9 + 391/256*c_1001_3^8 - 77/16*c_1001_3^7 + 63/32*c_1001_3^6 + 355/256*c_1001_3^5 - 427/256*c_1001_3^4 + 97/64*c_1001_3^3 - 53/256*c_1001_3^2 - 159/256*c_1001_3 + 67/256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.260 Total time: 0.470 seconds, Total memory usage: 32.09MB