Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 728414204] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1551 geometric_solution 5.34216764 oriented_manifold CS_known -0.0000000000000001 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.659508263936 0.195376143244 0 2 2 0 3201 0132 1023 0132 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 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.401903979784 0.598913098506 3 1 1 4 0132 0132 1023 0132 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 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.211567382781 0.445032546280 2 4 6 5 0132 2310 0132 0132 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 -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.019120183419 1.029632689031 6 5 2 3 1023 2310 0132 3201 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 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.019120183419 1.029632689031 5 5 3 4 1230 3012 0132 3201 0 0 0 0 0 0 0 0 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 -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.988664368044 1.049063440374 6 4 6 3 2031 1023 1302 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476296097316 0.494064291515 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['1']), 's_0_0' : negation(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_4']), '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : 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_5'], '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' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), '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_5, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1528187132129/318832229*c_0101_3^12 + 961063273762/318832229*c_0101_3^11 + 5754627617117/318832229*c_0101_3^10 + 31483894366700/318832229*c_0101_3^9 + 34156329641256/318832229*c_0101_3^8 - 75360469092331/318832229*c_0101_3^7 - 12289929734602/18754837*c_0101_3^6 - 194403773696511/318832229*c_0101_3^5 - 74376661352626/318832229*c_0101_3^4 + 88875099677642/318832229*c_0101_3^3 + 87782284515524/318832229*c_0101_3^2 + 29986667722269/318832229*c_0101_3 + 4092232570423/318832229, c_0011_0 - 1, c_0011_1 + 9872365338/318832229*c_0101_3^12 + 6285426256/318832229*c_0101_3^11 + 37208733007/318832229*c_0101_3^10 + 203671526575/318832229*c_0101_3^9 + 222175990234/318832229*c_0101_3^8 - 485435965731/318832229*c_0101_3^7 - 79638859374/18754837*c_0101_3^6 - 1265657005336/318832229*c_0101_3^5 - 488074891722/318832229*c_0101_3^4 + 572482483736/318832229*c_0101_3^3 + 572055679971/318832229*c_0101_3^2 + 197040730047/318832229*c_0101_3 + 26980151178/318832229, c_0011_4 - 3984748742/318832229*c_0011_5*c_0101_3^12 - 2458124150/318832229*c_0011_5*c_0101_3^11 - 15011602368/318832229*c_0011_5*c_0101_3^10 - 81918973938/318832229*c_0011_5*c_0101_3^9 - 88208064188/318832229*c_0011_5*c_0101_3^8 + 196880515782/318832229*c_0011_5*c_0101_3^7 + 31880240023/18754837*c_0011_5*c_0101_3^6 + 502444403220/318832229*c_0011_5*c_0101_3^5 + 191777952805/318832229*c_0011_5*c_0101_3^4 - 231658822397/318832229*c_0011_5*c_0101_3^3 - 225585391350/318832229*c_0011_5*c_0101_3^2 - 77568575719/318832229*c_0011_5*c_0101_3 - 10643446927/318832229*c_0011_5, c_0011_5^2 - 5651695507/1219064405*c_0101_3^12 - 3612886301/1219064405*c_0101_3^11 - 4266729217/243812881*c_0101_3^10 - 8973373713/93774185*c_0101_3^9 - 127577436518/1219064405*c_0101_3^8 + 21320358362/93774185*c_0101_3^7 + 775423539797/1219064405*c_0101_3^6 + 145604015891/243812881*c_0101_3^5 + 283860496197/1219064405*c_0101_3^4 - 326701434521/1219064405*c_0101_3^3 - 5067521403/18754837*c_0101_3^2 - 114763202287/1219064405*c_0101_3 - 16138437504/1219064405, c_0101_0 + 9465818924/318832229*c_0101_3^12 + 5801319986/318832229*c_0101_3^11 + 35614572262/318832229*c_0101_3^10 + 194469312472/318832229*c_0101_3^9 + 208682315736/318832229*c_0101_3^8 - 468907597237/318832229*c_0101_3^7 - 75619003971/18754837*c_0101_3^6 - 1186959356677/318832229*c_0101_3^5 - 449374068414/318832229*c_0101_3^4 + 551786633984/318832229*c_0101_3^3 + 533538759135/318832229*c_0101_3^2 + 181144706470/318832229*c_0101_3 + 24808299958/318832229, c_0101_2 + 6017145279/318832229*c_0101_3^12 + 3764334887/318832229*c_0101_3^11 + 22662223246/318832229*c_0101_3^10 + 123898766772/318832229*c_0101_3^9 + 134139353051/318832229*c_0101_3^8 - 296848546992/318832229*c_0101_3^7 - 48315826194/18754837*c_0101_3^6 - 763608997769/318832229*c_0101_3^5 - 292481707464/318832229*c_0101_3^4 + 349274820085/318832229*c_0101_3^3 + 344170658752/318832229*c_0101_3^2 + 117951398723/318832229*c_0101_3 + 16262782546/318832229, c_0101_3^13 + c_0101_3^12 + 4*c_0101_3^11 + 22*c_0101_3^10 + 30*c_0101_3^9 - 41*c_0101_3^8 - 155*c_0101_3^7 - 178*c_0101_3^6 - 96*c_0101_3^5 + 40*c_0101_3^4 + 79*c_0101_3^3 + 41*c_0101_3^2 + 10*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB