Magma V2.19-8 Tue Aug 20 2013 17:54:57 on localhost [Seed = 3204385036] Type ? for help. Type -D to quit. Loading file "11_266__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_266 geometric_solution 7.23965208 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 8 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 -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 0 0 0 0.966677849072 0.896187968570 0 5 6 3 0132 0132 0132 2031 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 0 -1 0 0 0 0 -1 -9 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443676730592 0.515756330982 7 0 7 6 0132 0132 1023 1302 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 9 -9 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.161763393726 0.545756873461 3 1 3 0 2310 1302 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 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.638910936239 0.880151994585 7 6 0 5 1302 3120 0132 3012 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 -1 1 0 1 0 -1 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.000235374428 0.569155830980 6 1 4 7 0321 0132 1230 2103 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 0 0 10 0 -10 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601635487732 0.626819788439 5 4 2 1 0321 3120 2031 0132 0 0 0 0 0 0 0 0 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 10 0 -10 -10 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.057081210460 1.168585094577 2 4 2 5 0132 2031 1023 2103 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 -9 9 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.837825089188 0.545488944005 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0011_6'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_7'], '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' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_7']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 9 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_7, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 275247879125399088721/41302469811812305094432*c_1001_0^13 - 215854290530697872075/20651234905906152547216*c_1001_0^12 - 380184825936973360161/5900352830258900727776*c_1001_0^11 - 30033378238897153635/271726775077712533516*c_1001_0^10 + 4820246163692413912769/20651234905906152547216*c_1001_0^9 - 43076968702847234475493/41302469811812305094432*c_1001_0^8 + 23353477990071964012571/41302469811812305094432*c_1001_0^7 - 58007863302436458097977/41302469811812305094432*c_1001_0^6 - 121203374875626576072059/41302469811812305094432*c_1001_0^5 + 17380817469192963223665/10325617452953076273608*c_1001_0^4 - 13136556133087327093737/2173814200621700268128*c_1001_0^3 + 3839637337890202256971/1290702181619134534201*c_1001_0^2 - 3128924930776026480933/41302469811812305094432*c_1001_0 + 32412823914027522979029/10325617452953076273608, c_0011_0 - 1, c_0011_3 + 446251701472762955/155272442901550019152*c_1001_0^13 - 858178294288744705/155272442901550019152*c_1001_0^12 - 429289939747808523/19409055362693752394*c_1001_0^11 - 544208484228544805/9704527681346876197*c_1001_0^10 + 8286436338250188211/77636221450775009576*c_1001_0^9 - 72193279690729916133/155272442901550019152*c_1001_0^8 + 54278944294719490285/77636221450775009576*c_1001_0^7 - 295181705005251074877/155272442901550019152*c_1001_0^6 + 28358762666879488461/19409055362693752394*c_1001_0^5 - 111920564687022697923/38818110725387504788*c_1001_0^4 + 389095714620949079123/155272442901550019152*c_1001_0^3 - 248440587698222872455/155272442901550019152*c_1001_0^2 + 95962258824333725323/38818110725387504788*c_1001_0 - 5492197982615616281/9704527681346876197, c_0011_4 - 235969798728609547/77636221450775009576*c_1001_0^13 + 615928332216243779/77636221450775009576*c_1001_0^12 + 191601384421758009/9704527681346876197*c_1001_0^11 + 389165286500718696/9704527681346876197*c_1001_0^10 - 5894005874877544395/38818110725387504788*c_1001_0^9 + 44984516176805511593/77636221450775009576*c_1001_0^8 - 19682309747366774245/19409055362693752394*c_1001_0^7 + 184981249412151660275/77636221450775009576*c_1001_0^6 - 47195428189746912101/19409055362693752394*c_1001_0^5 + 31507725426334010340/9704527681346876197*c_1001_0^4 - 198600263115512136167/77636221450775009576*c_1001_0^3 + 156149949741313704765/77636221450775009576*c_1001_0^2 - 10044571603743721073/19409055362693752394*c_1001_0 + 5284249107155642471/9704527681346876197, c_0011_6 + 490052040978667347/155272442901550019152*c_1001_0^13 - 814106500952233821/155272442901550019152*c_1001_0^12 - 1162923297650041123/38818110725387504788*c_1001_0^11 - 600055633367381928/9704527681346876197*c_1001_0^10 + 10311622601600060579/77636221450775009576*c_1001_0^9 - 58916467674958615413/155272442901550019152*c_1001_0^8 + 42113475482769331787/77636221450775009576*c_1001_0^7 - 196133278190783492893/155272442901550019152*c_1001_0^6 + 6365519289654423313/38818110725387504788*c_1001_0^5 + 1413226818173102653/38818110725387504788*c_1001_0^4 + 47101747232130348811/155272442901550019152*c_1001_0^3 + 487806359787249234157/155272442901550019152*c_1001_0^2 - 1038615476824269366/9704527681346876197*c_1001_0 + 11969190198305121671/9704527681346876197, c_0101_0 + 249573880068004901/38818110725387504788*c_1001_0^13 - 446136368204957885/38818110725387504788*c_1001_0^12 - 1900113061974944075/38818110725387504788*c_1001_0^11 - 1292523660920069193/9704527681346876197*c_1001_0^10 + 3692243671725176785/19409055362693752394*c_1001_0^9 - 40940144652826432711/38818110725387504788*c_1001_0^8 + 29501129104713737647/19409055362693752394*c_1001_0^7 - 81574770762723588053/19409055362693752394*c_1001_0^6 + 82911146884313749999/38818110725387504788*c_1001_0^5 - 105246877739582933897/19409055362693752394*c_1001_0^4 + 76904322361955424299/38818110725387504788*c_1001_0^3 - 17143821643682359933/38818110725387504788*c_1001_0^2 + 60754734798903522711/38818110725387504788*c_1001_0 + 3996002714869350687/9704527681346876197, c_0101_2 - 304006654913461673/77636221450775009576*c_1001_0^13 + 835876775987866417/77636221450775009576*c_1001_0^12 + 938136068877339275/38818110725387504788*c_1001_0^11 + 455679670258735013/9704527681346876197*c_1001_0^10 - 7918414373604985141/38818110725387504788*c_1001_0^9 + 60400641569599892467/77636221450775009576*c_1001_0^8 - 13287865312200521567/9704527681346876197*c_1001_0^7 + 252225189614277860347/77636221450775009576*c_1001_0^6 - 131996665836917373585/38818110725387504788*c_1001_0^5 + 85510184150066704351/19409055362693752394*c_1001_0^4 - 269771379705010722913/77636221450775009576*c_1001_0^3 + 214740473323799012507/77636221450775009576*c_1001_0^2 - 1954986720702624329/38818110725387504788*c_1001_0 + 7203529847812073562/9704527681346876197, c_0101_7 - 235969798728609547/77636221450775009576*c_1001_0^13 + 615928332216243779/77636221450775009576*c_1001_0^12 + 191601384421758009/9704527681346876197*c_1001_0^11 + 389165286500718696/9704527681346876197*c_1001_0^10 - 5894005874877544395/38818110725387504788*c_1001_0^9 + 44984516176805511593/77636221450775009576*c_1001_0^8 - 19682309747366774245/19409055362693752394*c_1001_0^7 + 184981249412151660275/77636221450775009576*c_1001_0^6 - 47195428189746912101/19409055362693752394*c_1001_0^5 + 31507725426334010340/9704527681346876197*c_1001_0^4 - 198600263115512136167/77636221450775009576*c_1001_0^3 + 156149949741313704765/77636221450775009576*c_1001_0^2 - 10044571603743721073/19409055362693752394*c_1001_0 + 5284249107155642471/9704527681346876197, c_1001_0^14 - 2*c_1001_0^13 - 7*c_1001_0^12 - 20*c_1001_0^11 + 34*c_1001_0^10 - 173*c_1001_0^9 + 279*c_1001_0^8 - 773*c_1001_0^7 + 649*c_1001_0^6 - 1304*c_1001_0^5 + 965*c_1001_0^4 - 828*c_1001_0^3 + 691*c_1001_0^2 - 272*c_1001_0 + 224 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB