Magma V2.19-8 Tue Aug 20 2013 23:38:23 on localhost [Seed = 1124411238] Type ? for help. Type -D to quit. Loading file "K10n12__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10n12 geometric_solution 10.26024344 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 1 3 -4 -1 0 0 1 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562078706451 1.168331791838 0 5 7 6 0132 0132 0132 0132 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 1 0 -1 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443067148757 0.593115468875 8 0 9 7 0132 0132 0132 0132 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 -1 1 0 -1 0 0 1 3 0 0 -3 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.288761422164 1.266222006751 10 8 6 0 0132 0321 2310 0132 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 0 3 -3 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.906144169342 0.689112596167 5 7 0 8 0321 0132 0132 0321 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 0 4 -4 0 0 -1 1 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.186083701479 0.914432503688 4 1 10 9 0321 0132 2031 0321 0 0 0 0 0 0 0 0 -1 0 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 1 -1 -4 0 4 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.394241058589 0.380931986824 10 3 1 9 2103 3201 0132 0132 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 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.781268881594 0.997262087395 9 4 2 1 0132 0132 0132 0132 0 0 0 0 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 0 0 -1 1 -3 0 0 3 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.148742601205 0.710937161240 2 4 10 3 0132 0321 0213 0321 0 0 0 0 0 1 -1 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 4 -4 0 1 0 -1 0 4 0 0 -4 -3 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415888902186 1.035001335485 7 5 6 2 0132 0321 0132 0132 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 3 -3 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.186544572065 1.114798691605 3 8 6 5 0132 0213 2103 1302 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 0 4 0 -4 0 0 0 0 0 1 0 -1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.841134346906 0.502530477346 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_10' : d['c_0011_6'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_1001_3']), 'c_1001_8' : d['c_0011_6'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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_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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1100_1'], 'c_1100_8' : d['c_1001_3'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_1100_1'], 'c_1100_10' : negation(d['c_0101_1']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_3']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_1001_0'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(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' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_4'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_3'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_0']), '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 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_1001_0, c_1001_1, c_1001_3, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 8082461646111447462260992546/5522833529857707136236975*c_1100_1^16 - 651335111939134159066881011/14727556079620552363298600*c_1100_1^15 - 10813479634318832612973702627/3681889019905138090824650*c_1100_1^14 - 6857875669818829446442777836547/44182668238861657089895800*c_1100\ _1^13 - 38273895196934525955937417597/362153018351325058113900*c_11\ 00_1^12 + 12744256681367821925390460347/157795243710220203892485*c_\ 1100_1^11 + 281409723961499678979010441/157795243710220203892485*c_\ 1100_1^10 + 424627571750841216034993602532/552283352985770713623697\ 5*c_1100_1^9 + 3129685053781076915270138079943/11045667059715414272\ 473950*c_1100_1^8 + 872937093096064596319731884604/1840944509952569\ 045412325*c_1100_1^7 + 15778684386228020914214609222201/22091334119\ 430828544947900*c_1100_1^6 + 29717155213255545291302600488421/44182\ 668238861657089895800*c_1100_1^5 + 2110330027615525648108235736463/2945511215924110472659720*c_1100_1^\ 4 + 2342476723525252606425346734757/4418266823886165708989580*c_110\ 0_1^3 + 7674724881270944510642442922141/22091334119430828544947900*\ c_1100_1^2 + 2847463573695791505883596031637/2209133411943082854494\ 7900*c_1100_1 + 1400139314658293588881929626473/4418266823886165708\ 9895800, c_0011_0 - 1, c_0011_10 + 93248941376111518382927/525984145700734012974950*c_1100_1^1\ 6 - 3534867121566397743733/525984145700734012974950*c_1100_1^15 + 158470061037864112304401/525984145700734012974950*c_1100_1^14 + 9898300009858973940383203/525984145700734012974950*c_1100_1^13 + 49161889623518414162763/4311345456563393548975*c_1100_1^12 - 858360913241014257380868/52598414570073401297495*c_1100_1^11 + 9777744363903052934146/10519682914014680259499*c_1100_1^10 - 1191982635771966324005972/262992072850367006487475*c_1100_1^9 - 9780866238074273210958494/262992072850367006487475*c_1100_1^8 - 13406101294263915264005787/262992072850367006487475*c_1100_1^7 - 38834255973522086901934473/525984145700734012974950*c_1100_1^6 - 17532787888688305370941702/262992072850367006487475*c_1100_1^5 - 6870079811879300128861297/105196829140146802594990*c_1100_1^4 - 2611006393453353978145104/52598414570073401297495*c_1100_1^3 - 6516392565492007933428984/262992072850367006487475*c_1100_1^2 - 3905469367183181174044421/525984145700734012974950*c_1100_1 - 130743087515844024474407/525984145700734012974950, c_0011_4 + 34866695106469753885106/262992072850367006487475*c_1100_1^16 + 19123543911640802009611/262992072850367006487475*c_1100_1^15 + 42845851828201036162308/262992072850367006487475*c_1100_1^14 + 3746611054067735221555299/262992072850367006487475*c_1100_1^13 + 71874939831187952649023/4311345456563393548975*c_1100_1^12 - 708023961717285042967929/52598414570073401297495*c_1100_1^11 - 324793791041126103318437/52598414570073401297495*c_1100_1^10 + 1143552946493723300077623/262992072850367006487475*c_1100_1^9 - 9347276448712458875367374/262992072850367006487475*c_1100_1^8 - 13917193132087243115858957/262992072850367006487475*c_1100_1^7 - 16770785492440005353932884/262992072850367006487475*c_1100_1^6 - 19292245997964738647922182/262992072850367006487475*c_1100_1^5 - 3359044175269675556058763/52598414570073401297495*c_1100_1^4 - 2854957335970518182245808/52598414570073401297495*c_1100_1^3 - 7414961666190671947952419/262992072850367006487475*c_1100_1^2 - 2307887361425001163448858/262992072850367006487475*c_1100_1 - 167052291681809094668716/262992072850367006487475, c_0011_6 + 8434857932145162748787/262992072850367006487475*c_1100_1^16 + 17910688839767843740752/262992072850367006487475*c_1100_1^15 + 5499281729122322051181/262992072850367006487475*c_1100_1^14 + 926390415741983965067368/262992072850367006487475*c_1100_1^13 + 40448275266949715116381/4311345456563393548975*c_1100_1^12 - 93887751635855601960596/52598414570073401297495*c_1100_1^11 - 87260008955120766212627/10519682914014680259499*c_1100_1^10 + 986937027650393838995036/262992072850367006487475*c_1100_1^9 - 2093131004098287974475803/262992072850367006487475*c_1100_1^8 - 6699148678886444380239594/262992072850367006487475*c_1100_1^7 - 6871650070350310240853888/262992072850367006487475*c_1100_1^6 - 8216509324704470233328099/262992072850367006487475*c_1100_1^5 - 1484362399639690822614557/52598414570073401297495*c_1100_1^4 - 1316415064804351102562243/52598414570073401297495*c_1100_1^3 - 3884491571857275940785058/262992072850367006487475*c_1100_1^2 - 1273652926429520379844526/262992072850367006487475*c_1100_1 - 15060737384390184120167/262992072850367006487475, c_0101_0 + 1453490660509670700873/262992072850367006487475*c_1100_1^16 - 657953958140175475087/262992072850367006487475*c_1100_1^15 - 2055048459922761591911/262992072850367006487475*c_1100_1^14 + 155671393528151182934242/262992072850367006487475*c_1100_1^13 + 344392797576403276359/4311345456563393548975*c_1100_1^12 - 130067506287257139257967/52598414570073401297495*c_1100_1^11 + 1319385248346228663159/52598414570073401297495*c_1100_1^10 + 451225514351718841210909/262992072850367006487475*c_1100_1^9 - 437364102855536582567017/262992072850367006487475*c_1100_1^8 - 51941741845331240590331/262992072850367006487475*c_1100_1^7 + 189270409870638472789053/262992072850367006487475*c_1100_1^6 + 598049050868155374523719/262992072850367006487475*c_1100_1^5 + 241556575365077179230251/52598414570073401297495*c_1100_1^4 + 97148500506061979446476/52598414570073401297495*c_1100_1^3 + 1056974642282676008574773/262992072850367006487475*c_1100_1^2 + 625052118430234103715161/262992072850367006487475*c_1100_1 + 199496776328383071989322/262992072850367006487475, c_0101_1 + 18631218550107129996193/525984145700734012974950*c_1100_1^16 - 16414410868566438449147/525984145700734012974950*c_1100_1^15 + 41439588316771611973509/525984145700734012974950*c_1100_1^14 + 1955004848911084310156977/525984145700734012974950*c_1100_1^13 - 3763314548656818718658/4311345456563393548975*c_1100_1^12 - 174194313768164235162507/52598414570073401297495*c_1100_1^11 + 51802989954713496906287/10519682914014680259499*c_1100_1^10 - 855480077101896013958473/262992072850367006487475*c_1100_1^9 - 2041108829164182062439221/262992072850367006487475*c_1100_1^8 - 708198442999424970941033/262992072850367006487475*c_1100_1^7 - 5689053594626083641851357/525984145700734012974950*c_1100_1^6 - 2018669783514231740358893/262992072850367006487475*c_1100_1^5 - 895557946701655644933923/105196829140146802594990*c_1100_1^4 - 350143791222616709616521/52598414570073401297495*c_1100_1^3 - 802299888000714668903781/262992072850367006487475*c_1100_1^2 - 1200670662466757096101589/525984145700734012974950*c_1100_1 - 265217601536418782880463/525984145700734012974950, c_0101_3 - 1442304723120633599283/8622690913126787097950*c_1100_1^16 + 1258861794964697602547/8622690913126787097950*c_1100_1^15 - 3217947286613408556009/8622690913126787097950*c_1100_1^14 - 150593836112536492548127/8622690913126787097950*c_1100_1^13 + 16777552831686720768168/4311345456563393548975*c_1100_1^12 + 2691500547891606158707/172453818262535741959*c_1100_1^11 - 11947237898972338774029/862269091312678709795*c_1100_1^10 + 55166978780936387781773/4311345456563393548975*c_1100_1^9 + 114689841321217688689081/4311345456563393548975*c_1100_1^8 + 104690578691967606245778/4311345456563393548975*c_1100_1^7 + 377493487923253726690157/8622690913126787097950*c_1100_1^6 + 84703569880185593045643/4311345456563393548975*c_1100_1^5 + 11978387097333106005495/344907636525071483918*c_1100_1^4 + 9822304786759610140623/862269091312678709795*c_1100_1^3 + 22312172433019760494981/4311345456563393548975*c_1100_1^2 - 19310181900193166004671/8622690913126787097950*c_1100_1 - 2770896552230099984777/8622690913126787097950, c_1001_0 + 46493925910216108849793/525984145700734012974950*c_1100_1^16 + 2172846666842165368633/525984145700734012974950*c_1100_1^15 + 59774699810731554190149/525984145700734012974950*c_1100_1^14 + 4951044010595105845275297/525984145700734012974950*c_1100_1^13 + 27723834032274988799247/4311345456563393548975*c_1100_1^12 - 604732005112931561502826/52598414570073401297495*c_1100_1^11 - 44614912364462642997408/52598414570073401297495*c_1100_1^10 + 919479480872437035434222/262992072850367006487475*c_1100_1^9 - 5576970466710827486899936/262992072850367006487475*c_1100_1^8 - 7255565020151271457051173/262992072850367006487475*c_1100_1^7 - 15721434721966701845459627/525984145700734012974950*c_1100_1^6 - 8046585903417986181115623/262992072850367006487475*c_1100_1^5 - 2862233719590145361303799/105196829140146802594990*c_1100_1^4 - 1052949209128670704467242/52598414570073401297495*c_1100_1^3 - 2395790040736481208641516/262992072850367006487475*c_1100_1^2 - 373222348554602511312949/525984145700734012974950*c_1100_1 + 115232762660042327562427/525984145700734012974950, c_1001_1 + 46331148529227783079073/262992072850367006487475*c_1100_1^16 + 8123029572347085267263/262992072850367006487475*c_1100_1^15 + 65593063189229613926614/262992072850367006487475*c_1100_1^14 + 4941238298610333676097717/262992072850367006487475*c_1100_1^13 + 65710819258651394691084/4311345456563393548975*c_1100_1^12 - 995556853957965761943247/52598414570073401297495*c_1100_1^11 - 170653311223558651171556/52598414570073401297495*c_1100_1^10 + 589092487169672933413709/262992072850367006487475*c_1100_1^9 - 10806819909194617376720442/262992072850367006487475*c_1100_1^8 - 15379276759060556732455156/262992072850367006487475*c_1100_1^7 - 19334814070634956422441547/262992072850367006487475*c_1100_1^6 - 19040414489267403524128506/262992072850367006487475*c_1100_1^5 - 3490462321899155254659119/52598414570073401297495*c_1100_1^4 - 2804575672414525074983074/52598414570073401297495*c_1100_1^3 - 6631875336004421756850202/262992072850367006487475*c_1100_1^2 - 1564544313115982706739739/262992072850367006487475*c_1100_1 + 148192981530704464200022/262992072850367006487475, c_1001_3 - 84428224274355028614729/525984145700734012974950*c_1100_1^16 - 18394664985251986880509/525984145700734012974950*c_1100_1^15 - 107218771606327148315927/525984145700734012974950*c_1100_1^14 - 9027292317664071533994781/525984145700734012974950*c_1100_1^13 - 62708574964319374495101/4311345456563393548975*c_1100_1^12 + 1009682442182065153070861/52598414570073401297495*c_1100_1^11 + 19038182028858346420450/10519682914014680259499*c_1100_1^10 - 904280049815347150806056/262992072850367006487475*c_1100_1^9 + 10768521786655704235287138/262992072850367006487475*c_1100_1^8 + 13437020336046673376666999/262992072850367006487475*c_1100_1^7 + 34589232018343796550570371/525984145700734012974950*c_1100_1^6 + 17958707104917615046066679/262992072850367006487475*c_1100_1^5 + 6054146112005038942507939/105196829140146802594990*c_1100_1^4 + 2606891187395335330717268/52598414570073401297495*c_1100_1^3 + 5570790156875094711235668/262992072850367006487475*c_1100_1^2 + 3383060045323508613626067/525984145700734012974950*c_1100_1 - 339006179625955578102461/525984145700734012974950, c_1100_1^17 + 2*c_1100_1^15 + 106*c_1100_1^14 + 69*c_1100_1^13 - 58*c_1100_1^12 - 52*c_1100_1^10 - 192*c_1100_1^9 - 318*c_1100_1^8 - 477*c_1100_1^7 - 443*c_1100_1^6 - 473*c_1100_1^5 - 345*c_1100_1^4 - 224*c_1100_1^3 - 79*c_1100_1^2 - 18*c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.410 seconds, Total memory usage: 32.09MB