Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 2412647257] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1512 geometric_solution 5.31602635 oriented_manifold CS_known -0.0000000000000004 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.450490880140 0.212927925422 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.735064649170 0.644682991845 1 4 3 5 0132 0132 3012 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 0 -1 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.952107507585 1.208718707351 5 2 4 1 1023 1230 3201 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.952107507585 1.208718707351 3 2 6 6 2310 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.757322160211 0.461317669990 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 1 0 -1 1 0 0 -1 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 -1 0 0 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 1.254403318086 0.906665985059 6 4 4 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.286889459244 1.022443088106 ==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' : negation(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' : 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_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], '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_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_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_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_1'], '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_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 1213274054555046013314451654833902614022088293/36367010552752210654\ 67415248703416306411264*c_0101_3^26 - 42609436247730305299916558340690167235752836511/1363762895728207899\ 550280718263781114904224*c_0101_3^24 + 8879611225255749340341928203537141778847866513849/16365154748738494\ 794603368619165373378850688*c_0101_3^22 - 44380660387660837302998979498019755694625572959983/1636515474873849\ 4794603368619165373378850688*c_0101_3^20 + 261921449838874538840861059153243051791698913999563/818257737436924\ 7397301684309582686689425344*c_0101_3^18 - 241533402036010262034859355577194542241957892927995/181835052763761\ 0532733707624351708153205632*c_0101_3^16 + 4862552525115233553408645029044795995175763978249059/16365154748738\ 494794603368619165373378850688*c_0101_3^14 - 1105241475498141192526564451031951847962706984678421/27275257914564\ 15799100561436527562229808448*c_0101_3^12 + 5603722018798870737946410686133786348064129182577363/16365154748738\ 494794603368619165373378850688*c_0101_3^10 - 5748392387966123418600055361595793636511272675603829/32730309497476\ 989589206737238330746757701376*c_0101_3^8 + 93422134020512226212648703339966745744600455625273/1818350527637610\ 532733707624351708153205632*c_0101_3^6 - 59996848351125640515903250607517443271181721452267/8182577374369247\ 397301684309582686689425344*c_0101_3^4 + 10471557432540605985159665568827735657281594050727/3273030949747698\ 9589206737238330746757701376*c_0101_3^2 - 130958289439252922972163440825665585234859140663/327303094974769895\ 89206737238330746757701376, c_0011_0 - 1, c_0011_1 + 1920189901831862696918324154667682708464287/3636701055275221\ 065467415248703416306411264*c_0101_3^26 - 22363679122520212826453628701192190622714269/4545876319094026331834\ 26906087927038301408*c_0101_3^24 + 1518656132013669854677201521136031645664498247/18183505276376105327\ 33707624351708153205632*c_0101_3^22 - 7078504319359415682794430756291521040455291293/18183505276376105327\ 33707624351708153205632*c_0101_3^20 + 44376266608801144687539945221799169562668324471/9091752638188052663\ 66853812175854076602816*c_0101_3^18 - 339872923799244678813512901639807282271911892865/181835052763761053\ 2733707624351708153205632*c_0101_3^16 + 693750790619444880026035506379886435928638852397/181835052763761053\ 2733707624351708153205632*c_0101_3^14 - 419679885593466448868721519200547264546182442489/909175263818805266\ 366853812175854076602816*c_0101_3^12 + 594474223615506956300079924790341801532543986101/181835052763761053\ 2733707624351708153205632*c_0101_3^10 - 467755720777341694176375271853335153908259453479/363670105527522106\ 5467415248703416306411264*c_0101_3^8 + 44910957774844015421890152594478123192707424095/1818350527637610532\ 733707624351708153205632*c_0101_3^6 - 1482998351329834224429732428770918361803021383/90917526381880526636\ 6853812175854076602816*c_0101_3^4 + 126248893108213409799881460269461726110098933/363670105527522106546\ 7415248703416306411264*c_0101_3^2 - 2501861273349926052511684430382550943901237/36367010552752210654674\ 15248703416306411264, c_0011_3 + 2988350581207477145745261028185824657540661/3636701055275221\ 065467415248703416306411264*c_0101_3^27 - 8773673144300008244315737742455303797611229/11364690797735065829585\ 6726521981759575352*c_0101_3^25 + 247168370341434289888237919375549\ 5201101039197/1818350527637610532733707624351708153205632*c_0101_3^\ 23 - 12848721153233526452974326143458338300874190795/18183505276376\ 10532733707624351708153205632*c_0101_3^21 + 73296540152251234287276007243802940078713325529/9091752638188052663\ 66853812175854076602816*c_0101_3^19 - 635922027518065888816568721057586933862120660183/181835052763761053\ 2733707624351708153205632*c_0101_3^17 + 1485293138483106029666035709930951750117821343119/18183505276376105\ 32733707624351708153205632*c_0101_3^15 - 1062070643848504672249442849967421137662057336653/90917526381880526\ 6366853812175854076602816*c_0101_3^13 + 1897186575749762905323752273394209882572083059975/18183505276376105\ 32733707624351708153205632*c_0101_3^11 - 2063211917867274739216618456584736395460109886533/36367010552752210\ 65467415248703416306411264*c_0101_3^9 + 317699868854218941134731394666202079520215608729/181835052763761053\ 2733707624351708153205632*c_0101_3^7 - 23066117933588777998695166718794021803785771807/9091752638188052663\ 66853812175854076602816*c_0101_3^5 + 3249853289021072402713642659879853645141693263/36367010552752210654\ 67415248703416306411264*c_0101_3^3 - 35177731838115460986089405577862978520324647/3636701055275221065467\ 415248703416306411264*c_0101_3, c_0011_6 - 119308915380356452889241564388698508787487/90917526381880526\ 6366853812175854076602816*c_0101_3^26 + 5556507419031928352857666364256798850112667/45458763190940263318342\ 6906087927038301408*c_0101_3^24 - 942055822739679546133307353606183\ 10377461079/454587631909402633183426906087927038301408*c_0101_3^22 + 218619180377582533089620772832514461032460001/227293815954701316591\ 713453043963519150704*c_0101_3^20 - 687901446911636057674199089006406439329265105/568234539886753291479\ 28363260990879787676*c_0101_3^18 + 10484033210795884736294120875010640042048027497/2272938159547013165\ 91713453043963519150704*c_0101_3^16 - 42570997828720787136292142165492207039974470761/4545876319094026331\ 83426906087927038301408*c_0101_3^14 + 51154320032798806804205582948801625945850662749/4545876319094026331\ 83426906087927038301408*c_0101_3^12 - 35882451469776867640544754115776369018640142869/4545876319094026331\ 83426906087927038301408*c_0101_3^10 + 27919026191098330455554658152937799608862351729/9091752638188052663\ 66853812175854076602816*c_0101_3^8 - 1339737782807791673067492776123070940603135415/22729381595470131659\ 1713453043963519150704*c_0101_3^6 + 204768078624124840119747750551250504742325449/454587631909402633183\ 426906087927038301408*c_0101_3^4 - 26652710116556216839861812100471312826049163/9091752638188052663668\ 53812175854076602816*c_0101_3^2 + 401738490303897220349912214459248\ 272288613/909175263818805266366853812175854076602816, c_0101_0 - 1850092634881524187130455115119631400755607/3636701055275221\ 065467415248703416306411264*c_0101_3^26 + 43218095280542965549119885432482255444513187/9091752638188052663668\ 53812175854076602816*c_0101_3^24 - 1486218212253229315926503572920876590984577617/18183505276376105327\ 33707624351708153205632*c_0101_3^22 + 7209268256895787324246276636505214810059534523/18183505276376105327\ 33707624351708153205632*c_0101_3^20 - 5456687412554656429646331133239416983478723845/11364690797735065829\ 5856726521981759575352*c_0101_3^18 + 350183094412855647247974960566786632262375221955/181835052763761053\ 2733707624351708153205632*c_0101_3^16 - 754307187507487951326276686356829364705204211003/181835052763761053\ 2733707624351708153205632*c_0101_3^14 + 245381139489668341780053465450845566183598281581/454587631909402633\ 183426906087927038301408*c_0101_3^12 - 777723891417135430439263869482057929264100606967/181835052763761053\ 2733707624351708153205632*c_0101_3^10 + 731832484941666992303532360128710483685360048363/363670105527522106\ 5467415248703416306411264*c_0101_3^8 - 95610749216714031040676784785744962718762771343/1818350527637610532\ 733707624351708153205632*c_0101_3^6 + 5904526498020342196872446518588674025951044405/90917526381880526636\ 6853812175854076602816*c_0101_3^4 - 891473904210814191335455175013223956555028133/363670105527522106546\ 7415248703416306411264*c_0101_3^2 + 9022226718686275551642823741306698222871633/36367010552752210654674\ 15248703416306411264, c_0101_1 + 255509226704488544054832930584648864182857/36367010552752210\ 65467415248703416306411264*c_0101_3^26 - 1479744768663760011300820346520937698786615/22729381595470131659171\ 3453043963519150704*c_0101_3^24 + 195996555797280387099678889826152\ 828916152421/1818350527637610532733707624351708153205632*c_0101_3^2\ 2 - 838703069975356217821391904274397218109652143/18183505276376105\ 32733707624351708153205632*c_0101_3^20 + 5665000235001312286994047738861263580259260931/90917526381880526636\ 6853812175854076602816*c_0101_3^18 - 39198189005032926389895936697461026037096536291/1818350527637610532\ 733707624351708153205632*c_0101_3^16 + 69293532335794742182341973018926881800404413047/1818350527637610532\ 733707624351708153205632*c_0101_3^14 - 32483383940730397923382017543652070017684643309/9091752638188052663\ 66853812175854076602816*c_0101_3^12 + 23144899089527444287516121772730215570725360711/1818350527637610532\ 733707624351708153205632*c_0101_3^10 + 15327810918944348243393521708693784810708193591/3636701055275221065\ 467415248703416306411264*c_0101_3^8 - 8503113082587467358467980316995343379258165599/18183505276376105327\ 33707624351708153205632*c_0101_3^6 + 992431570970982969222281247024960066338732167/909175263818805266366\ 853812175854076602816*c_0101_3^4 - 104660904685415767518419588428032982856456157/363670105527522106546\ 7415248703416306411264*c_0101_3^2 - 359391452636289456411958486269102071862795/363670105527522106546741\ 5248703416306411264, c_0101_3^28 - 281/3*c_0101_3^26 + 14650/9*c_0101_3^24 - 73372/9*c_0101_3^22 + 864518/9*c_0101_3^20 - 3595850/9*c_0101_3^18 + 8063584/9*c_0101_3^16 - 11030174/9*c_0101_3^14 + 9358282/9*c_0101_3^12 - 1608625/3*c_0101_3^10 + 1422845/9*c_0101_3^8 - 206186/9*c_0101_3^6 + 3205/3*c_0101_3^4 - 20*c_0101_3^2 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB