Magma V2.19-8 Tue Aug 20 2013 16:14:12 on localhost [Seed = 964207895] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s168 geometric_solution 4.25750523 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 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.511687839877 0.192144409768 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 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 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 1.212150426598 0.307513660362 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708324636357 0.585800606748 2 4 4 5 0132 0321 1302 0132 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 -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.620810519043 0.594031927610 3 5 2 3 2031 1023 0132 0321 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 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.620810519043 0.594031927610 4 5 3 5 1023 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.611603774692 0.263424405588 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : 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' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], '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' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1189586382317407584737521462442344911929/34315570622557344904175013\ 442258172279328*c_0110_5^19 + 1086519456950514011347811874820831006\ 9819/34315570622557344904175013442258172279328*c_0110_5^18 - 18892932180572852688699742830198416947699/1715778531127867245208750\ 6721129086139664*c_0110_5^17 + 126216237660071107029383259862758306\ 88675/8578892655639336226043753360564543069832*c_0110_5^16 + 1528143168810365898216920411410470657982/35745386065163900941848972\ 3356855961243*c_0110_5^15 - 345398141846842310272089476635524403802\ 725/17157785311278672452087506721129086139664*c_0110_5^14 + 1064279905639953119270636773045289551465937/34315570622557344904175\ 013442258172279328*c_0110_5^13 + 1334613194865532382912961063903713\ 4094117/953210295071037358449305928951615896648*c_0110_5^12 - 454466582623311974378169085029388856612473/114385235408524483013916\ 71147419390759776*c_0110_5^11 + 73434316649427963283180767264330577\ 8287549/34315570622557344904175013442258172279328*c_0110_5^10 + 549803073964331205888327665348912728977931/857889265563933622604375\ 3360564543069832*c_0110_5^9 + 6488515481345312929489269892262127757\ 95961/4902224374651049272025001920322596039904*c_0110_5^8 - 7698981478832563739762928433351697733372155/34315570622557344904175\ 013442258172279328*c_0110_5^7 + 12034405888024950923850338084310975\ 81588701/4902224374651049272025001920322596039904*c_0110_5^6 - 72476056727533629234500494553064603093301/1429815442606556037673958\ 893427423844972*c_0110_5^5 + 69683290582681901983316614307333807183\ 7829/3812841180284149433797223715806463586592*c_0110_5^4 - 14951780295481542301746150806886106352901/6808644964793123988923613\ 7782258278332*c_0110_5^3 + 5524453463786421487937749003325778452806\ 9/953210295071037358449305928951615896648*c_0110_5^2 + 21125383174761044239125845902592158562095/6127780468313811590031252\ 40040324504988*c_0110_5 - 49142061932178736698117586825420414799728\ /1072361581954917028255469170070567883729, c_0011_0 - 1, c_0011_1 + 112304293266154704643763110363806413/17021612411982809972309\ 034445564569583*c_0110_5^19 - 1687610983601340073133845273289224101\ /34043224823965619944618068891129139166*c_0110_5^18 + 1984294596658027461252501315283580842/17021612411982809972309034445\ 564569583*c_0110_5^17 + 20326409978373082819703520421700195/1702161\ 2411982809972309034445564569583*c_0110_5^16 - 34658841737731499817914072387876050153/3404322482396561994461806889\ 1129139166*c_0110_5^15 + 36747187424334104315132450240808206146/170\ 21612411982809972309034445564569583*c_0110_5^14 - 8742336301052294678746231581097596905/17021612411982809972309034445\ 564569583*c_0110_5^13 - 245445808431296283158313593039339778941/340\ 43224823965619944618068891129139166*c_0110_5^12 - 117505104438476537956121969875678931437/340432248239656199446180688\ 91129139166*c_0110_5^11 + 56120319321699096167542453521970481819/17\ 021612411982809972309034445564569583*c_0110_5^10 + 52540805339595454785574783612531214046/1702161241198280997230903444\ 5564569583*c_0110_5^9 - 352215812218299973465124293005342845992/170\ 21612411982809972309034445564569583*c_0110_5^8 + 113460337644335099289329028461822186533/170216124119828099723090344\ 45564569583*c_0110_5^7 + 82708329407944157939214459934806227817/170\ 21612411982809972309034445564569583*c_0110_5^6 + 474939889886681233302987915766292803533/340432248239656199446180688\ 91129139166*c_0110_5^5 - 172886813276488755844811522126543310483/17\ 021612411982809972309034445564569583*c_0110_5^4 - 21874095664684529316324759941190452148/1702161241198280997230903444\ 5564569583*c_0110_5^3 + 155257799740782197428648701945009974715/340\ 43224823965619944618068891129139166*c_0110_5^2 - 80558221466922067147081096664600878667/3404322482396561994461806889\ 1129139166*c_0110_5 - 12345224294560288439782987487396596678/170216\ 12411982809972309034445564569583, c_0011_4 - 2318039164066735076535445355416129853/1361728992958624797784\ 72275564516556664*c_0110_5^19 + 83518470664643525390604811331433165\ 15/68086449647931239889236137782258278332*c_0110_5^18 - 36078495703987445033123198941327469563/1361728992958624797784722755\ 64516556664*c_0110_5^17 - 4914693924881116583496957907888053633/680\ 86449647931239889236137782258278332*c_0110_5^16 + 87961135186177401303947073088956690335/3404322482396561994461806889\ 1129139166*c_0110_5^15 - 326725937039691233914076155197947279493/68\ 086449647931239889236137782258278332*c_0110_5^14 + 16080110511586743886633486187146810715/1361728992958624797784722755\ 64516556664*c_0110_5^13 + 2493534392528523146939218947956771526245/\ 136172899295862479778472275564516556664*c_0110_5^12 + 1943499267268975229013310636437842716181/13617289929586247977847227\ 5564516556664*c_0110_5^11 - 158258184523389749460453329806564852813\ /68086449647931239889236137782258278332*c_0110_5^10 - 738887624087381073310208575045929861951/136172899295862479778472275\ 564516556664*c_0110_5^9 + 7233074634433430439678646679952811185471/\ 136172899295862479778472275564516556664*c_0110_5^8 - 27218554679943155105695365534498089943/1702161241198280997230903444\ 5564569583*c_0110_5^7 - 249515276071620144688485403854628311847/340\ 43224823965619944618068891129139166*c_0110_5^6 - 4721030478436391941664554783677296536645/13617289929586247977847227\ 5564516556664*c_0110_5^5 + 2237144662381766321401830278723716108601\ /136172899295862479778472275564516556664*c_0110_5^4 + 236818323777273056235390590829318110805/136172899295862479778472275\ 564516556664*c_0110_5^3 - 388328201225893660298425680053240418055/3\ 4043224823965619944618068891129139166*c_0110_5^2 + 88054589022816811897493162622303531751/3404322482396561994461806889\ 1129139166*c_0110_5 + 33985643588076686309675360685134167157/170216\ 12411982809972309034445564569583, c_0101_0 - 4404668879047698087334656401752590713/2723457985917249595569\ 44551129033113328*c_0110_5^19 + 33231325196985561445482273481065304\ 137/272345798591724959556944551129033113328*c_0110_5^18 - 20034316583273155487503808297069723243/6808644964793123988923613778\ 2258278332*c_0110_5^17 + 2650954947689520186609887477817340787/6808\ 6449647931239889236137782258278332*c_0110_5^16 + 82673668583563778200086140818780872915/3404322482396561994461806889\ 1129139166*c_0110_5^15 - 734917471354825793141313376381165748133/13\ 6172899295862479778472275564516556664*c_0110_5^14 + 575805779348376520275412570128632185325/272345798591724959556944551\ 129033113328*c_0110_5^13 + 2241855999279021442029366050382810619079\ /136172899295862479778472275564516556664*c_0110_5^12 + 2129950847557895769887389659242986893449/27234579859172495955694455\ 1129033113328*c_0110_5^11 - 994951143018660887797188458665293000065\ /272345798591724959556944551129033113328*c_0110_5^10 - 281139630910104096856109600771373828359/136172899295862479778472275\ 564516556664*c_0110_5^9 + 14223097900259169240951150365148509380075\ /272345798591724959556944551129033113328*c_0110_5^8 - 5271530710768488841041605215716658786277/27234579859172495955694455\ 1129033113328*c_0110_5^7 + 680324593625374934264492920702314645929/\ 272345798591724959556944551129033113328*c_0110_5^6 - 4332287575519785448088468366979752207095/13617289929586247977847227\ 5564516556664*c_0110_5^5 + 7419616441366808159641070865671397381817\ /272345798591724959556944551129033113328*c_0110_5^4 - 1378060439290817560955376822201334432923/13617289929586247977847227\ 5564516556664*c_0110_5^3 - 145685876572269869684281461997674176455/\ 17021612411982809972309034445564569583*c_0110_5^2 + 181799174348496764864465544011343196387/340432248239656199446180688\ 91129139166*c_0110_5 + 5006927651735474273142737963273857382/170216\ 12411982809972309034445564569583, c_0101_2 - 271927892073178012215951261247276575/13617289929586247977847\ 2275564516556664*c_0110_5^19 + 105091462475180440906317003131404186\ 1/68086449647931239889236137782258278332*c_0110_5^18 - 5643819021803339504680147170302295577/13617289929586247977847227556\ 4516556664*c_0110_5^17 + 1889701749843605230325795391602252169/6808\ 6449647931239889236137782258278332*c_0110_5^16 + 9066947381969515295512219385156804491/34043224823965619944618068891\ 129139166*c_0110_5^15 - 50233374330093243591216591909678797519/6808\ 6449647931239889236137782258278332*c_0110_5^14 + 99503253700729436055014179154655690913/1361728992958624797784722755\ 64516556664*c_0110_5^13 + 191958923229789324321874632454651831455/1\ 36172899295862479778472275564516556664*c_0110_5^12 + 68204663541509999333558407069173608111/1361728992958624797784722755\ 64516556664*c_0110_5^11 + 123020244616088643217794903842677643681/6\ 8086449647931239889236137782258278332*c_0110_5^10 + 321615781017041669620755972697453778115/136172899295862479778472275\ 564516556664*c_0110_5^9 + 948922257290965908338978558663320538757/1\ 36172899295862479778472275564516556664*c_0110_5^8 - 64076546600170022526551453592298177727/1702161241198280997230903444\ 5564569583*c_0110_5^7 + 276224984246160178495367800166249395789/340\ 43224823965619944618068891129139166*c_0110_5^6 - 346464292403459767145494526821696085079/136172899295862479778472275\ 564516556664*c_0110_5^5 + 603220951149133279160806152042731874075/1\ 36172899295862479778472275564516556664*c_0110_5^4 - 814229736704049833361771532836754633905/136172899295862479778472275\ 564516556664*c_0110_5^3 + 31655568790903322663296500450324454131/34\ 043224823965619944618068891129139166*c_0110_5^2 + 25470893735078800120630247666065317141/3404322482396561994461806889\ 1129139166*c_0110_5 - 16760847331060544156293120372411242429/170216\ 12411982809972309034445564569583, c_0110_5^20 - 7*c_0110_5^19 + 14*c_0110_5^18 + 8*c_0110_5^17 - 152*c_0110_5^16 + 250*c_0110_5^15 + 63*c_0110_5^14 - 1096*c_0110_5^13 - 1065*c_0110_5^12 + 47*c_0110_5^11 + 444*c_0110_5^10 - 3043*c_0110_5^9 - 577*c_0110_5^8 + 717*c_0110_5^7 + 2216*c_0110_5^6 - 537*c_0110_5^5 - 468*c_0110_5^4 + 720*c_0110_5^3 + 8*c_0110_5^2 - 192*c_0110_5 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB