Magma V2.19-8 Tue Aug 20 2013 17:55:40 on localhost [Seed = 3069641056] Type ? for help. Type -D to quit. Loading file "10_129__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_129 geometric_solution 8.90151664 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 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 0 -1 1 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.594346380570 1.192763578570 0 5 5 3 0132 0132 1302 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 -1 0 0 0 0 0 -1 0 0 1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166269305240 1.109387351034 4 0 7 6 0213 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 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.945342256367 0.947911426069 6 1 8 0 1302 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 -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.403590106652 0.677542429436 2 9 0 8 0213 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 -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.514115732621 0.743046111794 1 1 6 9 2031 0132 1230 3012 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 -1 1 0 1 0 0 -1 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.867870959491 0.881595589963 7 3 2 5 1302 2031 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.764397810873 0.964037874630 9 6 8 2 0321 2031 0213 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291871311845 0.435130851642 9 7 4 3 3201 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.662328923982 0.818679682083 7 4 5 8 0321 0132 1230 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 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.367187374058 0.551368467899 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : d['c_0011_6'], 'c_1001_7' : negation(d['c_0110_6']), 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_6'], 'c_1001_9' : negation(d['c_0110_6']), 'c_1001_8' : negation(d['c_0110_6']), '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' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_8'], 'c_1100_8' : d['c_1100_0'], 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_3'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_1001_3']), 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_1001_3'], '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' : 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_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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_8'], 'c_0101_6' : negation(d['c_0011_7']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_8']), 'c_0101_8' : d['c_0011_7'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_7']), 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : d['c_0011_7'], 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : d['c_0110_6']})} 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_4, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0110_6, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 18239731043198757353/1136184645265139003968*c_1100_0^14 + 1415687665300355557/162312092180734143424*c_1100_0^13 - 180583384744226008967/1136184645265139003968*c_1100_0^12 + 72566254897396847179/284046161316284750992*c_1100_0^11 + 173104857889754794949/284046161316284750992*c_1100_0^10 - 2168051095920255827825/1136184645265139003968*c_1100_0^9 + 1472914340434054698765/1136184645265139003968*c_1100_0^8 + 89314102079802430375/35505770164535593874*c_1100_0^7 - 191540037066043932029/35505770164535593874*c_1100_0^6 + 2111098258262072835165/284046161316284750992*c_1100_0^5 - 9325320958271629830303/1136184645265139003968*c_1100_0^4 + 452037248074939608633/81156046090367071712*c_1100_0^3 - 29643296847710172845/142023080658142375496*c_1100_0^2 + 1179807276121256109493/1136184645265139003968*c_1100_0 + 283251795586103712323/162312092180734143424, c_0011_0 - 1, c_0011_3 + 11816359155653727/699621086985923032*c_1100_0^14 - 31005398191021/99945869569417576*c_1100_0^13 - 100104123467146809/699621086985923032*c_1100_0^12 + 50554139284370299/174905271746480758*c_1100_0^11 + 58936064385624417/174905271746480758*c_1100_0^10 - 901002467566652455/699621086985923032*c_1100_0^9 + 733248111388336291/699621086985923032*c_1100_0^8 + 13740867159331712/87452635873240379*c_1100_0^7 + 114637494575173851/87452635873240379*c_1100_0^6 - 231910805650770079/174905271746480758*c_1100_0^5 - 1329757661954604545/699621086985923032*c_1100_0^4 + 93204057788569435/49972934784708788*c_1100_0^3 + 272082572321868821/87452635873240379*c_1100_0^2 + 434159135283770075/699621086985923032*c_1100_0 + 167823109597198909/99945869569417576, c_0011_4 - 25484490830711743/699621086985923032*c_1100_0^14 + 2102847361925237/99945869569417576*c_1100_0^13 + 202115756720483625/699621086985923032*c_1100_0^12 - 137151344209001691/174905271746480758*c_1100_0^11 - 37062043412234007/174905271746480758*c_1100_0^10 + 1936497425422351367/699621086985923032*c_1100_0^9 - 2814035937695608195/699621086985923032*c_1100_0^8 + 220968148047942389/87452635873240379*c_1100_0^7 - 396939420078658902/87452635873240379*c_1100_0^6 + 936295326336887073/174905271746480758*c_1100_0^5 + 121606261892034401/699621086985923032*c_1100_0^4 - 214225162733946311/49972934784708788*c_1100_0^3 - 144937328391432781/87452635873240379*c_1100_0^2 - 917510024969909499/699621086985923032*c_1100_0 - 328794155124528653/99945869569417576, c_0011_6 - 3754831004947371/199891739138835152*c_1100_0^14 + 2484444678186151/199891739138835152*c_1100_0^13 + 30094673113425797/199891739138835152*c_1100_0^12 - 20676055732768081/49972934784708788*c_1100_0^11 - 4449894933552651/49972934784708788*c_1100_0^10 + 291273790135120387/199891739138835152*c_1100_0^9 - 429617676928130951/199891739138835152*c_1100_0^8 + 17770217772188262/12493233696177197*c_1100_0^7 - 29690928455100654/12493233696177197*c_1100_0^6 + 138172463851203869/49972934784708788*c_1100_0^5 + 36830005257739245/199891739138835152*c_1100_0^4 - 223239118725723653/99945869569417576*c_1100_0^3 - 13068442285488879/24986467392354394*c_1100_0^2 - 221222916412266527/199891739138835152*c_1100_0 - 318217268971158911/199891739138835152, c_0011_7 + 18705143073105821/699621086985923032*c_1100_0^14 - 1484248272716959/99945869569417576*c_1100_0^13 - 146841581754446827/699621086985923032*c_1100_0^12 + 99656824716121299/174905271746480758*c_1100_0^11 + 25253301517459517/174905271746480758*c_1100_0^10 - 1395508236336484477/699621086985923032*c_1100_0^9 + 2053117064525155705/699621086985923032*c_1100_0^8 - 168861453630491894/87452635873240379*c_1100_0^7 + 300815731534492532/87452635873240379*c_1100_0^6 - 712793278588644247/174905271746480758*c_1100_0^5 + 149504025737927877/699621086985923032*c_1100_0^4 + 141825903743432541/49972934784708788*c_1100_0^3 + 116892787862810976/87452635873240379*c_1100_0^2 + 772027403918621225/699621086985923032*c_1100_0 + 233173770417688111/99945869569417576, c_0011_8 + 15489578454592859/349810543492961516*c_1100_0^14 - 900440792685413/49972934784708788*c_1100_0^13 - 120764196394417101/349810543492961516*c_1100_0^12 + 77545002685509624/87452635873240379*c_1100_0^11 + 29119521493459730/87452635873240379*c_1100_0^10 - 1086821346670635323/349810543492961516*c_1100_0^9 + 1535011043704745511/349810543492961516*c_1100_0^8 - 267780888718151995/87452635873240379*c_1100_0^7 + 526129719332509197/87452635873240379*c_1100_0^6 - 539041859425465709/87452635873240379*c_1100_0^5 - 70304132373964829/349810543492961516*c_1100_0^4 + 83547649458857763/24986467392354394*c_1100_0^3 + 237419288224538748/87452635873240379*c_1100_0^2 + 887102919403203775/349810543492961516*c_1100_0 + 228175502964725449/49972934784708788, c_0101_0 + 2408480785990555/1399242173971846064*c_1100_0^14 + 1322441494591423/199891739138835152*c_1100_0^13 - 25959836064660837/1399242173971846064*c_1100_0^12 - 7837818519125143/349810543492961516*c_1100_0^11 + 60107923197696351/349810543492961516*c_1100_0^10 - 151395187403175363/1399242173971846064*c_1100_0^9 - 481430472188537705/1399242173971846064*c_1100_0^8 + 61902700748308515/87452635873240379*c_1100_0^7 - 45124666238210345/87452635873240379*c_1100_0^6 + 344851830084598983/349810543492961516*c_1100_0^5 - 2011665237948538429/1399242173971846064*c_1100_0^4 + 65471822893062299/99945869569417576*c_1100_0^3 + 36689523506970875/174905271746480758*c_1100_0^2 + 1451047892162750095/1399242173971846064*c_1100_0 + 75541225079201209/199891739138835152, c_0110_6 - 54142575368598221/1399242173971846064*c_1100_0^14 + 2467872234903479/199891739138835152*c_1100_0^13 + 423885257552922243/1399242173971846064*c_1100_0^12 - 262426228523039951/349810543492961516*c_1100_0^11 - 123676483261542117/349810543492961516*c_1100_0^10 + 3795337079037946133/1399242173971846064*c_1100_0^9 - 5092645721042586289/1399242173971846064*c_1100_0^8 + 203495729275501279/87452635873240379*c_1100_0^7 - 427797581401657690/87452635873240379*c_1100_0^6 + 1662548886090246019/349810543492961516*c_1100_0^5 + 1304960255894370667/1399242173971846064*c_1100_0^4 - 340085789092323333/99945869569417576*c_1100_0^3 - 471542740976755927/174905271746480758*c_1100_0^2 - 3236146782037727417/1399242173971846064*c_1100_0 - 816055907345313823/199891739138835152, c_1001_3 + 5388370199274139/199891739138835152*c_1100_0^14 - 1379348210463287/199891739138835152*c_1100_0^13 - 43516643325031445/199891739138835152*c_1100_0^12 + 25411741223645913/49972934784708788*c_1100_0^11 + 16650746224989487/49972934784708788*c_1100_0^10 - 389850081900345331/199891739138835152*c_1100_0^9 + 461005547698738103/199891739138835152*c_1100_0^8 - 13738434291110687/12493233696177197*c_1100_0^7 + 38056875859226755/12493233696177197*c_1100_0^6 - 138991417880919353/49972934784708788*c_1100_0^5 - 322399317773353373/199891739138835152*c_1100_0^4 + 270664918768447085/99945869569417576*c_1100_0^3 + 70385380271198513/24986467392354394*c_1100_0^2 + 327236762245521679/199891739138835152*c_1100_0 + 621224144058780559/199891739138835152, c_1100_0^15 - 8*c_1100_0^13 + 17*c_1100_0^12 + 16*c_1100_0^11 - 69*c_1100_0^10 + 72*c_1100_0^9 - 23*c_1100_0^8 + 96*c_1100_0^7 - 76*c_1100_0^6 - 67*c_1100_0^5 + 91*c_1100_0^4 + 94*c_1100_0^3 + 69*c_1100_0^2 + 126*c_1100_0 + 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB