Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 2816883580] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0897 geometric_solution 4.79700420 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 1023 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 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.068632242186 1.149863448464 0 1 0 1 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441465251930 0.102851237158 3 0 3 4 3201 0132 3012 0132 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 -1 0 1 -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.534759162840 1.340564593946 4 2 0 2 1023 1230 0132 2310 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 0 0 0 0 -1 1 0 -1 0 0 1 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.534759162840 1.340564593946 5 3 2 5 0132 1023 0132 1023 0 0 0 0 0 1 0 -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 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.644238081968 0.222776039035 4 6 6 4 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.974023582556 0.383301722371 5 5 6 6 2310 0132 1230 3012 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 0 0 0 0 0 0 0 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.488892615767 0.357790303053 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : 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' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], '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_3'], 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], '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_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 22784309798749252873126853041113216492330060677699/2856709299456960\ 8387017785969657736185905570879*c_0101_6^20 + 6181408664734823116327405874205468155000438869850/98507217222653822\ 0241992619643370213307088651*c_0101_6^19 - 388138380493796691600619858508333540713857089361919/285670929945696\ 08387017785969657736185905570879*c_0101_6^18 + 2649606443775499908114851303931718424960974360704147/28567092994569\ 608387017785969657736185905570879*c_0101_6^17 - 13841551496789749511838174262040774825626776549075098/2856709299456\ 9608387017785969657736185905570879*c_0101_6^16 - 41808064288126606682600844499407143908038354879154323/2856709299456\ 9608387017785969657736185905570879*c_0101_6^15 + 70721933249582489618782302248006654270547194601519500/2856709299456\ 9608387017785969657736185905570879*c_0101_6^14 - 203524074506633698451009087646114125992277722471725318/285670929945\ 69608387017785969657736185905570879*c_0101_6^13 + 167349901701568374754476551024144139587493520349764924/285670929945\ 69608387017785969657736185905570879*c_0101_6^12 + 64914768438248479451352883344787398053799680990390441/2856709299456\ 9608387017785969657736185905570879*c_0101_6^11 + 143971213067808578672008790651918351404464674475227756/285670929945\ 69608387017785969657736185905570879*c_0101_6^10 + 152726561819048068829135468581439182220253196844426757/285670929945\ 69608387017785969657736185905570879*c_0101_6^9 + 118810645391703292335909579644533497111123569797319597/285670929945\ 69608387017785969657736185905570879*c_0101_6^8 + 23745465062078694643544591968584957691789399188768900/2856709299456\ 9608387017785969657736185905570879*c_0101_6^7 - 151945317915836897289882912248749165243912141221322251/285670929945\ 69608387017785969657736185905570879*c_0101_6^6 - 111858554688590674419655057946893800961759581910830711/285670929945\ 69608387017785969657736185905570879*c_0101_6^5 - 4909287015274560868476928947773263388294427261343948/28567092994569\ 608387017785969657736185905570879*c_0101_6^4 + 23258450698459504235308681031320782106224250533506200/2856709299456\ 9608387017785969657736185905570879*c_0101_6^3 + 10836890883530968463234995428954375670161835473097538/2856709299456\ 9608387017785969657736185905570879*c_0101_6^2 + 2030224633132458044629966783451214424507289451376199/28567092994569\ 608387017785969657736185905570879*c_0101_6 + 140643604258703076054720507623684913268606313686344/285670929945696\ 08387017785969657736185905570879, c_0011_0 - 1, c_0011_3 + 13704965600657150599266149587440147522859596079/985072172226\ 538220241992619643370213307088651*c_0101_6^20 + 106063072041473144613908036901719118916358837397/985072172226538220\ 241992619643370213307088651*c_0101_6^19 - 246925364822244041378682068241715712159230024780/985072172226538220\ 241992619643370213307088651*c_0101_6^18 + 1627060047786268281668490501705152521609976740731/98507217222653822\ 0241992619643370213307088651*c_0101_6^17 - 8538644264835197457119957759398022749101783123577/98507217222653822\ 0241992619643370213307088651*c_0101_6^16 - 24026125436046191517216226213242227663849894027140/9850721722265382\ 20241992619643370213307088651*c_0101_6^15 + 45512636006869537502577936704273360109161879765659/9850721722265382\ 20241992619643370213307088651*c_0101_6^14 - 128628538229239512396529304828748597028379072270683/985072172226538\ 220241992619643370213307088651*c_0101_6^13 + 117845150488799522923244373046343515620997436517712/985072172226538\ 220241992619643370213307088651*c_0101_6^12 + 22107460156210921465923387665078729766916339381792/9850721722265382\ 20241992619643370213307088651*c_0101_6^11 + 85293359804907168990415861550947407133575154911631/9850721722265382\ 20241992619643370213307088651*c_0101_6^10 + 81351625657458350697084937623468203425530804828391/9850721722265382\ 20241992619643370213307088651*c_0101_6^9 + 62206490237072903291317601826428601784468838737047/9850721722265382\ 20241992619643370213307088651*c_0101_6^8 + 7451436949208814383710173070115632037329524971145/98507217222653822\ 0241992619643370213307088651*c_0101_6^7 - 91406743240060532008597929212642993882837636799652/9850721722265382\ 20241992619643370213307088651*c_0101_6^6 - 55414756866455367733101094927683836721459449248362/9850721722265382\ 20241992619643370213307088651*c_0101_6^5 + 2867287816700707612579296991204580022541070963821/98507217222653822\ 0241992619643370213307088651*c_0101_6^4 + 12747285749359024606927722912547580603202961477316/9850721722265382\ 20241992619643370213307088651*c_0101_6^3 + 4913019455143286697375139265712172815780826247318/98507217222653822\ 0241992619643370213307088651*c_0101_6^2 + 809499788239129463255132712782750412172511944747/985072172226538220\ 241992619643370213307088651*c_0101_6 + 53737689921619670150521341575323140236122705806/9850721722265382202\ 41992619643370213307088651, c_0101_0 + 3931750514008756375515973882712532313741078632/9850721722265\ 38220241992619643370213307088651*c_0101_6^20 + 30164937054717420391925567849145588798409897632/9850721722265382202\ 41992619643370213307088651*c_0101_6^19 - 72831284213464619878754710980982220198007024911/9850721722265382202\ 41992619643370213307088651*c_0101_6^18 + 471853718645373542816350873532630828140003499569/985072172226538220\ 241992619643370213307088651*c_0101_6^17 - 2481593627503715488004460956660674847054590373548/98507217222653822\ 0241992619643370213307088651*c_0101_6^16 - 6723859906359024954963338066235064726738253623911/98507217222653822\ 0241992619643370213307088651*c_0101_6^15 + 13491475392958008272289940947598278354402191839709/9850721722265382\ 20241992619643370213307088651*c_0101_6^14 - 37852825566312996460393948310768977378847192141704/9850721722265382\ 20241992619643370213307088651*c_0101_6^13 + 36418705480379333960800052503946589490063396083282/9850721722265382\ 20241992619643370213307088651*c_0101_6^12 + 3692865831267465875801292190561008594484525747817/98507217222653822\ 0241992619643370213307088651*c_0101_6^11 + 24370408504959488486712802239729510531529159818946/9850721722265382\ 20241992619643370213307088651*c_0101_6^10 + 21854504892115563715264007976431853850957761310919/9850721722265382\ 20241992619643370213307088651*c_0101_6^9 + 16484451867429629380716513159483065249968657752208/9850721722265382\ 20241992619643370213307088651*c_0101_6^8 + 1238298369605148310624006832555018168339037738449/98507217222653822\ 0241992619643370213307088651*c_0101_6^7 - 26199564556869568274238510544568115493299843705702/9850721722265382\ 20241992619643370213307088651*c_0101_6^6 - 14123317442657295638229878912121086282909181440497/9850721722265382\ 20241992619643370213307088651*c_0101_6^5 + 1579872618216964646578190054583123199618798146212/98507217222653822\ 0241992619643370213307088651*c_0101_6^4 + 3413643099926042294402492189392199369375003622185/98507217222653822\ 0241992619643370213307088651*c_0101_6^3 + 1197081037780387480622293884574635142435209014350/98507217222653822\ 0241992619643370213307088651*c_0101_6^2 + 186004737296083383901040948522228593141934588842/985072172226538220\ 241992619643370213307088651*c_0101_6 + 13165254978856600961595930977412206480822446255/9850721722265382202\ 41992619643370213307088651, c_0101_1 + 9994267553900301041995246606247209053720781513/9850721722265\ 38220241992619643370213307088651*c_0101_6^20 + 76949142949380135606299014621146251561164333198/9850721722265382202\ 41992619643370213307088651*c_0101_6^19 - 183062943887551634773173186345860656272010743017/985072172226538220\ 241992619643370213307088651*c_0101_6^18 + 1194260742732660366716423105877612353919047973212/98507217222653822\ 0241992619643370213307088651*c_0101_6^17 - 6275261891396060194509719460039269618644195619764/98507217222653822\ 0241992619643370213307088651*c_0101_6^16 - 17264654232797281763476710955540417901622817696463/9850721722265382\ 20241992619643370213307088651*c_0101_6^15 + 33837568999878598292867245406244225705630190136053/9850721722265382\ 20241992619643370213307088651*c_0101_6^14 - 95252062886693301593268915939723323880582923774379/9850721722265382\ 20241992619643370213307088651*c_0101_6^13 + 89923798810408783380150599774505967440505544991723/9850721722265382\ 20241992619643370213307088651*c_0101_6^12 + 11992610137867207773665903113029623750767451477101/9850721722265382\ 20241992619643370213307088651*c_0101_6^11 + 62219856633823454204151988153509613508665725868103/9850721722265382\ 20241992619643370213307088651*c_0101_6^10 + 57017757722098879650650886193603241270413760358969/9850721722265382\ 20241992619643370213307088651*c_0101_6^9 + 43406240615324896802979850357283310262834628684726/9850721722265382\ 20241992619643370213307088651*c_0101_6^8 + 4088922403266042024399976821266666264579651640807/98507217222653822\ 0241992619643370213307088651*c_0101_6^7 - 66582380058109390765019494788196520972504725187659/9850721722265382\ 20241992619643370213307088651*c_0101_6^6 - 37753373543042240949495175290056062662820546821746/9850721722265382\ 20241992619643370213307088651*c_0101_6^5 + 3165555062696155560663224817271087751930476611404/98507217222653822\ 0241992619643370213307088651*c_0101_6^4 + 8926305113144895167918630213180967807290717922056/98507217222653822\ 0241992619643370213307088651*c_0101_6^3 + 3274396694113961565406980273092437623442495826656/98507217222653822\ 0241992619643370213307088651*c_0101_6^2 + 524081333832845585698519270177623538204259277511/985072172226538220\ 241992619643370213307088651*c_0101_6 + 34990552064987596071689133185374275709571563591/9850721722265382202\ 41992619643370213307088651, c_0101_2 + 1720646798507067054096657569681456195689794125/9850721722265\ 38220241992619643370213307088651*c_0101_6^20 + 13523875324457612141638708918609724063653015656/9850721722265382202\ 41992619643370213307088651*c_0101_6^19 - 29453681986985540206369505416166183396851445393/9850721722265382202\ 41992619643370213307088651*c_0101_6^18 + 200084842376277912793698873139847735347209830939/985072172226538220\ 241992619643370213307088651*c_0101_6^17 - 1046140788034558590119327005796856072648293291449/98507217222653822\ 0241992619643370213307088651*c_0101_6^16 - 3153385195686690707903768309536412525281435917423/98507217222653822\ 0241992619643370213307088651*c_0101_6^15 + 5389525449865306172415140846445851300322285222112/98507217222653822\ 0241992619643370213307088651*c_0101_6^14 - 15365273996321692870049655372617818325452947318569/9850721722265382\ 20241992619643370213307088651*c_0101_6^13 + 12617976329824010247994088090466960119306777350412/9850721722265382\ 20241992619643370213307088651*c_0101_6^12 + 5192095652682600179891978781109313215575713499527/98507217222653822\ 0241992619643370213307088651*c_0101_6^11 + 10345505953278895922328888430620191286748129566385/9850721722265382\ 20241992619643370213307088651*c_0101_6^10 + 11605541809615323596140557776601021009983552475333/9850721722265382\ 20241992619643370213307088651*c_0101_6^9 + 8649414800672575304525459110252367257956540008946/98507217222653822\ 0241992619643370213307088651*c_0101_6^8 + 1631200210673395474691435338266305342849169942592/98507217222653822\ 0241992619643370213307088651*c_0101_6^7 - 11558577611746834331404044194870209395389325588876/9850721722265382\ 20241992619643370213307088651*c_0101_6^6 - 8319395402769800351325808433215463969683785087164/98507217222653822\ 0241992619643370213307088651*c_0101_6^5 - 83556668634645665557189657583542642994033915330/9850721722265382202\ 41992619643370213307088651*c_0101_6^4 + 1770124198438862291254134329476412162562175388375/98507217222653822\ 0241992619643370213307088651*c_0101_6^3 + 756478896835684795892780146843473115583881471675/985072172226538220\ 241992619643370213307088651*c_0101_6^2 + 135299383530432434500849152119454522071607611960/985072172226538220\ 241992619643370213307088651*c_0101_6 + 9726760900158171722920392181065554479858935011/98507217222653822024\ 1992619643370213307088651, c_0101_5 - 13763972447927217207862675079960240338693456986/985072172226\ 538220241992619643370213307088651*c_0101_6^20 - 106346280898771132346205514894484377349583678581/985072172226538220\ 241992619643370213307088651*c_0101_6^19 + 249312083320481938322491358557661315703938801060/985072172226538220\ 241992619643370213307088651*c_0101_6^18 - 1637338928003512565987705062897361744947982628903/98507217222653822\ 0241992619643370213307088651*c_0101_6^17 + 8596310945650343083618162894578075575198188112116/98507217222653822\ 0241992619643370213307088651*c_0101_6^16 + 24019364768428769796524876294844245129324470029393/9850721722265382\ 20241992619643370213307088651*c_0101_6^15 - 46001462339161751281147134016707806091205113789403/9850721722265382\ 20241992619643370213307088651*c_0101_6^14 + 129793687604436427909643710503567361055064766468237/985072172226538\ 220241992619643370213307088651*c_0101_6^13 - 120037753084525833459751153245687481495824610687979/985072172226538\ 220241992619643370213307088651*c_0101_6^12 - 20550843603094805661583828834014755985701893993412/9850721722265382\ 20241992619643370213307088651*c_0101_6^11 - 85499628018914050504991304064885467599752280984284/9850721722265382\ 20241992619643370213307088651*c_0101_6^10 - 80705950362443480042968886781974855204488310204605/9850721722265382\ 20241992619643370213307088651*c_0101_6^9 - 61543132072463779937693109698064334295769705173137/9850721722265382\ 20241992619643370213307088651*c_0101_6^8 - 6829688683143920533789389389621231371220060705931/98507217222653822\ 0241992619643370213307088651*c_0101_6^7 + 91798587157941827728939504294870602893194816833213/9850721722265382\ 20241992619643370213307088651*c_0101_6^6 + 54479655439414770402084367471809287944707189085690/9850721722265382\ 20241992619643370213307088651*c_0101_6^5 - 3452127837349718465269923345186161436789362194412/98507217222653822\ 0241992619643370213307088651*c_0101_6^4 - 12668311476831407583251547447379582873352925898636/9850721722265382\ 20241992619643370213307088651*c_0101_6^3 - 4778179183524324929165916383646353301303345676464/98507217222653822\ 0241992619643370213307088651*c_0101_6^2 - 773636372048429172443914638775552020037248557960/985072172226538220\ 241992619643370213307088651*c_0101_6 - 50684927113252248812439174330221152056144233956/9850721722265382202\ 41992619643370213307088651, c_0101_6^21 + 8*c_0101_6^20 - 16*c_0101_6^19 + 114*c_0101_6^18 - 592*c_0101_6^17 - 1916*c_0101_6^16 + 2865*c_0101_6^15 - 8515*c_0101_6^14 + 6140*c_0101_6^13 + 3883*c_0101_6^12 + 6616*c_0101_6^11 + 7564*c_0101_6^10 + 6072*c_0101_6^9 + 1718*c_0101_6^8 - 6536*c_0101_6^7 - 5783*c_0101_6^6 - 830*c_0101_6^5 + 990*c_0101_6^4 + 599*c_0101_6^3 + 151*c_0101_6^2 + 19*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB