Magma V2.19-8 Tue Aug 20 2013 16:16:40 on localhost [Seed = 1208603778] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0952 geometric_solution 4.85090489 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379085988667 0.209232129472 2 0 3 0 0132 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 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.598952451383 0.906766181058 1 4 3 3 0132 0132 3012 1230 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 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 1.338572107139 1.350679126631 2 2 4 1 3012 1230 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.338572107139 1.350679126631 3 2 5 5 2310 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 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 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.329073386926 0.429157902249 6 4 4 6 0132 3201 0132 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 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.174506593168 0.719608588835 5 5 6 6 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.050105457360 1.438978981421 ==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' : negation(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' : 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' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], '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' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_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' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 46470474914331863965642280882343445099131/9482814944975411561733102\ 5274464710592*c_0101_6^16 + 747173377893188515306190220866327358485\ 479/94828149449754115617331025274464710592*c_0101_6^15 - 415278333410497692767033269597430962553103/237070373624385289043327\ 56318616177648*c_0101_6^14 + 66956655294842627106876992905256660352\ 76629/94828149449754115617331025274464710592*c_0101_6^13 - 138873895048273037989078623660756068307257967/948281494497541156173\ 31025274464710592*c_0101_6^12 + 13330107706077873739519373822747828\ 7550299053/94828149449754115617331025274464710592*c_0101_6^11 + 78802532785611608004117603566838439836032809/2370703736243852890433\ 2756318616177648*c_0101_6^10 - 426096833019542778884416792626834655\ 7882253/640730739525365646063047468070707504*c_0101_6^9 + 25622079945979854268206577808609707873245331/9482814944975411561733\ 1025274464710592*c_0101_6^8 + 6961192328538013750268812839139504499\ 48924691/94828149449754115617331025274464710592*c_0101_6^7 - 451602684505938118985719816163535364805734283/948281494497541156173\ 31025274464710592*c_0101_6^6 - 103253314209935148007067603316331489\ 023632433/47414074724877057808665512637232355296*c_0101_6^5 + 138763822801957683525126110843254360912702939/474140747248770578086\ 65512637232355296*c_0101_6^4 + 416546811424028847903180571458635871\ 94349717/94828149449754115617331025274464710592*c_0101_6^3 - 52392270792250352302379957614079664136867847/9482814944975411561733\ 1025274464710592*c_0101_6^2 - 1698000528347412051202360716913764858\ 3907943/94828149449754115617331025274464710592*c_0101_6 - 1490842790349947449880089306329454777482711/94828149449754115617331\ 025274464710592, c_0011_0 - 1, c_0011_1 + 30693717947175998934139240180471771/204371011745159731933903\ 071712208428*c_0101_6^16 + 481301938307064912835958335505646015/204\ 371011745159731933903071712208428*c_0101_6^15 - 322432205737929233743133894024964509/510927529362899329834757679280\ 52107*c_0101_6^14 + 4916683559056282591370825702914861357/204371011\ 745159731933903071712208428*c_0101_6^13 - 93637023396680472749344066506338987959/2043710117451597319339030717\ 12208428*c_0101_6^12 + 125102122453088891117721686577716252133/2043\ 71011745159731933903071712208428*c_0101_6^11 + 40495063363514606172523000307329842903/5109275293628993298347576792\ 8052107*c_0101_6^10 - 3275824660406137258605101642218307212/1380885\ 214494322513066912646704111*c_0101_6^9 + 202971103523964671322772967986714630591/204371011745159731933903071\ 712208428*c_0101_6^8 + 395481408851265072964983095272993718191/2043\ 71011745159731933903071712208428*c_0101_6^7 - 460011526930242079577424980386260564579/204371011745159731933903071\ 712208428*c_0101_6^6 + 16108229032335197375539900442578579145/10218\ 5505872579865966951535856104214*c_0101_6^5 + 92252411358403624322337866578095205889/1021855058725798659669515358\ 56104214*c_0101_6^4 - 45720191519339335189111259354869713423/204371\ 011745159731933903071712208428*c_0101_6^3 - 22157400609970679078949998309136094551/2043710117451597319339030717\ 12208428*c_0101_6^2 - 1302643005743047189728912099711233059/2043710\ 11745159731933903071712208428*c_0101_6 - 9706827764538489752056137651225791/20437101174515973193390307171220\ 8428, c_0011_3 + 39517294553923856671545580382910341/204371011745159731933903\ 071712208428*c_0101_6^16 + 623464943385287781275564584047030565/204\ 371011745159731933903071712208428*c_0101_6^15 - 400214361831093782878537528183863276/510927529362899329834757679280\ 52107*c_0101_6^14 + 6171041297981958400021067589403322819/204371011\ 745159731933903071712208428*c_0101_6^13 - 119936899698386597475592736066396186485/204371011745159731933903071\ 712208428*c_0101_6^12 + 149448244678777165215038348042488240067/204\ 371011745159731933903071712208428*c_0101_6^11 + 56024903637818620603729270659988465143/5109275293628993298347576792\ 8052107*c_0101_6^10 - 4093386741818951919064473075474313996/1380885\ 214494322513066912646704111*c_0101_6^9 + 202731200978660964703845995359426319325/204371011745159731933903071\ 712208428*c_0101_6^8 + 537639486687618987835915980499284524437/2043\ 71011745159731933903071712208428*c_0101_6^7 - 549838804110594514098787785457846392857/204371011745159731933903071\ 712208428*c_0101_6^6 - 7576409099054543154373246363269825051/102185\ 505872579865966951535856104214*c_0101_6^5 + 123663101238864621726468160513510796287/102185505872579865966951535\ 856104214*c_0101_6^4 - 39866050377510206640260897664093500401/20437\ 1011745159731933903071712208428*c_0101_6^3 - 35336586167531812030260943103481037797/2043710117451597319339030717\ 12208428*c_0101_6^2 - 3020369942255021289158136859684921721/2043710\ 11745159731933903071712208428*c_0101_6 + 125264961284983959616938878745969811/204371011745159731933903071712\ 208428, c_0011_5 - 15156252381000198382736030837227577/204371011745159731933903\ 071712208428*c_0101_6^16 - 119899982049520883409099256474325373/102\ 185505872579865966951535856104214*c_0101_6^15 + 150782026468644671971467555183527914/510927529362899329834757679280\ 52107*c_0101_6^14 - 2341588560343427904842693267200310527/204371011\ 745159731933903071712208428*c_0101_6^13 + 22948204386426389318204278649438561511/1021855058725798659669515358\ 56104214*c_0101_6^12 - 55271463574286136123310062843226924659/20437\ 1011745159731933903071712208428*c_0101_6^11 - 88136714896857472499561739503860759203/2043710117451597319339030717\ 12208428*c_0101_6^10 + 6176239113280982986464648133435988335/552354\ 0857977290052267650586816444*c_0101_6^9 - 17134461064453483326333866811102239504/5109275293628993298347576792\ 8052107*c_0101_6^8 - 208567000692695627781398229691206364239/204371\ 011745159731933903071712208428*c_0101_6^7 + 101518789558907709014469725028071714195/102185505872579865966951535\ 856104214*c_0101_6^6 + 6631078760681010072892902884347189719/102185\ 505872579865966951535856104214*c_0101_6^5 - 23630303370021315878142850347759269990/5109275293628993298347576792\ 8052107*c_0101_6^4 + 12293574489103821683326096759353355509/2043710\ 11745159731933903071712208428*c_0101_6^3 + 6908461299142274344421652105678111049/10218550587257986596695153585\ 6104214*c_0101_6^2 + 1589577062254415772495525456857129785/20437101\ 1745159731933903071712208428*c_0101_6 - 29716620199897866291552424197322635/1021855058725798659669515358561\ 04214, c_0101_0 - 63635469981497466992767106196083633/408742023490319463867806\ 143424416856*c_0101_3*c_0101_6^16 - 1024694345547171864499249073609205943/40874202349031946386780614342\ 4416856*c_0101_3*c_0101_6^15 + 562785557838586401123246053579708761\ /102185505872579865966951535856104214*c_0101_3*c_0101_6^14 - 9096930734588746984490032776288904395/40874202349031946386780614342\ 4416856*c_0101_3*c_0101_6^13 + 189892678499601088609377748231146748\ 999/408742023490319463867806143424416856*c_0101_3*c_0101_6^12 - 177750585421196106205945116069593715475/408742023490319463867806143\ 424416856*c_0101_3*c_0101_6^11 - 2197850310032814471278245753121725\ 48551/204371011745159731933903071712208428*c_0101_3*c_0101_6^10 + 11614882232328931244465858290977883919/5523540857977290052267650586\ 816444*c_0101_3*c_0101_6^9 - 10347738490374236269812439021895635375\ /408742023490319463867806143424416856*c_0101_3*c_0101_6^8 - 975138217386386477426711422134995759477/408742023490319463867806143\ 424416856*c_0101_3*c_0101_6^7 + 61107914917986814857689228912856600\ 3679/408742023490319463867806143424416856*c_0101_3*c_0101_6^6 + 154635344516399482283398822144724092115/204371011745159731933903071\ 712208428*c_0101_3*c_0101_6^5 - 19832980501597100784603127499800781\ 6135/204371011745159731933903071712208428*c_0101_3*c_0101_6^4 - 57772981525245122048946316707479465407/4087420234903194638678061434\ 24416856*c_0101_3*c_0101_6^3 + 759431008187387200046473084480313149\ 91/408742023490319463867806143424416856*c_0101_3*c_0101_6^2 + 21108408146615105862864843373113716349/4087420234903194638678061434\ 24416856*c_0101_3*c_0101_6 + 2530280076837565169080462886182329955/\ 408742023490319463867806143424416856*c_0101_3, c_0101_3^2 - 1350036998480703652788990223495243/10218550587257986596695\ 1535856104214*c_0101_6^16 - 42346767777571347724637079756691307/204\ 371011745159731933903071712208428*c_0101_6^15 + 28404865084099685645124183531964177/5109275293628993298347576792805\ 2107*c_0101_6^14 - 213825814926091744100232393597196011/10218550587\ 2579865966951535856104214*c_0101_6^13 + 8226456183661520343297423124472525651/20437101174515973193390307171\ 2208428*c_0101_6^12 - 5469853458870412164191847039547955823/1021855\ 05872579865966951535856104214*c_0101_6^11 - 15120813666913577270268666748967284235/2043710117451597319339030717\ 12208428*c_0101_6^10 + 1171981325756016318692187027669566287/552354\ 0857977290052267650586816444*c_0101_6^9 - 16291159631823315424873523809901968133/2043710117451597319339030717\ 12208428*c_0101_6^8 - 9541966429323815005384226652195461446/5109275\ 2936289932983475767928052107*c_0101_6^7 + 40951757245475689469260976536068663491/2043710117451597319339030717\ 12208428*c_0101_6^6 - 13450344338993598925357758315750130/510927529\ 36289932983475767928052107*c_0101_6^5 - 9215928351704451014167094624215262097/10218550587257986596695153585\ 6104214*c_0101_6^4 + 1821540072313839924034301656564973303/10218550\ 5872579865966951535856104214*c_0101_6^3 + 2389177583156479249205715982505473039/20437101174515973193390307171\ 2208428*c_0101_6^2 + 120654134485899056587968609220688097/102185505\ 872579865966951535856104214*c_0101_6 - 15156252381000198382736030837227577/2043710117451597319339030717122\ 08428, c_0101_6^17 + 16*c_0101_6^16 - 37*c_0101_6^15 + 147*c_0101_6^14 - 3000*c_0101_6^13 + 3104*c_0101_6^12 + 6537*c_0101_6^11 - 14080*c_0101_6^10 + 1661*c_0101_6^9 + 14836*c_0101_6^8 - 10878*c_0101_6^7 - 3577*c_0101_6^6 + 6240*c_0101_6^5 + 405*c_0101_6^4 - 1152*c_0101_6^3 - 276*c_0101_6^2 - 12*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB