Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 3398129171] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1826 geometric_solution 5.48380937 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.207954789632 0.225250212755 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579356584032 2.171465846183 1 4 3 5 0132 0132 0213 0132 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 1 -1 -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.345699523117 0.504750542678 5 2 4 1 0132 0213 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345699523117 0.504750542678 3 2 4 4 2310 0132 1230 3012 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 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.076364354147 1.348586163143 3 6 2 6 0132 0132 0132 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 1 -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 1.247294803031 0.786947764867 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 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.530194863840 0.252504245229 ==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_0101_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 44205199310763/966363671887*c_0110_6^13 - 146664025530930/966363671887*c_0110_6^12 + 803645421302205/966363671887*c_0110_6^11 + 1917898800485459/966363671887*c_0110_6^10 - 4105009125977959/966363671887*c_0110_6^9 - 5756776527826975/966363671887*c_0110_6^8 + 4386588008809758/966363671887*c_0110_6^7 - 1163206465778174/966363671887*c_0110_6^6 - 4776992896118362/966363671887*c_0110_6^5 + 2438463475936427/966363671887*c_0110_6^4 + 868191504237067/966363671887*c_0110_6^3 + 60883239243545/966363671887*c_0110_6^2 - 66252353767561/966363671887*c_0110_6 - 29646622672257/966363671887, c_0011_0 - 1, c_0011_1 + 228852728924/966363671887*c_0110_6^13 + 971567684013/966363671887*c_0110_6^12 - 3408702652565/966363671887*c_0110_6^11 - 13623947432807/966363671887*c_0110_6^10 + 11205877838212/966363671887*c_0110_6^9 + 47346400896622/966363671887*c_0110_6^8 + 8964905551251/966363671887*c_0110_6^7 - 8326175196184/966363671887*c_0110_6^6 + 26698109102125/966363671887*c_0110_6^5 + 10475824429895/966363671887*c_0110_6^4 - 9468104537830/966363671887*c_0110_6^3 - 4374641650024/966363671887*c_0110_6^2 - 2150111020843/966363671887*c_0110_6 + 174554282785/966363671887, c_0011_3 - 232303614882/966363671887*c_0110_6^13 - 1005076788975/966363671887*c_0110_6^12 + 3366975955294/966363671887*c_0110_6^11 + 14053193006945/966363671887*c_0110_6^10 - 10071744691430/966363671887*c_0110_6^9 - 48226226450903/966363671887*c_0110_6^8 - 13463265795094/966363671887*c_0110_6^7 + 5630840613098/966363671887*c_0110_6^6 - 27479767834645/966363671887*c_0110_6^5 - 15366115181929/966363671887*c_0110_6^4 + 7840389818077/966363671887*c_0110_6^3 + 5465159613114/966363671887*c_0110_6^2 + 1027045763894/966363671887*c_0110_6 + 475163438196/966363671887, c_0101_1 - 63998948609/966363671887*c_0110_6^13 - 242551813288/966363671887*c_0110_6^12 + 1051125879504/966363671887*c_0110_6^11 + 3271908533478/966363671887*c_0110_6^10 - 4462151242581/966363671887*c_0110_6^9 - 10384210532513/966363671887*c_0110_6^8 + 1962335867178/966363671887*c_0110_6^7 - 1162236911294/966363671887*c_0110_6^6 - 8696832370249/966363671887*c_0110_6^5 - 738579180994/966363671887*c_0110_6^4 + 1972427676164/966363671887*c_0110_6^3 + 2640266739787/966363671887*c_0110_6^2 + 1646805752216/966363671887*c_0110_6 - 261738649314/966363671887, c_0101_3 - 71370554679/966363671887*c_0110_6^13 - 454592040721/966363671887*c_0110_6^12 + 484308354220/966363671887*c_0110_6^11 + 6712721564423/966363671887*c_0110_6^10 + 4315463508784/966363671887*c_0110_6^9 - 24869245878315/966363671887*c_0110_6^8 - 27680659420595/966363671887*c_0110_6^7 + 4861978190054/966363671887*c_0110_6^6 - 10508778786050/966363671887*c_0110_6^5 - 21227065430850/966363671887*c_0110_6^4 + 2503865551470/966363671887*c_0110_6^3 + 4898904150424/966363671887*c_0110_6^2 + 1236605480951/966363671887*c_0110_6 + 774307671478/966363671887, c_0101_4 + 67144590768/966363671887*c_0110_6^13 + 261981834955/966363671887*c_0110_6^12 - 1127252578917/966363671887*c_0110_6^11 - 3725697080866/966363671887*c_0110_6^10 + 5247432521446/966363671887*c_0110_6^9 + 13509191658445/966363671887*c_0110_6^8 - 5414843086341/966363671887*c_0110_6^7 - 4134504200008/966363671887*c_0110_6^6 + 12203083008040/966363671887*c_0110_6^5 - 3683608053399/966363671887*c_0110_6^4 - 4832501917561/966363671887*c_0110_6^3 + 1098070340108/966363671887*c_0110_6^2 - 1815744626454/966363671887*c_0110_6 + 12237289176/966363671887, c_0110_6^14 + 4*c_0110_6^13 - 16*c_0110_6^12 - 56*c_0110_6^11 + 65*c_0110_6^10 + 196*c_0110_6^9 - 21*c_0110_6^8 - 46*c_0110_6^7 + 143*c_0110_6^6 + 9*c_0110_6^5 - 65*c_0110_6^4 - 2*c_0110_6^3 - 2*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB