Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 4189611309] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1399 geometric_solution 5.24534071 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 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 1 0 -1 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 0.016652463820 1.071618475981 0 3 4 2 0132 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.938173735493 0.969971840500 1 4 3 0 3012 0132 3201 0132 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 -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.938173735493 0.969971840500 2 1 3 3 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 0.513376105074 0.468965952484 5 2 5 1 0132 0132 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.551787138520 0.565024161047 4 6 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708029826104 0.336930286951 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604143637581 0.104250396621 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : 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' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_2'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_2'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], '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_2, c_0101_1, c_0101_2, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 39064078067964580684001664483/14784749748846949436033893952*c_0110_\ 6^25 - 1522300481753206570972389916989/7392374874423474718016946976\ *c_0110_6^23 + 2015680446620980787432343122759/46202342965146716987\ 6059186*c_0110_6^21 - 254418495029025726514855490809995/73923748744\ 23474718016946976*c_0110_6^19 + 746078757436649645911933766680223/7\ 392374874423474718016946976*c_0110_6^17 - 655873220249532759588193523003479/3696187437211737359008473488*c_01\ 10_6^15 + 386647929666356765409001377503761/18480937186058686795042\ 36744*c_0110_6^13 - 2303742470618146023188924098243165/147847497488\ 46949436033893952*c_0110_6^11 + 60276555676889084013935273276525/86\ 9691161696879378590229056*c_0110_6^9 - 295063068449826866233459732881441/14784749748846949436033893952*c_0\ 110_6^7 + 83632384191867297300021359096239/147847497488469494360338\ 93952*c_0110_6^5 - 12916722064500960788731062713117/739237487442347\ 4718016946976*c_0110_6^3 + 3863896019668367950757942121999/14784749\ 748846949436033893952*c_0110_6, c_0011_0 - 1, c_0011_2 + 7889387627335150185587233/336017039746521578091679408*c_0110\ _6^24 - 608184839266080762110998197/336017039746521578091679408*c_0\ 110_6^22 + 12510286855278602640962647995/33601703974652157809167940\ 8*c_0110_6^20 - 92155047500004006682732230743/336017039746521578091\ 679408*c_0110_6^18 + 223501252798686318107443325235/336017039746521\ 578091679408*c_0110_6^16 - 343929995152837929244969482001/336017039\ 746521578091679408*c_0110_6^14 + 347465030477265165962910108903/336\ 017039746521578091679408*c_0110_6^12 - 24841877399711427641321918791/42002129968315197261459926*c_0110_6^1\ 0 + 4341071096744589171035897807/19765708220383622240687024*c_0110_\ 6^8 - 6174527123464714447534584949/84004259936630394522919852*c_011\ 0_6^6 + 5761720025457253532542037417/336017039746521578091679408*c_\ 0110_6^4 - 1546718440418762554292012973/336017039746521578091679408\ *c_0110_6^2 + 42590337891978388629572879/42002129968315197261459926\ , c_0101_1 + 83185654529860401801951417/336017039746521578091679408*c_011\ 0_6^25 - 6458858057284492165425921689/336017039746521578091679408*c\ _0110_6^23 + 135453918066211780771547292355/33601703974652157809167\ 9408*c_0110_6^21 - 1043877904745546395980436150179/3360170397465215\ 78091679408*c_0110_6^19 + 2875025352303521206104628148331/336017039\ 746521578091679408*c_0110_6^17 - 4778400741031912820851965596381/33\ 6017039746521578091679408*c_0110_6^15 + 5279654652196454221334566016519/336017039746521578091679408*c_0110_\ 6^13 - 877961664492737907045505658681/84004259936630394522919852*c_\ 0110_6^11 + 77536193361444963865586357211/1976570822038362224068702\ 4*c_0110_6^9 - 86313462784787248820604266581/8400425993663039452291\ 9852*c_0110_6^7 + 113905662529223745047496353025/336017039746521578\ 091679408*c_0110_6^5 - 30950778018679476893190662929/33601703974652\ 1578091679408*c_0110_6^3 + 303783999280967094018365417/420021299683\ 15197261459926*c_0110_6, c_0101_2 + 982528949658641941459993/168008519873260789045839704*c_0110_\ 6^25 - 73997963515404890792453201/168008519873260789045839704*c_011\ 0_6^23 + 1423903208407913908033358255/168008519873260789045839704*c\ _0110_6^21 - 8738854500861865638634207819/1680085198732607890458397\ 04*c_0110_6^19 + 8061588888650726339700120207/168008519873260789045\ 839704*c_0110_6^17 + 1659750572936598905576973899/16800851987326078\ 9045839704*c_0110_6^15 - 17355511052579589656627178565/168008519873\ 260789045839704*c_0110_6^13 + 6607720656045808007504414963/42002129\ 968315197261459926*c_0110_6^11 - 374552778328701713033299817/988285\ 4110191811120343512*c_0110_6^9 - 570425078288223364808572964/210010\ 64984157598630729963*c_0110_6^7 - 673423666608868088808348703/16800\ 8519873260789045839704*c_0110_6^5 + 154094199205879946368297391/168008519873260789045839704*c_0110_6^3 + 120818429284265241589444131/42002129968315197261459926*c_0110_6, c_0101_3 - 5772091314938033001490813/42002129968315197261459926*c_0110_\ 6^24 + 447100366576897279144279439/42002129968315197261459926*c_011\ 0_6^22 - 9316691787903198327378950347/42002129968315197261459926*c_\ 0110_6^20 + 70746758719600167047096137233/4200212996831519726145992\ 6*c_0110_6^18 - 187167959842013131694206515493/42002129968315197261\ 459926*c_0110_6^16 + 302533832897548602094059880379/420021299683151\ 97261459926*c_0110_6^14 - 323903676301139508566655399011/4200212996\ 8315197261459926*c_0110_6^12 + 102039255717638971747025205103/21001\ 064984157598630729963*c_0110_6^10 - 4319939764385787838432445273/2470713527547952780085878*c_0110_6^8 + 10208304857141284378321341385/21001064984157598630729963*c_0110_6^6 - 6707174625356572121171896683/42002129968315197261459926*c_0110_6^\ 4 + 1649392406176625481744624637/42002129968315197261459926*c_0110_\ 6^2 - 55998158556647154998445447/21001064984157598630729963, c_0101_4 + 26046592358166141092757065/336017039746521578091679408*c_011\ 0_6^24 - 2024136653001212795545986393/336017039746521578091679408*c\ _0110_6^22 + 42549606700180776200371691683/336017039746521578091679\ 408*c_0110_6^20 - 329674075876933922799966468435/336017039746521578\ 091679408*c_0110_6^18 + 920975722086201575154396256315/336017039746\ 521578091679408*c_0110_6^16 - 1545724587077737321898645867949/33601\ 7039746521578091679408*c_0110_6^14 + 1722754348848736533870866221159/336017039746521578091679408*c_0110_\ 6^12 - 290278674422027505819068077497/84004259936630394522919852*c_\ 0110_6^10 + 25536771015014278038650095163/1976570822038362224068702\ 4*c_0110_6^8 - 26279696523518546280488542157/8400425993663039452291\ 9852*c_0110_6^6 + 34899987644405941535109635137/3360170397465215780\ 91679408*c_0110_6^4 - 9471290019307053442432372193/3360170397465215\ 78091679408*c_0110_6^2 + 42204331928116875261029655/420021299683151\ 97261459926, c_0110_6^26 - 78*c_0110_6^24 + 1656*c_0110_6^22 - 13130*c_0110_6^20 + 39058*c_0110_6^18 - 69948*c_0110_6^16 + 84352*c_0110_6^14 - 65399*c_0110_6^12 + 31351*c_0110_6^10 - 9915*c_0110_6^8 + 2813*c_0110_6^6 - 846*c_0110_6^4 + 157*c_0110_6^2 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB