Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 1157945739] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0320 geometric_solution 4.35345050 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 0 0 0 0 0 1 0 -1 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 -1 1 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.575044214132 0.655439445632 2 3 2 0 1023 0132 1230 0132 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 -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 0 0 0 0.178513659156 1.181989486067 3 1 0 1 3201 1023 0132 3012 0 0 0 0 0 0 1 -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 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.178513659156 1.181989486067 4 1 4 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 1 0 0 -1 -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.142483094420 1.590119572735 3 3 5 5 0132 3201 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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.243724777151 0.126428812647 4 6 4 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 0 0 0 0 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.220202102888 0.908809541423 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 -1 0 0 1 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.324482534117 0.023276253810 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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_0101_2']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), '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_1'], 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : 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_2'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), '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' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0011_0']), '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_2, c_0101_3, c_0110_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 7341489527/218300717*c_0110_6^14 - 20422693063/654902151*c_0110_6^13 + 264061930517/654902151*c_0110_6^12 + 65883747010/654902151*c_0110_6^11 - 1263815592502/654902151*c_0110_6^10 + 46326618139/654902151*c_0110_6^9 + 2708863390708/654902151*c_0110_6^8 + 29802059389/218300717*c_0110_6^7 - 863241107253/218300717*c_0110_6^6 - 1431000037997/654902151*c_0110_6^5 + 1144627166293/654902151*c_0110_6^4 + 625695922107/218300717*c_0110_6^3 - 394468799699/654902151*c_0110_6^2 - 107199667490/218300717*c_0110_6 - 120938566273/654902151, c_0011_0 - 1, c_0011_1 + 106561553/218300717*c_0110_6^14 + 114174073/218300717*c_0110_6^13 - 1233932908/218300717*c_0110_6^12 - 430750425/218300717*c_0110_6^11 + 5801208605/218300717*c_0110_6^10 + 139239588/218300717*c_0110_6^9 - 11972457433/218300717*c_0110_6^8 - 583843833/218300717*c_0110_6^7 + 10402698282/218300717*c_0110_6^6 + 5733345728/218300717*c_0110_6^5 - 4045747642/218300717*c_0110_6^4 - 7358066060/218300717*c_0110_6^3 + 2297396225/218300717*c_0110_6^2 + 892024270/218300717*c_0110_6 + 195727776/218300717, c_0011_5 + 74369181/218300717*c_0110_6^14 + 69637016/218300717*c_0110_6^13 - 909083961/218300717*c_0110_6^12 - 225306078/218300717*c_0110_6^11 + 4477154337/218300717*c_0110_6^10 - 302779361/218300717*c_0110_6^9 - 9942341311/218300717*c_0110_6^8 + 482124841/218300717*c_0110_6^7 + 9827012539/218300717*c_0110_6^6 + 4094690689/218300717*c_0110_6^5 - 4758517561/218300717*c_0110_6^4 - 6639814514/218300717*c_0110_6^3 + 2343550238/218300717*c_0110_6^2 + 992323292/218300717*c_0110_6 + 228813389/218300717, c_0101_2 - 50521943/218300717*c_0110_6^14 + 21908805/218300717*c_0110_6^13 + 699524437/218300717*c_0110_6^12 - 576185902/218300717*c_0110_6^11 - 3381680815/218300717*c_0110_6^10 + 3243584579/218300717*c_0110_6^9 + 7439080935/218300717*c_0110_6^8 - 5401172759/218300717*c_0110_6^7 - 9127535981/218300717*c_0110_6^6 + 86373913/218300717*c_0110_6^5 + 7813111987/218300717*c_0110_6^4 + 4828610415/218300717*c_0110_6^3 - 3614673016/218300717*c_0110_6^2 - 1470963866/218300717*c_0110_6 - 289644214/218300717, c_0101_3 + 33407314/218300717*c_0110_6^14 + 41310261/218300717*c_0110_6^13 - 357453883/218300717*c_0110_6^12 - 207244768/218300717*c_0110_6^11 + 1528325498/218300717*c_0110_6^10 + 607436148/218300717*c_0110_6^9 - 2790189886/218300717*c_0110_6^8 - 1960423234/218300717*c_0110_6^7 + 2139155754/218300717*c_0110_6^6 + 3200213746/218300717*c_0110_6^5 - 151870575/218300717*c_0110_6^4 - 1531330309/218300717*c_0110_6^3 - 714770148/218300717*c_0110_6^2 + 303394113/218300717*c_0110_6 - 7246479/218300717, c_0110_2 - 21485690/218300717*c_0110_6^14 - 56694927/218300717*c_0110_6^13 + 212640704/218300717*c_0110_6^12 + 458666102/218300717*c_0110_6^11 - 1045066669/218300717*c_0110_6^10 - 1678482930/218300717*c_0110_6^9 + 2335039612/218300717*c_0110_6^8 + 3223746400/218300717*c_0110_6^7 - 1626408805/218300717*c_0110_6^6 - 3602506390/218300717*c_0110_6^5 - 1058604864/218300717*c_0110_6^4 + 2276471050/218300717*c_0110_6^3 + 1055903923/218300717*c_0110_6^2 - 489915134/218300717*c_0110_6 + 2514314/218300717, c_0110_6^15 + c_0110_6^14 - 12*c_0110_6^13 - 4*c_0110_6^12 + 58*c_0110_6^11 + 3*c_0110_6^10 - 127*c_0110_6^9 - 16*c_0110_6^8 + 125*c_0110_6^7 + 80*c_0110_6^6 - 52*c_0110_6^5 - 98*c_0110_6^4 + 9*c_0110_6^3 + 21*c_0110_6^2 + 9*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB