Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 172725955] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1648 geometric_solution 5.39085307 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 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.633903350018 0.229493983208 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 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 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.280566448432 0.572474586145 3 1 1 4 0132 0132 1023 0132 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 0 0 0 0 0 1 -1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.331083081771 0.421187388354 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.181412467352 1.019963456862 6 5 2 3 2310 2310 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 -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.181412467352 1.019963456862 5 5 3 4 1302 2031 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.169033165176 0.950362750665 6 6 4 3 1230 3012 3201 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 -1 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.169033165176 0.950362750665 ==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' : 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' : 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' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['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_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), '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_5']), 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0011_5']), '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_4, c_0011_5, c_0011_6, c_0101_0, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 105287793752811616361125423487/231188122498969220352502862*c_0101_6\ ^18 + 250549277625850698098930825466/115594061249484610176251431*c_\ 0101_6^17 - 1889098599608564912288817649409/23118812249896922035250\ 2862*c_0101_6^16 + 1111200641007538107883664982677/1155940612494846\ 10176251431*c_0101_6^15 - 20903429279543333643729026073115/23118812\ 2498969220352502862*c_0101_6^14 - 37774034464076194550430590939357/\ 231188122498969220352502862*c_0101_6^13 - 103704774944675587973607793748857/231188122498969220352502862*c_010\ 1_6^12 - 219604122449333360586219429576259/231188122498969220352502\ 862*c_0101_6^11 - 35663043827035033659892931780862/1155940612494846\ 10176251431*c_0101_6^10 + 49843872861348291519530833319113/23118812\ 2498969220352502862*c_0101_6^9 + 36374466546131723163195543171422/1\ 15594061249484610176251431*c_0101_6^8 + 75074296145914409411811755892809/231188122498969220352502862*c_0101\ _6^7 - 13785566875532736861159943005754/115594061249484610176251431\ *c_0101_6^6 + 7159417684985370797025983608267/231188122498969220352\ 502862*c_0101_6^5 + 243846116631851873270960559943/6799650661734388\ 833897143*c_0101_6^4 - 4752356136634544118432504117288/115594061249\ 484610176251431*c_0101_6^3 - 36889466013672742484094632442/67996506\ 61734388833897143*c_0101_6^2 + 460611450050738356194489334050/11559\ 4061249484610176251431*c_0101_6 + 84166043043883120099152515171/231\ 188122498969220352502862, c_0011_0 - 1, c_0011_1 + 41734667964167572916193700/6799650661734388833897143*c_0101_\ 6^18 - 191462374876142318754161258/6799650661734388833897143*c_0101\ _6^17 + 713450471595448630630519977/6799650661734388833897143*c_010\ 1_6^16 - 746588051885861091759683404/6799650661734388833897143*c_01\ 01_6^15 + 8112999675957294194575233522/6799650661734388833897143*c_\ 0101_6^14 + 16418801907300582571533233304/6799650661734388833897143\ *c_0101_6^13 + 43432546934086534595449831279/6799650661734388833897\ 143*c_0101_6^12 + 93613872158308201322519513995/6799650661734388833\ 897143*c_0101_6^11 + 41893678121159469346079204354/6799650661734388\ 833897143*c_0101_6^10 - 17768656355102615768884298558/6799650661734\ 388833897143*c_0101_6^9 - 33616120263921210326759395911/67996506617\ 34388833897143*c_0101_6^8 - 34460218063775074204074224855/679965066\ 1734388833897143*c_0101_6^7 + 6612560560622627235888973399/67996506\ 61734388833897143*c_0101_6^6 + 36619147988499448522906820/679965066\ 1734388833897143*c_0101_6^5 - 3912690990970465190502650741/67996506\ 61734388833897143*c_0101_6^4 + 3315211279889449503598737814/6799650\ 661734388833897143*c_0101_6^3 + 1280557508411491851766963557/679965\ 0661734388833897143*c_0101_6^2 - 372154237284902225449062045/679965\ 0661734388833897143*c_0101_6 - 119656120776274476189636582/67996506\ 61734388833897143, c_0011_4 - 54313032589333190931837303/6799650661734388833897143*c_0101_\ 6^18 + 257116762094288593174814319/6799650661734388833897143*c_0101\ _6^17 - 968091183603302724495739157/6799650661734388833897143*c_010\ 1_6^16 + 1122393394382278916270215041/6799650661734388833897143*c_0\ 101_6^15 - 10756511508031049060219347309/6799650661734388833897143*\ c_0101_6^14 - 19756584493987342738584523315/67996506617343888338971\ 43*c_0101_6^13 - 54018547566001645493239733575/67996506617343888338\ 97143*c_0101_6^12 - 114697785701508045601131734226/6799650661734388\ 833897143*c_0101_6^11 - 39821830176208304421140923508/6799650661734\ 388833897143*c_0101_6^10 + 24432266031033157901570677212/6799650661\ 734388833897143*c_0101_6^9 + 37987328823615411215181108449/67996506\ 61734388833897143*c_0101_6^8 + 39654235312466734202950024898/679965\ 0661734388833897143*c_0101_6^7 - 13195782869021908077017820979/6799\ 650661734388833897143*c_0101_6^6 + 3451587406741592508285954199/6799650661734388833897143*c_0101_6^5 + 4368561346543186327863184894/6799650661734388833897143*c_0101_6^4 - 4759768797059579083087892148/6799650661734388833897143*c_0101_6^3 - 751346912239501404429790212/6799650661734388833897143*c_0101_6^2 + 447122744137353702525886507/6799650661734388833897143*c_0101_6 + 64805147085065252354138238/6799650661734388833897143, c_0011_5 + 59064513321207679182749752/6799650661734388833897143*c_0101_\ 6^18 - 282048684661364363381377834/6799650661734388833897143*c_0101\ _6^17 + 1065204167059918060166632971/6799650661734388833897143*c_01\ 01_6^16 - 1268191283019313644669294107/6799650661734388833897143*c_\ 0101_6^15 + 11763594132738318672224343789/6799650661734388833897143\ *c_0101_6^14 + 20983667626282456952890124888/6799650661734388833897\ 143*c_0101_6^13 + 58032334797651799346352396508/6799650661734388833\ 897143*c_0101_6^12 + 122626177954257648207421256969/679965066173438\ 8833897143*c_0101_6^11 + 39050119959655724301605321994/679965066173\ 4388833897143*c_0101_6^10 - 26460124311474930232922586884/679965066\ 1734388833897143*c_0101_6^9 - 39452819238210704441301621015/6799650\ 661734388833897143*c_0101_6^8 - 41600045124461683389588916044/67996\ 50661734388833897143*c_0101_6^7 + 15616637593756721901197860215/679\ 9650661734388833897143*c_0101_6^6 - 4980661830258480649944434837/6799650661734388833897143*c_0101_6^5 - 4422298524842699987327667556/6799650661734388833897143*c_0101_6^4 + 5253808506363642774589447930/6799650661734388833897143*c_0101_6^3 + 537219028511553177606796845/6799650661734388833897143*c_0101_6^2 - 460795332817086701114359886/6799650661734388833897143*c_0101_6 - 42299777879005504973549867/6799650661734388833897143, c_0011_6 - 4751480731874488250912449/6799650661734388833897143*c_0101_6\ ^18 + 24931922567075770206563515/6799650661734388833897143*c_0101_6\ ^17 - 97112983456615335670893814/6799650661734388833897143*c_0101_6\ ^16 + 145797888637034728399079066/6799650661734388833897143*c_0101_\ 6^15 - 1007082624707269612004996480/6799650661734388833897143*c_010\ 1_6^14 - 1227083132295114214305601573/6799650661734388833897143*c_0\ 101_6^13 - 4013787231650153853112662933/6799650661734388833897143*c\ _0101_6^12 - 7928392252749602606289522743/6799650661734388833897143\ *c_0101_6^11 + 771710216552580119535601514/679965066173438883389714\ 3*c_0101_6^10 + 2027858280441772331351909672/6799650661734388833897\ 143*c_0101_6^9 + 1465490414595293226120512566/679965066173438883389\ 7143*c_0101_6^8 + 1945809811994949186638891146/67996506617343888338\ 97143*c_0101_6^7 - 2420854724734813824180039236/6799650661734388833\ 897143*c_0101_6^6 + 1529074423516888141658480638/679965066173438883\ 3897143*c_0101_6^5 + 53737178299513659464482662/6799650661734388833\ 897143*c_0101_6^4 - 494039709304063691501555782/6799650661734388833\ 897143*c_0101_6^3 + 214127883727948226822993367/6799650661734388833\ 897143*c_0101_6^2 + 13672588679732998588473379/67996506617343888338\ 97143*c_0101_6 - 22505369206059747380588371/67996506617343888338971\ 43, c_0101_0 - 30747725587037781594827389/6799650661734388833897143*c_0101_\ 6^18 + 166646021103693592397876113/6799650661734388833897143*c_0101\ _6^17 - 651905082678911213775691212/6799650661734388833897143*c_010\ 1_6^16 + 1030572829217153250899929067/6799650661734388833897143*c_0\ 101_6^15 - 6598393641894043558436905098/6799650661734388833897143*c\ _0101_6^14 - 6919675681741965341024228717/6799650661734388833897143\ *c_0101_6^13 - 23716656103650645566489323773/6799650661734388833897\ 143*c_0101_6^12 - 45368321313164946858937926842/6799650661734388833\ 897143*c_0101_6^11 + 18034426105025217492082783788/6799650661734388\ 833897143*c_0101_6^10 + 20974481746096977078085142750/6799650661734\ 388833897143*c_0101_6^9 + 9389867532215297217779960968/679965066173\ 4388833897143*c_0101_6^8 + 9245798401467461906484857552/67996506617\ 34388833897143*c_0101_6^7 - 20336006696821596785545785840/679965066\ 1734388833897143*c_0101_6^6 + 9881826369471209116361706631/67996506\ 61734388833897143*c_0101_6^5 + 103103315518116960754431151/67996506\ 61734388833897143*c_0101_6^4 - 3922048320018763814191605546/6799650\ 661734388833897143*c_0101_6^3 + 1699753651581124642918096560/679965\ 0661734388833897143*c_0101_6^2 + 201027206519970897566957289/679965\ 0661734388833897143*c_0101_6 - 153689668844191212513865340/67996506\ 61734388833897143, c_0101_6^19 - 5*c_0101_6^18 + 19*c_0101_6^17 - 25*c_0101_6^16 + 202*c_0101_6^15 + 313*c_0101_6^14 + 881*c_0101_6^13 + 1819*c_0101_6^12 + 92*c_0101_6^11 - 811*c_0101_6^10 - 619*c_0101_6^9 - 501*c_0101_6^8 + 490*c_0101_6^7 - 74*c_0101_6^6 - 91*c_0101_6^5 + 118*c_0101_6^4 - 4*c_0101_6^3 - 20*c_0101_6^2 + c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB