Magma V2.19-8 Tue Aug 20 2013 23:38:24 on localhost [Seed = 2227364030] Type ? for help. Type -D to quit. Loading file "K14n14251__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14251 geometric_solution 8.53669857 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 10 1 2 2 3 0132 0132 1023 0132 0 0 0 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 -2 1 1 0 0 2 -2 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.025624052060 0.424161196807 0 4 5 3 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.803558177824 0.804337253493 6 0 0 7 0132 0132 1023 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 2 -2 0 0 0 -1 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.803445466510 0.469491574613 8 1 0 4 0132 1302 0132 1023 0 0 0 0 0 0 -1 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 0 -1 1 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 0 1.410319098212 0.550074286028 5 1 9 3 2103 0132 0132 1023 0 0 0 0 0 0 -1 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 0 -2 2 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.737242228152 0.271087601498 8 7 4 1 3120 2031 2103 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339106321423 1.209195030958 2 8 9 7 0132 1230 1302 2031 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 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.684669114981 0.355064276637 5 6 2 9 1302 1302 0132 1302 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 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.397796534016 0.908951476474 3 9 6 5 0132 3120 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.101542948716 0.975040766418 6 8 7 4 2031 3120 2031 0132 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 0 0 0 0 -1 -1 2 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.628401360154 0.777158164120 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0011_7'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_0011_0'], 'c_1001_8' : negation(d['c_0011_0']), 's_2_8' : d['1'], 's_2_9' : d['1'], '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_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : negation(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_0101_9'], 'c_1100_8' : negation(d['c_0101_4']), 'c_1100_5' : negation(d['c_0110_4']), 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : negation(d['c_0110_4']), 'c_1100_0' : negation(d['c_0101_9']), 'c_1100_3' : negation(d['c_0101_9']), 'c_1100_2' : d['c_0101_9'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : d['c_0011_7'], 'c_1010_4' : d['c_0011_7'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : negation(d['c_0011_5']), '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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_5'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], '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_0101_9'], 'c_0101_8' : d['c_0011_7'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_7'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_9, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 6472182731846191512887705919493/1558122097483681625923091634336*c_0\ 110_4^13 - 542920271840133801276231595615/9987962163356933499506997\ 656*c_0110_4^12 + 2803022562516092381874261937315/38002977987406868\ 924953454496*c_0110_4^11 - 124573077788324278805621654961623/389530\ 524370920406480772908584*c_0110_4^10 - 1419772362769352780810768126093639/1558122097483681625923091634336*\ c_0110_4^9 + 695039063722483940517962874103387/38953052437092040648\ 0772908584*c_0110_4^8 + 884029807663406683098991990542265/389530524\ 370920406480772908584*c_0110_4^7 - 7672626997475492775320832959107379/1558122097483681625923091634336*\ c_0110_4^6 - 4707416303105580697278936528505263/5193740324945605419\ 74363878112*c_0110_4^5 - 2242263559294712861991823318163983/3895305\ 24370920406480772908584*c_0110_4^4 - 65095204019128705103886075390091/21055704020049751701663400464*c_01\ 10_4^3 - 372883720536739793637294860737105/194765262185460203240386\ 454292*c_0110_4^2 - 71011056700073557258667442246199/12984350812364\ 0135493590969528*c_0110_4 + 74082835346413278703466433361541/519374\ 032494560541974363878112, c_0011_0 - 1, c_0011_3 - 2016891194509462415059/96254206929567186900464*c_0110_4^13 - 13674142223392714329213/48127103464783593450232*c_0110_4^12 + 592820563823352551155/2347663583647980168304*c_0110_4^11 - 15772783254116257128015/12031775866195898362558*c_0110_4^10 - 543729767951720881070741/96254206929567186900464*c_0110_4^9 + 377655779182812577641839/48127103464783593450232*c_0110_4^8 + 825141343109809004912337/48127103464783593450232*c_0110_4^7 - 2417908035349288220166683/96254206929567186900464*c_0110_4^6 - 5624753893465603102706383/96254206929567186900464*c_0110_4^5 - 1787849127099148693294111/48127103464783593450232*c_0110_4^4 - 220154057457661217875303/12031775866195898362558*c_0110_4^3 - 631159942525757688042983/48127103464783593450232*c_0110_4^2 - 184294741146441631932183/48127103464783593450232*c_0110_4 + 93981043536175116050651/96254206929567186900464, c_0011_5 - 5126058581977364600449/96254206929567186900464*c_0110_4^13 - 33833093338611331404159/48127103464783593450232*c_0110_4^12 + 2052885633130890598265/2347663583647980168304*c_0110_4^11 - 46747210198433913244309/12031775866195898362558*c_0110_4^10 - 1189224732424596211719255/96254206929567186900464*c_0110_4^9 + 1074435166414055167509933/48127103464783593450232*c_0110_4^8 + 1593249941356722870911799/48127103464783593450232*c_0110_4^7 - 6155055311623688353630153/96254206929567186900464*c_0110_4^6 - 12096345643254960018871853/96254206929567186900464*c_0110_4^5 - 3705269835113110545235545/48127103464783593450232*c_0110_4^4 - 417348708525608076248959/12031775866195898362558*c_0110_4^3 - 1048532542257961514668329/48127103464783593450232*c_0110_4^2 - 239498439764292894366997/48127103464783593450232*c_0110_4 + 295560472732409483361953/96254206929567186900464, c_0011_7 - 1434500632647849034743/96254206929567186900464*c_0110_4^13 - 4507067065267594680353/24063551732391796725116*c_0110_4^12 + 859394735228314912945/2347663583647980168304*c_0110_4^11 - 30858599290953392627045/24063551732391796725116*c_0110_4^10 - 260074412122515261036749/96254206929567186900464*c_0110_4^9 + 197290396201253866663175/24063551732391796725116*c_0110_4^8 + 110756383804565961815163/24063551732391796725116*c_0110_4^7 - 2113366288499035228903193/96254206929567186900464*c_0110_4^6 - 2178719654097773706816423/96254206929567186900464*c_0110_4^5 - 102657370626948739533209/24063551732391796725116*c_0110_4^4 - 38310875342075488223377/48127103464783593450232*c_0110_4^3 - 15887376849945540479877/12031775866195898362558*c_0110_4^2 + 23789499994181834245815/24063551732391796725116*c_0110_4 + 70223090943837649817301/96254206929567186900464, c_0101_0 - 2160786044963452214963/96254206929567186900464*c_0110_4^13 - 7015462060098363313597/24063551732391796725116*c_0110_4^12 + 1010263511625025244237/2347663583647980168304*c_0110_4^11 - 41752593292448542367965/24063551732391796725116*c_0110_4^10 - 462868447829841617215425/96254206929567186900464*c_0110_4^9 + 248994285215513560755711/24063551732391796725116*c_0110_4^8 + 283776950056116963787525/24063551732391796725116*c_0110_4^7 - 2796239414228666567326717/96254206929567186900464*c_0110_4^6 - 4567683311899807938059979/96254206929567186900464*c_0110_4^5 - 550403268849880634296031/24063551732391796725116*c_0110_4^4 - 434329413370909178816669/48127103464783593450232*c_0110_4^3 - 39787263160754648229115/6015887933097949181279*c_0110_4^2 - 30148551226990055381913/24063551732391796725116*c_0110_4 + 116450854143580462580497/96254206929567186900464, c_0101_1 + 276607153538314574869/12031775866195898362558*c_0110_4^13 + 14441198766362488243067/48127103464783593450232*c_0110_4^12 - 489343067228187680043/1173831791823990084152*c_0110_4^11 + 43390676855625865419541/24063551732391796725116*c_0110_4^10 + 118873577779818691172223/24063551732391796725116*c_0110_4^9 - 475720742522441541257793/48127103464783593450232*c_0110_4^8 - 579147588689453437907603/48127103464783593450232*c_0110_4^7 + 1295646285950786123800683/48127103464783593450232*c_0110_4^6 + 1179658130250513546237481/24063551732391796725116*c_0110_4^5 + 1533017253657581074735149/48127103464783593450232*c_0110_4^4 + 876306882447993378809327/48127103464783593450232*c_0110_4^3 + 573665880919319410197579/48127103464783593450232*c_0110_4^2 + 119886918902368766624085/48127103464783593450232*c_0110_4 - 62259441636872493852869/48127103464783593450232, c_0101_2 + 485488087986147812183/96254206929567186900464*c_0110_4^13 + 825584479559814577069/12031775866195898362558*c_0110_4^12 - 127424157445978458933/2347663583647980168304*c_0110_4^11 + 8518220902340980957595/24063551732391796725116*c_0110_4^10 + 121551137849727324747269/96254206929567186900464*c_0110_4^9 - 17335320947739024893181/12031775866195898362558*c_0110_4^8 - 23477207594843507861747/6015887933097949181279*c_0110_4^7 + 382119901331891017897565/96254206929567186900464*c_0110_4^6 + 1394392625808750214258175/96254206929567186900464*c_0110_4^5 + 83215699862847149450746/6015887933097949181279*c_0110_4^4 + 387298465825974425052699/48127103464783593450232*c_0110_4^3 + 84446089089313444617571/24063551732391796725116*c_0110_4^2 + 7616673923336832718731/6015887933097949181279*c_0110_4 - 4402513237593923871249/96254206929567186900464, c_0101_4 - 3206069861343367753523/96254206929567186900464*c_0110_4^13 - 21516621289836883735177/48127103464783593450232*c_0110_4^12 + 1066066740456597226387/2347663583647980168304*c_0110_4^11 - 27058800101786726451989/12031775866195898362558*c_0110_4^10 - 807599182452353625935237/96254206929567186900464*c_0110_4^9 + 610513090220591334610859/48127103464783593450232*c_0110_4^8 + 1183919512988842884387497/48127103464783593450232*c_0110_4^7 - 3659569121792762106829395/96254206929567186900464*c_0110_4^6 - 8523233363348436097797255/96254206929567186900464*c_0110_4^5 - 2834229494956435870563159/48127103464783593450232*c_0110_4^4 - 155473186616797798964970/6015887933097949181279*c_0110_4^3 - 816090856679552463513679/48127103464783593450232*c_0110_4^2 - 226144048365961901108779/48127103464783593450232*c_0110_4 + 220934868550977909673403/96254206929567186900464, c_0101_9 + 1055791710830511169387/48127103464783593450232*c_0110_4^13 + 14046955026503029038517/48127103464783593450232*c_0110_4^12 - 193515882885357372611/586915895911995042076*c_0110_4^11 + 37646670897444955616957/24063551732391796725116*c_0110_4^10 + 251412516364810441837967/48127103464783593450232*c_0110_4^9 - 410572480927957621572735/48127103464783593450232*c_0110_4^8 - 717541499162784231845113/48127103464783593450232*c_0110_4^7 + 599207360739936719572669/24063551732391796725116*c_0110_4^6 + 2689507017212624878774801/48127103464783593450232*c_0110_4^5 + 1709289882598191777707943/48127103464783593450232*c_0110_4^4 + 786885198022929149216103/48127103464783593450232*c_0110_4^3 + 572904566562748433295373/48127103464783593450232*c_0110_4^2 + 154345985659105328032899/48127103464783593450232*c_0110_4 - 10308628706926732257238/6015887933097949181279, c_0110_4^14 + 13*c_0110_4^13 - 19*c_0110_4^12 + 77*c_0110_4^11 + 215*c_0110_4^10 - 457*c_0110_4^9 - 536*c_0110_4^8 + 1291*c_0110_4^7 + 2144*c_0110_4^6 + 1021*c_0110_4^5 + 394*c_0110_4^4 + 326*c_0110_4^3 + 36*c_0110_4^2 - 87*c_0110_4 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB