Magma V2.19-8 Tue Aug 20 2013 16:14:33 on localhost [Seed = 829467965] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s544 geometric_solution 4.96660362 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 -1 0 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 0 -1 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.958454107965 0.701573538310 0 2 3 0 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -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 -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.554898925576 0.232995225756 4 1 3 5 0132 0132 3201 0132 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.331891072565 1.102213854496 2 5 4 1 2310 1023 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 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.331891072565 1.102213854496 2 4 4 3 0132 1230 3012 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 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.389072644668 0.826681790882 3 5 2 5 1023 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.250478711952 0.831842521209 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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' : negation(d['1']), 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0011_0'], 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 135237866063374492396816417944562458676/785901931915668672565366792\ 288101569*c_0110_5^16 + 14759971480496332788173914810258558623/8272\ 6519149017755006880714977694902*c_0110_5^15 - 941547648917335962072357397534937549608/785901931915668672565366792\ 288101569*c_0110_5^14 - 14134204046864318764424657010866915938067/1\ 571803863831337345130733584576203138*c_0110_5^13 - 21357109461906613456107360723247438168633/7859019319156686725653667\ 92288101569*c_0110_5^12 - 65941730370763078885168928677302904895615\ /1571803863831337345130733584576203138*c_0110_5^11 - 163076700103693052602547974929028439327771/157180386383133734513073\ 3584576203138*c_0110_5^10 + 838136927286188394078663782004985989881\ 99/1571803863831337345130733584576203138*c_0110_5^9 - 343013451749123381194079796122323072326661/785901931915668672565366\ 792288101569*c_0110_5^8 + 44350636804973137733312894673088151134829\ 2/785901931915668672565366792288101569*c_0110_5^7 - 507044689696779607466817930736012624076449/785901931915668672565366\ 792288101569*c_0110_5^6 + 27598025792063130893726280054990112501999\ 3/785901931915668672565366792288101569*c_0110_5^5 + 1499670213429356888809841270665410816187103/15718038638313373451307\ 33584576203138*c_0110_5^4 - 341004363173210655246251255948754792206\ 874/785901931915668672565366792288101569*c_0110_5^3 - 139268329191966160417460144787645013156752/785901931915668672565366\ 792288101569*c_0110_5^2 + 81960496866250199132909121726392408907043\ /1571803863831337345130733584576203138*c_0110_5 + 8238742809328986094869653011010500664019/15718038638313373451307335\ 84576203138, c_0011_0 - 1, c_0011_3 + 25019390523973814747802116533356/217701366181625671070738723\ 6255129*c_0110_5^16 + 24540935458686637016364696877513/217701366181\ 6256710707387236255129*c_0110_5^15 - 175343120100412829213658765629448/217701366181625671070738723625512\ 9*c_0110_5^14 - 1297866355923237268457460995598636/2177013661816256\ 710707387236255129*c_0110_5^13 - 3881196944205370943534820602393286\ /2177013661816256710707387236255129*c_0110_5^12 - 5891965575817815936805496142379842/21770136618162567107073872362551\ 29*c_0110_5^11 - 14760794337970071672631349298650674/21770136618162\ 56710707387236255129*c_0110_5^10 + 8641414967988639626484120797070891/21770136618162567107073872362551\ 29*c_0110_5^9 - 63820066533560559375250698383874169/217701366181625\ 6710707387236255129*c_0110_5^8 + 8621833231300770999793955044614534\ 3/2177013661816256710707387236255129*c_0110_5^7 - 98868279962530376526326128161307524/2177013661816256710707387236255\ 129*c_0110_5^6 + 58372140069564664723147855080027876/21770136618162\ 56710707387236255129*c_0110_5^5 + 134250997239105159190877257937497\ 703/2177013661816256710707387236255129*c_0110_5^4 - 69744954834165792556045103409073759/2177013661816256710707387236255\ 129*c_0110_5^3 - 20200172845884579052218139012748622/21770136618162\ 56710707387236255129*c_0110_5^2 + 388435054311188529742492894280585\ 2/2177013661816256710707387236255129*c_0110_5 + 42469557625525611245254288787368/2177013661816256710707387236255129\ , c_0101_0 - 754027362243627050185286278/23691260970239269468254641219*c_\ 0110_5^16 - 596129446666888073459149859/236912609702392694682546412\ 19*c_0110_5^15 + 5491037011517903090604658881/236912609702392694682\ 54641219*c_0110_5^14 + 38170598806279576495914463589/23691260970239\ 269468254641219*c_0110_5^13 + 109056827938355065891206452102/236912\ 60970239269468254641219*c_0110_5^12 + 151906392756871855171137057388/23691260970239269468254641219*c_0110\ _5^11 + 401073490242717450374511212874/2369126097023926946825464121\ 9*c_0110_5^10 - 359673058247427364225242010250/23691260970239269468\ 254641219*c_0110_5^9 + 1935982100519095838162397089980/236912609702\ 39269468254641219*c_0110_5^8 - 2938709275220887772220964181265/2369\ 1260970239269468254641219*c_0110_5^7 + 3304918097967027726453472615131/23691260970239269468254641219*c_011\ 0_5^6 - 2099726030703740728228208711079/236912609702392694682546412\ 19*c_0110_5^5 - 3987111640356562413726332727002/2369126097023926946\ 8254641219*c_0110_5^4 + 3028694667488502291191777999842/23691260970\ 239269468254641219*c_0110_5^3 + 541552693635372402176858762673/2369\ 1260970239269468254641219*c_0110_5^2 - 447098512675009135856816679637/23691260970239269468254641219*c_0110\ _5 - 238671481047487100743509618/23691260970239269468254641219, c_0101_1 - 177832096786182677462366051/23691260970239269468254641219*c_\ 0110_5^16 - 265322592157658589212766990/236912609702392694682546412\ 19*c_0110_5^15 + 1170110111047099871988813574/236912609702392694682\ 54641219*c_0110_5^14 + 9881338514355674398657080767/236912609702392\ 69468254641219*c_0110_5^13 + 32216513986342865712681714741/23691260\ 970239269468254641219*c_0110_5^12 + 55253786313646911784068772040/23691260970239269468254641219*c_0110_\ 5^11 + 123957946257743686842038523906/23691260970239269468254641219\ *c_0110_5^10 - 11802913121418640849988362204/2369126097023926946825\ 4641219*c_0110_5^9 + 413429283181215829705529510503/236912609702392\ 69468254641219*c_0110_5^8 - 379408724414539082361895052376/23691260\ 970239269468254641219*c_0110_5^7 + 360034385133425153129719086105/23691260970239269468254641219*c_0110\ _5^6 - 28245674970496765799642389832/23691260970239269468254641219*\ c_0110_5^5 - 1196935376895688681528131219559/2369126097023926946825\ 4641219*c_0110_5^4 + 6794803202707335862907729207/23691260970239269\ 468254641219*c_0110_5^3 + 487300295179875553452432255944/2369126097\ 0239269468254641219*c_0110_5^2 + 10614017261728484327319946112/2369\ 1260970239269468254641219*c_0110_5 - 24363721380054326294397662737/23691260970239269468254641219, c_0101_4 + 8693515518743143699905355314673/2177013661816256710707387236\ 255129*c_0110_5^16 + 10700605295821364463109503242241/2177013661816\ 256710707387236255129*c_0110_5^15 - 58042794621215566676819720058256/2177013661816256710707387236255129\ *c_0110_5^14 - 466208317427332419992075664190635/217701366181625671\ 0707387236255129*c_0110_5^13 - 1467848843250666023104084913638133/2\ 177013661816256710707387236255129*c_0110_5^12 - 2418798372175647670861542460230614/21770136618162567107073872362551\ 29*c_0110_5^11 - 5715443413329679190634608682197824/217701366181625\ 6710707387236255129*c_0110_5^10 + 168475400050178923394940857280018\ 3/2177013661816256710707387236255129*c_0110_5^9 - 21613667454146905566350958687597280/2177013661816256710707387236255\ 129*c_0110_5^8 + 25243282327009033901945939219713271/21770136618162\ 56710707387236255129*c_0110_5^7 - 286807686020904540694015476774507\ 20/2177013661816256710707387236255129*c_0110_5^6 + 16254945354933497820271155102980219/2177013661816256710707387236255\ 129*c_0110_5^5 + 47962700500469383813284048140028042/21770136618162\ 56710707387236255129*c_0110_5^4 - 860570933406721704112990066253373\ 5/2177013661816256710707387236255129*c_0110_5^3 - 8108211032772622616381074040029513/21770136618162567107073872362551\ 29*c_0110_5^2 - 7151787991507480310820463485774657/2177013661816256\ 710707387236255129*c_0110_5 + 28658844421157480847260983143831/2177\ 013661816256710707387236255129, c_0110_5^17 + c_0110_5^16 - 7*c_0110_5^15 - 52*c_0110_5^14 - 156*c_0110_5^13 - 238*c_0110_5^12 - 594*c_0110_5^11 + 332*c_0110_5^10 - 2548*c_0110_5^9 + 3373*c_0110_5^8 - 3871*c_0110_5^7 + 2180*c_0110_5^6 + 5468*c_0110_5^5 - 2725*c_0110_5^4 - 935*c_0110_5^3 + 340*c_0110_5^2 + 19*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB