Magma V2.19-8 Tue Aug 20 2013 23:40:32 on localhost [Seed = 2648439050] Type ? for help. Type -D to quit. Loading file "K12n313__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n313 geometric_solution 11.06790735 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -2 0 2 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 1.332953605815 1.728376768260 0 5 7 6 0132 0132 0132 0132 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 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.466849489818 0.529722190183 3 0 8 6 2031 0132 0132 0321 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 2 -2 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 1.180985963370 1.670350194676 6 9 2 0 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481097801639 0.766570792230 10 7 0 8 0132 0213 0132 1230 0 0 0 0 0 1 -1 0 1 0 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 1 -2 1 2 0 0 -2 -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.233581195606 0.754299852416 9 1 11 7 0213 0132 0132 1230 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 -2 2 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.314341794852 0.457617998918 3 2 1 9 0132 0321 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 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.173749486819 0.593622912103 5 10 4 1 3012 3120 0213 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.357221521360 0.788592290937 4 10 11 2 3012 3201 0213 0132 0 0 0 0 0 0 -1 1 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 -2 2 -1 0 1 0 2 0 0 -2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455870886595 0.585839302822 5 3 6 11 0213 0132 0132 2310 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 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.382493883081 0.639758657298 4 7 8 11 0132 3120 2310 3012 0 0 0 0 0 0 0 0 -1 0 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 -1 0 1 -2 0 0 2 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.424545481725 0.922099658626 9 8 10 5 3201 0213 1230 0132 0 0 0 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 2 -2 0 -1 0 1 0 0 -1 0 1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533978001939 1.331574333759 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_1001_10']), 'c_1001_7' : negation(d['c_1001_10']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_1001_10']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0011_8']), 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0011_7'], 'c_0101_10' : d['c_0011_8'], 's_2_0' : negation(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' : 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_1100_9' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_1'], 'c_1100_10' : d['c_0011_8'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_1001_10']), 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : negation(d['c_1001_10']), 'c_1100_8' : d['c_1001_5'], 's_3_1' : negation(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' : 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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), '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_7'], '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_3']), 'c_0110_10' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_10']), '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' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : d['c_0011_11'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), '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_0011_3'], 'c_0110_5' : d['c_0011_7'], 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_0']})} 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_3, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_1001_0, c_1001_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 13893902147605907304940814503038158703/2112715589534879538423653777\ 49095500*c_1001_5^14 - 4837042830480996608456386374022355817/211271\ 55895348795384236537774909550*c_1001_5^13 - 96745951944445426816436846649089021861/2112715589534879538423653777\ 49095500*c_1001_5^12 + 124320759961530111971798454783823777359/2112\ 71558953487953842365377749095500*c_1001_5^11 - 176775518764254752356971933065734738749/211271558953487953842365377\ 749095500*c_1001_5^10 + 310986624685474437473382705808904788351/211\ 271558953487953842365377749095500*c_1001_5^9 - 165395030873309894298547216751572511837/211271558953487953842365377\ 749095500*c_1001_5^8 + 20577178250043650246735900690704739623/10563\ 577947674397692118268887454775*c_1001_5^7 - 53500812431233540836273701958828917499/1056357794767439769211826888\ 74547750*c_1001_5^6 + 484546658806115332396776126353277933/38413010\ 71881599160770279595438100*c_1001_5^5 - 248775796676224702475295770094108696477/211271558953487953842365377\ 749095500*c_1001_5^4 - 29783926066094943492310592177645797361/21127\ 155895348795384236537774909550*c_1001_5^3 - 111490951844780234899025716528859407479/211271558953487953842365377\ 749095500*c_1001_5^2 - 9225924063461659923439586874325993797/105635\ 779476743976921182688874547750*c_1001_5 - 619697694552514189562908943022518639/105635779476743976921182688874\ 547750, c_0011_0 - 1, c_0011_10 - 118167114017476294585308/18476159338325354170175*c_1001_5^1\ 4 - 80118143031749133369074/3695231867665070834035*c_1001_5^13 - 810535372383779205118071/18476159338325354170175*c_1001_5^12 + 1055631270619741242642474/18476159338325354170175*c_1001_5^11 - 1740264018467667390266164/18476159338325354170175*c_1001_5^10 + 279804801648088339543451/1679650848938668560925*c_1001_5^9 - 2086734374427553074056757/18476159338325354170175*c_1001_5^8 + 874602928596372011573072/3695231867665070834035*c_1001_5^7 - 1833095591200817977289578/18476159338325354170175*c_1001_5^6 + 256950323064043095599388/3695231867665070834035*c_1001_5^5 - 2733412791331022001570922/18476159338325354170175*c_1001_5^4 - 416757544252763714360587/3695231867665070834035*c_1001_5^3 - 1260657763529455342879219/18476159338325354170175*c_1001_5^2 - 380720138534408499010634/18476159338325354170175*c_1001_5 - 27480665452599745133433/18476159338325354170175, c_0011_11 - 60460645546318398140357/18476159338325354170175*c_1001_5^14 - 42995279786690257419824/3695231867665070834035*c_1001_5^13 - 451185107971101429498329/18476159338325354170175*c_1001_5^12 + 464926931039396040378931/18476159338325354170175*c_1001_5^11 - 812689048118359847516381/18476159338325354170175*c_1001_5^10 + 132638426592388830000434/1679650848938668560925*c_1001_5^9 - 873181164927228034238533/18476159338325354170175*c_1001_5^8 + 433264692372312020211443/3695231867665070834035*c_1001_5^7 - 683266487611704312546812/18476159338325354170175*c_1001_5^6 + 130820459115196952469529/3695231867665070834035*c_1001_5^5 - 1429643139443185112415958/18476159338325354170175*c_1001_5^4 - 239911814423562645140452/3695231867665070834035*c_1001_5^3 - 907367601593961483495261/18476159338325354170175*c_1001_5^2 - 295680881046434909760211/18476159338325354170175*c_1001_5 - 46178908363300623906177/18476159338325354170175, c_0011_3 - 9295809080883255102913/7390463735330141668070*c_1001_5^14 - 12098570986072279406483/3695231867665070834035*c_1001_5^13 - 42007183937491148059869/7390463735330141668070*c_1001_5^12 + 123519653020291888071413/7390463735330141668070*c_1001_5^11 - 221205102190526816070129/7390463735330141668070*c_1001_5^10 + 34636360244669352016783/671860339575467424370*c_1001_5^9 - 405883125473322907153509/7390463735330141668070*c_1001_5^8 + 56354152989187308034467/739046373533014166807*c_1001_5^7 - 245401647216880938391129/3695231867665070834035*c_1001_5^6 + 348464082870674754475659/7390463735330141668070*c_1001_5^5 - 75424033548702180757681/1478092747066028333614*c_1001_5^4 + 31136153325303215312666/3695231867665070834035*c_1001_5^3 - 57545997348260966363043/7390463735330141668070*c_1001_5^2 + 10460023194286453173208/3695231867665070834035*c_1001_5 - 1936094516873805205668/3695231867665070834035, c_0011_7 - 26615134025044698284931/36952318676650708340350*c_1001_5^14 - 6460737282711255753621/7390463735330141668070*c_1001_5^13 - 513884719670913676267/36952318676650708340350*c_1001_5^12 + 295493955496394604649989/18476159338325354170175*c_1001_5^11 - 497678514274912494990874/18476159338325354170175*c_1001_5^10 + 77028439477752996447306/1679650848938668560925*c_1001_5^9 - 1124473249948394843924202/18476159338325354170175*c_1001_5^8 + 494327525230006755255009/7390463735330141668070*c_1001_5^7 - 1480200693283197718421123/18476159338325354170175*c_1001_5^6 + 368756190979621686753403/7390463735330141668070*c_1001_5^5 - 829799871539790144834287/18476159338325354170175*c_1001_5^4 + 235415100144270764044507/7390463735330141668070*c_1001_5^3 + 318655571663126601756307/36952318676650708340350*c_1001_5^2 + 396013307394744128043087/36952318676650708340350*c_1001_5 + 24411803821746329082312/18476159338325354170175, c_0011_8 + 11077856006607127991474/3695231867665070834035*c_1001_5^14 + 34151635532952621041663/3695231867665070834035*c_1001_5^13 + 130336209134931919869199/7390463735330141668070*c_1001_5^12 - 120273468805951302073094/3695231867665070834035*c_1001_5^11 + 394758685794853546025229/7390463735330141668070*c_1001_5^10 - 63064145858588598299213/671860339575467424370*c_1001_5^9 + 600764285508384049606629/7390463735330141668070*c_1001_5^8 - 198892461474012666459105/1478092747066028333614*c_1001_5^7 + 649971164206225489426903/7390463735330141668070*c_1001_5^6 - 211802864341098330667582/3695231867665070834035*c_1001_5^5 + 64548839555164183809706/739046373533014166807*c_1001_5^4 + 188611501247442253451203/7390463735330141668070*c_1001_5^3 + 161778105343185234524783/7390463735330141668070*c_1001_5^2 + 4425349702801104505242/3695231867665070834035*c_1001_5 - 9562324190535774035639/7390463735330141668070, c_0101_0 + 23909515878648659233637/18476159338325354170175*c_1001_5^14 + 16944443169565434329638/3695231867665070834035*c_1001_5^13 + 342991645426019113244223/36952318676650708340350*c_1001_5^12 - 202528344858451087124026/18476159338325354170175*c_1001_5^11 + 587969485587845048355667/36952318676650708340350*c_1001_5^10 - 92307857683474170056193/3359301697877337121850*c_1001_5^9 + 455372673716322312922361/36952318676650708340350*c_1001_5^8 - 259181793052490933711181/7390463735330141668070*c_1001_5^7 + 128298735401565582218259/36952318676650708340350*c_1001_5^6 + 1734617671960363426142/739046373533014166807*c_1001_5^5 + 322227094644955691304588/18476159338325354170175*c_1001_5^4 + 256058532598120034144353/7390463735330141668070*c_1001_5^3 + 316475768245424748606637/36952318676650708340350*c_1001_5^2 + 114215506328642163299176/18476159338325354170175*c_1001_5 + 12459113296336638956209/36952318676650708340350, c_0101_1 - 5139296851052089538813/671860339575467424370*c_1001_5^14 - 17288843278697483120119/671860339575467424370*c_1001_5^13 - 34940878673548995322443/671860339575467424370*c_1001_5^12 + 4641444733793510495748/67186033957546742437*c_1001_5^11 - 38833499114195686536002/335930169787733712185*c_1001_5^10 + 68696654099515697296857/335930169787733712185*c_1001_5^9 - 9730327698100460306284/67186033957546742437*c_1001_5^8 + 39512267072084265262533/134372067915093484874*c_1001_5^7 - 44689968115679658731759/335930169787733712185*c_1001_5^6 + 64920711188873445751851/671860339575467424370*c_1001_5^5 - 62730997483660108037527/335930169787733712185*c_1001_5^4 - 83966021366480161874407/671860339575467424370*c_1001_5^3 - 11318209942104940438203/134372067915093484874*c_1001_5^2 - 16076952281175248068489/671860339575467424370*c_1001_5 - 175734534618787966916/67186033957546742437, c_0101_2 + 110579653018877787830046/18476159338325354170175*c_1001_5^14 + 14875175658921881357632/739046373533014166807*c_1001_5^13 + 753878348771045024953132/18476159338325354170175*c_1001_5^12 - 993517616997104506998353/18476159338325354170175*c_1001_5^11 + 1681082495428085598400718/18476159338325354170175*c_1001_5^10 - 272406064596537804482407/1679650848938668560925*c_1001_5^9 + 2154506674164964590505854/18476159338325354170175*c_1001_5^8 - 871044150255046354080729/3695231867665070834035*c_1001_5^7 + 2045744575404519216691361/18476159338325354170175*c_1001_5^6 - 311177780667379242346824/3695231867665070834035*c_1001_5^5 + 2852852696615343986300744/18476159338325354170175*c_1001_5^4 + 68377546613765482511785/739046373533014166807*c_1001_5^3 + 1318377758200302450159793/18476159338325354170175*c_1001_5^2 + 311028421001055913142333/18476159338325354170175*c_1001_5 + 22080965390586117091551/18476159338325354170175, c_1001_0 - 321227615133226754215107/36952318676650708340350*c_1001_5^14 - 108643960876987378047353/3695231867665070834035*c_1001_5^13 - 2203394831133583223210559/36952318676650708340350*c_1001_5^12 + 2861376199112807835786471/36952318676650708340350*c_1001_5^11 - 4803834009753453406509331/36952318676650708340350*c_1001_5^10 + 772113574523244273720879/3359301697877337121850*c_1001_5^9 - 5923098237572469860736403/36952318676650708340350*c_1001_5^8 + 1223035282213244624052244/3695231867665070834035*c_1001_5^7 - 2687651943031554553566031/18476159338325354170175*c_1001_5^6 + 796516925009724995627047/7390463735330141668070*c_1001_5^5 - 7767022257744447473990913/36952318676650708340350*c_1001_5^4 - 536852469553456910407374/3695231867665070834035*c_1001_5^3 - 3648292851132427383510001/36952318676650708340350*c_1001_5^2 - 527604193222241109752293/18476159338325354170175*c_1001_5 - 58672317704591802214491/18476159338325354170175, c_1001_10 + 72832723405567965302216/18476159338325354170175*c_1001_5^14 + 51634026629823743537347/3695231867665070834035*c_1001_5^13 + 1065158790458093378497829/36952318676650708340350*c_1001_5^12 - 588753073329472785047828/18476159338325354170175*c_1001_5^11 + 1887956312129797062303181/36952318676650708340350*c_1001_5^10 - 303418262139518362605209/3359301697877337121850*c_1001_5^9 + 1797541813270454547629233/36952318676650708340350*c_1001_5^8 - 931221170594598458318373/7390463735330141668070*c_1001_5^7 + 1113861776380456037403037/36952318676650708340350*c_1001_5^6 - 73310899722712196579237/3695231867665070834035*c_1001_5^5 + 1381273282325276406171604/18476159338325354170175*c_1001_5^4 + 663877370285339972996337/7390463735330141668070*c_1001_5^3 + 1603298316057306494566461/36952318676650708340350*c_1001_5^2 + 332745009604315641118693/18476159338325354170175*c_1001_5 + 53504049949974935607127/36952318676650708340350, c_1001_5^15 + 46/13*c_1001_5^14 + 96/13*c_1001_5^13 - 102/13*c_1001_5^12 + 176/13*c_1001_5^11 - 313/13*c_1001_5^10 + 185/13*c_1001_5^9 - 456/13*c_1001_5^8 + 138/13*c_1001_5^7 - 124/13*c_1001_5^6 + 287/13*c_1001_5^5 + 269/13*c_1001_5^4 + 179/13*c_1001_5^3 + 67/13*c_1001_5^2 + 11/13*c_1001_5 + 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.400 Total time: 2.609 seconds, Total memory usage: 64.12MB