Magma V2.19-8 Tue Aug 20 2013 16:16:49 on localhost [Seed = 661044210] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1096 geometric_solution 4.96150237 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 1 -1 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 -1 1 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 4.913606946460 1.637394447272 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 -1 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 0 0 0 0 0 1 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 0 0 0 0 -0.304703443752 0.229074981259 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 1 -2 1 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 -1 1 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.753671869652 1.094202915205 4 5 6 2 1302 0132 0132 0132 0 0 0 0 0 -1 -1 2 -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 0 1 -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 0 0 0 0 0.737139395548 0.447239855082 5 3 2 6 2310 2031 0132 2310 0 0 0 0 0 0 -1 1 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 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.737139395548 0.447239855082 6 3 4 6 1230 0132 3201 3012 0 0 0 0 0 1 0 -1 0 0 -1 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 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.504209441708 0.300807823840 4 5 5 3 3201 3012 1230 0132 0 0 0 0 0 0 -1 1 1 0 0 -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 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 0 0 0.474278791096 0.894479710165 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(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' : negation(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_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_1, c_0011_3, c_0011_6, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 17416692622757000842028647710285/99576008736098931525625513346048*c\ _0101_5^24 + 1446204182397435000903712874707695/1991520174721978630\ 51251026692096*c_0101_5^22 + 16363575543719791098766439440130229/19\ 9152017472197863051251026692096*c_0101_5^20 + 74830323250387248174045091953768815/9957600873609893152562551334604\ 8*c_0101_5^18 + 788039923530199563390354848318962167/19915201747219\ 7863051251026692096*c_0101_5^16 + 317546860310598033026791126763125\ 477/24894002184024732881406378336512*c_0101_5^14 + 5445349203254149408875900040167969347/19915201747219786305125102669\ 2096*c_0101_5^12 + 4069861209794108402205706331593315697/9957600873\ 6098931525625513346048*c_0101_5^10 + 8641601802739495758331356048024069111/19915201747219786305125102669\ 2096*c_0101_5^8 + 6496441813684591353936408783969236553/19915201747\ 2197863051251026692096*c_0101_5^6 + 820925918746155969976970098419657159/497880043680494657628127566730\ 24*c_0101_5^4 + 30958423780643368630874921035234503/622350054600618\ 3220351594584128*c_0101_5^2 + 150391146093703870839822111908231/311\ 1750273003091610175797292064, c_0011_0 - 1, c_0011_1 + 437726725672587875423322363/3111750273003091610175797292064*\ c_0101_5^24 - 35938304452364533050742866713/62235005460061832203515\ 94584128*c_0101_5^22 - 429984280550122052603178486243/6223500546006\ 183220351594584128*c_0101_5^20 - 1939012697298410376247074964887/31\ 11750273003091610175797292064*c_0101_5^18 - 20820335252086757942496028635985/6223500546006183220351594584128*c_\ 0101_5^16 - 4154579691068229721672707970813/38896878412538645127197\ 4661508*c_0101_5^14 - 135381843576337084829397233450137/62235005460\ 06183220351594584128*c_0101_5^12 - 91838171995657478843749271121733/3111750273003091610175797292064*c_\ 0101_5^10 - 168527292411186843337987705387737/622350054600618322035\ 1594584128*c_0101_5^8 - 102459892709022584083716244897055/622350054\ 6006183220351594584128*c_0101_5^6 - 3937176884972331264110191508615/777937568250772902543949323016*c_01\ 01_5^4 + 279014525131250048033701663591/388968784125386451271974661\ 508*c_0101_5^2 + 78606110729851165765358811986/97242196031346612817\ 993665377, c_0011_3 + 2167859431936491920144029119/6223500546006183220351594584128\ *c_0101_5^25 - 177053856411658694940311454765/124470010920123664407\ 03189168256*c_0101_5^23 - 2162124907705737981451500683731/124470010\ 92012366440703189168256*c_0101_5^21 - 9953164418670068769381560115559/6223500546006183220351594584128*c_0\ 101_5^19 - 109570865918037932110513866291125/1244700109201236644070\ 3189168256*c_0101_5^17 - 93017494412438560121774522124841/311175027\ 3003091610175797292064*c_0101_5^15 - 836884605461530468464200445357713/12447001092012366440703189168256*\ c_0101_5^13 - 650906463553944773466402991341129/6223500546006183220\ 351594584128*c_0101_5^11 - 1422697809075123128857042053009733/12447\ 001092012366440703189168256*c_0101_5^9 - 1087319717820843496509546519305503/12447001092012366440703189168256\ *c_0101_5^7 - 70111619044406702696234704958987/15558751365015458050\ 87898646032*c_0101_5^5 - 11119062423427029662408458092365/777937568\ 250772902543949323016*c_0101_5^3 - 171831369203857062501949309181/194484392062693225635987330754*c_010\ 1_5, c_0011_6 + 152644378749554285012519963/3111750273003091610175797292064*\ c_0101_5^24 - 13073237778428428561728616529/62235005460061832203515\ 94584128*c_0101_5^22 - 128346278493579881180594805975/6223500546006\ 183220351594584128*c_0101_5^20 - 530211902002699192201462059043/311\ 1750273003091610175797292064*c_0101_5^18 - 4635796585456959919453447317857/6223500546006183220351594584128*c_0\ 101_5^16 - 2079634134074431861173374863597/155587513650154580508789\ 8646032*c_0101_5^14 + 2435997799409885814628158354363/6223500546006\ 183220351594584128*c_0101_5^12 + 19115577290992548193991929428379/3\ 111750273003091610175797292064*c_0101_5^10 + 81789675053252562696055826028975/6223500546006183220351594584128*c_\ 0101_5^8 + 95983737238782575755999626753205/62235005460061832203515\ 94584128*c_0101_5^6 + 2145367375359704796031869875609/1944843920626\ 93225635987330754*c_0101_5^4 + 413845251971510747208681386172/97242\ 196031346612817993665377*c_0101_5^2 + 14439622408921651454034250954/97242196031346612817993665377, c_0101_1 - 299507033192005624257746841/3111750273003091610175797292064*\ c_0101_5^24 + 23167182077161055831375763227/62235005460061832203515\ 94584128*c_0101_5^22 + 354622449279310036724826614157/6223500546006\ 183220351594584128*c_0101_5^20 + 1633641130473057224719356973715/31\ 11750273003091610175797292064*c_0101_5^18 + 19698647383740085664011634188751/6223500546006183220351594584128*c_\ 0101_5^16 + 8979208861000191181741774228023/77793756825077290254394\ 9323016*c_0101_5^14 + 165104359092043772139157040599135/62235005460\ 06183220351594584128*c_0101_5^12 + 126052968298571253575190340418685/3111750273003091610175797292064*c\ _0101_5^10 + 262022058123122739562394986471183/62235005460061832203\ 51594584128*c_0101_5^8 + 181252348177332582858396055548621/62235005\ 46006183220351594584128*c_0101_5^6 + 1169236885406857294840180578929/97242196031346612817993665377*c_010\ 1_5^4 + 144495478250506363740572528858/9724219603134661281799366537\ 7*c_0101_5^2 - 35765826862339061138884746470/9724219603134661281799\ 3665377, c_0101_2 - 18814207992595155851789253/194484392062693225635987330754*c_\ 0101_5^24 + 1540469007686800967497083697/38896878412538645127197466\ 1508*c_0101_5^22 + 9353320248123901404795738449/1944843920626932256\ 35987330754*c_0101_5^20 + 333092005852151896605134099447/7779375682\ 50772902543949323016*c_0101_5^18 + 3563732485995247190579934687401/1555875136501545805087898646032*c_0\ 101_5^16 + 11054660507572214491955704867589/15558751365015458050878\ 98646032*c_0101_5^14 + 20895049550686687846139283848985/15558751365\ 01545805087898646032*c_0101_5^12 + 6334289656921238057645566655603/388968784125386451271974661508*c_01\ 01_5^10 + 21431351302801546878444251495951/155587513650154580508789\ 8646032*c_0101_5^8 + 14494393766290741017947864783401/1555875136501\ 545805087898646032*c_0101_5^6 + 9012476497355648517701723912767/155\ 5875136501545805087898646032*c_0101_5^4 + 505209655840717405776768342055/194484392062693225635987330754*c_010\ 1_5^2 + 52393540312908159906790772894/97242196031346612817993665377\ , c_0101_5^26 - 83/2*c_0101_5^24 - 941/2*c_0101_5^22 - 4305*c_0101_5^20 - 45403/2*c_0101_5^18 - 73350*c_0101_5^16 - 315439/2*c_0101_5^14 - 236767*c_0101_5^12 - 505803/2*c_0101_5^10 - 383793/2*c_0101_5^8 - 98628*c_0101_5^6 - 30904*c_0101_5^4 - 1184*c_0101_5^2 - 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB