Magma V2.19-8 Tue Aug 20 2013 16:16:47 on localhost [Seed = 1831661989] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1068 geometric_solution 4.93720355 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 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 1 0 -1 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.036681561255 0.307867568842 0 4 4 0 0132 0132 3201 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 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.632897763841 0.718168182922 3 3 5 0 1023 3012 0132 0132 0 0 0 0 0 1 0 -1 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 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583595744526 1.263640475874 2 2 0 5 1230 1023 0132 2310 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 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.583595744526 1.263640475874 1 1 4 4 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.415048941157 0.852561923991 3 6 6 2 3201 0132 3201 0132 0 0 0 0 0 0 0 0 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 0 0 0 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.453584354518 0.710668411378 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.997701927062 1.222716848181 ==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' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : 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' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 115752603393530524217908861189451121/686091688873215952117557064240\ 22308*c_0101_6^19 + 3283571116068003058763765889864009657/686091688\ 87321595211755706424022308*c_0101_6^18 + 146408857649944227662253001229699642085/480264182211251166482289944\ 968156156*c_0101_6^17 - 109898739981383808348976879357911783137/240\ 132091105625583241144972484078078*c_0101_6^16 - 420534991142971146039622053242454684817/686091688873215952117557064\ 24022308*c_0101_6^15 - 4670071919346232491167850530227293212109/480\ 264182211251166482289944968156156*c_0101_6^14 + 2117483134779663828558981217401624234985/24013209110562558324114497\ 2484078078*c_0101_6^13 + 13583537628055470677183935733237814228603/\ 480264182211251166482289944968156156*c_0101_6^12 + 1518695483592504300253576095058280864555/24013209110562558324114497\ 2484078078*c_0101_6^11 - 1505024707257806873287330027020431594181/1\ 20066045552812791620572486242039039*c_0101_6^10 + 1915834686876073993818751277892248561583/48026418221125116648228994\ 4968156156*c_0101_6^9 + 797078225030523847574099603052107236582/120\ 066045552812791620572486242039039*c_0101_6^8 + 3876599599372292129298916415142319208/12006604555281279162057248624\ 2039039*c_0101_6^7 + 80841183699416930170348057264180001974/1200660\ 45552812791620572486242039039*c_0101_6^6 - 749834641851026542942236537457622521065/480264182211251166482289944\ 968156156*c_0101_6^5 - 164815777809509859804596664844134440857/4802\ 64182211251166482289944968156156*c_0101_6^4 + 203313986522491415974792409789865185577/480264182211251166482289944\ 968156156*c_0101_6^3 - 122100820613417684766067307367598161111/4802\ 64182211251166482289944968156156*c_0101_6^2 + 36619456458201920962708369076757929473/4802641822112511664822899449\ 68156156*c_0101_6 - 19826157778288690936220931442611806185/48026418\ 2211251166482289944968156156, c_0011_0 - 1, c_0011_2 + 30586713550982510008303849980316263/343045844436607976058778\ 53212011154*c_0101_1*c_0101_6^19 + 284975142657799923867326012406600089/343045844436607976058778532120\ 11154*c_0101_1*c_0101_6^18 - 447093294251329414672313966672565509/3\ 4304584443660797605877853212011154*c_0101_1*c_0101_6^17 - 2764919664533812813920831608305234066/17152292221830398802938926606\ 005577*c_0101_1*c_0101_6^16 - 5082896177540716894927461154423137079\ /34304584443660797605877853212011154*c_0101_1*c_0101_6^15 + 18210835180699734084600698453855680965/3430458444366079760587785321\ 2011154*c_0101_1*c_0101_6^14 + 131236252424406518658054181623347578\ 79/17152292221830398802938926606005577*c_0101_1*c_0101_6^13 - 17004207633358311824948922803738683083/3430458444366079760587785321\ 2011154*c_0101_1*c_0101_6^12 - 153152826157606333192492431579764075\ 82/17152292221830398802938926606005577*c_0101_1*c_0101_6^11 + 1427784244529932543002593867934446102/17152292221830398802938926606\ 005577*c_0101_1*c_0101_6^10 + 5626961569839484989482399972322263727\ /34304584443660797605877853212011154*c_0101_1*c_0101_6^9 - 1084706519001401811851008883116662029/17152292221830398802938926606\ 005577*c_0101_1*c_0101_6^8 - 1015296742038484664310924882569434473/\ 17152292221830398802938926606005577*c_0101_1*c_0101_6^7 - 1936214837548749169965214085913984342/17152292221830398802938926606\ 005577*c_0101_1*c_0101_6^6 + 561970721825377555858580211271005343/3\ 4304584443660797605877853212011154*c_0101_1*c_0101_6^5 + 1398648274478425692130443589188154647/34304584443660797605877853212\ 011154*c_0101_1*c_0101_6^4 + 112759324514653727793814797001762911/3\ 4304584443660797605877853212011154*c_0101_1*c_0101_6^3 + 232670142185814725451581920391426789/343045844436607976058778532120\ 11154*c_0101_1*c_0101_6^2 - 52874778970301282444338884621495445/343\ 04584443660797605877853212011154*c_0101_1*c_0101_6 + 2354762167955435608839531946633905/34304584443660797605877853212011\ 154*c_0101_1, c_0011_5 - 25771619860228340121197166401943310/171522922218303988029389\ 26606005577*c_0101_6^19 - 264738432900659370499112471871442770/1715\ 2292221830398802938926606005577*c_0101_6^18 + 116582988200229300182790546600567910/171522922218303988029389266060\ 05577*c_0101_6^17 + 4691792969909042424187241825093090956/171522922\ 21830398802938926606005577*c_0101_6^16 + 8740513797140346521500320344186040498/17152292221830398802938926606\ 005577*c_0101_6^15 - 5693165448953380673032553659181014248/17152292\ 221830398802938926606005577*c_0101_6^14 - 24122195534083017038357269011902899449/1715229222183039880293892660\ 6005577*c_0101_6^13 - 7971564076211847877431694795453102784/1715229\ 2221830398802938926606005577*c_0101_6^12 + 10968646441602907299184538323743505700/1715229222183039880293892660\ 6005577*c_0101_6^11 - 215390212747572237058602444668097149/17152292\ 221830398802938926606005577*c_0101_6^10 - 5527926367306284542249348587341008432/17152292221830398802938926606\ 005577*c_0101_6^9 - 843495755879201939644543098492447646/1715229222\ 1830398802938926606005577*c_0101_6^8 + 80246590186044196898503019209641992/1715229222183039880293892660600\ 5577*c_0101_6^7 + 1287165816522795991234355027484723675/17152292221\ 830398802938926606005577*c_0101_6^6 + 522905841562788230585787893601411356/171522922218303988029389266060\ 05577*c_0101_6^5 - 235229399238178186485282008889512959/17152292221\ 830398802938926606005577*c_0101_6^4 + 22468061204092337177565779351034421/1715229222183039880293892660600\ 5577*c_0101_6^3 - 989612727227421095123961643625276/171522922218303\ 98802938926606005577*c_0101_6^2 + 161893711251632628307886471443739\ 44/17152292221830398802938926606005577*c_0101_6 + 4317538190052414569929643644690382/17152292221830398802938926606005\ 577, c_0101_0 - 15216325780511749175610119259442345/171522922218303988029389\ 26606005577*c_0101_6^19 - 157413542737298769707527036874682229/1715\ 2292221830398802938926606005577*c_0101_6^18 + 52829958498846069648004899054716866/1715229222183039880293892660600\ 5577*c_0101_6^17 + 2726006414525519996218328430528162247/1715229222\ 1830398802938926606005577*c_0101_6^16 + 5370462418199479442053021081077151973/17152292221830398802938926606\ 005577*c_0101_6^15 - 2124553488536916407070381941203590799/17152292\ 221830398802938926606005577*c_0101_6^14 - 12678876141667214457530922441749539582/1715229222183039880293892660\ 6005577*c_0101_6^13 - 6480233531639668449151416815973622869/1715229\ 2221830398802938926606005577*c_0101_6^12 + 1256365833267744703642742866028713668/17152292221830398802938926606\ 005577*c_0101_6^11 - 2066112432818441159130359165383479698/17152292\ 221830398802938926606005577*c_0101_6^10 - 1012962608033652893240364033368892570/17152292221830398802938926606\ 005577*c_0101_6^9 - 150384382276855519878103760335152383/1715229222\ 1830398802938926606005577*c_0101_6^8 - 1324969794447054794390528754147878526/17152292221830398802938926606\ 005577*c_0101_6^7 + 449158420124717827765029678079604321/1715229222\ 1830398802938926606005577*c_0101_6^6 + 497376969096183118828505605353676150/171522922218303988029389266060\ 05577*c_0101_6^5 + 121280902601850847327710105996129797/17152292221\ 830398802938926606005577*c_0101_6^4 + 129326247102330999404035704119046205/171522922218303988029389266060\ 05577*c_0101_6^3 - 64773710065981735064671182210599413/171522922218\ 30398802938926606005577*c_0101_6^2 + 6160137381576403960560914941305348/17152292221830398802938926606005\ 577*c_0101_6 + 1944200619294612431544541590543698/17152292221830398\ 802938926606005577, c_0101_1^2 + 14853998757149618042870870897980787/1715229222183039880293\ 8926606005577*c_0101_6^19 + 156074110922569238858194530001995550/17\ 152292221830398802938926606005577*c_0101_6^18 - 31439222602888616601291086654896102/1715229222183039880293892660600\ 5577*c_0101_6^17 - 2719493085752769416436503377021410366/1715229222\ 1830398802938926606005577*c_0101_6^16 - 5661771785358669400007062771503491104/17152292221830398802938926606\ 005577*c_0101_6^15 + 2095438891929927617431002294946312858/17152292\ 221830398802938926606005577*c_0101_6^14 + 14504908380561836610142583659728911410/1715229222183039880293892660\ 6005577*c_0101_6^13 + 7636670231133343880739004698547928446/1715229\ 2221830398802938926606005577*c_0101_6^12 - 4888133524384494213242772506362453136/17152292221830398802938926606\ 005577*c_0101_6^11 - 735853834452730341568890481126210466/171522922\ 21830398802938926606005577*c_0101_6^10 + 3100995937929391790998501542485623733/17152292221830398802938926606\ 005577*c_0101_6^9 + 1079580254067631934306286302041892379/171522922\ 21830398802938926606005577*c_0101_6^8 + 135449890524896246228673495521627508/171522922218303988029389266060\ 05577*c_0101_6^7 - 896529288575059391751909322931141111/17152292221\ 830398802938926606005577*c_0101_6^6 - 419151898225012934247960197829144145/171522922218303988029389266060\ 05577*c_0101_6^5 + 75406106720714635383657958575028156/171522922218\ 30398802938926606005577*c_0101_6^4 - 36934248723099528988233120877464991/1715229222183039880293892660600\ 5577*c_0101_6^3 + 7623195481723443927169422230815098/17152292221830\ 398802938926606005577*c_0101_6^2 - 12633372976893532025973867305692130/1715229222183039880293892660600\ 5577*c_0101_6 - 5775366203024894085759184665084706/1715229222183039\ 8802938926606005577, c_0101_4 + 14190384667839965552397934186841102/171522922218303988029389\ 26606005577*c_0101_6^19 + 153291321153014996965476523943580873/1715\ 2292221830398802938926606005577*c_0101_6^18 + 13649349428096290251155755702400652/1715229222183039880293892660600\ 5577*c_0101_6^17 - 2610505531680705443729816376784232688/1715229222\ 1830398802938926606005577*c_0101_6^16 - 6177509627488574386364864385990865012/17152292221830398802938926606\ 005577*c_0101_6^15 + 451217991338289955715660816664582328/171522922\ 21830398802938926606005577*c_0101_6^14 + 14605381581183950299049217247046292971/1715229222183039880293892660\ 6005577*c_0101_6^13 + 11643674217232895147227252408888234866/171522\ 92221830398802938926606005577*c_0101_6^12 - 2460006625233655612922051717283041142/17152292221830398802938926606\ 005577*c_0101_6^11 - 2736351686635284783899291596595454934/17152292\ 221830398802938926606005577*c_0101_6^10 + 1847137116371224883523728243020977216/17152292221830398802938926606\ 005577*c_0101_6^9 + 1734663521899825320860080269734839350/171522922\ 21830398802938926606005577*c_0101_6^8 + 331384460290271724164076330053583190/171522922218303988029389266060\ 05577*c_0101_6^7 - 983483007122341252377311662578930817/17152292221\ 830398802938926606005577*c_0101_6^6 - 565768846343115039850333687865247383/171522922218303988029389266060\ 05577*c_0101_6^5 - 180472385552181071118113114300642684/17152292221\ 830398802938926606005577*c_0101_6^4 - 53409762228296077488542668402853569/1715229222183039880293892660600\ 5577*c_0101_6^3 + 38308496673229452051504128214846826/1715229222183\ 0398802938926606005577*c_0101_6^2 - 1151106803389517510181718829766763/17152292221830398802938926606005\ 577*c_0101_6 + 27151075351172647773671045808999839/1715229222183039\ 8802938926606005577, c_0101_6^20 + 10*c_0101_6^19 - 52/7*c_0101_6^18 - 1273/7*c_0101_6^17 - 2021/7*c_0101_6^16 + 2316/7*c_0101_6^15 + 6333/7*c_0101_6^14 + 289/7*c_0101_6^13 - 569*c_0101_6^12 + 522/7*c_0101_6^11 + 181*c_0101_6^10 - 53/7*c_0101_6^9 - 564/7*c_0101_6^7 - 33/7*c_0101_6^6 + 18*c_0101_6^5 - 24/7*c_0101_6^4 + 38/7*c_0101_6^3 - 2*c_0101_6^2 + 4/7*c_0101_6 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB