Magma V2.19-8 Tue Aug 20 2013 17:58:54 on localhost [Seed = 4240263236] Type ? for help. Type -D to quit. Loading file "10^2_162__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_162 geometric_solution 12.58060537 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 14 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.023145112761 0.900944819815 0 4 5 4 0132 0132 0132 0213 1 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 1 -1 0 0 0 0 1 -1 0 0 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.755721528949 0.599944943293 0 0 7 6 3012 0132 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 1 0 -1 -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.553162051650 0.510176579410 8 9 6 0 0132 0132 1302 0132 0 0 0 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 1 0 -1 -4 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.028495507126 1.109213845615 5 1 8 1 0321 0132 2031 0213 1 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 -1 1 0 0 0 0 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.755721528949 0.599944943293 4 10 10 1 0321 0132 0321 0132 1 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 1 0 -1 0 0 0 0 -3 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.241473775386 1.154551866100 3 8 2 9 2031 3120 0132 3120 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 0 1 -1 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.023145112761 0.900944819815 11 12 12 2 0132 0132 1302 0132 0 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 0 0 0 0 0 0 1 -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.188311723737 0.644375286690 3 6 10 4 0132 3120 1302 1302 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 0 0 0 0 0 -1 1 4 -5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.023145112761 0.900944819815 6 3 13 12 3120 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.023145112761 0.900944819815 8 5 5 13 2031 0132 0321 3201 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 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.241473775386 1.154551866100 7 13 12 13 0132 2031 1023 0132 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 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.173559868866 0.829836988134 7 7 11 9 2031 0132 1023 1023 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 0 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.582161660083 1.429781931427 11 10 11 9 1302 2310 0132 0132 0 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 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.173559868866 0.829836988134 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_1001_1'], 'c_1001_13' : d['c_0011_13'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : negation(d['c_0011_13']), 'c_1001_4' : d['c_0011_6'], 'c_1001_7' : d['c_0110_12'], 'c_1001_6' : negation(d['c_0110_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0110_10']), 'c_1001_3' : d['c_0110_12'], 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : negation(d['c_0110_10']), 'c_1001_8' : d['c_0110_10'], 'c_1010_13' : negation(d['c_0110_10']), 'c_1010_12' : d['c_0110_12'], 'c_1010_11' : d['c_0011_13'], 'c_1010_10' : negation(d['c_0011_13']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_1001_1'], 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : d['c_0101_12'], 'c_1100_1' : d['c_1001_1'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0101_12'], 's_0_10' : negation(d['1']), 'c_1100_11' : d['c_1100_11'], 'c_1100_10' : negation(d['c_0011_13']), 'c_1100_13' : d['c_1100_11'], 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0110_10']), 'c_1010_2' : negation(d['c_0110_10']), 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_0101_11'], 'c_1010_9' : d['c_0110_12'], 'c_1010_8' : negation(d['c_0011_6']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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_1100_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_6'], '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_11']), 'c_0110_10' : d['c_0110_10'], 'c_0110_13' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0110_12'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : negation(d['c_0011_10']), 'c_0101_9' : negation(d['c_0101_12']), 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0110_12'], 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : negation(d['c_0011_10']), 'c_1100_9' : d['c_1100_11'], 'c_0110_3' : negation(d['c_0011_10']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0110_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_3, c_0011_6, c_0101_10, c_0101_11, c_0101_12, c_0101_6, c_0110_10, c_0110_12, c_1001_1, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 1093661256091012049113448/2098458672295969768810025*c_1100_11^11 - 427580179196484105143831/2098458672295969768810025*c_1100_11^10 + 5166485383137684479407489/419691734459193953762005*c_1100_11^9 - 49321095700919420034825552/2098458672295969768810025*c_1100_11^8 - 31655873806496949426960611/419691734459193953762005*c_1100_11^7 + 677447995956060989537790853/2098458672295969768810025*c_1100_11^6 - 1752239492118614661950182716/2098458672295969768810025*c_1100_11^5 + 121234599456835745159508527/83938346891838790752401*c_1100_11^4 - 3710432246409149081531167033/2098458672295969768810025*c_1100_11^3 + 13547688207148298498577298/14674536169901886495175*c_1100_11^2 - 393350170291084839901363838/2098458672295969768810025*c_1100_11 - 14222517677527227840356216/2098458672295969768810025, c_0011_0 - 1, c_0011_10 + 7619314280700411579/145171820982080233055*c_1100_11^11 + 1544147296085848183/145171820982080233055*c_1100_11^10 - 36333357379519502932/29034364196416046611*c_1100_11^9 + 375025572228948387376/145171820982080233055*c_1100_11^8 + 212145010768005116994/29034364196416046611*c_1100_11^7 - 4935327207364095570439/145171820982080233055*c_1100_11^6 + 12917505985306980309048/145171820982080233055*c_1100_11^5 - 4612945574690439757932/29034364196416046611*c_1100_11^4 + 28651936755880190583189/145171820982080233055*c_1100_11^3 - 119383384321032225979/1015187559315246385*c_1100_11^2 + 3692416289011530970009/145171820982080233055*c_1100_11 + 68287056805759330843/145171820982080233055, c_0011_11 + 6108115879116797034/145171820982080233055*c_1100_11^11 + 66224109753477758/145171820982080233055*c_1100_11^10 - 29233945758776527495/29034364196416046611*c_1100_11^9 + 328658155764371740891/145171820982080233055*c_1100_11^8 + 159973134847233258285/29034364196416046611*c_1100_11^7 - 4138011526980945413244/145171820982080233055*c_1100_11^6 + 11076759775869558881768/145171820982080233055*c_1100_11^5 - 4049664497873853188743/29034364196416046611*c_1100_11^4 + 25934795552166335366054/145171820982080233055*c_1100_11^3 - 119611025947389411349/1015187559315246385*c_1100_11^2 + 4378286010628538544334/145171820982080233055*c_1100_11 + 17991424146999871838/145171820982080233055, c_0011_13 - 590449107778197403/13197438271098203005*c_1100_11^11 + 49308665737619284/13197438271098203005*c_1100_11^10 + 2832687551725404619/2639487654219640601*c_1100_11^9 - 33098333265497107997/13197438271098203005*c_1100_11^8 - 15030659719233451196/2639487654219640601*c_1100_11^7 + 408897003746271309233/13197438271098203005*c_1100_11^6 - 1103043183933704360121/13197438271098203005*c_1100_11^5 + 407294269253135288840/2639487654219640601*c_1100_11^4 - 2642065621109633584258/13197438271098203005*c_1100_11^3 + 138617773034995182283/1015187559315246385*c_1100_11^2 - 478574884547694159933/13197438271098203005*c_1100_11 - 5096704746144007331/13197438271098203005, c_0011_3 + 482865800713224289/6311818303568705785*c_1100_11^11 + 11145431972055698/6311818303568705785*c_1100_11^10 - 2316520818806712819/1262363660713741157*c_1100_11^9 + 25797752348486686726/6311818303568705785*c_1100_11^8 + 12833719257537616177/1262363660713741157*c_1100_11^7 - 326821351908442038954/6311818303568705785*c_1100_11^6 + 866781628354017792023/6311818303568705785*c_1100_11^5 - 315798083802510002102/1262363660713741157*c_1100_11^4 + 2002445514920570880349/6311818303568705785*c_1100_11^3 - 8984892189294699519/44138589535445495*c_1100_11^2 + 293215800554496638924/6311818303568705785*c_1100_11 + 5228754686384184793/6311818303568705785, c_0011_6 - 7619314280700411579/145171820982080233055*c_1100_11^11 - 1544147296085848183/145171820982080233055*c_1100_11^10 + 36333357379519502932/29034364196416046611*c_1100_11^9 - 375025572228948387376/145171820982080233055*c_1100_11^8 - 212145010768005116994/29034364196416046611*c_1100_11^7 + 4935327207364095570439/145171820982080233055*c_1100_11^6 - 12917505985306980309048/145171820982080233055*c_1100_11^5 + 4612945574690439757932/29034364196416046611*c_1100_11^4 - 28651936755880190583189/145171820982080233055*c_1100_11^3 + 119383384321032225979/1015187559315246385*c_1100_11^2 - 3692416289011530970009/145171820982080233055*c_1100_11 + 76884764176320902212/145171820982080233055, c_0101_10 - 14114254466260583012/145171820982080233055*c_1100_11^11 - 1001751972972036059/145171820982080233055*c_1100_11^10 + 67492920448498953741/29034364196416046611*c_1100_11^9 - 739107238149416575343/145171820982080233055*c_1100_11^8 - 377482267679573080150/29034364196416046611*c_1100_11^7 + 9433194248573079972002/145171820982080233055*c_1100_11^6 - 25050981008577728270379/145171820982080233055*c_1100_11^5 + 9093182536474927935172/29034364196416046611*c_1100_11^4 - 57714658588086160010027/145171820982080233055*c_1100_11^3 + 258001157356027408262/1015187559315246385*c_1100_11^2 - 8956740019036166729272/145171820982080233055*c_1100_11 - 124350809013343411484/145171820982080233055, c_0101_11 - 8247282612599519426/145171820982080233055*c_1100_11^11 + 500019329861504153/145171820982080233055*c_1100_11^10 + 39643212437373887501/29034364196416046611*c_1100_11^9 - 457071200104951630929/145171820982080233055*c_1100_11^8 - 213607332179846145377/29034364196416046611*c_1100_11^7 + 5691418840618001638931/145171820982080233055*c_1100_11^6 - 15214893937708465554907/145171820982080233055*c_1100_11^5 + 5592992548652051403363/29034364196416046611*c_1100_11^4 - 35884273024513028625826/145171820982080233055*c_1100_11^3 + 166766309177473339826/1015187559315246385*c_1100_11^2 - 5664850810081169775466/145171820982080233055*c_1100_11 - 211891483417113886317/145171820982080233055, c_0101_12 - 1786486493445745711/29034364196416046611*c_1100_11^11 + 50310897161123419/29034364196416046611*c_1100_11^10 + 42895942958401495725/29034364196416046611*c_1100_11^9 - 97659114291525041951/29034364196416046611*c_1100_11^8 - 233561023832745594208/29034364196416046611*c_1100_11^7 + 1223911180111347166652/29034364196416046611*c_1100_11^6 - 3262898303372457909428/29034364196416046611*c_1100_11^5 + 5973780736599515608848/29034364196416046611*c_1100_11^4 - 7634771372820039394822/29034364196416046611*c_1100_11^3 + 34962633776190739423/203037511863049277*c_1100_11^2 - 1174328476202774201748/29034364196416046611*c_1100_11 - 49643918241126996431/29034364196416046611, c_0101_6 + 1765059875037250386/29034364196416046611*c_1100_11^11 - 132447327054761311/29034364196416046611*c_1100_11^10 - 42401049504012687654/29034364196416046611*c_1100_11^9 + 98475344137735344041/29034364196416046611*c_1100_11^8 + 226766301796463810753/29034364196416046611*c_1100_11^7 - 1221268038622123768816/29034364196416046611*c_1100_11^6 + 3277332996184014455373/29034364196416046611*c_1100_11^5 - 6038798214695083122159/29034364196416046611*c_1100_11^4 + 7780596419270616196782/29034364196416046611*c_1100_11^3 - 36488019083698082883/203037511863049277*c_1100_11^2 + 1274431576430938581774/29034364196416046611*c_1100_11 + 28955302404663056883/29034364196416046611, c_0110_10 - 877945138750058811/13197438271098203005*c_1100_11^11 - 13590850797376302/13197438271098203005*c_1100_11^10 + 4211765973555809706/2639487654219640601*c_1100_11^9 - 47098463007998747824/13197438271098203005*c_1100_11^8 - 23270564337292316552/2639487654219640601*c_1100_11^7 + 595819941400984030646/13197438271098203005*c_1100_11^6 - 1580937679311196390382/13197438271098203005*c_1100_11^5 + 575479582219025424064/2639487654219640601*c_1100_11^4 - 3652587082266158913116/13197438271098203005*c_1100_11^3 + 179628149105102444481/1015187559315246385*c_1100_11^2 - 508892733188701324371/13197438271098203005*c_1100_11 - 25715747555367880342/13197438271098203005, c_0110_12 + 8792186471/772454581015*c_1100_11^11 - 298232498/772454581015*c_1100_11^10 - 42514286878/154490916203*c_1100_11^9 + 479388806999/772454581015*c_1100_11^8 + 235881363485/154490916203*c_1100_11^7 - 6049365825951/772454581015*c_1100_11^6 + 15832419159027/772454581015*c_1100_11^5 - 5790582672830/154490916203*c_1100_11^4 + 36333371476031/772454581015*c_1100_11^3 - 1744160854776/59419583155*c_1100_11^2 + 4087433292786/772454581015*c_1100_11 + 161449859552/772454581015, c_1001_1 - 1, c_1100_11^12 - 24*c_1100_11^10 + 54*c_1100_11^9 + 132*c_1100_11^8 - 681*c_1100_11^7 + 1809*c_1100_11^6 - 3299*c_1100_11^5 + 4196*c_1100_11^4 - 2705*c_1100_11^3 + 602*c_1100_11^2 + 35*c_1100_11 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.890 Total time: 1.100 seconds, Total memory usage: 32.09MB