Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 3086363472] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0811 geometric_solution 4.74518313 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.427266151188 0.354907350901 0 2 3 0 3201 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 0 -1 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.960707513859 0.308842796344 3 1 3 4 2103 0132 1302 0132 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 -1 1 0 -1 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 0.806631579293 0.699557058864 2 4 2 1 2031 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 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.806631579293 0.699557058864 5 3 2 5 0132 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344960236534 0.207110031510 4 4 6 6 0132 2310 0132 2310 0 0 0 0 0 -1 1 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 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.111740187961 2.628738848302 5 6 6 5 3201 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.167065716983 0.241875531094 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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_1'], 'c_1001_4' : d['c_1001_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_1']), 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_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_6, c_0101_0, c_0101_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 10451988053329903181713378342717/242539538487102823235155861947*c_1\ 001_1^20 - 118472918370395622401928495604793/2425395384871028232351\ 55861947*c_1001_1^19 - 61866366961645165797980628961541/34648505498\ 157546176450837421*c_1001_1^18 + 238571491900307279945316787491652/\ 242539538487102823235155861947*c_1001_1^17 + 271486272289957811807991986104315/11549501832719182058816945807*c_1\ 001_1^16 + 10398521812859320603004508577710059/24253953848710282323\ 5155861947*c_1001_1^15 - 22326801701521686010909776168250225/242539\ 538487102823235155861947*c_1001_1^14 - 79227429187988546876983034146114111/242539538487102823235155861947*\ c_1001_1^13 + 13414696255644256366283208191451700/80846512829034274\ 411718620649*c_1001_1^12 + 34908457062317416002359435735912794/3464\ 8505498157546176450837421*c_1001_1^11 - 12856658315801794170727893710253670/242539538487102823235155861947*\ c_1001_1^10 - 134617950179824216224689512107313770/8084651282903427\ 4411718620649*c_1001_1^9 - 27124734300444781010183467442577447/8084\ 6512829034274411718620649*c_1001_1^8 + 126022094059403430983538546453954755/80846512829034274411718620649*\ c_1001_1^7 + 149965472108843707382007804762780364/24253953848710282\ 3235155861947*c_1001_1^6 - 186544616429776525727215147461164257/242\ 539538487102823235155861947*c_1001_1^5 - 36275225428925977969737627509423936/80846512829034274411718620649*c\ _1001_1^4 + 4861378729558851519896002249721327/34648505498157546176\ 450837421*c_1001_1^3 + 30627223598030663791717196612497981/24253953\ 8487102823235155861947*c_1001_1^2 + 887435113443150249914177053495488/80846512829034274411718620649*c_1\ 001_1 - 34091360308912132236012243525399/11549501832719182058816945\ 807, c_0011_0 - 1, c_0011_1 - 15570662950034475292282885855/4949786499736792310921548203*c\ _1001_1^20 - 172518530706139045592334943945/49497864997367923109215\ 48203*c_1001_1^19 - 86264363200860913013783133077/70711235710525604\ 4417364029*c_1001_1^18 + 160688137596346710223372827434/16499288332\ 45597436973849401*c_1001_1^17 + 1184846462346703591330888810709/707\ 112357105256044417364029*c_1001_1^16 + 4517575435128530784883648223093/1649928833245597436973849401*c_1001\ _1^15 - 35391840920097460834139671494008/49497864997367923109215482\ 03*c_1001_1^14 - 108001292124124357714410137000017/4949786499736792\ 310921548203*c_1001_1^13 + 26539622285164470324855868381013/1649928\ 833245597436973849401*c_1001_1^12 + 15789849777252450839576874957981/235704119035085348139121343*c_1001\ _1^11 - 75188986838238247855071302685958/49497864997367923109215482\ 03*c_1001_1^10 - 181787614299089175268871229765307/1649928833245597\ 436973849401*c_1001_1^9 - 36393348949723274746410847364954/49497864\ 99736792310921548203*c_1001_1^8 + 512069317070174796951564706721734\ /4949786499736792310921548203*c_1001_1^7 + 49228420707407535154518171370216/1649928833245597436973849401*c_100\ 1_1^6 - 85402044446707946687209586335980/16499288332455974369738494\ 01*c_1001_1^5 - 41392242582549228064774329943093/164992883324559743\ 6973849401*c_1001_1^4 + 7006925320591261369289174529469/70711235710\ 5256044417364029*c_1001_1^3 + 37106634696862259859764118558947/4949\ 786499736792310921548203*c_1001_1^2 + 2923038638731320358160393468134/4949786499736792310921548203*c_1001\ _1 - 120359756052186984414189073486/707112357105256044417364029, c_0011_3 + 2759254951524147322914313792/707112357105256044417364029*c_1\ 001_1^20 + 10222430207397545958133427145/23570411903508534813912134\ 3*c_1001_1^19 + 15435148266938734044820267594/101016051015036577773\ 909147*c_1001_1^18 - 81868062076029816336740129144/7071123571052560\ 44417364029*c_1001_1^17 - 210379294860732642070485295676/1010160510\ 15036577773909147*c_1001_1^16 - 816280576153957591291724879550/2357\ 04119035085348139121343*c_1001_1^15 + 2066126725900497173856982798328/235704119035085348139121343*c_1001_\ 1^14 + 19337256683608598213401878193159/707112357105256044417364029\ *c_1001_1^13 - 4520982052679108611942042238367/23570411903508534813\ 9121343*c_1001_1^12 - 8467222661234090479357119970481/1010160510150\ 36577773909147*c_1001_1^11 + 11843662224513567120263337552893/70711\ 2357105256044417364029*c_1001_1^10 + 32448676164468763904858411013575/235704119035085348139121343*c_1001\ _1^9 + 2860896231825917931864592123368/235704119035085348139121343*\ c_1001_1^8 - 30393853652738189454765602860184/235704119035085348139\ 121343*c_1001_1^7 - 27936124635996518716555597980113/70711235710525\ 6044417364029*c_1001_1^6 + 45424080351381974048889130089646/7071123\ 57105256044417364029*c_1001_1^5 + 22807248023077325949640793087321/\ 707112357105256044417364029*c_1001_1^4 - 1227855012769192217493127016384/101016051015036577773909147*c_1001_\ 1^3 - 6739354443781389034369164500350/707112357105256044417364029*c\ _1001_1^2 - 548882333020657469907121778461/707112357105256044417364\ 029*c_1001_1 + 22054280810639014607871561656/1010160510150365777739\ 09147, c_0011_6 - 797599436670114577395861671/101016051015036577773909147*c_10\ 01_1^20 - 8842545090349414341816016921/101016051015036577773909147*\ c_1001_1^19 - 10327693840415869955579651564/33672017005012192591303\ 049*c_1001_1^18 + 8191661050783852188804715159/33672017005012192591\ 303049*c_1001_1^17 + 141772061846416901980070822529/336720170050121\ 92591303049*c_1001_1^16 + 232259294495085858646019753162/3367201700\ 5012192591303049*c_1001_1^15 - 1812452350902491000386162892402/1010\ 16051015036577773909147*c_1001_1^14 - 1850191155096984015665453508192/33672017005012192591303049*c_1001_1\ ^13 + 4059948421673581818966311777600/101016051015036577773909147*c\ _1001_1^12 + 17061410907448092179419837529782/101016051015036577773\ 909147*c_1001_1^11 - 3785218991578276829765691576637/10101605101503\ 6577773909147*c_1001_1^10 - 28096041863714129356010382636167/101016\ 051015036577773909147*c_1001_1^9 - 1994509095378607194649972835726/101016051015036577773909147*c_1001_\ 1^8 + 26410338572400939105291424109198/101016051015036577773909147*\ c_1001_1^7 + 7724167145390511732288230319224/1010160510150365777739\ 09147*c_1001_1^6 - 4407842318333734496378538816250/3367201700501219\ 2591303049*c_1001_1^5 - 2157189351818775577742436623573/33672017005\ 012192591303049*c_1001_1^4 + 2526581576808439546081803772780/101016\ 051015036577773909147*c_1001_1^3 + 1934472694186174552929304026037/101016051015036577773909147*c_1001_\ 1^2 + 51845895613825943457505824044/33672017005012192591303049*c_10\ 01_1 - 43925571303758011606676006375/101016051015036577773909147, c_0101_0 - 20003350121838675400147255213/4949786499736792310921548203*c\ _1001_1^20 - 222399075739273770670828685261/49497864997367923109215\ 48203*c_1001_1^19 - 37360423721394370458582562486/23570411903508534\ 8139121343*c_1001_1^18 + 585274236480342163734454107632/49497864997\ 36792310921548203*c_1001_1^17 + 1522415413658446985420653479218/707\ 112357105256044417364029*c_1001_1^16 + 17788660624234432400634037585342/4949786499736792310921548203*c_100\ 1_1^15 - 44646180337867437158739953669669/4949786499736792310921548\ 203*c_1001_1^14 - 139810565233176209672925938424376/494978649973679\ 2310921548203*c_1001_1^13 + 32434038350140202135761262484402/164992\ 8833245597436973849401*c_1001_1^12 + 60990370932074607806559848265241/707112357105256044417364029*c_1001\ _1^11 - 28160436939565208003575988350706/16499288332455974369738494\ 01*c_1001_1^10 - 698630751622032164300234001899023/4949786499736792\ 310921548203*c_1001_1^9 - 61826286479073237821120564776123/49497864\ 99736792310921548203*c_1001_1^8 + 217329293511775417525031827594289\ /1649928833245597436973849401*c_1001_1^7 + 199283644221239250197005049368649/4949786499736792310921548203*c_10\ 01_1^6 - 323625991593029844616521610685963/494978649973679231092154\ 8203*c_1001_1^5 - 53980570164468683464952151487822/1649928833245597\ 436973849401*c_1001_1^4 + 8722870420969177338299514948496/707112357\ 105256044417364029*c_1001_1^3 + 47647137634011693954620536918538/49\ 49786499736792310921548203*c_1001_1^2 + 3842012156792193741810766940552/4949786499736792310921548203*c_1001\ _1 - 155687028498679415303811634087/707112357105256044417364029, c_0101_5 - 4070385367621075295309583692/707112357105256044417364029*c_1\ 001_1^20 - 15027720356228452598198086367/23570411903508534813912134\ 3*c_1001_1^19 - 22528115877770145305114656235/101016051015036577773\ 909147*c_1001_1^18 + 126460915611105731256351746939/707112357105256\ 044417364029*c_1001_1^17 + 103193938541227639544807332942/336720170\ 05012192591303049*c_1001_1^16 + 1178253008825863730246141188529/235\ 704119035085348139121343*c_1001_1^15 - 3086219825293789800324206582320/235704119035085348139121343*c_1001_\ 1^14 - 9395007015581701519363164183505/235704119035085348139121343*\ c_1001_1^13 + 20897775630602315761185627263921/70711235710525604441\ 7364029*c_1001_1^12 + 4120147287935776887815632144121/3367201700501\ 2192591303049*c_1001_1^11 - 19927100602592926876204052193623/707112\ 357105256044417364029*c_1001_1^10 - 142292817413093093906716826805149/707112357105256044417364029*c_100\ 1_1^9 - 3028752981477538685700745989110/235704119035085348139121343\ *c_1001_1^8 + 133634037060790978901106335761171/7071123571052560444\ 17364029*c_1001_1^7 + 38245263324985076622619019685655/707112357105\ 256044417364029*c_1001_1^6 - 66900232493711964455081007459787/70711\ 2357105256044417364029*c_1001_1^5 - 32315139236789511089263932235949/707112357105256044417364029*c_1001\ _1^4 + 1831313610606414752628913902359/101016051015036577773909147*\ c_1001_1^3 + 3227242747194847082229985467495/2357041190350853481391\ 21343*c_1001_1^2 + 255243503176278334007476235045/23570411903508534\ 8139121343*c_1001_1 - 10444871768252526229335549227/336720170050121\ 92591303049, c_1001_1^21 + 12*c_1001_1^20 + 49*c_1001_1^19 + 5*c_1001_1^18 - 560*c_1001_1^17 - 1360*c_1001_1^16 + 1461*c_1001_1^15 + 8997*c_1001_1^14 + 1285*c_1001_1^13 - 25837*c_1001_1^12 - 14703*c_1001_1^11 + 39099*c_1001_1^10 + 34291*c_1001_1^9 - 30332*c_1001_1^8 - 39313*c_1001_1^7 + 7550*c_1001_1^6 + 22796*c_1001_1^5 + 4165*c_1001_1^4 - 5189*c_1001_1^3 - 2348*c_1001_1^2 - 119*c_1001_1 + 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB