Magma V2.19-8 Tue Aug 20 2013 16:16:44 on localhost [Seed = 2000087994] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1021 geometric_solution 4.90443747 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.224910886298 0.876470571013 0 1 1 0 0132 3201 2310 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.635317132758 0.120625751964 0 3 4 0 3201 0132 0132 0132 0 0 0 0 0 0 1 -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 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.596506990822 0.781854477689 5 2 6 6 0132 0132 0132 2310 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 -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.026305898942 0.508480451115 6 6 5 2 1023 3201 2310 0132 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 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.026305898942 0.508480451115 3 4 5 5 0132 3201 1230 3012 0 0 0 0 0 -1 1 0 0 0 1 -1 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 1 0 -1 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.856426148081 1.431246476153 3 4 4 3 3201 1023 2310 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 1 0 -1 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.101471437909 1.961394386789 ==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' : 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' : negation(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' : d['1'], 's_0_6' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 628394016590368442482208776408475232217/857782139927030336275240196\ 8258410020391*c_0101_5^17 - 713978526939111602611737869085545019569\ 3/13343277732198249675392625283957526698386*c_0101_5^16 - 1837175216570893327106542012862872427533/20014916598297374513088937\ 925936290047579*c_0101_5^15 + 2982412776743926054293808547726645011\ 04/3160249989204848607329832304095203691723*c_0101_5^14 + 149081674467921890347397847479407395534980/200149165982973745130889\ 37925936290047579*c_0101_5^13 + 11436036391994679387504670666096472\ 01352022/60044749794892123539266813777808870142737*c_0101_5^12 + 7356324404588444539971942963333973899723779/12008949958978424707853\ 3627555617740285474*c_0101_5^11 + 440826937671093646327727754707719\ 2672300085/60044749794892123539266813777808870142737*c_0101_5^10 + 11151036626876632130004109214888318024597632/6004474979489212353926\ 6813777808870142737*c_0101_5^9 + 1646564786120052183245374054980951\ 4579864213/120089499589784247078533627555617740285474*c_0101_5^8 + 205383392533509497976769554558663783890011/100915545873768274855910\ 6113912754120046*c_0101_5^7 + 4063785974291675774595618118967011564\ 5392/392449345064654402217430155410515491129*c_0101_5^6 + 28210947092939564624955854802743566123680217/1200894995897842470785\ 33627555617740285474*c_0101_5^5 + 770661864925312990985697565445024\ 2784742973/20014916598297374513088937925936290047579*c_0101_5^4 + 1381224222568549925117099767788088667070877/13343277732198249675392\ 625283957526698386*c_0101_5^3 - 14749301130458128170473648741002170\ 3267521/1482586414688694408376958364884169633154*c_0101_5^2 - 13605729009903542867845290429968851672810/2223879622033041612565437\ 547326254449731*c_0101_5 + 7540856222967074012826565696530768334670\ 2/2223879622033041612565437547326254449731, c_0011_0 - 1, c_0011_2 - 3146416515572758042009084091843180593/1681925764562804580931\ 84352318792353341*c_0101_5^17 + 13810398710988510878154424326105918\ 73/56064192152093486031061450772930784447*c_0101_5^16 + 2478358360665306494790912624702463036/56064192152093486031061450772\ 930784447*c_0101_5^15 + 3362589130715224431307919897396684923/88522\ 40866120024110167597490462755439*c_0101_5^14 + 4404892483026775556223995424373900753/62293546835659428923401611969\ 92309383*c_0101_5^13 + 333879873787332133702780281751595793265/1681\ 92576456280458093184352318792353341*c_0101_5^12 + 271847490543828098778739084947832120016/168192576456280458093184352\ 318792353341*c_0101_5^11 + 929221696771754242523517806681654775026/\ 168192576456280458093184352318792353341*c_0101_5^10 + 12747204700676571903085447628098738412/1681925764562804580931843523\ 18792353341*c_0101_5^9 + 1088888506914603381673650544619327539114/1\ 68192576456280458093184352318792353341*c_0101_5^8 - 289539769851774022664973956878449824251/168192576456280458093184352\ 318792353341*c_0101_5^7 + 565374646080032390232200846378820072121/5\ 6064192152093486031061450772930784447*c_0101_5^6 + 767054897396058893874051697547135098495/168192576456280458093184352\ 318792353341*c_0101_5^5 - 208822205195362640100857434760755868951/5\ 6064192152093486031061450772930784447*c_0101_5^4 - 4157545448249357293760101857914401946/62293546835659428923401611969\ 92309383*c_0101_5^3 + 13337163005093345581743901840823689814/186880\ 64050697828677020483590976928149*c_0101_5^2 - 826863712598377031091248730703880614/622935468356594289234016119699\ 2309383*c_0101_5 + 3480848426173354277370419930289001010/6229354683\ 565942892340161196992309383, c_0011_4 + 593663283526519803435925114786402687/16819257645628045809318\ 4352318792353341*c_0101_5^17 - 107900820657331972266436271134055217\ 1/56064192152093486031061450772930784447*c_0101_5^16 + 975042738459486516591834456853860698/560641921520934860310614507729\ 30784447*c_0101_5^15 - 386044234829460574600682510308243468/8852240\ 866120024110167597490462755439*c_0101_5^14 + 2730849486003198116171736770510311180/18688064050697828677020483590\ 976928149*c_0101_5^13 + 6335611576789352854078499556010573136/16819\ 2576456280458093184352318792353341*c_0101_5^12 + 160074708191415325293498766806671013106/168192576456280458093184352\ 318792353341*c_0101_5^11 - 97067288624616497341742201096201856170/1\ 68192576456280458093184352318792353341*c_0101_5^10 + 583599443521710297973996789496101727332/168192576456280458093184352\ 318792353341*c_0101_5^9 - 566897348122174985208048949614444527596/1\ 68192576456280458093184352318792353341*c_0101_5^8 + 789777942213693160810902347988296776690/168192576456280458093184352\ 318792353341*c_0101_5^7 - 324981596751201686472667742463941928391/5\ 6064192152093486031061450772930784447*c_0101_5^6 + 1183586347016938386535075274731082148212/16819257645628045809318435\ 2318792353341*c_0101_5^5 + 36785339669983601021571413272647796109/5\ 6064192152093486031061450772930784447*c_0101_5^4 - 35025027662938134141440403958354562824/6229354683565942892340161196\ 992309383*c_0101_5^3 - 8003995513607406439845087040362767744/186880\ 64050697828677020483590976928149*c_0101_5^2 + 4838462132252844055492729546963759652/62293546835659428923401611969\ 92309383*c_0101_5 - 1701699817189996874646835469058721262/622935468\ 3565942892340161196992309383, c_0101_0 + 1622987242681065340308086051785766735/1681925764562804580931\ 84352318792353341*c_0101_5^17 + 99868457851775567183167212413601199\ 7/56064192152093486031061450772930784447*c_0101_5^16 - 2728236885298115201844928852975691648/56064192152093486031061450772\ 930784447*c_0101_5^15 - 2521632904593688499069446442233322096/88522\ 40866120024110167597490462755439*c_0101_5^14 - 56961445378145891361363291410405462377/5606419215209348603106145077\ 2930784447*c_0101_5^13 - 416456690263516237688900905646323261103/16\ 8192576456280458093184352318792353341*c_0101_5^12 - 786284891599370790247942513559271152323/168192576456280458093184352\ 318792353341*c_0101_5^11 - 1209894026914185238847472647830191628195\ /168192576456280458093184352318792353341*c_0101_5^10 - 1811778845623295376853650626397143368156/16819257645628045809318435\ 2318792353341*c_0101_5^9 - 1432540791682017037963139377020009367595\ /168192576456280458093184352318792353341*c_0101_5^8 - 1867966161721865682532866410419521382603/16819257645628045809318435\ 2318792353341*c_0101_5^7 - 502065911349133182535311750977313255412/\ 56064192152093486031061450772930784447*c_0101_5^6 - 3215930697646985815859793254020843299299/16819257645628045809318435\ 2318792353341*c_0101_5^5 - 87611368947062169751600352682645539141/6\ 229354683565942892340161196992309383*c_0101_5^4 + 29937745642947910597141095323517364870/1868806405069782867702048359\ 0976928149*c_0101_5^3 + 34831350889030040408986765370544939977/1868\ 8064050697828677020483590976928149*c_0101_5^2 - 13189612961599305389611136590669662852/6229354683565942892340161196\ 992309383*c_0101_5 - 518178564375840099577812114647907504/622935468\ 3565942892340161196992309383, c_0101_1 + 1508241833944870121713774936374515135/1681925764562804580931\ 84352318792353341*c_0101_5^17 + 28369508922075363367024186229804496\ 7/56064192152093486031061450772930784447*c_0101_5^16 - 1871596867401043545188378991144829274/56064192152093486031061450772\ 930784447*c_0101_5^15 - 2060718006821087313201647139262073678/88522\ 40866120024110167597490462755439*c_0101_5^14 - 4393117226314732561737874462637174588/62293546835659428923401611969\ 92309383*c_0101_5^13 - 302585888498552338159941686254977351692/1681\ 92576456280458093184352318792353341*c_0101_5^12 - 505019231117866893835405114291140474736/168192576456280458093184352\ 318792353341*c_0101_5^11 - 896351394007212447237634153736727544285/\ 168192576456280458093184352318792353341*c_0101_5^10 - 1060416460507064488449719285025276540844/16819257645628045809318435\ 2318792353341*c_0101_5^9 - 1135207641846247562824268776116848745602\ /168192576456280458093184352318792353341*c_0101_5^8 - 1048083436433715464138017913110789300630/16819257645628045809318435\ 2318792353341*c_0101_5^7 - 428407829798650398735997804554687835505/\ 56064192152093486031061450772930784447*c_0101_5^6 - 1938725723616731295534480747503774765564/16819257645628045809318435\ 2318792353341*c_0101_5^5 - 437608576281125009241597437692604096540/\ 56064192152093486031061450772930784447*c_0101_5^4 + 11319727485055026880309798339701844417/1868806405069782867702048359\ 0976928149*c_0101_5^3 + 23715666570745642326972838862567389328/1868\ 8064050697828677020483590976928149*c_0101_5^2 - 6852692023926385783962986187423605527/62293546835659428923401611969\ 92309383*c_0101_5 - 586184644406244614465903715725896985/6229354683\ 565942892340161196992309383, c_0101_3 - 2573573940368979854032988215157862274/1681925764562804580931\ 84352318792353341*c_0101_5^17 + 14583529091706789204137463326284760\ 44/56064192152093486031061450772930784447*c_0101_5^16 + 1384378303462528288751832897320688844/56064192152093486031061450772\ 930784447*c_0101_5^15 + 2666660663718899117345401968862675441/88522\ 40866120024110167597490462755439*c_0101_5^14 + 2918164066205822426736312280900494941/62293546835659428923401611969\ 92309383*c_0101_5^13 + 249219644332330775429354140916743099627/1681\ 92576456280458093184352318792353341*c_0101_5^12 + 143390439154313688034838997867141359258/168192576456280458093184352\ 318792353341*c_0101_5^11 + 744817797732166816577313094248972701591/\ 168192576456280458093184352318792353341*c_0101_5^10 - 220890471715473813203642661244161686803/168192576456280458093184352\ 318792353341*c_0101_5^9 + 1069976634892975366281954506262580159975/\ 168192576456280458093184352318792353341*c_0101_5^8 - 584035327375478703245589679228861214275/168192576456280458093184352\ 318792353341*c_0101_5^7 + 553946658218506328531032427241779910211/5\ 6064192152093486031061450772930784447*c_0101_5^6 - 25647934218431132688201134974730127947/1681925764562804580931843523\ 18792353341*c_0101_5^5 - 168327795764738697219868310525293146749/56\ 064192152093486031061450772930784447*c_0101_5^4 + 8829379947859284059210436125900788430/62293546835659428923401611969\ 92309383*c_0101_5^3 - 3126871380761710146541564533254668807/1868806\ 4050697828677020483590976928149*c_0101_5^2 - 5090796465360157374310410552335081467/62293546835659428923401611969\ 92309383*c_0101_5 + 1231904943394926917073190105661923094/622935468\ 3565942892340161196992309383, c_0101_5^18 - 6/7*c_0101_5^17 - 3*c_0101_5^16 - 148/7*c_0101_5^15 - 330/7*c_0101_5^14 - 865/7*c_0101_5^13 - 971/7*c_0101_5^12 - 2402/7*c_0101_5^11 - 1163/7*c_0101_5^10 - 2623/7*c_0101_5^9 - 989/7*c_0101_5^8 - 3723/7*c_0101_5^7 - 3922/7*c_0101_5^6 + 675/7*c_0101_5^5 + 333/7*c_0101_5^4 - 855/7*c_0101_5^3 - 108/7*c_0101_5^2 + 81/7*c_0101_5 - 81/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB