Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 341149736] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0184 geometric_solution 3.99559210 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 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 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 -1.569905547810 0.202421853323 0 0 2 2 0132 2310 3201 0132 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 -1 0 1 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.386055942587 0.101238348073 1 3 1 4 2310 0132 0132 0132 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 0 -1 1 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.519712505392 0.352356042829 5 2 6 4 0132 0132 0132 1230 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 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.984157807308 1.134501854340 3 6 2 5 3012 1230 0132 3201 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 1 -1 0 1 0 0 -1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.888557762787 1.669897461133 3 4 6 6 0132 2310 2310 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.015899064028 1.678450276211 5 5 4 3 3012 3201 3012 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 0 1 -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.492875655009 0.287896136524 ==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' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_6']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_6'], '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_6'], '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' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_6'], '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_0011_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_0101_6'], '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_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 230641301212768520596044464/153077009258417714028385*c_0101_6^13 - 1054859402093657715338387072/153077009258417714028385*c_0101_6^12 + 4591048069920386460073060104/153077009258417714028385*c_0101_6^11 + 4920885360842248059916785526/30615401851683542805677*c_0101_6^10 + 6574175232416886499394853522/153077009258417714028385*c_0101_6^9 - 77795215670040501197555764574/153077009258417714028385*c_0101_6^8 - 66143331181885629636752697673/153077009258417714028385*c_0101_6^7 + 106897177491618883457110688856/153077009258417714028385*c_0101_6^6 + 21244161942248893251488634078/153077009258417714028385*c_0101_6^5 - 49796188687910724819145543152/153077009258417714028385*c_0101_6^4 + 6577827993490610380973595861/153077009258417714028385*c_0101_6^3 + 14878171765303814279081406908/153077009258417714028385*c_0101_6^2 + 3299340969848423114179041431/153077009258417714028385*c_0101_6 + 388030265946044406415113031/153077009258417714028385, c_0011_0 - 1, c_0011_2 - 7443889911846868986172/30615401851683542805677*c_0101_6^13 - 30318575106191328182974/30615401851683542805677*c_0101_6^12 + 163467529588694614975747/30615401851683542805677*c_0101_6^11 + 712758875650653044625429/30615401851683542805677*c_0101_6^10 - 146755444342895173566173/30615401851683542805677*c_0101_6^9 - 2447487003116634137572586/30615401851683542805677*c_0101_6^8 - 914233315337154595418761/30615401851683542805677*c_0101_6^7 + 3913780101294543652092174/30615401851683542805677*c_0101_6^6 - 1288096082533781908518775/30615401851683542805677*c_0101_6^5 - 969946637068688796558214/30615401851683542805677*c_0101_6^4 + 826734930438297893586785/30615401851683542805677*c_0101_6^3 + 95649498342860590964154/30615401851683542805677*c_0101_6^2 + 13945218660444078110482/30615401851683542805677*c_0101_6 + 7370112132178402784641/30615401851683542805677, c_0011_4 - 9875178105592507059804/30615401851683542805677*c_0101_6^13 - 42082280652331779194830/30615401851683542805677*c_0101_6^12 + 209992086779392423090559/30615401851683542805677*c_0101_6^11 + 989515128184111865102023/30615401851683542805677*c_0101_6^10 - 31528031330051507592858/30615401851683542805677*c_0101_6^9 - 3356486389540234628634027/30615401851683542805677*c_0101_6^8 - 1827073945783942215828587/30615401851683542805677*c_0101_6^7 + 5214617061349711761418475/30615401851683542805677*c_0101_6^6 - 554895822169756216654730/30615401851683542805677*c_0101_6^5 - 1961381298514013569729183/30615401851683542805677*c_0101_6^4 + 809536123673028364567071/30615401851683542805677*c_0101_6^3 + 404983321151887372303127/30615401851683542805677*c_0101_6^2 + 12536246210587989176473/30615401851683542805677*c_0101_6 - 2420432049565562946812/30615401851683542805677, c_0011_6 - 1049775061949987694592/30615401851683542805677*c_0101_6^13 - 4301295707954066746592/30615401851683542805677*c_0101_6^12 + 22950769770018529835536/30615401851683542805677*c_0101_6^11 + 101267388223447503738312/30615401851683542805677*c_0101_6^10 - 17737701201997824288240/30615401851683542805677*c_0101_6^9 - 350542414119998292299436/30615401851683542805677*c_0101_6^8 - 150729230672378386534400/30615401851683542805677*c_0101_6^7 + 569827232366532594574480/30615401851683542805677*c_0101_6^6 - 107942301808038237647396/30615401851683542805677*c_0101_6^5 - 164972668745069723945960/30615401851683542805677*c_0101_6^4 - 21159644116823077485727/30615401851683542805677*c_0101_6^3 + 81966379889019682032428/30615401851683542805677*c_0101_6^2 + 13170215967501263278044/30615401851683542805677*c_0101_6 - 4088493075834925262808/30615401851683542805677, c_0101_0 - 10087111162570743607684/30615401851683542805677*c_0101_6^13 - 45610931858747460687558/30615401851683542805677*c_0101_6^12 + 202694441692103170745959/30615401851683542805677*c_0101_6^11 + 1063731626369479120880474/30615401851683542805677*c_0101_6^10 + 242464739685330960050187/30615401851683542805677*c_0101_6^9 - 3373070073548909322836595/30615401851683542805677*c_0101_6^8 - 2728017715481963598896479/30615401851683542805677*c_0101_6^7 + 4691710156007679247554086/30615401851683542805677*c_0101_6^6 + 664126256571589825979356/30615401851683542805677*c_0101_6^5 - 2025671592756359241489465/30615401851683542805677*c_0101_6^4 + 204896957121496044837211/30615401851683542805677*c_0101_6^3 + 643086150654577406566868/30615401851683542805677*c_0101_6^2 + 162930144508655144119469/30615401851683542805677*c_0101_6 - 4635996192871868579111/30615401851683542805677, c_0101_1 + 9160197271157968824396/30615401851683542805677*c_0101_6^13 + 39531935227989117282674/30615401851683542805677*c_0101_6^12 - 192371048614193324197493/30615401851683542805677*c_0101_6^11 - 927203261072411732980158/30615401851683542805677*c_0101_6^10 - 26937538228015118992681/30615401851683542805677*c_0101_6^9 + 3087109196928401934007891/30615401851683542805677*c_0101_6^8 + 1865854461473727101231447/30615401851683542805677*c_0101_6^7 - 4666945779030096403264835/30615401851683542805677*c_0101_6^6 + 281634858886047184555945/30615401851683542805677*c_0101_6^5 + 1750815810409786440930512/30615401851683542805677*c_0101_6^4 - 528852894868615847491665/30615401851683542805677*c_0101_6^3 - 432098097917504277845349/30615401851683542805677*c_0101_6^2 - 109364174058209366869255/30615401851683542805677*c_0101_6 + 4907688770092358062141/30615401851683542805677, c_0101_6^14 + 9/2*c_0101_6^13 - 81/4*c_0101_6^12 - 421/4*c_0101_6^11 - 41/2*c_0101_6^10 + 1361/4*c_0101_6^9 + 1049/4*c_0101_6^8 - 1949/4*c_0101_6^7 - 121/2*c_0101_6^6 + 905/4*c_0101_6^5 - 173/4*c_0101_6^4 - 257/4*c_0101_6^3 - 19/2*c_0101_6^2 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB