Magma V2.19-8 Tue Aug 20 2013 16:16:43 on localhost [Seed = 2648441173] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0999 geometric_solution 4.88682667 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 3201 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 -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.644629974751 0.098604622755 0 0 2 2 0132 2310 2310 0132 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 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 2.243922484674 0.702921605872 3 1 1 4 0132 3201 0132 0132 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 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.749497973859 0.935871377324 2 5 6 4 0132 0132 0132 2031 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 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.256097663871 0.464912169598 6 3 2 5 1023 1302 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 1 -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.256097663871 0.464912169598 4 3 6 6 3201 0132 0321 1230 0 0 0 0 0 0 0 0 0 0 1 -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 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.487804672259 0.929824339197 5 4 5 3 3012 1023 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 -1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545489893087 0.825104285279 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_4']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 205452739806644650315/732520395499971379392*c_0101_5^16 - 396730604140776075343/200347458598282770432*c_0101_5^14 - 1297197404937835026647/139527694380946929408*c_0101_5^12 - 33557335114936985175281/1674332332571363152896*c_0101_5^10 - 40326287341647383496307/5860163163999771035136*c_0101_5^8 - 418731736822514265531665/7813550885333028046848*c_0101_5^6 - 620291848744633331569657/5860163163999771035136*c_0101_5^4 - 6984500014302920700719/34881923595236732352*c_0101_5^2 - 23659489559702603336593/366260197749985689696, c_0011_0 - 1, c_0011_2 - 18939259806535943/3270180337053443658*c_0101_5^16 + 42387904319133019/894408297313762368*c_0101_5^14 + 1251146280749341175/8720480898809183088*c_0101_5^12 + 11163705076195421299/52322885392855098528*c_0101_5^10 - 5094555220614432571/26161442696427549264*c_0101_5^8 + 37191208345673910085/34881923595236732352*c_0101_5^6 + 5782881198597541859/6540360674106887316*c_0101_5^4 + 1133848144466764301/545030056175573943*c_0101_5^2 - 969461698746484486/1635090168526721829, c_0011_4 + 79099002700120267/6540360674106887316*c_0101_5^17 - 158888858538154831/1788816594627524736*c_0101_5^15 - 6584600622499187581/17440961797618366176*c_0101_5^13 - 77668086135368345351/104645770785710197056*c_0101_5^11 - 1594074982030193101/52322885392855098528*c_0101_5^9 - 155265877204388232641/69763847190473464704*c_0101_5^7 - 106906140834346150577/26161442696427549264*c_0101_5^5 - 32300887021595638831/4360240449404591544*c_0101_5^3 - 776551749365179933/3270180337053443658*c_0101_5, c_0101_0 + 1476095049185606/1635090168526721829*c_0101_5^16 - 1858348341185447/223602074328440592*c_0101_5^14 - 111818424875745247/8720480898809183088*c_0101_5^12 - 267387654851012861/13080721348213774632*c_0101_5^10 - 506860979409808877/13080721348213774632*c_0101_5^8 - 3465019825652396597/8720480898809183088*c_0101_5^6 - 98549571203227645/26161442696427549264*c_0101_5^4 - 294334310961788723/1090060112351147886*c_0101_5^2 - 1010035240229979250/1635090168526721829, c_0101_1 - 8537434029015461/3270180337053443658*c_0101_5^16 + 6969413881188043/298136099104587456*c_0101_5^14 + 405848979854992451/8720480898809183088*c_0101_5^12 + 3183395419839740857/52322885392855098528*c_0101_5^10 - 3624120429763289821/26161442696427549264*c_0101_5^8 + 23850372690076271983/34881923595236732352*c_0101_5^6 + 876781260374184319/13080721348213774632*c_0101_5^4 + 2055134428173099605/2180120224702295772*c_0101_5^2 - 1630668040308727714/1635090168526721829, c_0101_3 - 5426354043447653/1090060112351147886*c_0101_5^16 + 31180669876418147/894408297313762368*c_0101_5^14 + 54993575139899629/322980774029969744*c_0101_5^12 + 5901176278873833793/17440961797618366176*c_0101_5^10 + 505664458720928951/8720480898809183088*c_0101_5^8 + 1194595362529182039/1291923096119878976*c_0101_5^6 + 4104207335356708751/2180120224702295772*c_0101_5^4 + 53765448336589245/20186298376873109*c_0101_5^2 + 35618921075120750/545030056175573943, c_0101_5^18 - 241/32*c_0101_5^16 - 237/8*c_0101_5^14 - 917/16*c_0101_5^12 + 25/8*c_0101_5^10 - 6121/32*c_0101_5^8 - 1151/4*c_0101_5^6 - 1147/2*c_0101_5^4 + 46*c_0101_5^2 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB