Magma V2.19-8 Tue Aug 20 2013 23:29:37 on localhost [Seed = 3230049943] Type ? for help. Type -D to quit. Loading file "K10a110__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a110 geometric_solution 8.29409968 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 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 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.541666291891 0.395579663563 0 4 5 2 0132 1302 0132 3120 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 -4 4 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.755525117739 0.504806390760 1 0 7 6 3120 0132 0132 0132 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 0 -1 0 1 -4 0 0 4 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.639860198291 0.661460480633 8 7 4 0 0132 0132 0213 0132 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 0 0 0 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.639860198291 0.661460480633 5 3 0 1 2310 0213 0132 2031 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 1 -1 0 0 0 0 4 -3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.755525117739 0.504806390760 5 5 4 1 1302 2031 3201 0132 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 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.889323689293 0.635858466738 8 7 2 8 2103 0213 0132 2031 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 0 0 0 0 0 0 -1 1 3 0 -4 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.425357583843 0.593815634650 8 3 6 2 3120 0132 0213 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 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.022403101508 0.682463302095 3 6 6 7 0132 1302 2103 3120 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 0 0 0 0 0 -1 0 1 3 0 -3 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.425357583843 0.593815634650 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_8' : d['c_0011_6'], 's_2_8' : d['1'], 's_2_0' : negation(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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_8' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_8' : d['c_0011_3'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : d['1'], 's_1_8' : d['1'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_0'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : d['c_0011_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 12216469528256/613379754573*c_1001_2^17 - 70688452759036/613379754573*c_1001_2^16 + 43636108745540/204459918191*c_1001_2^15 - 6369430619411/613379754573*c_1001_2^14 - 222221406690707/613379754573*c_1001_2^13 - 46816217945/5428139421*c_1001_2^12 + 261982246490389/204459918191*c_1001_2^11 - 1099861048874591/613379754573*c_1001_2^10 + 144399372598858/613379754573*c_1001_2^9 + 362804986115930/204459918191*c_1001_2^8 - 778960886219528/613379754573*c_1001_2^7 - 1045948377769114/613379754573*c_1001_2^6 + 762134020193457/204459918191*c_1001_2^5 - 1511170815998681/613379754573*c_1001_2^4 - 46280359265830/204459918191*c_1001_2^3 + 845654151584477/613379754573*c_1001_2^2 - 502656120927395/613379754573*c_1001_2 + 31392907681385/204459918191, c_0011_0 - 1, c_0011_3 + 58443040/1809379807*c_1001_2^17 - 219913718/1809379807*c_1001_2^16 + 174133733/1809379807*c_1001_2^15 + 151431591/1809379807*c_1001_2^14 + 110532669/1809379807*c_1001_2^13 - 682252729/1809379807*c_1001_2^12 + 752957261/1809379807*c_1001_2^11 - 1200197123/1809379807*c_1001_2^10 + 2058670053/1809379807*c_1001_2^9 - 656395075/1809379807*c_1001_2^8 - 2228659696/1809379807*c_1001_2^7 + 1070699144/1809379807*c_1001_2^6 + 3800536296/1809379807*c_1001_2^5 - 5751822614/1809379807*c_1001_2^4 + 3761033023/1809379807*c_1001_2^3 + 1895950679/1809379807*c_1001_2^2 - 3123550325/1809379807*c_1001_2 + 1824826739/1809379807, c_0011_4 - 1210454279/1809379807*c_1001_2^17 + 6329955701/1809379807*c_1001_2^16 - 9523588336/1809379807*c_1001_2^15 - 4082353641/1809379807*c_1001_2^14 + 18386496433/1809379807*c_1001_2^13 + 10839008129/1809379807*c_1001_2^12 - 68653013287/1809379807*c_1001_2^11 + 70336219548/1809379807*c_1001_2^10 + 15296665763/1809379807*c_1001_2^9 - 88496463990/1809379807*c_1001_2^8 + 30778084253/1809379807*c_1001_2^7 + 106613243959/1809379807*c_1001_2^6 - 161828534208/1809379807*c_1001_2^5 + 75292675115/1809379807*c_1001_2^4 + 33152927409/1809379807*c_1001_2^3 - 57087721813/1809379807*c_1001_2^2 + 25490306410/1809379807*c_1001_2 - 3346803784/1809379807, c_0011_5 - 2591655480/1809379807*c_1001_2^17 + 14894000064/1809379807*c_1001_2^16 - 26250789853/1809379807*c_1001_2^15 - 3621836659/1809379807*c_1001_2^14 + 50052702325/1809379807*c_1001_2^13 + 10577325748/1809379807*c_1001_2^12 - 173535186810/1809379807*c_1001_2^11 + 207509607420/1809379807*c_1001_2^10 + 13742575297/1809379807*c_1001_2^9 - 240267036422/1809379807*c_1001_2^8 + 122372618546/1809379807*c_1001_2^7 + 259398838929/1809379807*c_1001_2^6 - 449235800711/1809379807*c_1001_2^5 + 236448106786/1809379807*c_1001_2^4 + 82654683113/1809379807*c_1001_2^3 - 167032773275/1809379807*c_1001_2^2 + 76288130664/1809379807*c_1001_2 - 7911858034/1809379807, c_0011_6 - 87748414/1809379807*c_1001_2^17 + 341507581/1809379807*c_1001_2^16 - 118076444/1809379807*c_1001_2^15 - 1138868735/1809379807*c_1001_2^14 + 1153170743/1809379807*c_1001_2^13 + 2132824173/1809379807*c_1001_2^12 - 4489715735/1809379807*c_1001_2^11 - 461276257/1809379807*c_1001_2^10 + 8490057975/1809379807*c_1001_2^9 - 6856389956/1809379807*c_1001_2^8 - 5405540413/1809379807*c_1001_2^7 + 12736260104/1809379807*c_1001_2^6 - 4549732810/1809379807*c_1001_2^5 - 11592598524/1809379807*c_1001_2^4 + 13562361853/1809379807*c_1001_2^3 - 1538811472/1809379807*c_1001_2^2 - 6748806882/1809379807*c_1001_2 + 2817956373/1809379807, c_0101_0 - c_1001_2, c_0101_1 - 1866387095/1809379807*c_1001_2^17 + 11179031608/1809379807*c_1001_2^16 - 20920391435/1809379807*c_1001_2^15 - 679449956/1809379807*c_1001_2^14 + 39330444101/1809379807*c_1001_2^13 + 3169772039/1809379807*c_1001_2^12 - 133267231267/1809379807*c_1001_2^11 + 169603425685/1809379807*c_1001_2^10 + 503656101/1809379807*c_1001_2^9 - 189006216724/1809379807*c_1001_2^\ 8 + 108761039582/1809379807*c_1001_2^7 + 196441783088/1809379807*c_1001_2^6 - 360778548062/1809379807*c_1001_2^5 + 199413845908/1809379807*c_1001_2^4 + 60494315134/1809379807*c_1001_2^3 - 133707264469/1809379807*c_1001_2^2 + 61636591536/1809379807*c_1001_2 - 5938459264/1809379807, c_1001_0 + 1210454279/1809379807*c_1001_2^17 - 6329955701/1809379807*c_1001_2^16 + 9523588336/1809379807*c_1001_2^15 + 4082353641/1809379807*c_1001_2^14 - 18386496433/1809379807*c_1001_2^13 - 10839008129/1809379807*c_1001_2^12 + 68653013287/1809379807*c_1001_2^11 - 70336219548/1809379807*c_1001_2^10 - 15296665763/1809379807*c_1001_2^9 + 88496463990/1809379807*c_1001_2^8 - 30778084253/1809379807*c_1001_2^7 - 106613243959/1809379807*c_1001_2^6 + 161828534208/1809379807*c_1001_2^5 - 75292675115/1809379807*c_1001_2^4 - 33152927409/1809379807*c_1001_2^3 + 57087721813/1809379807*c_1001_2^2 - 25490306410/1809379807*c_1001_2 + 3346803784/1809379807, c_1001_2^18 - 6*c_1001_2^17 + 12*c_1001_2^16 - 3*c_1001_2^15 - 18*c_1001_2^14 + 4*c_1001_2^13 + 64*c_1001_2^12 - 105*c_1001_2^11 + 33*c_1001_2^10 + 87*c_1001_2^9 - 86*c_1001_2^8 - 70*c_1001_2^7 + 208*c_1001_2^6 - 168*c_1001_2^5 + 16*c_1001_2^4 + 75*c_1001_2^3 - 59*c_1001_2^2 + 17*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB