Magma V2.19-8 Tue Aug 20 2013 16:14:06 on localhost [Seed = 3280101372] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s054 geometric_solution 3.59376420 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 -1 2 -1 0 0 1 1 -2 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 1 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.747504757937 0.192051266008 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 0 1 0 0 -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 -1 1 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 2.725877086413 1.131675407298 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 -1 0 1 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 -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.761491006334 1.011740203671 2 4 4 5 0132 2310 3201 0132 0 0 0 0 0 1 -1 0 1 0 -1 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 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.199297919987 0.414221830709 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 1 -1 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 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 -0.199297919987 0.414221830709 4 5 3 5 1023 2310 0132 3201 0 0 0 0 0 -1 0 1 -1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.943201605125 1.960355108714 ==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' : 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' : d['1'], 's_2_5' : d['1'], 's_1_5' : negation(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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), '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_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 19307964795149/1736584892608*c_0101_3^14 + 164257144459873/1736584892608*c_0101_3^13 + 75785741692765/1736584892608*c_0101_3^12 + 1601374397819149/1736584892608*c_0101_3^11 - 119420523351801/868292446304*c_0101_3^10 + 5563264606113905/1736584892608*c_0101_3^9 - 96181377552637/1736584892608*c_0101_3^8 + 8423391415531087/1736584892608*c_0101_3^7 + 1160628038237341/868292446304*c_0101_3^6 + 3017670620903391/868292446304*c_0101_3^5 + 456079266468843/217073111576*c_0101_3^4 + 1947953741431991/1736584892608*c_0101_3^3 + 53891694587921/54268277894*c_0101_3^2 + 169655546843737/1736584892608*c_0101_3 + 285805265506639/1736584892608, c_0011_0 - 1, c_0011_2 - 368647681/5294466136*c_0101_3^14 - 997871143/2647233068*c_0101_3^13 + 7479065701/5294466136*c_0101_3^12 - 4094763905/661808267*c_0101_3^11 + 47907403913/2647233068*c_0101_3^10 - 182462803331/5294466136*c_0101_3^9 + 170304964883/2647233068*c_0101_3^8 - 371776750497/5294466136*c_0101_3^7 + 476915713257/5294466136*c_0101_3^6 - 287141302173/5294466136*c_0101_3^5 + 279715022415/5294466136*c_0101_3^4 - 15734454679/1323616534*c_0101_3^3 + 7504941710/661808267*c_0101_3^2 + 405824119/5294466136*c_0101_3 + 20671363/661808267, c_0011_4 + 1360497229/10588932272*c_0101_3^14 + 10407078205/10588932272*c_0101_3^13 - 4152542143/10588932272*c_0101_3^12 + 111427543733/10588932272*c_0101_3^11 - 57713787341/5294466136*c_0101_3^10 + 448960248897/10588932272*c_0101_3^9 - 389626763833/10588932272*c_0101_3^8 + 801356837867/10588932272*c_0101_3^7 - 260613664871/5294466136*c_0101_3^6 + 334637867413/5294466136*c_0101_3^5 - 19554353443/661808267*c_0101_3^4 + 219935721659/10588932272*c_0101_3^3 - 19203269667/2647233068*c_0101_3^2 + 12540642733/10588932272*c_0101_3 - 1493268977/10588932272, c_0101_0 + 806943307/21177864544*c_0101_3^14 + 11326012261/21177864544*c_0101_3^13 + 39663809139/21177864544*c_0101_3^12 + 71389608385/21177864544*c_0101_3^11 + 173864301645/10588932272*c_0101_3^10 + 46999253795/21177864544*c_0101_3^9 + 1249146331791/21177864544*c_0101_3^8 - 149279601311/21177864544*c_0101_3^7 + 243889074337/2647233068*c_0101_3^6 - 18295763729/5294466136*c_0101_3^5 + 678078640073/10588932272*c_0101_3^4 + 109405166231/21177864544*c_0101_3^3 + 89715420985/5294466136*c_0101_3^2 + 29343339291/21177864544*c_0101_3 + 21413377523/21177864544, c_0101_1 - 75633176/661808267*c_0101_3^14 - 5674485393/5294466136*c_0101_3^13 - 3388939555/2647233068*c_0101_3^12 - 51721152299/5294466136*c_0101_3^11 - 4643787415/661808267*c_0101_3^10 - 80243343423/2647233068*c_0101_3^9 - 158861174667/5294466136*c_0101_3^8 - 112755089497/2647233068*c_0101_3^7 - 322779735209/5294466136*c_0101_3^6 - 185868198599/5294466136*c_0101_3^5 - 284111107469/5294466136*c_0101_3^4 - 92490886129/5294466136*c_0101_3^3 - 24314057489/1323616534*c_0101_3^2 - 1644245960/661808267*c_0101_3 - 7318016697/5294466136, c_0101_3^15 + 8*c_0101_3^14 + 84*c_0101_3^12 - 55*c_0101_3^11 + 327*c_0101_3^10 - 178*c_0101_3^9 + 568*c_0101_3^8 - 189*c_0101_3^7 + 476*c_0101_3^6 - 70*c_0101_3^5 + 187*c_0101_3^4 - 7*c_0101_3^3 + 29*c_0101_3^2 + 2*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB