Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 3246415128] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1825 geometric_solution 5.48315006 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 1 -1 0 0 1 0 -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 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.242232988601 0.959959601055 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.752873727445 0.979351488754 4 3 0 1 3201 0132 0132 3012 0 0 0 0 0 1 -2 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 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.752873727445 0.979351488754 1 2 5 5 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.116891651243 0.417727165322 4 1 4 2 2031 0132 1302 2310 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.752873727445 0.979351488754 3 6 6 3 3201 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.515886891712 0.538856530618 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.009908462945 0.320643884419 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0011_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0110_2']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_5, c_0101_1, c_0101_2, c_0101_6, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 104274*c_0110_2^11 - 633351/2*c_0110_2^10 - 770725/8*c_0110_2^9 + 424904*c_0110_2^8 + 13502197/64*c_0110_2^7 - 123881045/512*c_0110_2^6 - 191450009/2048*c_0110_2^5 + 139945485/2048*c_0110_2^4 + 12179835/1024*c_0110_2^3 - 7596565/1024*c_0110_2^2 - 393773/2048*c_0110_2 + 287905/2048, c_0011_0 - 1, c_0011_1 - 1, c_0011_5 + 4*c_0110_2^11 + 15*c_0110_2^10 + 61/4*c_0110_2^9 - 2*c_0110_2^8 - 173/32*c_0110_2^7 + 1549/256*c_0110_2^6 + 7121/1024*c_0110_2^5 + 3475/1024*c_0110_2^4 + 1885/512*c_0110_2^3 + 2085/512*c_0110_2^2 + 5/1024*c_0110_2 - 1025/1024, c_0101_1 - 24040*c_0110_2^11 - 78790*c_0110_2^10 - 86265/2*c_0110_2^9 + 80570*c_0110_2^8 + 999641/16*c_0110_2^7 - 4590713/128*c_0110_2^6 - 12227165/512*c_0110_2^5 + 4562325/512*c_0110_2^4 + 720755/256*c_0110_2^3 - 228121/256*c_0110_2^2 - 23513/512*c_0110_2 + 6065/512, c_0101_2 + 12240*c_0110_2^11 + 39340*c_0110_2^10 + 19345*c_0110_2^9 - 42770*c_0110_2^8 - 237641/8*c_0110_2^7 + 1300201/64*c_0110_2^6 + 2936453/256*c_0110_2^5 - 1330875/256*c_0110_2^4 - 166455/128*c_0110_2^3 + 66031/128*c_0110_2^2 + 3561/256*c_0110_2 - 1703/256, c_0101_6 - 160*c_0110_2^11 - 584*c_0110_2^10 - 534*c_0110_2^9 + 217*c_0110_2^8 + 1381/4*c_0110_2^7 - 4309/32*c_0110_2^6 - 18763/128*c_0110_2^5 + 6055/256*c_0110_2^4 + 1645/64*c_0110_2^3 + 1127/128*c_0110_2^2 - 27/128*c_0110_2 - 245/256, c_0110_2^12 + 11/4*c_0110_2^11 + 1/16*c_0110_2^10 - 69/16*c_0110_2^9 - 109/128*c_0110_2^8 + 2933/1024*c_0110_2^7 + 925/4096*c_0110_2^6 - 1823/2048*c_0110_2^5 + 295/4096*c_0110_2^4 + 25/256*c_0110_2^3 - 69/4096*c_0110_2^2 - 3/2048*c_0110_2 + 1/4096 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_1, c_0101_2, c_0101_6, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 127877971/4*c_0110_2^25 - 301401387/2*c_0110_2^24 + 336958223/4*c_0110_2^23 + 1903106111/4*c_0110_2^22 - 3284890721/2*c_0110_2^21 + 532027211/2*c_0110_2^20 + 5049528765*c_0110_2^19 - 20859288223/2*c_0110_2^18 + 27631126165/4*c_0110_2^17 + 39680128953/4*c_0110_2^16 - 125127466845/4*c_0110_2^15 + 44290366035*c_0110_2^14 - 82918495745/2*c_0110_2^13 + 27942388013*c_0110_2^12 - 26336901529/2*c_0110_2^11 + 9829958517/4*c_0110_2^10 + 12263666161/4*c_0110_2^9 - 12182483327/2*c_0110_2^8 + 31453400755/4*c_0110_2^7 - 35343282305/4*c_0110_2^6 + 36530077103/4*c_0110_2^5 - 32101843463/4*c_0110_2^4 + 23626305243/4*c_0110_2^3 - 3359308946*c_0110_2^2 + 2363712017/2*c_0110_2 - 716257379/4, c_0011_0 - 1, c_0011_1 - c_0110_2 + 1, c_0011_5 - 28*c_0110_2^25 - 139*c_0110_2^24 + 34*c_0110_2^23 + 397*c_0110_2^22 - 1353*c_0110_2^21 - 45*c_0110_2^20 + 4214*c_0110_2^19 - 8227*c_0110_2^18 + 4635*c_0110_2^17 + 8844*c_0110_2^16 - 25071*c_0110_2^15 + 34166*c_0110_2^14 - 31041*c_0110_2^13 + 20446*c_0110_2^12 - 9275*c_0110_2^11 + 1436*c_0110_2^10 + 2536*c_0110_2^9 - 4805*c_0110_2^8 + 6061*c_0110_2^7 - 6807*c_0110_2^6 + 6957*c_0110_2^5 - 6026*c_0110_2^4 + 4378*c_0110_2^3 - 2411*c_0110_2^2 + 809*c_0110_2 - 115, c_0101_1 - 1541535*c_0110_2^25 - 7312901*c_0110_2^24 + 3808394*c_0110_2^23 + 22869306*c_0110_2^22 - 78563464*c_0110_2^21 + 10934543*c_0110_2^20 + 242419363*c_0110_2^19 - 496411233*c_0110_2^18 + 322961848*c_0110_2^17 + 480581376*c_0110_2^16 - 1492297549*c_0110_2^15 + 2102665559*c_0110_2^14 - 1960252938*c_0110_2^13 + 1317099676*c_0110_2^12 - 617686334*c_0110_2^11 + 112669360*c_0110_2^10 + 146929318*c_0110_2^9 - 289968717*c_0110_2^8 + 373212295*c_0110_2^7 - 419227356*c_0110_2^6 + 432797455*c_0110_2^5 - 379550487*c_0110_2^4 + 278879959*c_0110_2^3 - 157972187*c_0110_2^2 + 55195750*c_0110_2 - 8295852, c_0101_2 + 1437607/2*c_0110_2^25 + 3407642*c_0110_2^24 - 1788335*c_0110_2^23 - 21333857/2*c_0110_2^22 + 36665210*c_0110_2^21 - 10386443/2*c_0110_2^20 - 113088460*c_0110_2^19 + 463594361/2*c_0110_2^18 - 302207221/2*c_0110_2^17 - 223969652*c_0110_2^16 + 696645500*c_0110_2^15 - 982109819*c_0110_2^14 + 916009017*c_0110_2^13 - 615685379*c_0110_2^12 + 288899640*c_0110_2^11 - 105672881/2*c_0110_2^10 - 137111045/2*c_0110_2^9 + 270795163/2*c_0110_2^8 - 174324555*c_0110_2^7 + 195826328*c_0110_2^6 - 404380931/2*c_0110_2^5 + 354712549/2*c_0110_2^4 - 130339251*c_0110_2^3 + 147728687/2*c_0110_2^2 - 25828907*c_0110_2 + 3885793, c_0101_6 - 2833*c_0110_2^25 - 13869*c_0110_2^24 + 4586*c_0110_2^23 + 40982*c_0110_2^22 - 138916*c_0110_2^21 + 2996*c_0110_2^20 + 433606*c_0110_2^19 - 855109*c_0110_2^18 + 505293*c_0110_2^17 + 895945*c_0110_2^16 - 2597287*c_0110_2^15 + 3575522*c_0110_2^14 - 3269389*c_0110_2^13 + 2166165*c_0110_2^12 - 991075*c_0110_2^11 + 161253*c_0110_2^10 + 261215*c_0110_2^9 - 499663*c_0110_2^8 + 634167*c_0110_2^7 - 711752*c_0110_2^6 + 729977*c_0110_2^5 - 634224*c_0110_2^4 + 462221*c_0110_2^3 - 256679*c_0110_2^2 + 86902*c_0110_2 - 12613, c_0110_2^26 + 4*c_0110_2^25 - 6*c_0110_2^24 - 13*c_0110_2^23 + 62*c_0110_2^22 - 45*c_0110_2^21 - 152*c_0110_2^20 + 439*c_0110_2^19 - 449*c_0110_2^18 - 156*c_0110_2^17 + 1200*c_0110_2^16 - 2084*c_0110_2^15 + 2286*c_0110_2^14 - 1800*c_0110_2^13 + 1036*c_0110_2^12 - 371*c_0110_2^11 - 41*c_0110_2^10 + 259*c_0110_2^9 - 382*c_0110_2^8 + 452*c_0110_2^7 - 483*c_0110_2^6 + 455*c_0110_2^5 - 364*c_0110_2^4 + 237*c_0110_2^3 - 112*c_0110_2^2 + 32*c_0110_2 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.280 seconds, Total memory usage: 32.09MB