Magma V2.19-8 Tue Aug 20 2013 23:48:49 on localhost [Seed = 660688317] Type ? for help. Type -D to quit. Loading file "L12n1046__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1046 geometric_solution 10.54457276 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 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 1 -1 0 0 0 0 -2 3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378904451213 1.244461770910 0 5 7 6 0132 0132 0132 0132 0 0 1 1 0 1 0 -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 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802650942077 0.503536521854 7 0 4 8 0132 0132 2103 0132 0 0 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 -1 0 0 1 -1 0 0 1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.478796267003 1.770725077821 6 7 9 0 0132 1230 0132 0132 0 0 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.277008094351 0.444536404670 2 10 0 6 2103 0132 0132 0213 0 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 0 0 0 0 0 0 0 0 -1 1 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.965506127406 1.105327343284 11 1 10 10 0132 0132 3201 0213 0 1 1 1 0 -1 0 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 0 0 0 -1 0 0 1 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497705965554 0.528121136311 3 9 1 4 0132 0213 0132 0213 0 0 0 1 0 0 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 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.399085461303 0.531911069453 2 11 3 1 0132 0132 3012 0132 0 0 1 1 0 0 0 0 0 0 0 0 -1 1 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 1 0 -1 0 -3 3 0 0 1 -3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.405774756259 0.344292267980 11 11 2 9 2031 0321 0132 1230 0 0 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 -3 3 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525475757704 1.017625021106 8 10 6 3 3012 3201 0213 0132 0 0 0 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 -1 1 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399085461303 0.531911069453 5 4 9 5 2310 0132 2310 0213 0 1 1 0 0 1 0 -1 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 -2 2 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.945563656245 0.994182925429 5 7 8 8 0132 0132 1302 0321 0 1 1 1 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 0 0 0 1 0 0 -1 0 3 0 -3 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525475757704 1.017625021106 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_3'], 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_10']), 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_0011_9'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : negation(d['c_1001_10']), 'c_1001_2' : negation(d['c_0011_10']), 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_0101_7'], 'c_1010_11' : negation(d['c_0011_3']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_8']), '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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1010_6'], 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1010_6'], 'c_1100_3' : d['c_1010_6'], 'c_1100_2' : d['c_0101_3'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : d['c_0011_9'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : negation(d['c_0101_10']), 'c_1010_0' : negation(d['c_0011_10']), 'c_1010_9' : negation(d['c_1001_10']), 'c_1010_8' : negation(d['c_0011_3']), 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : negation(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' : 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_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], '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_0']), 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0011_8'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_8']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0101_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0011_9'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1010_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} 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_3, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_7, c_1001_10, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 1906152873880037034418351620536988765019709/97025465212596686466287\ 0603571400686272*c_1010_6^11 + 826599377458671205032337121426524538\ 58261/11025621046885987098441711404220462344*c_1010_6^10 + 3619774884530184242362598795917365390039183/55443122978626677980735\ 4630612228963584*c_1010_6^9 - 3526858744123748496184957244962423034\ 4485585/3881018608503867458651482414285602745088*c_1010_6^8 + 181749324720363114327182651004266574649075853/155240744340154698346\ 05929657142410980352*c_1010_6^7 - 158716807039806215286571709437455\ 94279832551/1411279494001406348600539059740219180032*c_1010_6^6 + 2772477541380071941193943928390381388641793/70563974700070317430026\ 9529870109590016*c_1010_6^5 - 2901547759405774127114949024690668765\ 673595/970254652125966864662870603571400686272*c_1010_6^4 + 906241500555073851298003167986916744454367/970254652125966864662870\ 603571400686272*c_1010_6^3 + 78355740214092633224539557760013289361\ 701/242563663031491716165717650892850171568*c_1010_6^2 - 110849713673552769623891960871530655916891/121281831515745858082858\ 825446425085784*c_1010_6 + 5734650697699933271310815493574549612682\ 9/60640915757872929041429412723212542892, c_0011_0 - 1, c_0011_10 - 1087784013392493902086505211590930371/116059168914589337878\ 3338042549522352*c_1010_6^11 - 239282417844549748392127601128256980\ 5/580295844572946689391669021274761176*c_1010_6^10 - 4026831448203447534304131938114317953/66319525094051050216190745288\ 5441344*c_1010_6^9 - 5647622841828759472483308331834505499/46423667\ 56583573515133352170198089408*c_1010_6^8 - 147163853627074280086178780410625769083/185694670263342940605334086\ 80792357632*c_1010_6^7 + 54500749169156698262182184929715882769/185\ 69467026334294060533408680792357632*c_1010_6^6 - 22077759695856288416762096478115361905/4642366756583573515133352170\ 198089408*c_1010_6^5 + 360383372594629161210980177933165301/1450739\ 61143236672347917255318690294*c_1010_6^4 - 565554689947762665218264172533924403/290147922286473344695834510637\ 380588*c_1010_6^3 + 66342743168236491873916162638890425/14507396114\ 3236672347917255318690294*c_1010_6^2 + 129245103337131064135228601802256625/145073961143236672347917255318\ 690294*c_1010_6 - 10974314888849640121092696711051629/7253698057161\ 8336173958627659345147, c_0011_3 - 513500526882513648751780705370668803/23211833782917867575666\ 76085099044704*c_1010_6^11 + 94443779145420644180293813643050373/23\ 21183378291786757566676085099044704*c_1010_6^10 + 3840663156154495475283818537934087091/13263905018810210043238149057\ 70882688*c_1010_6^9 + 11637301893214280155580749774470324635/232118\ 3378291786757566676085099044704*c_1010_6^8 - 142247615755143195135720997420148251227/371389340526685881210668173\ 61584715264*c_1010_6^7 + 35492543222021529761011956425754371369/464\ 2366756583573515133352170198089408*c_1010_6^6 - 6200278155558883223229240155141611371/46423667565835735151333521701\ 98089408*c_1010_6^5 + 2842633205941355398115563941979470197/2321183\ 378291786757566676085099044704*c_1010_6^4 + 531997410538359994180428880875058185/116059168914589337878333804254\ 9522352*c_1010_6^3 - 181045159052089296857089249833204985/290147922\ 286473344695834510637380588*c_1010_6^2 + 3629974988221468749224676803575517/72536980571618336173958627659345\ 147*c_1010_6 - 35856036058217203612754039506056469/7253698057161833\ 6173958627659345147, c_0011_8 + 6138521281915532422894619688765724155/2321183378291786757566\ 676085099044704*c_1010_6^11 + 2490627198227019632997783964685277368\ 9/2321183378291786757566676085099044704*c_1010_6^10 + 16446412518153874158783392974450455037/1326390501881021004323814905\ 770882688*c_1010_6^9 - 25410857916949304152529032436447880619/46423\ 66756583573515133352170198089408*c_1010_6^8 + 655920952706801236330969671720349148915/371389340526685881210668173\ 61584715264*c_1010_6^7 - 265903874203619158185705787775952891945/18\ 569467026334294060533408680792357632*c_1010_6^6 + 54140533724516971586197051938826116699/4642366756583573515133352170\ 198089408*c_1010_6^5 - 3928670557965098459542291874152228633/580295\ 844572946689391669021274761176*c_1010_6^4 + 4093728216996922043992983879457165417/11605916891458933787833380425\ 49522352*c_1010_6^3 - 61459177817912347994156634243399999/580295844\ 572946689391669021274761176*c_1010_6^2 - 20712122424703409614155484627769155/1450739611432366723479172553186\ 90294*c_1010_6 + 42165550413487795723027378193467476/72536980571618\ 336173958627659345147, c_0011_9 + 3710155557560841885750500746825498925/2321183378291786757566\ 676085099044704*c_1010_6^11 + 1340005104559629820270225615433300675\ 5/2321183378291786757566676085099044704*c_1010_6^10 + 6888918223541078381298553899924923851/13263905018810210043238149057\ 70882688*c_1010_6^9 - 15147641825602262373742667066724570331/464236\ 6756583573515133352170198089408*c_1010_6^8 + 691788753495759498857254782008944332533/371389340526685881210668173\ 61584715264*c_1010_6^7 - 218602798727622084646780173934566720333/18\ 569467026334294060533408680792357632*c_1010_6^6 + 44252868368477869728784301857989014495/4642366756583573515133352170\ 198089408*c_1010_6^5 - 9653566939048850359491614942391258883/232118\ 3378291786757566676085099044704*c_1010_6^4 + 2177012844699339771577843974629372595/11605916891458933787833380425\ 49522352*c_1010_6^3 - 397426863698162794279156693637210505/29014792\ 2286473344695834510637380588*c_1010_6^2 - 10978810564867275104804664855578959/7253698057161833617395862765934\ 5147*c_1010_6 + 33843682453556842254309701119217337/725369805716183\ 36173958627659345147, c_0101_0 - 1, c_0101_1 - 455393696502968797297757753580516501/14507396114323667234791\ 7255318690294*c_1010_6^11 - 14294743456884528836296041542654162959/\ 1160591689145893378783338042549522352*c_1010_6^10 - 2102861972885637270810947225607831391/16579881273512762554047686322\ 1360336*c_1010_6^9 + 41749511221768381380533395661438477121/4642366\ 756583573515133352170198089408*c_1010_6^8 - 55642833021246294536375621094654126799/2321183378291786757566676085\ 099044704*c_1010_6^7 + 264068617494073580213539527959632352417/1856\ 9467026334294060533408680792357632*c_1010_6^6 - 28323961246383376645481766074079699783/2321183378291786757566676085\ 099044704*c_1010_6^5 + 10901202700334898708606991396642983381/23211\ 83378291786757566676085099044704*c_1010_6^4 - 2561001969741830172270916188303226647/58029584457294668939166902127\ 4761176*c_1010_6^3 + 179918898691509170656578653847762263/145073961\ 143236672347917255318690294*c_1010_6^2 - 5534368481227673399268163830589433/14507396114323667234791725531869\ 0294*c_1010_6 - 17259149584690238406832125566004801/725369805716183\ 36173958627659345147, c_0101_10 - 183422465514058993569283146383590537/5802958445729466893916\ 69021274761176*c_1010_6^11 + 298830356905998855122745447587352343/5\ 80295844572946689391669021274761176*c_1010_6^10 + 1739703761085861647288235563794177049/33159762547025525108095372644\ 2720672*c_1010_6^9 + 3661505803482795559453192505764651699/58029584\ 4572946689391669021274761176*c_1010_6^8 - 90943144069193210335738071543173093553/9284733513167147030266704340\ 396178816*c_1010_6^7 + 1114902077613616451113299365729785750/725369\ 80571618336173958627659345147*c_1010_6^6 - 6221244724402239179526773493895931801/58029584457294668939166902127\ 4761176*c_1010_6^5 + 7362455029613367263225409032591951613/11605916\ 89145893378783338042549522352*c_1010_6^4 - 2420034724144303778118005143639463343/11605916891458933787833380425\ 49522352*c_1010_6^3 + 150676754436299786433384161812963941/72536980\ 571618336173958627659345147*c_1010_6^2 - 39607082168352073397943374101149805/7253698057161833617395862765934\ 5147*c_1010_6 - 26996716575329335674019795933725605/725369805716183\ 36173958627659345147, c_0101_3 + 2860225895871374767669314728830181573/1160591689145893378783\ 338042549522352*c_1010_6^11 + 1254212023833508929353461178228086822\ 1/1160591689145893378783338042549522352*c_1010_6^10 + 9873844365235726644375652061301781691/66319525094051050216190745288\ 5441344*c_1010_6^9 - 964129554633288332738188580526638653/116059168\ 9145893378783338042549522352*c_1010_6^8 + 304988347002058574783222869252713710877/185694670263342940605334086\ 80792357632*c_1010_6^7 - 13113117939639320052202164673805776397/232\ 1183378291786757566676085099044704*c_1010_6^6 + 32972306578639094787495966930763213705/4642366756583573515133352170\ 198089408*c_1010_6^5 - 8336068491636299419235605533973162871/232118\ 3378291786757566676085099044704*c_1010_6^4 + 1274945871685581309315502132617619821/58029584457294668939166902127\ 4761176*c_1010_6^3 - 37590612609884279144872182340643635/7253698057\ 1618336173958627659345147*c_1010_6^2 - 9654938274235720258480126747895712/72536980571618336173958627659345\ 147*c_1010_6 + 15944509109209653826544158038616620/7253698057161833\ 6173958627659345147, c_0101_7 + 10421565971997637448940271012930273/828994063675638127702384\ 31610680168*c_1010_6^11 + 17539257917842986676002775659892835/10362\ 425795945476596279803951335021*c_1010_6^10 + 1973666347159545949552239567527426437/33159762547025525108095372644\ 2720672*c_1010_6^9 + 2394388822965861064922973280156173747/33159762\ 5470255251080953726442720672*c_1010_6^8 - 660336784224630589867649956756185735/132639050188102100432381490577\ 0882688*c_1010_6^7 + 5464368044003718149987510083808977407/13263905\ 01881021004323814905770882688*c_1010_6^6 - 55577319014024163523259865813926737/4144970318378190638511921580534\ 0084*c_1010_6^5 - 76919136367545002420317626468598393/3315976254702\ 55251080953726442720672*c_1010_6^4 - 41646380674504917759147331732453959/8289940636756381277023843161068\ 0168*c_1010_6^3 - 21161411099429211258176916859529281/4144970318378\ 1906385119215805340084*c_1010_6^2 + 1803191777089089502907634100998296/10362425795945476596279803951335\ 021*c_1010_6 - 3078079707441160422832613320452625/10362425795945476\ 596279803951335021, c_1001_10 + 684657869086386963496304305648320831/1160591689145893378783\ 338042549522352*c_1010_6^11 + 2970823524553099357849507737150589001\ /1160591689145893378783338042549522352*c_1010_6^10 + 1820181468828831575767388185073145785/66319525094051050216190745288\ 5441344*c_1010_6^9 - 7575881951095336137959685492887782805/23211833\ 78291786757566676085099044704*c_1010_6^8 + 10660639747910014610865308431462172711/1856946702633429406053340868\ 0792357632*c_1010_6^7 + 2048277410599418053373526234492777181/92847\ 33513167147030266704340396178816*c_1010_6^6 - 11183212813073482046028226025467510105/4642366756583573515133352170\ 198089408*c_1010_6^5 + 3196199431391833739515760159888126761/232118\ 3378291786757566676085099044704*c_1010_6^4 - 987272888105469351557554557518077791/580295844572946689391669021274\ 761176*c_1010_6^3 + 28752130558352212729043980298246790/72536980571\ 618336173958627659345147*c_1010_6^2 - 25483796080341328471168780264329381/7253698057161833617395862765934\ 5147*c_1010_6 - 6004120668489626415641235383486638/7253698057161833\ 6173958627659345147, c_1010_6^12 + 5805/1369*c_1010_6^11 + 28785/5476*c_1010_6^10 - 2454/1369*c_1010_6^9 + 133953/21904*c_1010_6^8 - 15987/5476*c_1010_6^7 + 2475/1369*c_1010_6^6 - 1664/1369*c_1010_6^5 + 648/1369*c_1010_6^4 - 208/1369*c_1010_6^3 - 448/1369*c_1010_6^2 + 192/1369*c_1010_6 + 128/1369 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB