Magma V2.19-8 Tue Aug 20 2013 23:39:24 on localhost [Seed = 2117605926] Type ? for help. Type -D to quit. Loading file "K13n3547__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3547 geometric_solution 9.34718377 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 -1 1 0 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642368120866 1.282545752230 0 5 6 4 0132 0132 0132 0321 0 0 0 0 0 0 0 0 1 0 0 -1 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 -4 0 0 4 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.090982593917 1.067686954309 3 0 7 5 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0.737414506769 0.474669336328 2 8 9 0 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.237477112446 1.105244114023 7 1 0 10 0321 0321 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -4 0 4 0 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.391868994803 0.611346227859 9 1 10 2 0213 0132 0213 0213 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 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482841580307 0.036088727485 8 9 7 1 2103 2103 0213 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 0 0 -5 0 0 5 -5 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.837029893774 0.551530142016 4 6 8 2 0321 0213 2031 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -1 1 -4 0 4 0 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.394082886064 0.587731073510 10 3 6 7 0321 0132 2103 1302 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 -1 5 -4 0 0 0 0 -1 0 0 1 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.719304337114 1.275817921829 5 6 10 3 0213 2103 0132 0132 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 -5 0 5 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.167809288038 0.633409214469 8 5 4 9 0321 0213 0132 0132 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 5 0 0 -5 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.714358256703 1.081397435562 ==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_1001_10'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_6'], 'c_1010_10' : d['c_0011_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_7']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_1'], 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_1'], 'c_1100_10' : d['c_1100_0'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_1001_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : negation(d['c_1001_1']), 's_3_1' : 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' : d['1'], 's_3_7' : negation(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' : 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' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0011_0'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0011_7'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : d['c_0011_7'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : negation(d['c_0011_4']), 'c_1100_8' : negation(d['c_0101_1'])})} 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_0011_7, c_0101_1, c_0101_3, c_1001_1, c_1001_10, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1055053198061039212620354903599/152453309413302933441263017875*c_11\ 00_0^16 - 1080800618669386376008818830491/1385939176484572122193300\ 1625*c_1100_0^15 + 7885403460084233306636877438836/1693925660147810\ 3715695890875*c_1100_0^14 - 15695089208211359496342708054329/138593\ 91764845721221933001625*c_1100_0^13 + 149980904990020003527232362193043/50817769804434311147087672625*c_1\ 100_0^12 - 126672761749957448813271069692014/3049066188266058668825\ 2603575*c_1100_0^11 + 1131008734539888006436936957883471/1524533094\ 13302933441263017875*c_1100_0^10 - 999537677507593469636891642767138/152453309413302933441263017875*c_\ 1100_0^9 + 1471497402242295181377457769154094/152453309413302933441\ 263017875*c_1100_0^8 - 751068093602040480307865815012727/1524533094\ 13302933441263017875*c_1100_0^7 + 87604687868132838905197552228639/\ 11727177647177148726251001375*c_1100_0^6 - 232049973479579220573564698273594/152453309413302933441263017875*c_\ 1100_0^5 + 198033076163396512148041024573996/5081776980443431114708\ 7672625*c_1100_0^4 + 16261282141325011826847014238461/1524533094133\ 02933441263017875*c_1100_0^3 + 1119328516015296453521459613392/7818\ 11843145143248416733425*c_1100_0^2 + 23587770472286543366214770304491/152453309413302933441263017875*c_1\ 100_0 + 3615171326574033662561506407731/117271776471771487262510013\ 75, c_0011_0 - 1, c_0011_10 + 1817925508627955/30993208776801349*c_1100_0^16 - 19968774212624866/30993208776801349*c_1100_0^15 + 114374221839656830/30993208776801349*c_1100_0^14 - 241616229132255643/30993208776801349*c_1100_0^13 + 44544669963244009/2384092982830873*c_1100_0^12 - 706073163542696987/30993208776801349*c_1100_0^11 + 1206469092754262063/30993208776801349*c_1100_0^10 - 949691771904036905/30993208776801349*c_1100_0^9 + 1337038470171858472/30993208776801349*c_1100_0^8 - 750476390555008547/30993208776801349*c_1100_0^7 + 835033062128859172/30993208776801349*c_1100_0^6 - 378875528850879182/30993208776801349*c_1100_0^5 + 200439017992263107/30993208776801349*c_1100_0^4 - 8978184470294275/2384092982830873*c_1100_0^3 - 61406345916069360/30993208776801349*c_1100_0^2 - 44710585500857776/30993208776801349*c_1100_0 - 16933214865539965/30993208776801349, c_0011_4 - 523174345883652/154966043884006745*c_1100_0^16 + 10388534184324633/154966043884006745*c_1100_0^15 - 82802860454835932/154966043884006745*c_1100_0^14 + 356791032293411237/154966043884006745*c_1100_0^13 - 60786713223747329/11920464914154365*c_1100_0^12 + 388440980163140253/30993208776801349*c_1100_0^11 - 2440407771260850048/154966043884006745*c_1100_0^10 + 4348955419750927299/154966043884006745*c_1100_0^9 - 2816774141272013987/154966043884006745*c_1100_0^8 + 4762393398871020346/154966043884006745*c_1100_0^7 - 574400438530793221/154966043884006745*c_1100_0^6 + 2870514730970132492/154966043884006745*c_1100_0^5 + 987161820599107531/154966043884006745*c_1100_0^4 + 93125180300271284/11920464914154365*c_1100_0^3 + 155218492958340056/30993208776801349*c_1100_0^2 + 319191028331946827/154966043884006745*c_1100_0 + 183988151092982846/154966043884006745, c_0011_6 + 18088154499585367/154966043884006745*c_1100_0^16 - 194930566973471358/154966043884006745*c_1100_0^15 + 1095218483290848672/154966043884006745*c_1100_0^14 - 2138046519470527387/154966043884006745*c_1100_0^13 + 386434854653449199/11920464914154365*c_1100_0^12 - 961753388331266589/30993208776801349*c_1100_0^11 + 8352046947966286203/154966043884006745*c_1100_0^10 - 2616260711257919044/154966043884006745*c_1100_0^9 + 6290659139826270927/154966043884006745*c_1100_0^8 + 2174736210165603814/154966043884006745*c_1100_0^7 + 2570173628037946046/154966043884006745*c_1100_0^6 + 2704547965737436803/154966043884006745*c_1100_0^5 + 794036252702504074/154966043884006745*c_1100_0^4 + 60640963457246286/11920464914154365*c_1100_0^3 + 5935127145998083/30993208776801349*c_1100_0^2 - 110597234178270152/154966043884006745*c_1100_0 - 127019636143587151/154966043884006745, c_0011_7 - 13630073995581959/154966043884006745*c_1100_0^16 + 150696476324991021/154966043884006745*c_1100_0^15 - 877135336780142394/154966043884006745*c_1100_0^14 + 1957175758313011894/154966043884006745*c_1100_0^13 - 375498768912990483/11920464914154365*c_1100_0^12 + 1185804585016761728/30993208776801349*c_1100_0^11 - 10384410123670222451/154966043884006745*c_1100_0^10 + 6979013485102412463/154966043884006745*c_1100_0^9 - 11392354820116671579/154966043884006745*c_1100_0^8 + 3015365689729297587/154966043884006745*c_1100_0^7 - 7735778422109135642/154966043884006745*c_1100_0^6 - 290601343163039731/154966043884006745*c_1100_0^5 - 3756608866832337213/154966043884006745*c_1100_0^4 - 57664455083988757/11920464914154365*c_1100_0^3 - 198745620928701517/30993208776801349*c_1100_0^2 - 223929674694313221/154966043884006745*c_1100_0 - 22450992848259668/154966043884006745, c_0101_1 - 3916142247383524/154966043884006745*c_1100_0^16 + 37678728644845616/154966043884006745*c_1100_0^15 - 191558419387796359/154966043884006745*c_1100_0^14 + 221260612877148254/154966043884006745*c_1100_0^13 - 55656208871109178/11920464914154365*c_1100_0^12 + 7977349845567758/30993208776801349*c_1100_0^11 - 1308524485884807856/154966043884006745*c_1100_0^10 - 936410836394511822/154966043884006745*c_1100_0^9 - 2226823105876236559/154966043884006745*c_1100_0^8 - 1509466780787427763/154966043884006745*c_1100_0^7 - 2701729016126489387/154966043884006745*c_1100_0^6 - 1502372350801125541/154966043884006745*c_1100_0^5 - 1440034043122791028/154966043884006745*c_1100_0^4 - 93529035195470917/11920464914154365*c_1100_0^3 - 52570193522350927/30993208776801349*c_1100_0^2 - 342604801778884111/154966043884006745*c_1100_0 - 4695588964168918/154966043884006745, c_0101_3 + 3539100381020476/30993208776801349*c_1100_0^16 - 35331639867652341/30993208776801349*c_1100_0^15 + 187426138438132099/30993208776801349*c_1100_0^14 - 283571727336255231/30993208776801349*c_1100_0^13 + 64799810138774704/2384092982830873*c_1100_0^12 - 482820497358231537/30993208776801349*c_1100_0^11 + 1686044391447770262/30993208776801349*c_1100_0^10 + 224416594730671379/30993208776801349*c_1100_0^9 + 2145855860437939668/30993208776801349*c_1100_0^8 + 1377781492548917078/30993208776801349*c_1100_0^7 + 2141114667786198735/30993208776801349*c_1100_0^6 + 1572769629212555613/30993208776801349*c_1100_0^5 + 1568168688615940182/30993208776801349*c_1100_0^4 + 70659928743281029/2384092982830873*c_1100_0^3 + 635371654295706811/30993208776801349*c_1100_0^2 + 269018039465295751/30993208776801349*c_1100_0 + 103087222701073450/30993208776801349, c_1001_1 - 2902494605152152/154966043884006745*c_1100_0^16 + 40440805144318178/154966043884006745*c_1100_0^15 - 272015959202141697/154966043884006745*c_1100_0^14 + 872704486715440752/154966043884006745*c_1100_0^13 - 135327219600911759/11920464914154365*c_1100_0^12 + 631092308127563936/30993208776801349*c_1100_0^11 - 3524936937116072228/154966043884006745*c_1100_0^10 + 4990713676207618394/154966043884006745*c_1100_0^9 - 2979224708570412057/154966043884006745*c_1100_0^8 + 4903811725339331626/154966043884006745*c_1100_0^7 - 1392988265077094551/154966043884006745*c_1100_0^6 + 3657324273616182847/154966043884006745*c_1100_0^5 - 537878864818864064/154966043884006745*c_1100_0^4 + 123965125912987174/11920464914154365*c_1100_0^3 - 11340319336944178/30993208776801349*c_1100_0^2 + 289891026658841002/154966043884006745*c_1100_0 - 73230998713457089/154966043884006745, c_1001_10 - c_1100_0, c_1001_2 + 2638373382634191/154966043884006745*c_1100_0^16 - 28498932863092449/154966043884006745*c_1100_0^15 + 158467362304263591/154966043884006745*c_1100_0^14 - 294484533261853381/154966043884006745*c_1100_0^13 + 47240797885843927/11920464914154365*c_1100_0^12 - 83101872791022002/30993208776801349*c_1100_0^11 + 271390367214384984/154966043884006745*c_1100_0^10 + 896959342419848313/154966043884006745*c_1100_0^9 - 1710582037116736299/154966043884006745*c_1100_0^8 + 2104413327960782417/154966043884006745*c_1100_0^7 - 2799443602191182242/154966043884006745*c_1100_0^6 + 780193562376260119/154966043884006745*c_1100_0^5 - 1791420017472748373/154966043884006745*c_1100_0^4 - 46507513855165372/11920464914154365*c_1100_0^3 - 154003797800723359/30993208776801349*c_1100_0^2 - 452270524419105311/154966043884006745*c_1100_0 - 216294466409213378/154966043884006745, c_1100_0^17 - 11*c_1100_0^16 + 64*c_1100_0^15 - 143*c_1100_0^14 + 368*c_1100_0^13 - 457*c_1100_0^12 + 839*c_1100_0^11 - 585*c_1100_0^10 + 1000*c_1100_0^9 - 270*c_1100_0^8 + 744*c_1100_0^7 + 78*c_1100_0^6 + 409*c_1100_0^5 + 145*c_1100_0^4 + 167*c_1100_0^3 + 64*c_1100_0^2 + 39*c_1100_0 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.260 Total time: 0.470 seconds, Total memory usage: 32.09MB