Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 3381155119] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1878 geometric_solution 5.50540356 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 1 -1 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 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414114826281 0.122750981951 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 -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.054869170613 1.605133736501 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 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 -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.618060042058 1.095935102325 2 5 4 1 3012 3201 3201 0132 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 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.618060042058 1.095935102325 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 -1 0 1 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444234869844 0.352296483462 6 6 3 2 0132 2310 2310 0132 0 0 0 0 0 0 -1 1 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 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.127138606194 1.420303495395 5 6 6 5 0132 1230 3012 3201 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 -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.234074969618 0.475753859285 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0110_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0110_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0110_0']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_3, c_0101_4, c_0110_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 36977219717039823376587610853/413799989246658236341124096*c_0110_0^\ 25 + 10815869591803295240714144429/59114284178094033763017728*c_011\ 0_0^24 - 584851472582121784837312095265/413799989246658236341124096\ *c_0110_0^23 - 1272411767288680280990668469031/41379998924665823634\ 1124096*c_0110_0^22 + 1968902553066380969478322756747/2068999946233\ 29118170562048*c_0110_0^21 + 4661173981617641440086058281333/206899\ 994623329118170562048*c_0110_0^20 - 14460070828247170481311506489799/413799989246658236341124096*c_0110\ _0^19 - 19362906618037134943730591290349/20689999462332911817056204\ 8*c_0110_0^18 + 270524581626791593799483722299/36946427611308771101\ 88608*c_0110_0^17 + 7577747021234268435885564348813/318307684035890\ 95103163392*c_0110_0^16 - 33512598990381408808910065631731/41379998\ 9246658236341124096*c_0110_0^15 - 151644510457880619107999633439265\ /413799989246658236341124096*c_0110_0^14 + 2157801883722771568660197975453/51724998655832279542640512*c_0110_0\ ^13 + 30248242009869473016436866980453/103449997311664559085281024*\ c_0110_0^12 - 4015905126556688154905927989573/591142841780940337630\ 17728*c_0110_0^11 - 2737576902382086432667916671555/206899994623329\ 118170562048*c_0110_0^10 + 13116628364985322609415544169751/5911428\ 4178094033763017728*c_0110_0^9 - 73278765953949533298282400770283/4\ 13799989246658236341124096*c_0110_0^8 - 55295619957084237732421020849769/206899994623329118170562048*c_0110\ _0^7 + 7484831626708415261234082223515/59114284178094033763017728*c\ _0110_0^6 + 3772489252948994507552769994093/51724998655832279542640\ 512*c_0110_0^5 - 915354070345078694386543039923/2955714208904701688\ 1508864*c_0110_0^4 + 6134302467788054272348531396775/10344999731166\ 4559085281024*c_0110_0^3 + 555097643448346812410484307919/103449997\ 311664559085281024*c_0110_0^2 - 2153186761213023359055225314617/103\ 449997311664559085281024*c_0110_0 + 896005067913104565388197122455/413799989246658236341124096, c_0011_0 - 1, c_0011_1 - c_0110_0^2 + 1, c_0011_3 + c_0110_0^3 - 2*c_0110_0, c_0011_5 - 169008710345530908905/1071887405832068127127*c_0110_0^25 - 49981775201775725961/153126772261724018161*c_0110_0^24 + 2531477555286550523309/1071887405832068127127*c_0110_0^23 + 5611739852702866517487/1071887405832068127127*c_0110_0^22 - 15964664812709297662561/1071887405832068127127*c_0110_0^21 - 39037406526026158499565/1071887405832068127127*c_0110_0^20 + 53829021328773839226791/1071887405832068127127*c_0110_0^19 + 152872155598016665710250/1071887405832068127127*c_0110_0^18 - 14117924648730632870757/153126772261724018161*c_0110_0^17 - 362242926075057820342234/1071887405832068127127*c_0110_0^16 + 81496986673080966558905/1071887405832068127127*c_0110_0^15 + 506832199725067700937415/1071887405832068127127*c_0110_0^14 - 9919083070964331395408/1071887405832068127127*c_0110_0^13 - 339227850690371342713038/1071887405832068127127*c_0110_0^12 + 11458523542166178329908/153126772261724018161*c_0110_0^11 - 49182120332144119032742/1071887405832068127127*c_0110_0^10 - 45633191032712871132695/153126772261724018161*c_0110_0^9 + 226705418758757563847069/1071887405832068127127*c_0110_0^8 + 338103283092869998271497/1071887405832068127127*c_0110_0^7 - 15705752600999108087834/153126772261724018161*c_0110_0^6 - 59595940111231027732299/1071887405832068127127*c_0110_0^5 + 2069114717304161470828/153126772261724018161*c_0110_0^4 - 71911994945017480941531/1071887405832068127127*c_0110_0^3 - 8937431000663508169779/1071887405832068127127*c_0110_0^2 + 18237547394159353504917/1071887405832068127127*c_0110_0 + 90676556789960075888/1071887405832068127127, c_0101_3 + 6581781048022944114/1071887405832068127127*c_0110_0^25 + 380358720128088659/153126772261724018161*c_0110_0^24 - 87377739130538100393/1071887405832068127127*c_0110_0^23 + 15385966754455137062/1071887405832068127127*c_0110_0^22 + 503460274353802742488/1071887405832068127127*c_0110_0^21 - 574331969059518844687/1071887405832068127127*c_0110_0^20 - 1788668439218856989243/1071887405832068127127*c_0110_0^19 + 4413529622635284009294/1071887405832068127127*c_0110_0^18 + 724078810755468883813/153126772261724018161*c_0110_0^17 - 16902101789209645898923/1071887405832068127127*c_0110_0^16 - 13021762524683479963785/1071887405832068127127*c_0110_0^15 + 36868154513361843489756/1071887405832068127127*c_0110_0^14 + 25613005766320508425707/1071887405832068127127*c_0110_0^13 - 45354907547531143987167/1071887405832068127127*c_0110_0^12 - 3701305417116176784628/153126772261724018161*c_0110_0^11 + 26678316072035293496976/1071887405832068127127*c_0110_0^10 - 1140269328165112642499/153126772261724018161*c_0110_0^9 - 2519450094795597018494/1071887405832068127127*c_0110_0^8 + 45107307677705095036744/1071887405832068127127*c_0110_0^7 - 265297453336561229722/153126772261724018161*c_0110_0^6 - 28202881922309308479358/1071887405832068127127*c_0110_0^5 + 108637896345042986744/153126772261724018161*c_0110_0^4 - 6881830785466602054454/1071887405832068127127*c_0110_0^3 - 2542835209374414827280/1071887405832068127127*c_0110_0^2 + 4768921205739884165156/1071887405832068127127*c_0110_0 + 21292625000973690942/1071887405832068127127, c_0101_4 + 18057214157977700102/1071887405832068127127*c_0110_0^25 + 7268686072917631174/153126772261724018161*c_0110_0^24 - 244560874823725456342/1071887405832068127127*c_0110_0^23 - 784449132415807693026/1071887405832068127127*c_0110_0^22 + 1320402382016681461643/1071887405832068127127*c_0110_0^21 + 5227626001078346394813/1071887405832068127127*c_0110_0^20 - 3256750831293342254112/1071887405832068127127*c_0110_0^19 - 19510000565792806288958/1071887405832068127127*c_0110_0^18 + 198739852764482441327/153126772261724018161*c_0110_0^17 + 43615677944569461374381/1071887405832068127127*c_0110_0^16 + 11974717112033189950682/1071887405832068127127*c_0110_0^15 - 56378786254501059863509/1071887405832068127127*c_0110_0^14 - 27213358740217657290365/1071887405832068127127*c_0110_0^13 + 32929754654044671722287/1071887405832068127127*c_0110_0^12 + 1619698044171262473702/153126772261724018161*c_0110_0^11 + 5859240075619295716677/1071887405832068127127*c_0110_0^10 + 4809039182935525959761/153126772261724018161*c_0110_0^9 - 11416947064465485404670/1071887405832068127127*c_0110_0^8 - 45348615260091951876022/1071887405832068127127*c_0110_0^7 - 1125474723791947116679/153126772261724018161*c_0110_0^6 + 10604931712453455672068/1071887405832068127127*c_0110_0^5 + 1086755891016089837718/153126772261724018161*c_0110_0^4 + 7712441064817466825136/1071887405832068127127*c_0110_0^3 + 3741194232861573243935/1071887405832068127127*c_0110_0^2 - 1403473808967134484556/1071887405832068127127*c_0110_0 - 1160261696627805282393/1071887405832068127127, c_0110_0^26 + 2*c_0110_0^25 - 16*c_0110_0^24 - 34*c_0110_0^23 + 109*c_0110_0^22 + 252*c_0110_0^21 - 405*c_0110_0^20 - 1059*c_0110_0^19 + 858*c_0110_0^18 + 2725*c_0110_0^17 - 952*c_0110_0^16 - 4242*c_0110_0^15 + 449*c_0110_0^14 + 3420*c_0110_0^13 - 667*c_0110_0^12 - 163*c_0110_0^11 + 2467*c_0110_0^10 - 2056*c_0110_0^9 - 3127*c_0110_0^8 + 1403*c_0110_0^7 + 915*c_0110_0^6 - 298*c_0110_0^5 + 678*c_0110_0^4 + 80*c_0110_0^3 - 240*c_0110_0^2 + 15*c_0110_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB