Magma V2.19-8 Tue Aug 20 2013 23:39:59 on localhost [Seed = 1140990196] Type ? for help. Type -D to quit. Loading file "K14n24552__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n24552 geometric_solution 9.00782839 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 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 -1 0 1 0 0 20 -20 0 0 0 0 -21 1 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.782509167060 1.538728528371 0 4 6 5 0132 1302 0132 0132 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 -1 1 21 -21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.154064416658 1.082234374301 7 0 8 6 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 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.775676701660 0.624629115976 8 4 5 0 0321 3012 3012 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 20 -20 0 20 0 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151903684414 0.357828644630 3 9 0 1 1230 0132 0132 2031 0 0 0 0 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 0 0 0 0 0 0 0 0 -20 -1 21 -20 0 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.152054269492 0.735222692881 9 3 1 10 0132 1230 0132 0132 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 -20 0 20 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.447732405792 0.557468592426 2 7 10 1 3201 2310 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 -1 0 0 1 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.401361478793 0.757572615604 2 9 10 6 0132 1230 2310 3201 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 -1 0 1 -1 0 0 1 0 0 0 0 0 20 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.040005642114 0.621057132852 3 9 10 2 0321 0321 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.410335029140 1.158502890922 5 4 7 8 0132 0132 3012 0321 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 20 -20 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.607743212913 0.499548408878 8 7 5 6 2310 3201 0132 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 20 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.605846040638 0.834348826063 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_3'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_0']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0101_10']), '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_10'], 's_2_0' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_10' : negation(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' : 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' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1100_1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0011_10']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : 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'], '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' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_10']), '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_10' : d['c_0101_3'], 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_8']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_8']), 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0101_3']), 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_8']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_8']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : 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_3, c_0011_4, c_0011_8, c_0101_1, c_0101_10, c_0101_3, c_1001_2, c_1001_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 11439012262976922764919103/96207328917053170249216*c_1100_1^8 + 5801100931083257285072591/6012958057315823140576*c_1100_1^7 - 723307587600001706398664033/24051832229263292562304*c_1100_1^6 + 577564097012959341106033947/6871952065503797874944*c_1100_1^5 + 555923277143866247526671773/13743904131007595749888*c_1100_1^4 - 575630346433197864478549801/6871952065503797874944*c_1100_1^3 - 3553399978362878578737609129/48103664458526585124608*c_1100_1^2 + 7942478043656476020952948597/48103664458526585124608*c_1100_1 - 5558493525951350165375099209/96207328917053170249216, c_0011_0 - 1, c_0011_10 - 33837395659801/17103257569846582*c_1100_1^8 + 130593555298545/8551628784923291*c_1100_1^7 - 8455364514019155/17103257569846582*c_1100_1^6 + 20564348267109515/17103257569846582*c_1100_1^5 + 19659116495498763/17103257569846582*c_1100_1^4 - 19280083773002877/17103257569846582*c_1100_1^3 - 14100606714807650/8551628784923291*c_1100_1^2 + 46521924959695855/17103257569846582*c_1100_1 - 1097948399090083/8551628784923291, c_0011_3 + 8102778813789/17103257569846582*c_1100_1^8 - 65503219349079/17103257569846582*c_1100_1^7 + 2040443911459753/17103257569846582*c_1100_1^6 - 5634600351385255/17103257569846582*c_1100_1^5 - 4539521909411547/17103257569846582*c_1100_1^4 + 4404150268639761/17103257569846582*c_1100_1^3 + 7078221524228402/8551628784923291*c_1100_1^2 - 3704929572029296/8551628784923291*c_1100_1 + 4618468123485334/8551628784923291, c_0011_4 - 52150070870010/8551628784923291*c_1100_1^8 + 399896558907015/8551628784923291*c_1100_1^7 - 26022202935103451/17103257569846582*c_1100_1^6 + 62136344544929075/17103257569846582*c_1100_1^5 + 63370789628033673/17103257569846582*c_1100_1^4 - 39935764018363733/17103257569846582*c_1100_1^3 - 94404554408224603/17103257569846582*c_1100_1^2 + 89347885048699841/17103257569846582*c_1100_1 - 1307322314070348/8551628784923291, c_0011_8 - 28539576143745/17103257569846582*c_1100_1^8 + 204933937569927/17103257569846582*c_1100_1^7 - 7027656785009721/17103257569846582*c_1100_1^6 + 6810010974777999/8551628784923291*c_1100_1^5 + 22297963758464133/17103257569846582*c_1100_1^4 + 704141252816593/8551628784923291*c_1100_1^3 - 5750903132430112/8551628784923291*c_1100_1^2 + 21420849500041439/17103257569846582*c_1100_1 + 213793930640061/8551628784923291, c_0101_1 - 13368803597177/17103257569846582*c_1100_1^8 + 58941149005581/8551628784923291*c_1100_1^7 - 3435512927543645/17103257569846582*c_1100_1^6 + 5836759736308835/8551628784923291*c_1100_1^5 + 3352270928440717/17103257569846582*c_1100_1^4 - 11243777338893061/8551628784923291*c_1100_1^3 - 7052510752861099/8551628784923291*c_1100_1^2 + 7796950978013688/8551628784923291*c_1100_1 - 2491829808512122/8551628784923291, c_0101_10 + 33837395659801/17103257569846582*c_1100_1^8 - 130593555298545/8551628784923291*c_1100_1^7 + 8455364514019155/17103257569846582*c_1100_1^6 - 20564348267109515/17103257569846582*c_1100_1^5 - 19659116495498763/17103257569846582*c_1100_1^4 + 19280083773002877/17103257569846582*c_1100_1^3 + 14100606714807650/8551628784923291*c_1100_1^2 - 46521924959695855/17103257569846582*c_1100_1 + 1097948399090083/8551628784923291, c_0101_3 - 8102778813789/17103257569846582*c_1100_1^8 + 65503219349079/17103257569846582*c_1100_1^7 - 2040443911459753/17103257569846582*c_1100_1^6 + 5634600351385255/17103257569846582*c_1100_1^5 + 4539521909411547/17103257569846582*c_1100_1^4 - 4404150268639761/17103257569846582*c_1100_1^3 - 7078221524228402/8551628784923291*c_1100_1^2 + 3704929572029296/8551628784923291*c_1100_1 + 3933160661437957/8551628784923291, c_1001_2 - 59735457143294/8551628784923291*c_1100_1^8 + 886844757372795/17103257569846582*c_1100_1^7 - 29614346792569527/17103257569846582*c_1100_1^6 + 64082847021867403/17103257569846582*c_1100_1^5 + 82316482458057089/17103257569846582*c_1100_1^4 - 16039926834944425/17103257569846582*c_1100_1^3 - 91801339167362629/17103257569846582*c_1100_1^2 + 47587416296356952/8551628784923291*c_1100_1 + 1398301425081835/8551628784923291, c_1001_5 - 33828893391243/8551628784923291*c_1100_1^8 + 264677980447512/8551628784923291*c_1100_1^7 - 16954102238633977/17103257569846582*c_1100_1^6 + 21440861121993911/8551628784923291*c_1100_1^5 + 36533303960157993/17103257569846582*c_1100_1^4 - 18469948127678579/8551628784923291*c_1100_1^3 - 68746305094907575/17103257569846582*c_1100_1^2 + 30258588202299905/8551628784923291*c_1100_1 + 3097351878774925/8551628784923291, c_1100_1^9 - 8*c_1100_1^8 + 252*c_1100_1^7 - 678*c_1100_1^6 - 421*c_1100_1^5 + 666*c_1100_1^4 + 702*c_1100_1^3 - 1318*c_1100_1^2 + 327*c_1100_1 + 56 ], Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_8, c_0101_1, c_0101_10, c_0101_3, c_1001_2, c_1001_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 1527344085957596393340441368/2824344149399266791610189*c_1100_1^9 - 221423069653822216788122134357/124271142573567738830848316*c_1100_1\ ^8 + 687560012801592685659253973779/124271142573567738830848316*c_1\ 100_1^7 - 181445521074656828469514587665/31067785643391934707712079\ *c_1100_1^6 + 251153656666263372500019568642/3106778564339193470771\ 2079*c_1100_1^5 - 544304088719944601445889074051/124271142573567738\ 830848316*c_1100_1^4 + 50096616950339123229121075908/31067785643391\ 934707712079*c_1100_1^3 - 225055390784509061108292579341/6213557128\ 6783869415424158*c_1100_1^2 + 309808979133544107432377770863/124271\ 142573567738830848316*c_1100_1 - 51074379361283947186842700833/1242\ 71142573567738830848316, c_0011_0 - 1, c_0011_10 - 465002703378536721552/432717044491997363507*c_1100_1^9 + 1390643504147430030970/432717044491997363507*c_1100_1^8 - 4458936017313920974491/432717044491997363507*c_1100_1^7 + 4007766737510231034287/432717044491997363507*c_1100_1^6 - 6841554956782454503674/432717044491997363507*c_1100_1^5 + 2570293276925747292895/432717044491997363507*c_1100_1^4 - 2362179150904488536438/432717044491997363507*c_1100_1^3 + 2980788301526533255060/432717044491997363507*c_1100_1^2 - 1252851105993559105932/432717044491997363507*c_1100_1 + 645989888184701652730/432717044491997363507, c_0011_3 - 1270703161296098244671/865434088983994727014*c_1100_1^9 + 2116074107779218458120/432717044491997363507*c_1100_1^8 - 13290593387003483113507/865434088983994727014*c_1100_1^7 + 7300840212229068375068/432717044491997363507*c_1100_1^6 - 20820286314400381501525/865434088983994727014*c_1100_1^5 + 12131302620930632715511/865434088983994727014*c_1100_1^4 - 3014331665888994449920/432717044491997363507*c_1100_1^3 + 8866823261306371046917/865434088983994727014*c_1100_1^2 - 2927931009922080210479/432717044491997363507*c_1100_1 + 1769250474259496083007/865434088983994727014, c_0011_4 - 1895894750696412759777/865434088983994727014*c_1100_1^9 + 3037172370734516694822/432717044491997363507*c_1100_1^8 - 19215190321141643218289/865434088983994727014*c_1100_1^7 + 9930484428505297435271/432717044491997363507*c_1100_1^6 - 30023906025745896085869/865434088983994727014*c_1100_1^5 + 15582068374945336049799/865434088983994727014*c_1100_1^4 - 4225862904383582083067/432717044491997363507*c_1100_1^3 + 12758750398824017561143/865434088983994727014*c_1100_1^2 - 3858146092784970067926/432717044491997363507*c_1100_1 + 2706026554581971883775/865434088983994727014, c_0011_8 - 501112138205756769241/865434088983994727014*c_1100_1^9 + 799674676092306778407/432717044491997363507*c_1100_1^8 - 4941273342337828873027/865434088983994727014*c_1100_1^7 + 2433408528857116006400/432717044491997363507*c_1100_1^6 - 6926830653108772247937/865434088983994727014*c_1100_1^5 + 3622713860802043786827/865434088983994727014*c_1100_1^4 - 789609082217327742480/432717044491997363507*c_1100_1^3 + 3921811486536105525423/865434088983994727014*c_1100_1^2 - 1014024327429664364718/432717044491997363507*c_1100_1 + 674713669643952281171/865434088983994727014, c_0101_1 - 629026220796832757129/865434088983994727014*c_1100_1^9 + 1836364042153607790821/865434088983994727014*c_1100_1^8 - 2905695492023636992992/432717044491997363507*c_1100_1^7 + 2400555124827112369684/432717044491997363507*c_1100_1^6 - 8212471700663835476965/865434088983994727014*c_1100_1^5 + 1222845674362404526318/432717044491997363507*c_1100_1^4 - 821646759857944031198/432717044491997363507*c_1100_1^3 + 3087237978871499309947/865434088983994727014*c_1100_1^2 - 1149168390845574965651/865434088983994727014*c_1100_1 + 9661568987674069343/432717044491997363507, c_0101_10 + 697600153678816268188/432717044491997363507*c_1100_1^9 - 2229199475893178858288/432717044491997363507*c_1100_1^8 + 6995875981941900086845/432717044491997363507*c_1100_1^7 - 7088464998941924320754/432717044491997363507*c_1100_1^6 + 10497190464324592135596/432717044491997363507*c_1100_1^5 - 5286979506703626543992/432717044491997363507*c_1100_1^4 + 2456179027144391985437/432717044491997363507*c_1100_1^3 - 4576379494235263875725/432717044491997363507*c_1100_1^2 + 2789249108368245000173/432717044491997363507*c_1100_1 - 874039457880524126917/432717044491997363507, c_0101_3 - 1110774205106785095701/865434088983994727014*c_1100_1^9 + 1754261593134695328703/432717044491997363507*c_1100_1^8 - 11102569023858737673565/865434088983994727014*c_1100_1^7 + 5536244804605647219084/432717044491997363507*c_1100_1^6 - 16904608012968605350785/865434088983994727014*c_1100_1^5 + 7884673887879660920437/865434088983994727014*c_1100_1^4 - 2269048710462277480627/432717044491997363507*c_1100_1^3 + 7738841988024623328251/865434088983994727014*c_1100_1^2 - 2079754799540285909596/432717044491997363507*c_1100_1 + 1148009656275910514891/865434088983994727014, c_1001_2 - 1767980668105336771889/865434088983994727014*c_1100_1^9 + 5837330051500039155637/865434088983994727014*c_1100_1^8 - 9172536339716099052666/432717044491997363507*c_1100_1^7 + 9963337832535301071987/432717044491997363507*c_1100_1^6 - 28738264978190832856841/865434088983994727014*c_1100_1^5 + 8379545443511285391995/432717044491997363507*c_1100_1^4 - 4193825226742965794349/432717044491997363507*c_1100_1^3 + 13593323906488623776619/865434088983994727014*c_1100_1^2 - 8595172449583693899637/865434088983994727014*c_1100_1 + 1680708543125288013130/432717044491997363507, c_1001_5 - 855462126946451435037/865434088983994727014*c_1100_1^9 + 1315958130055007812128/432717044491997363507*c_1100_1^8 - 8309942895485331546731/865434088983994727014*c_1100_1^7 + 3945149312181614074548/432717044491997363507*c_1100_1^6 - 12477939826283798604891/865434088983994727014*c_1100_1^5 + 5884013894204568742227/865434088983994727014*c_1100_1^4 - 1600283272158578823610/432717044491997363507*c_1100_1^3 + 6327934736951570946425/865434088983994727014*c_1100_1^2 - 1236482878627252570553/432717044491997363507*c_1100_1 + 991315957030416518691/865434088983994727014, c_1100_1^10 - 420/121*c_1100_1^9 + 1334/121*c_1100_1^8 - 1601/121*c_1100_1^7 + 207/11*c_1100_1^6 - 1495/121*c_1100_1^5 + 849/121*c_1100_1^4 - 959/121*c_1100_1^3 + 724/121*c_1100_1^2 - 322/121*c_1100_1 + 61/121 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.730 Total time: 0.940 seconds, Total memory usage: 32.09MB