Magma V2.19-8 Tue Aug 20 2013 16:14:42 on localhost [Seed = 475889665] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s683 geometric_solution 5.18120696 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 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 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.267848237576 0.218723942135 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 1 -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.492296656056 1.610333971818 1 4 5 4 0132 0132 0132 1023 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 -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.559873697620 1.286944139868 4 5 4 1 2310 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.559873697620 1.286944139868 3 2 3 2 2310 0132 3201 1023 0 0 0 0 0 0 -1 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 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.386073281489 0.345007758244 5 3 5 2 2031 0132 1302 0132 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 -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.461618807127 0.905447436308 ==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' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), '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_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], '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_0101_0'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 3398903181451400974100733861/2384485355256276166627429949440*c_0101\ _3^22 + 31026185242267061027708597243/47689707105125523332548598988\ 8*c_0101_3^20 + 606975715238601585207284972207/59612133881406904165\ 6857487360*c_0101_3^18 + 1736892966384553909219137276785/2384485355\ 25627616662742994944*c_0101_3^16 + 4349755672683090092362002866029/596121338814069041656857487360*c_01\ 01_3^14 - 50183992980553128611905008345343/596121338814069041656857\ 487360*c_0101_3^12 - 318885066895284632146543944639843/596121338814\ 069041656857487360*c_0101_3^10 + 3139215987073848184051270148853/14\ 903033470351726041421437184*c_0101_3^8 - 2522660864730503173654042788543/4657197959484914387944199120*c_0101\ _3^6 - 4004064832340886025431662989161/4657197959484914387944199120\ *c_0101_3^4 + 370438272751243154071185961981/2328598979742457193972\ 099560*c_0101_3^2 + 127392418960988005184181949391/5821497449356142\ 98493024890, c_0011_0 - 1, c_0011_1 - 3098173449643718926582215/476897071051255233325485989888*c_0\ 101_3^22 + 71859667241856127557869969/23844853552562761666274299494\ 4*c_0101_3^20 + 1052857590702845060089066411/2384485355256276166627\ 42994944*c_0101_3^18 + 3564903088433168469543729595/119224267762813\ 808331371497472*c_0101_3^16 + 656647067220494666133708993/596121338\ 81406904165685748736*c_0101_3^14 - 46595738664645042789352482043/119224267762813808331371497472*c_0101\ _3^12 - 15946774959048198890929813919/7451516735175863020710718592*\ c_0101_3^10 + 19065142864920501238438772027/74515167351758630207107\ 18592*c_0101_3^8 - 8295134307086194978436660177/1862879183793965755\ 177679648*c_0101_3^6 - 882506312766443807283956329/9314395918969828\ 77588839824*c_0101_3^4 + 109684333545963898215315758/58214974493561\ 429849302489*c_0101_3^2 - 59214441394899064047907650/58214974493561\ 429849302489, c_0011_3 + 7082834784734134240420413/953794142102510466650971979776*c_0\ 101_3^22 - 163187479476893263338629549/4768970710512552333254859898\ 88*c_0101_3^20 - 2458456191355900607313214453/476897071051255233325\ 485989888*c_0101_3^18 - 8503947013191938005186386487/23844853552562\ 7616662742994944*c_0101_3^16 - 2617144003086658096862566701/1192242\ 67762813808331371497472*c_0101_3^14 + 107678281519603866047419064609/238448535525627616662742994944*c_010\ 1_3^12 + 154736102645906080287935451983/596121338814069041656857487\ 36*c_0101_3^10 - 16847544114310609276445355685/74515167351758630207\ 10718592*c_0101_3^8 + 13289517188531408731322896859/372575836758793\ 1510355359296*c_0101_3^6 + 1275522235535685572806336687/46571979594\ 8491438794419912*c_0101_3^4 - 499536607569208578149657687/232859897\ 974245719397209956*c_0101_3^2 - 17934202713535404909005662/58214974\ 493561429849302489, c_0101_0 + 9744450336605144851225469/1907588284205020933301943959552*c_\ 0101_3^23 - 238936729316326689774517033/953794142102510466650971979\ 776*c_0101_3^21 - 2714477108809520244674258125/95379414210251046665\ 0971979776*c_0101_3^19 - 6764069814159933510623410315/4768970710512\ 55233325485989888*c_0101_3^17 + 13203070869396825877883745839/23844\ 8535525627616662742994944*c_0101_3^15 + 162593755181765573063797197105/476897071051255233325485989888*c_010\ 1_3^13 + 103004260304726349829190672777/119224267762813808331371497\ 472*c_0101_3^11 - 98972115675124282340068372639/1490303347035172604\ 1421437184*c_0101_3^9 + 60394016844757235512014800537/7451516735175\ 863020710718592*c_0101_3^7 - 12865438782908459948564483165/18628791\ 83793965755177679648*c_0101_3^5 - 577172737711473403565800439/11642\ 9948987122859698604978*c_0101_3^3 + 403598566369574615263734623/116429948987122859698604978*c_0101_3, c_0101_1 - 7640382601883934029569291/476897071051255233325485989888*c_0\ 101_3^22 + 177238533532485406823535193/2384485355256276166627429949\ 44*c_0101_3^20 + 2595343919421381429056424611/238448535525627616662\ 742994944*c_0101_3^18 + 8780302705077643356996122783/11922426776281\ 3808331371497472*c_0101_3^16 + 1568795504376249947007450995/5961213\ 3881406904165685748736*c_0101_3^14 - 115218992405790755770934291639/119224267762813808331371497472*c_010\ 1_3^12 - 78600759987369107194682365673/1490303347035172604142143718\ 4*c_0101_3^10 + 94999293565719818240456172013/149030334703517260414\ 21437184*c_0101_3^8 - 20327241667598022919891773427/186287918379396\ 5755177679648*c_0101_3^6 - 2229768025189878457607939105/93143959189\ 6982877588839824*c_0101_3^4 + 265631281075223380670851968/582149744\ 93561429849302489*c_0101_3^2 - 55025370679694227929978197/582149744\ 93561429849302489, c_0101_3^24 - 46*c_0101_3^22 - 698*c_0101_3^20 - 4852*c_0101_3^18 - 3256*c_0101_3^16 + 61108*c_0101_3^14 + 354240*c_0101_3^12 - 284992*c_0101_3^10 + 417536*c_0101_3^8 + 480256*c_0101_3^6 - 352256*c_0101_3^4 - 131072*c_0101_3^2 + 65536 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB