Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 37986016] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0527 geometric_solution 4.53970007 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 0 0 0 0 0 0 -1 1 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 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 1.197305042152 0.768749924863 0 0 1 1 0132 2310 1230 3012 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.695124143614 0.273131345908 3 0 0 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.289280495098 0.262753276852 2 5 4 4 0132 0132 1302 3201 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 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.185636961923 0.796961622650 3 3 2 5 2031 2310 0132 2310 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 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.185636961923 0.796961622650 4 3 6 6 3201 0132 2310 0132 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 0 0 0 0 0 0 0 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.912535048479 2.062964834491 6 5 5 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.546422191517 0.238538577746 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_2'], '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 72647734237043432207751/3050278504366865862941*c_0101_5^17 - 689008805938088545127400/3050278504366865862941*c_0101_5^16 - 675172092472600464650641/3050278504366865862941*c_0101_5^15 + 3447367003128133536044272/3050278504366865862941*c_0101_5^14 + 6004741756435369428297144/3050278504366865862941*c_0101_5^13 - 4307487109055679879698359/3050278504366865862941*c_0101_5^12 - 10895363213229046094452656/3050278504366865862941*c_0101_5^11 + 1753122801303749641934773/3050278504366865862941*c_0101_5^10 + 4700105565599691212926221/3050278504366865862941*c_0101_5^9 - 7004838243682660200887690/3050278504366865862941*c_0101_5^8 - 878943897963989963918268/3050278504366865862941*c_0101_5^7 + 8733422238680163467435349/3050278504366865862941*c_0101_5^6 + 683596063710051238932206/3050278504366865862941*c_0101_5^5 + 225731528442467227738114/3050278504366865862941*c_0101_5^4 + 3471201879218041330111851/3050278504366865862941*c_0101_5^3 + 126135435892364778170236/3050278504366865862941*c_0101_5^2 + 225275908142832628775678/3050278504366865862941*c_0101_5 + 260112602338782523418888/3050278504366865862941, c_0011_0 - 1, c_0011_4 + 754428773389956595830/3050278504366865862941*c_0101_5^17 + 7142699011122150793950/3050278504366865862941*c_0101_5^16 + 6915219336469701968255/3050278504366865862941*c_0101_5^15 - 35682875997443708973399/3050278504366865862941*c_0101_5^14 - 61077084359845677267719/3050278504366865862941*c_0101_5^13 + 47492795069124202598926/3050278504366865862941*c_0101_5^12 + 112940493011822888107232/3050278504366865862941*c_0101_5^11 - 28954904442735433307325/3050278504366865862941*c_0101_5^10 - 63290239469994337765667/3050278504366865862941*c_0101_5^9 + 76949487963156531752112/3050278504366865862941*c_0101_5^8 + 21508820705782687051701/3050278504366865862941*c_0101_5^7 - 95179414979123976743925/3050278504366865862941*c_0101_5^6 - 8092988364549204506426/3050278504366865862941*c_0101_5^5 + 17349204392882205522903/3050278504366865862941*c_0101_5^4 - 23355358943033826865208/3050278504366865862941*c_0101_5^3 - 1672075713858126099706/3050278504366865862941*c_0101_5^2 + 4291366816175105816000/3050278504366865862941*c_0101_5 + 498625553457940770771/3050278504366865862941, c_0011_6 - 31546811774780765694/3050278504366865862941*c_0101_5^17 - 431124547489028305305/3050278504366865862941*c_0101_5^16 - 1549278308794538330107/3050278504366865862941*c_0101_5^15 + 84607685871942828646/3050278504366865862941*c_0101_5^14 + 7505162257694600682047/3050278504366865862941*c_0101_5^13 + 7918234277316361747596/3050278504366865862941*c_0101_5^12 - 6926663425677281968159/3050278504366865862941*c_0101_5^11 - 10497946547906956319843/3050278504366865862941*c_0101_5^10 - 487174491698219863353/3050278504366865862941*c_0101_5^9 - 2952477649197981671103/3050278504366865862941*c_0101_5^8 - 4490737943828533442131/3050278504366865862941*c_0101_5^7 + 4075352355700634939731/3050278504366865862941*c_0101_5^6 - 563065082136880982583/3050278504366865862941*c_0101_5^5 - 1371446824919828288627/3050278504366865862941*c_0101_5^4 + 7892014494356264776247/3050278504366865862941*c_0101_5^3 - 1918983098792717836841/3050278504366865862941*c_0101_5^2 - 1271979267165204665386/3050278504366865862941*c_0101_5 + 2707029884913018900925/3050278504366865862941, c_0101_0 + 1494119206803902409129/3050278504366865862941*c_0101_5^17 + 14343759366759997757033/3050278504366865862941*c_0101_5^16 + 15157699503707224230733/3050278504366865862941*c_0101_5^15 - 72851729816465637106915/3050278504366865862941*c_0101_5^14 - 135478162708727913807690/3050278504366865862941*c_0101_5^13 + 92669588867766407645238/3050278504366865862941*c_0101_5^12 + 270316666586158027419178/3050278504366865862941*c_0101_5^11 - 29799140956176047831044/3050278504366865862941*c_0101_5^10 - 175995649403692540423200/3050278504366865862941*c_0101_5^9 + 118631907413769507708415/3050278504366865862941*c_0101_5^8 + 76745241084107796417664/3050278504366865862941*c_0101_5^7 - 180697049345573627073723/3050278504366865862941*c_0101_5^6 - 46290136603256567652529/3050278504366865862941*c_0101_5^5 + 30102015491069730914211/3050278504366865862941*c_0101_5^4 - 48559895381948091098381/3050278504366865862941*c_0101_5^3 - 5014487381862145723145/3050278504366865862941*c_0101_5^2 + 1961004017325355399906/3050278504366865862941*c_0101_5 - 5220311982684497325498/3050278504366865862941, c_0101_1 - 407464197775299443334/3050278504366865862941*c_0101_5^17 - 4163567932740815114846/3050278504366865862941*c_0101_5^16 - 7490900861314594736030/3050278504366865862941*c_0101_5^15 + 8022710932492858216688/3050278504366865862941*c_0101_5^14 + 37061484130256274049198/3050278504366865862941*c_0101_5^13 + 40461894172324667274871/3050278504366865862941*c_0101_5^12 + 10114284207709164271013/3050278504366865862941*c_0101_5^11 - 66874907077671475440504/3050278504366865862941*c_0101_5^10 - 134758758565007287424291/3050278504366865862941*c_0101_5^9 - 50494279514004587939702/3050278504366865862941*c_0101_5^8 + 63209976067510519867436/3050278504366865862941*c_0101_5^7 + 10852274562967243278971/3050278504366865862941*c_0101_5^6 - 11648178342710406429126/3050278504366865862941*c_0101_5^5 + 97684260938342707563367/3050278504366865862941*c_0101_5^4 + 76819538634911538250288/3050278504366865862941*c_0101_5^3 + 9495130608787439164931/3050278504366865862941*c_0101_5^2 + 20989518278908665728942/3050278504366865862941*c_0101_5 + 8544659185501463054212/3050278504366865862941, c_0101_2 - 713004757447345087707/3050278504366865862941*c_0101_5^17 - 7047872624028269671113/3050278504366865862941*c_0101_5^16 - 9080415744040838920873/3050278504366865862941*c_0101_5^15 + 33608697664967348017805/3050278504366865862941*c_0101_5^14 + 75128156704131512569212/3050278504366865862941*c_0101_5^13 - 29306019569296795304262/3050278504366865862941*c_0101_5^12 - 143896310494316978482150/3050278504366865862941*c_0101_5^11 - 15398164285080306758385/3050278504366865862941*c_0101_5^10 + 83508231656789456739208/3050278504366865862941*c_0101_5^9 - 55790072717766569501413/3050278504366865862941*c_0101_5^8 - 51540903801431301222178/3050278504366865862941*c_0101_5^7 + 103048084123039215413030/3050278504366865862941*c_0101_5^6 + 50694828217960740364674/3050278504366865862941*c_0101_5^5 - 11393586756096777766763/3050278504366865862941*c_0101_5^4 + 35535081386906485768671/3050278504366865862941*c_0101_5^3 + 15876299098357224447660/3050278504366865862941*c_0101_5^2 - 2191471362066820343570/3050278504366865862941*c_0101_5 + 2647511353407257702753/3050278504366865862941, c_0101_5^18 + 29/3*c_0101_5^17 + 11*c_0101_5^16 - 46*c_0101_5^15 - 275/3*c_0101_5^14 + 136/3*c_0101_5^13 + 491/3*c_0101_5^12 + 8/3*c_0101_5^11 - 224/3*c_0101_5^10 + 248/3*c_0101_5^9 + 98/3*c_0101_5^8 - 355/3*c_0101_5^7 - 33*c_0101_5^6 - 7/3*c_0101_5^5 - 46*c_0101_5^4 - 29/3*c_0101_5^3 - 7/3*c_0101_5^2 - 4*c_0101_5 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB