Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 2395935319] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1740 geometric_solution 5.43907877 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 0 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.745647512909 0.519816259066 0 2 3 0 0132 0132 0132 3201 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 0 0 0 0 1 -1 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.642836548463 0.697722542005 4 1 5 5 0132 0132 0132 2310 0 0 0 0 0 1 -1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139124459847 0.630545676894 5 5 4 1 1023 3201 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 1 0 -1 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.139124459847 0.630545676894 2 3 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.092206713984 1.460105217371 2 3 3 2 3201 1023 2310 0132 0 0 0 0 0 0 -1 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 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.333677035857 1.512304972607 4 6 4 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.565880531123 0.602743548438 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 640303910756264317710082976976849460046778174152337858/881736025803\ 2228776998495762071881808814411670629425*c_0101_4^20 + 5855100268845351773983237462790399967213972511037528551/88173602580\ 32228776998495762071881808814411670629425*c_0101_4^19 + 1480206443213731704959575914212683657507005522268835267/17634720516\ 06445755399699152414376361762882334125885*c_0101_4^18 - 8871828342940383661756876526338254927424522880447489297/17634720516\ 06445755399699152414376361762882334125885*c_0101_4^17 - 22854701129748810384867336704500067486268478846486120659/3526944103\ 212891510799398304828752723525764668251770*c_0101_4^16 + 427761120838576388628667836964795927853876604533522666321/176347205\ 16064457553996991524143763617628823341258850*c_0101_4^15 + 227105962921185738307494232299805185297176985011735595804/881736025\ 8032228776998495762071881808814411670629425*c_0101_4^14 - 1022019570942793133093696581981492390672132806525064858081/17634720\ 516064457553996991524143763617628823341258850*c_0101_4^13 - 430126837113344807227073864704598006423927836567274787662/881736025\ 8032228776998495762071881808814411670629425*c_0101_4^12 + 1739543586797680681683037916007887959247173288755177030223/17634720\ 516064457553996991524143763617628823341258850*c_0101_4^11 + 1105559923451487498232214289678105852942858087108732712347/17634720\ 516064457553996991524143763617628823341258850*c_0101_4^10 - 2256414771141128708261902571008022156748241423913687505979/17634720\ 516064457553996991524143763617628823341258850*c_0101_4^9 - 75372005446272445460724329689455753468083138432109151748/1763472051\ 606445755399699152414376361762882334125885*c_0101_4^8 + 895331545407528011010479330928908441126131324164687192294/881736025\ 8032228776998495762071881808814411670629425*c_0101_4^7 + 18290536452396135274926468166363850322718008914827193179/1763472051\ 606445755399699152414376361762882334125885*c_0101_4^6 - 430785291553544042488186988258682414010414628242803951408/881736025\ 8032228776998495762071881808814411670629425*c_0101_4^5 - 58055133726574999713765052986627319285605119261634428613/8817360258\ 032228776998495762071881808814411670629425*c_0101_4^4 + 94949677021896973426854057156058565751272234403677903434/8817360258\ 032228776998495762071881808814411670629425*c_0101_4^3 - 5113612225246022132810560791452393562619682894353866341/17634720516\ 064457553996991524143763617628823341258850*c_0101_4^2 - 3614837293122994915284622340714377362382831855563367533/17634720516\ 06445755399699152414376361762882334125885*c_0101_4 + 5652230595033532468096056877397625484362207017651686631/17634720516\ 064457553996991524143763617628823341258850, c_0011_0 - 1, c_0011_3 - 25342915674000561468772932939353465555883615625601547/176347\ 20516064457553996991524143763617628823341258850*c_0101_4^20 - 47360590355890730790325438897124306463699833811209517/8817360258032\ 228776998495762071881808814411670629425*c_0101_4^19 + 17429785780327926813297849616205169694873788268253156/1763472051606\ 445755399699152414376361762882334125885*c_0101_4^18 + 128542299301842607482422034288563289853914378966765423/352694410321\ 2891510799398304828752723525764668251770*c_0101_4^17 - 184707123230415361035692672921171045407732875962012577/352694410321\ 2891510799398304828752723525764668251770*c_0101_4^16 - 2336232591575419300110820057327497311787287568100117507/17634720516\ 064457553996991524143763617628823341258850*c_0101_4^15 + 2160750753678367864573724099937029134647139234402705089/17634720516\ 064457553996991524143763617628823341258850*c_0101_4^14 + 2215633345473152596406681006276328571171637814887590576/88173602580\ 32228776998495762071881808814411670629425*c_0101_4^13 - 1911354003176819669767618270308253233488171752882183871/88173602580\ 32228776998495762071881808814411670629425*c_0101_4^12 - 5995049233394827962052186118289073933096444353355486091/17634720516\ 064457553996991524143763617628823341258850*c_0101_4^11 + 2692878197107705324578653873579305616734245218764445138/88173602580\ 32228776998495762071881808814411670629425*c_0101_4^10 + 2449499298372294709715024832542909581973310379460181059/88173602580\ 32228776998495762071881808814411670629425*c_0101_4^9 - 451978499148464947641991306226112551576466280816509664/176347205160\ 6445755399699152414376361762882334125885*c_0101_4^8 - 1015964388712444480093835701299331866503272264379027873/88173602580\ 32228776998495762071881808814411670629425*c_0101_4^7 + 213657969744445371332058143779781949235105063362422267/176347205160\ 6445755399699152414376361762882334125885*c_0101_4^6 + 457845192903143011307011708987780021086125790263446111/881736025803\ 2228776998495762071881808814411670629425*c_0101_4^5 - 137507117855003777092240727093057347418854681400851554/881736025803\ 2228776998495762071881808814411670629425*c_0101_4^4 - 9195925782754343250654838767936656849585389247788853/88173602580322\ 28776998495762071881808814411670629425*c_0101_4^3 + 142382640067344161688542385808220509316824309078944297/176347205160\ 64457553996991524143763617628823341258850*c_0101_4^2 - 232986176827245203962779984942398054651404154177989/176347205160644\ 5755399699152414376361762882334125885*c_0101_4 + 5050181104690754135413429467100843437136650664986973/17634720516064\ 457553996991524143763617628823341258850, c_0011_6 - 121814079173962851711420436010188689930226561/63354567267353\ 793089692660270150576245610180*c_0101_4^20 - 114597650766950700361616542957872908632947928/158386418168384482724\ 23165067537644061402545*c_0101_4^19 + 83342375903705426236761614008720581903394131/6335456726735379308969\ 266027015057624561018*c_0101_4^18 + 627997089490940240268667052174560706264219675/126709134534707586179\ 38532054030115249122036*c_0101_4^17 - 880184442636338502746748918392305612805898649/126709134534707586179\ 38532054030115249122036*c_0101_4^16 - 11539342547796816617876292443315573048325674261/6335456726735379308\ 9692660270150576245610180*c_0101_4^15 + 10303393929794516757428608845059113820607368507/6335456726735379308\ 9692660270150576245610180*c_0101_4^14 + 11146440451164603513234797456409658240500700313/3167728363367689654\ 4846330135075288122805090*c_0101_4^13 - 9115248078667783413935732205833289656948129433/31677283633676896544\ 846330135075288122805090*c_0101_4^12 - 30637320234190838127070396052064048959795818973/6335456726735379308\ 9692660270150576245610180*c_0101_4^11 + 12912720088784933891817623441872967979573481489/3167728363367689654\ 4846330135075288122805090*c_0101_4^10 + 6503804118374939381547528919022715900615235931/15838641816838448272\ 423165067537644061402545*c_0101_4^9 - 2207089093159481771526242901024251675669867539/63354567267353793089\ 69266027015057624561018*c_0101_4^8 - 2957846864666504122896551880077573646723427202/15838641816838448272\ 423165067537644061402545*c_0101_4^7 + 1078737573706864215853995526854833489333536731/63354567267353793089\ 69266027015057624561018*c_0101_4^6 + 1316184281525103996829126391270004647277017269/15838641816838448272\ 423165067537644061402545*c_0101_4^5 - 709925008438645138652119076929169712135255047/316772836336768965448\ 46330135075288122805090*c_0101_4^4 - 103123368958728417645661139870006044252085622/158386418168384482724\ 23165067537644061402545*c_0101_4^3 + 480881820656602837721067570283802845140537301/633545672673537930896\ 92660270150576245610180*c_0101_4^2 - 106920628430802093343679909139620474020465/633545672673537930896926\ 6027015057624561018*c_0101_4 + 105469094146359215696618302050602831\ 95655879/63354567267353793089692660270150576245610180, c_0101_0 - 219790513293563356834528468938661621870619178817303032/88173\ 60258032228776998495762071881808814411670629425*c_0101_4^20 - 768609009817009822591158796240386142387506825847212154/881736025803\ 2228776998495762071881808814411670629425*c_0101_4^19 + 343574199133629811635563760889823942307724449893046412/176347205160\ 6445755399699152414376361762882334125885*c_0101_4^18 + 1051545576842821558047444438518342500739754027236354248/17634720516\ 06445755399699152414376361762882334125885*c_0101_4^17 - 1873668665858102682138696381937445242300833382041881717/17634720516\ 06445755399699152414376361762882334125885*c_0101_4^16 - 18702168806705578493007443926055513934601403338881018967/8817360258\ 032228776998495762071881808814411670629425*c_0101_4^15 + 23681285737964764809260190169388206992630479971219519734/8817360258\ 032228776998495762071881808814411670629425*c_0101_4^14 + 35538107949299853807375610918567603610561414565797100987/8817360258\ 032228776998495762071881808814411670629425*c_0101_4^13 - 42480723846704838370359605768628151976055145139285524327/8817360258\ 032228776998495762071881808814411670629425*c_0101_4^12 - 47567020444989365893124951666428751268598493806046714521/8817360258\ 032228776998495762071881808814411670629425*c_0101_4^11 + 59641055218717358451523249985554411575045729674874620356/8817360258\ 032228776998495762071881808814411670629425*c_0101_4^10 + 36612050633885638439287692299436921746288713964095149983/8817360258\ 032228776998495762071881808814411670629425*c_0101_4^9 - 10100247891232168172789246903604264150241241532678083983/1763472051\ 606445755399699152414376361762882334125885*c_0101_4^8 - 13990520782920571182820817678217783845471260628158518701/8817360258\ 032228776998495762071881808814411670629425*c_0101_4^7 + 4989668669018963646508814700816837614719054414951318869/17634720516\ 06445755399699152414376361762882334125885*c_0101_4^6 + 6493095145378773000819127840627665838433262052971498057/88173602580\ 32228776998495762071881808814411670629425*c_0101_4^5 - 5655439674894387055899552447346159939881752731340507098/88173602580\ 32228776998495762071881808814411670629425*c_0101_4^4 - 580044955934521401227289493098535989864680537800507636/881736025803\ 2228776998495762071881808814411670629425*c_0101_4^3 + 1163878950421554888598159751169604189290221261226037757/88173602580\ 32228776998495762071881808814411670629425*c_0101_4^2 - 11172630053744166037342043869193569433919048571275593/1763472051606\ 445755399699152414376361762882334125885*c_0101_4 - 18375921713556888617558889279165434235289916033435187/8817360258032\ 228776998495762071881808814411670629425, c_0101_1 - 503239753337621148357418139498289524688618853431656309/35269\ 441032128915107993983048287527235257646682517700*c_0101_4^20 - 434573127879816193334920972368376154019387617930798512/881736025803\ 2228776998495762071881808814411670629425*c_0101_4^19 + 400246373121610065019444293447375660595185132047204697/352694410321\ 2891510799398304828752723525764668251770*c_0101_4^18 + 2370116682775402658042994241604770730193189849641495911/70538882064\ 25783021598796609657505447051529336503540*c_0101_4^17 - 4381661089127512457889936840700069941828948760076713609/70538882064\ 25783021598796609657505447051529336503540*c_0101_4^16 - 41767084971015631437033375407438982281386073314443776229/3526944103\ 2128915107993983048287527235257646682517700*c_0101_4^15 + 55736262902424433426186947362634881941300087110017796383/3526944103\ 2128915107993983048287527235257646682517700*c_0101_4^14 + 39289614400315326734522077923900369835545131449789426447/1763472051\ 6064457553996991524143763617628823341258850*c_0101_4^13 - 49945565629955413320552442126936126549541969234964295737/1763472051\ 6064457553996991524143763617628823341258850*c_0101_4^12 - 103832292250118355192801734524312196430989466661691406577/352694410\ 32128915107993983048287527235257646682517700*c_0101_4^11 + 69855452134471145553910993435752224776973029048834634461/1763472051\ 6064457553996991524143763617628823341258850*c_0101_4^10 + 19189274486689710211473767496727681052366252387042557724/8817360258\ 032228776998495762071881808814411670629425*c_0101_4^9 - 11716702809942400351669340898978077870885070164270830833/3526944103\ 212891510799398304828752723525764668251770*c_0101_4^8 - 6544101086145801106499065318242570650386591824532461178/88173602580\ 32228776998495762071881808814411670629425*c_0101_4^7 + 5684270812455855572324516896825931849905866814672294979/35269441032\ 12891510799398304828752723525764668251770*c_0101_4^6 + 3006330178110248962798980990142584467461539646361234646/88173602580\ 32228776998495762071881808814411670629425*c_0101_4^5 - 6432175705920343494095226309320037961363118664014690813/17634720516\ 064457553996991524143763617628823341258850*c_0101_4^4 - 121419376954818098160266003843518775593241774542671333/881736025803\ 2228776998495762071881808814411670629425*c_0101_4^3 + 2543250740496601158538620236089887062123772421694306209/35269441032\ 128915107993983048287527235257646682517700*c_0101_4^2 - 36661968260228884573911912738039894851268886339838313/3526944103212\ 891510799398304828752723525764668251770*c_0101_4 - 33995652228151746621579526123693425356671762200727569/3526944103212\ 8915107993983048287527235257646682517700, c_0101_2 + 28043197525781335147179484724802407714824801/633545672673537\ 93089692660270150576245610180*c_0101_4^20 + 8820128525911814157892975563713104250055958/15838641816838448272423\ 165067537644061402545*c_0101_4^19 - 45538560790233942693968940251238053721841749/6335456726735379308969\ 266027015057624561018*c_0101_4^18 - 46413110448368669000495543272886686633627899/1267091345347075861793\ 8532054030115249122036*c_0101_4^17 + 568952625732682368505110541877178629670477629/126709134534707586179\ 38532054030115249122036*c_0101_4^16 + 46476412196546101962850723712726818323184401/6335456726735379308969\ 2660270150576245610180*c_0101_4^15 - 9183355713337960901232256945979163217429872567/63354567267353793089\ 692660270150576245610180*c_0101_4^14 + 581527296515185780962163772408346653304041567/316772836336768965448\ 46330135075288122805090*c_0101_4^13 + 8841823484602817893536584406747673276313665683/31677283633676896544\ 846330135075288122805090*c_0101_4^12 - 4299226402750592635050371647904852266925914327/63354567267353793089\ 692660270150576245610180*c_0101_4^11 - 12445393538293954039495325520509930581906223349/3167728363367689654\ 4846330135075288122805090*c_0101_4^10 + 2590103636107502164309102196728450257276082874/15838641816838448272\ 423165067537644061402545*c_0101_4^9 + 2188367389599024112048973192776771139867366309/63354567267353793089\ 69266027015057624561018*c_0101_4^8 - 2978916510831978236162829993438948830161596738/15838641816838448272\ 423165067537644061402545*c_0101_4^7 - 1085647110438682728190459442715809822199079369/63354567267353793089\ 69266027015057624561018*c_0101_4^6 + 1652361802491772701425093059830026202010391066/15838641816838448272\ 423165067537644061402545*c_0101_4^5 + 2017508574562340162467367126183364637992525077/31677283633676896544\ 846330135075288122805090*c_0101_4^4 - 364543158376907931902300932784027356317738388/158386418168384482724\ 23165067537644061402545*c_0101_4^3 - 638613421279354395283543904512437629923144881/633545672673537930896\ 92660270150576245610180*c_0101_4^2 + 32277452105261538481093952027221002120691541/6335456726735379308969\ 266027015057624561018*c_0101_4 + 8117329127163436162105582825879043\ 744763361/63354567267353793089692660270150576245610180, c_0101_4^21 + 407/119*c_0101_4^20 - 962/119*c_0101_4^19 - 2775/119*c_0101_4^18 + 5290/119*c_0101_4^17 + 9734/119*c_0101_4^16 - 1942/17*c_0101_4^15 - 18247/119*c_0101_4^14 + 24460/119*c_0101_4^13 + 3423/17*c_0101_4^12 - 34235/119*c_0101_4^11 - 17298/119*c_0101_4^10 + 28814/119*c_0101_4^9 + 5422/119*c_0101_4^8 - 14038/119*c_0101_4^7 - 2434/119*c_0101_4^6 + 3302/119*c_0101_4^5 + 58/119*c_0101_4^4 - 647/119*c_0101_4^3 + 13/17*c_0101_4^2 + 9/119*c_0101_4 - 1/119 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB