Magma V2.19-8 Tue Aug 20 2013 16:17:57 on localhost [Seed = 3069651571] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2185 geometric_solution 5.64667079 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -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 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 1.688087402118 0.427259390034 0 2 3 0 0132 0132 0132 3201 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 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.835666249145 0.692945338936 4 1 5 3 0132 0132 0132 3201 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 1 0 -1 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.090168371303 0.802639538655 5 2 4 1 1023 2310 2310 0132 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 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.090168371303 0.802639538655 2 3 6 6 0132 3201 2310 0132 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 -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.120507650163 0.737180365533 5 3 5 2 2310 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.138218611381 1.230361831642 6 4 4 6 3012 3201 0132 1230 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 0 1 -1 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.323307764295 0.802381365012 ==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' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], '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_2'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), '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' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_4']), '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_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), '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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1101266397559046/1011970433441*c_0101_4^22 + 11690307509077620/1011970433441*c_0101_4^21 - 1220042646647287/1011970433441*c_0101_4^20 - 198042948781013125/1011970433441*c_0101_4^19 + 65193970223248769/1011970433441*c_0101_4^18 + 1051056757800163259/1011970433441*c_0101_4^17 - 707979334257095152/1011970433441*c_0101_4^16 - 2514645699452366565/1011970433441*c_0101_4^15 + 2572430125565583911/1011970433441*c_0101_4^14 + 2883766618598787513/1011970433441*c_0101_4^13 - 4512149233146040594/1011970433441*c_0101_4^12 - 1110617485084945720/1011970433441*c_0101_4^11 + 4254958529822931661/1011970433441*c_0101_4^10 - 851244124668966306/1011970433441*c_0101_4^9 - 2141542842928582688/1011970433441*c_0101_4^8 + 1147653383616016590/1011970433441*c_0101_4^7 + 469953768533244282/1011970433441*c_0101_4^6 - 512611559669461269/1011970433441*c_0101_4^5 + 20891517473375169/1011970433441*c_0101_4^4 + 99926634506699466/1011970433441*c_0101_4^3 - 25568059876742443/1011970433441*c_0101_4^2 - 6502683654961321/1011970433441*c_0101_4 + 2738602426872531/1011970433441, c_0011_0 - 1, c_0011_3 + 8527162849012/1011970433441*c_0101_4^22 + 45688441705553/1011970433441*c_0101_4^21 - 495516425058890/1011970433441*c_0101_4^20 - 1615609969957954/1011970433441*c_0101_4^19 + 8322181722142721/1011970433441*c_0101_4^18 + 7287326467329147/1011970433441*c_0101_4^17 - 44742790085143025/1011970433441*c_0101_4^16 - 1088190279184238/1011970433441*c_0101_4^15 + 108281746943007730/1011970433441*c_0101_4^14 - 48072945917301390/1011970433441*c_0101_4^13 - 130987127071239717/1011970433441*c_0101_4^12 + 108510096842361169/1011970433441*c_0101_4^11 + 73712551978398617/1011970433441*c_0101_4^10 - 105809964622032474/1011970433441*c_0101_4^9 - 6156245258872559/1011970433441*c_0101_4^8 + 52606364996719235/1011970433441*c_0101_4^7 - 13294333835721297/1011970433441*c_0101_4^6 - 13033653633815916/1011970433441*c_0101_4^5 + 6412772925797357/1011970433441*c_0101_4^4 + 1273487161875890/1011970433441*c_0101_4^3 - 1180800394723519/1011970433441*c_0101_4^2 + 3031436754257/1011970433441*c_0101_4 + 88179128168226/1011970433441, c_0011_6 - 18017247098393/1011970433441*c_0101_4^22 - 186475090413738/1011970433441*c_0101_4^21 + 67092583008705/1011970433441*c_0101_4^20 + 3198816732852871/1011970433441*c_0101_4^19 - 1894967921395418/1011970433441*c_0101_4^18 - 16276651129105215/1011970433441*c_0101_4^17 + 15446268205243633/1011970433441*c_0101_4^16 + 35058014465152775/1011970433441*c_0101_4^15 - 48355948885898952/1011970433441*c_0101_4^14 - 30931013142000486/1011970433441*c_0101_4^13 + 73810411719944458/1011970433441*c_0101_4^12 - 2058530624112135/1011970433441*c_0101_4^11 - 58508850165231229/1011970433441*c_0101_4^10 + 24605564951388402/1011970433441*c_0101_4^9 + 22395590072052385/1011970433441*c_0101_4^8 - 18696371927500624/1011970433441*c_0101_4^7 - 2117353207049477/1011970433441*c_0101_4^6 + 6094093717739033/1011970433441*c_0101_4^5 - 1079994062959762/1011970433441*c_0101_4^4 - 871428822239320/1011970433441*c_0101_4^3 + 313469547483955/1011970433441*c_0101_4^2 + 41901578270951/1011970433441*c_0101_4 - 24178281904369/1011970433441, c_0101_0 + 21374868601638/1011970433441*c_0101_4^22 + 205318665575416/1011970433441*c_0101_4^21 - 252178399155722/1011970433441*c_0101_4^20 - 3823416159959516/1011970433441*c_0101_4^19 + 5042563139063698/1011970433441*c_0101_4^18 + 19038203169367669/1011970433441*c_0101_4^17 - 32570391827698587/1011970433441*c_0101_4^16 - 35231688620296315/1011970433441*c_0101_4^15 + 90242965322410346/1011970433441*c_0101_4^14 + 11673033499769135/1011970433441*c_0101_4^13 - 124949011455498757/1011970433441*c_0101_4^12 + 45345384190243482/1011970433441*c_0101_4^11 + 87397400481574917/1011970433441*c_0101_4^10 - 67045904356153213/1011970433441*c_0101_4^9 - 24527364516970992/1011970433441*c_0101_4^8 + 39865250167305186/1011970433441*c_0101_4^7 - 3459780548126831/1011970433441*c_0101_4^6 - 11279643652268533/1011970433441*c_0101_4^5 + 3742398471777787/1011970433441*c_0101_4^4 + 1337031761869927/1011970433441*c_0101_4^3 - 792493726860679/1011970433441*c_0101_4^2 - 30891415671519/1011970433441*c_0101_4 + 59128893537774/1011970433441, c_0101_1 - 40068778534647/1011970433441*c_0101_4^22 - 440345333395548/1011970433441*c_0101_4^21 - 138128285663331/1011970433441*c_0101_4^20 + 6969273294588949/1011970433441*c_0101_4^19 + 275784296483835/1011970433441*c_0101_4^18 - 35069762521027440/1011970433441*c_0101_4^17 + 11124891950738177/1011970433441*c_0101_4^16 + 80680895467691023/1011970433441*c_0101_4^15 - 50406841337734754/1011970433441*c_0101_4^14 - 93508539909326501/1011970433441*c_0101_4^13 + 89538209361558499/1011970433441*c_0101_4^12 + 50346943109259776/1011970433441*c_0101_4^11 - 79759111545409305/1011970433441*c_0101_4^10 - 3614441106033108/1011970433441*c_0101_4^9 + 37777760366390587/1011970433441*c_0101_4^8 - 8594271465816694/1011970433441*c_0101_4^7 - 9344590938185243/1011970433441*c_0101_4^6 + 3832077477153312/1011970433441*c_0101_4^5 + 1140674950889850/1011970433441*c_0101_4^4 - 664063575574426/1011970433441*c_0101_4^3 - 91959511968711/1011970433441*c_0101_4^2 + 53707399631645/1011970433441*c_0101_4 + 11558599603269/1011970433441, c_0101_2 - 48110349633579/1011970433441*c_0101_4^22 - 521097913605926/1011970433441*c_0101_4^21 - 80720657135794/1011970433441*c_0101_4^20 + 8407453350632841/1011970433441*c_0101_4^19 - 1009602984759529/1011970433441*c_0101_4^18 - 42406347464513737/1011970433441*c_0101_4^17 + 20323515634684894/1011970433441*c_0101_4^16 + 95994105277581438/1011970433441*c_0101_4^15 - 77747472631863150/1011970433441*c_0101_4^14 - 105073079173092249/1011970433441*c_0101_4^13 + 130365215224378925/1011970433441*c_0101_4^12 + 44669035314663745/1011970433441*c_0101_4^11 - 112068902153207282/1011970433441*c_0101_4^10 + 12603513008953841/1011970433441*c_0101_4^9 + 50406356981674139/1011970433441*c_0101_4^8 - 20312188860458173/1011970433441*c_0101_4^7 - 10620466547545520/1011970433441*c_0101_4^6 + 7828281958733349/1011970433441*c_0101_4^5 + 463406691219750/1011970433441*c_0101_4^4 - 1300180674609687/1011970433441*c_0101_4^3 + 130938879489437/1011970433441*c_0101_4^2 + 88179128168226/1011970433441*c_0101_4 - 8527162849012/1011970433441, c_0101_4^23 + 11*c_0101_4^22 + 3*c_0101_4^21 - 180*c_0101_4^20 - 10*c_0101_4^19 + 973*c_0101_4^18 - 274*c_0101_4^17 - 2511*c_0101_4^16 + 1441*c_0101_4^15 + 3480*c_0101_4^14 - 3039*c_0101_4^13 - 2563*c_0101_4^12 + 3406*c_0101_4^11 + 734*c_0101_4^10 - 2200*c_0101_4^9 + 258*c_0101_4^8 + 823*c_0101_4^7 - 283*c_0101_4^6 - 166*c_0101_4^5 + 95*c_0101_4^4 + 14*c_0101_4^3 - 15*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB