Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 559988161] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0661 geometric_solution 4.63896345 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -1 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 -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 1.921202299411 0.511881348621 0 2 3 0 0132 0132 0132 3201 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 -1 1 0 1 0 -1 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.389886801364 0.889432696277 4 1 3 3 0132 0132 1302 2031 0 0 0 0 0 1 0 -1 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 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.354666441210 0.377773756065 2 2 4 1 2031 1302 2310 0132 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 1 0 -1 0 0 -1 1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354666441210 0.377773756065 2 3 5 5 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.957108167481 1.740415835380 6 4 4 6 0132 3201 0132 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 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.007392309878 0.320912589622 5 6 6 5 0132 1230 3012 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 2.477404515453 1.054031138875 ==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' : 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' : 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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], '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_3, 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: 15 Groebner basis: [ t + 21268191906675254175097944/12644536788028861708475*c_0101_6^14 + 149983778611833744514406129/12644536788028861708475*c_0101_6^13 + 40657575077587852769879066/12644536788028861708475*c_0101_6^12 - 179874773370438264785715634/1806362398289837386925*c_0101_6^11 - 29242305092524617560301531/361272479657967477385*c_0101_6^10 + 2770907112458492015437220474/12644536788028861708475*c_0101_6^9 + 2610496377206455777690277551/12644536788028861708475*c_0101_6^8 - 2077226602817011555551103243/12644536788028861708475*c_0101_6^7 - 2266895412969367002577101178/12644536788028861708475*c_0101_6^6 + 535322447140612612211181383/12644536788028861708475*c_0101_6^5 + 26910143698892166870637434/505781471521154468339*c_0101_6^4 - 239964092787710640955060153/12644536788028861708475*c_0101_6^3 - 107775194533076008539125771/12644536788028861708475*c_0101_6^2 + 5226602093663324622967084/12644536788028861708475*c_0101_6 + 15275718870145260299531462/12644536788028861708475, c_0011_0 - 1, c_0011_3 - 99634660850846953819/1806362398289837386925*c_0101_6^14 - 832399873982709344249/1806362398289837386925*c_0101_6^13 - 1127037578599929245281/1806362398289837386925*c_0101_6^12 + 5373310271889290564143/1806362398289837386925*c_0101_6^11 + 2347355010975081023001/361272479657967477385*c_0101_6^10 - 4568791827142036583379/1806362398289837386925*c_0101_6^9 - 21378018495913825411151/1806362398289837386925*c_0101_6^8 - 12697000357016822478037/1806362398289837386925*c_0101_6^7 + 5620140752329304912713/1806362398289837386925*c_0101_6^6 + 16173487011569361970242/1806362398289837386925*c_0101_6^5 + 1879312367897921341787/361272479657967477385*c_0101_6^4 - 2539319044239445713837/1806362398289837386925*c_0101_6^3 - 5992680229634599704879/1806362398289837386925*c_0101_6^2 + 1375687850902257084421/1806362398289837386925*c_0101_6 + 764957712338864681298/1806362398289837386925, c_0011_5 - 188112237218592536096/1806362398289837386925*c_0101_6^14 - 1076167114045032470896/1806362398289837386925*c_0101_6^13 + 1289650121631314971786/1806362398289837386925*c_0101_6^12 + 11049289509649873379857/1806362398289837386925*c_0101_6^11 - 169044537453002691716/72254495931593495477*c_0101_6^10 - 29105338304975087513981/1806362398289837386925*c_0101_6^9 + 2173475996769459885266/1806362398289837386925*c_0101_6^8 + 24516393837902241501347/1806362398289837386925*c_0101_6^7 - 363752423114998104443/1806362398289837386925*c_0101_6^6 - 5415887782306800579197/1806362398289837386925*c_0101_6^5 + 1769349122432878861776/361272479657967477385*c_0101_6^4 + 1762842777264369816282/1806362398289837386925*c_0101_6^3 - 6839245131697475357186/1806362398289837386925*c_0101_6^2 + 356156811936595477809/1806362398289837386925*c_0101_6 + 78301343922149481772/1806362398289837386925, c_0101_0 - 384293329799231160152/361272479657967477385*c_0101_6^14 - 552697863139100673178/72254495931593495477*c_0101_6^13 - 1181156811724288243474/361272479657967477385*c_0101_6^12 + 22169895926534192611196/361272479657967477385*c_0101_6^11 + 21622316771625736089463/361272479657967477385*c_0101_6^10 - 43284479455784325528724/361272479657967477385*c_0101_6^9 - 51607106161337680004698/361272479657967477385*c_0101_6^8 + 20778441503808013420522/361272479657967477385*c_0101_6^7 + 39890195988630331541853/361272479657967477385*c_0101_6^6 + 4809781646053261659326/361272479657967477385*c_0101_6^5 - 8422114866787719438251/361272479657967477385*c_0101_6^4 - 121198977661951129937/361272479657967477385*c_0101_6^3 + 1543515253825882224288/361272479657967477385*c_0101_6^2 + 224528428872224686260/72254495931593495477*c_0101_6 - 310798189348195993912/361272479657967477385, c_0101_1 + 2206362590527907760078/1806362398289837386925*c_0101_6^14 + 16101288366952782386928/1806362398289837386925*c_0101_6^13 + 8381829701728258185302/1806362398289837386925*c_0101_6^12 - 127210769533352911566726/1806362398289837386925*c_0101_6^11 - 5509132822067823942344/72254495931593495477*c_0101_6^10 + 241956838021762579079908/1806362398289837386925*c_0101_6^9 + 326934846968714324261987/1806362398289837386925*c_0101_6^8 - 109946568308460903813271/1806362398289837386925*c_0101_6^7 - 252607126291490502377026/1806362398289837386925*c_0101_6^6 - 28134583751054310648929/1806362398289837386925*c_0101_6^5 + 11316204376688861696122/361272479657967477385*c_0101_6^4 + 23011824711759584249/1806362398289837386925*c_0101_6^3 - 11945510803684587561102/1806362398289837386925*c_0101_6^2 - 7068294797043327748237/1806362398289837386925*c_0101_6 + 694295833244012210129/1806362398289837386925, c_0101_4 - 3224280061515851023114/1806362398289837386925*c_0101_6^14 - 23728028276775575691364/1806362398289837386925*c_0101_6^13 - 13294762667958615263026/1806362398289837386925*c_0101_6^12 + 187852838347973533721688/1806362398289837386925*c_0101_6^11 + 8516256429343435900389/72254495931593495477*c_0101_6^10 - 363086857933856822658404/1806362398289837386925*c_0101_6^9 - 510998544895623236202756/1806362398289837386925*c_0101_6^8 + 173821503315884155334873/1806362398289837386925*c_0101_6^7 + 402014163685221167304713/1806362398289837386925*c_0101_6^6 + 31920802555813235078402/1806362398289837386925*c_0101_6^5 - 18804431865982049420911/361272479657967477385*c_0101_6^4 + 13208609047093005703863/1806362398289837386925*c_0101_6^3 + 20442269158253812809776/1806362398289837386925*c_0101_6^2 + 1403569824178094617631/1806362398289837386925*c_0101_6 - 807947084840313622952/1806362398289837386925, c_0101_6^15 + 95/13*c_0101_6^14 + 49/13*c_0101_6^13 - 758/13*c_0101_6^12 - 63*c_0101_6^11 + 1493/13*c_0101_6^10 + 1979/13*c_0101_6^9 - 788/13*c_0101_6^8 - 1595/13*c_0101_6^7 - 53/13*c_0101_6^6 + 409/13*c_0101_6^5 - 56/13*c_0101_6^4 - 86/13*c_0101_6^3 - 15/13*c_0101_6^2 + 6/13*c_0101_6 + 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB