Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 1865348024] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1558 geometric_solution 5.34426289 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 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.656985145796 0.189951649312 0 2 2 0 3201 0132 1023 0132 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 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.413400845222 0.583622513772 3 1 1 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 -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.203520242737 0.461933509719 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 -1 0 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 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.033768781416 1.002588970740 6 5 2 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 -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 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.033768781416 1.002588970740 5 4 3 5 3012 0132 0132 1230 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.962050360660 1.030275265403 6 6 4 3 1302 2031 3201 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485293832008 0.481705674938 ==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_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 3*c_0101_3 + 5, c_0011_0 - 1, c_0011_1 + c_0101_3, c_0011_4 + c_0101_3, c_0011_6 - 1, c_0101_0 + c_0101_3, c_0101_2 - 1, c_0101_3^2 - c_0101_3 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 3*c_0101_3 + 5, c_0011_0 - 1, c_0011_1 + c_0101_3, c_0011_4 - c_0101_3, c_0011_6 + 1, c_0101_0 + c_0101_3, c_0101_2 - 1, c_0101_3^2 - c_0101_3 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 131309262445720659045/38836919530909942894*c_0101_3^14 + 1733727586239603558187/135929218358184800129*c_0101_3^13 + 5437861396302896874984/135929218358184800129*c_0101_3^12 + 2940636166127530499845/19418459765454971447*c_0101_3^11 - 15851110524964599771128/135929218358184800129*c_0101_3^10 + 67719313101555984534158/135929218358184800129*c_0101_3^9 - 88616029382282566173416/135929218358184800129*c_0101_3^8 + 219726236455538929793286/135929218358184800129*c_0101_3^7 - 319605539971351503111523/271858436716369600258*c_0101_3^6 - 27917701536742403845279/271858436716369600258*c_0101_3^5 + 98054671963073143429820/135929218358184800129*c_0101_3^4 - 90886135485486858531281/135929218358184800129*c_0101_3^3 + 3773746486782378022531/38836919530909942894*c_0101_3^2 - 13160644810881676412795/271858436716369600258*c_0101_3 - 1128934071376770994542/135929218358184800129, c_0011_0 - 1, c_0011_1 + 492968752757510/5339142085635131*c_0101_3^14 + 3611036145300961/10678284171270262*c_0101_3^13 + 5534020231637604/5339142085635131*c_0101_3^12 + 21093652622221900/5339142085635131*c_0101_3^11 - 20466779740085700/5339142085635131*c_0101_3^10 + 70591078175933599/5339142085635131*c_0101_3^9 - 98621558278235884/5339142085635131*c_0101_3^8 + 234105493584777242/5339142085635131*c_0101_3^7 - 176418945892502928/5339142085635131*c_0101_3^6 - 77070228657326789/10678284171270262*c_0101_3^5 + 285110707502266887/10678284171270262*c_0101_3^4 - 98321346604531412/5339142085635131*c_0101_3^3 + 5172497996141214/5339142085635131*c_0101_3^2 + 19774667128421781/10678284171270262*c_0101_3 - 8195510801220621/10678284171270262, c_0011_4 + 1898800832431312911/38836919530909942894*c_0011_6*c_0101_3^1\ 4 + 5794472380308210987/38836919530909942894*c_0011_6*c_0101_3^13 + 8570749494210039143/19418459765454971447*c_0011_6*c_0101_3^12 + 34524711167311923249/19418459765454971447*c_0011_6*c_0101_3^11 - 62707266695468481562/19418459765454971447*c_0011_6*c_0101_3^10 + 165136615622320782176/19418459765454971447*c_0011_6*c_0101_3^9 - 261455628820949809467/19418459765454971447*c_0011_6*c_0101_3^8 + 565400790493803693994/19418459765454971447*c_0011_6*c_0101_3^7 - 1171008330937247166011/38836919530909942894*c_0011_6*c_0101_3^6 + 105004884701844728003/19418459765454971447*c_0011_6*c_0101_3^5 + 859566538975561486153/38836919530909942894*c_0011_6*c_0101_3^4 - 425886172075745168836/19418459765454971447*c_0011_6*c_0101_3^3 + 244768366655329664565/38836919530909942894*c_0011_6*c_0101_3^2 + 28121547094717395914/19418459765454971447*c_0011_6*c_0101_3 - 54272451690443166625/38836919530909942894*c_0011_6, c_0011_6^2 + 60648797595461651/38836919530909942894*c_0101_3^14 + 656626074087608271/38836919530909942894*c_0101_3^13 + 1216726228001845701/19418459765454971447*c_0101_3^12 + 4092837271656317687/19418459765454971447*c_0101_3^11 + 9123593182280911747/19418459765454971447*c_0101_3^10 - 770873868656009225/19418459765454971447*c_0101_3^9 + 23514679262594835644/19418459765454971447*c_0101_3^8 - 22827280312682581157/19418459765454971447*c_0101_3^7 + 166634265599250888853/38836919530909942894*c_0101_3^6 - 57755002419370152608/19418459765454971447*c_0101_3^5 - 7904579502388009079/38836919530909942894*c_0101_3^4 + 22650971831335287616/19418459765454971447*c_0101_3^3 - 77763438663204046123/38836919530909942894*c_0101_3^2 + 6791105220001572426/19418459765454971447*c_0101_3 - 9802399687227445631/38836919530909942894, c_0101_0 + 60520718689602531/38836919530909942894*c_0101_3^14 + 159851456722009158/19418459765454971447*c_0101_3^13 + 136627285604817708/19418459765454971447*c_0101_3^12 + 308070394161931434/19418459765454971447*c_0101_3^11 - 4090645034044899210/19418459765454971447*c_0101_3^10 - 16239242228154856259/19418459765454971447*c_0101_3^9 + 8904417049293635543/19418459765454971447*c_0101_3^8 - 52342063141487149191/19418459765454971447*c_0101_3^7 + 137861020621776023373/38836919530909942894*c_0101_3^6 - 384497166056010787387/38836919530909942894*c_0101_3^5 + 93962425888058999803/19418459765454971447*c_0101_3^4 + 36960796028513122351/19418459765454971447*c_0101_3^3 - 191002056322548504063/38836919530909942894*c_0101_3^2 + 98522264376418680259/38836919530909942894*c_0101_3 + 9432332221895043514/19418459765454971447, c_0101_2 - 718438635788720897/19418459765454971447*c_0101_3^14 - 4594766502850330299/38836919530909942894*c_0101_3^13 - 7036231824610754976/19418459765454971447*c_0101_3^12 - 27633749679495230621/19418459765454971447*c_0101_3^11 + 42221519173006522770/19418459765454971447*c_0101_3^10 - 124100232461625605944/19418459765454971447*c_0101_3^9 + 203146068730463497492/19418459765454971447*c_0101_3^8 - 436761142094622233033/19418459765454971447*c_0101_3^7 + 465830091643346156727/19418459765454971447*c_0101_3^6 - 336157012577015419567/38836919530909942894*c_0101_3^5 - 265227803968676612705/38836919530909942894*c_0101_3^4 + 224995372554593466627/19418459765454971447*c_0101_3^3 - 129023039016538832390/19418459765454971447*c_0101_3^2 + 68463608372599699259/38836919530909942894*c_0101_3 + 9552745021113897293/38836919530909942894, c_0101_3^15 + 3*c_0101_3^14 + 9*c_0101_3^13 + 36*c_0101_3^12 - 68*c_0101_3^11 + 178*c_0101_3^10 - 308*c_0101_3^9 + 636*c_0101_3^8 - 725*c_0101_3^7 + 264*c_0101_3^6 + 236*c_0101_3^5 - 397*c_0101_3^4 + 211*c_0101_3^3 - 40*c_0101_3^2 - 6*c_0101_3 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB