Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 1713896103] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0392 geometric_solution 4.45891504 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 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 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.857262411088 0.067100992662 0 3 0 3 0132 0132 1023 1023 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 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.789867941262 0.173465579590 2 0 2 0 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 1 -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 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.883802541448 0.041759865867 4 1 5 1 0132 0132 0132 1023 0 0 0 0 0 0 -1 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.858640348595 0.705781581534 3 6 5 5 0132 0132 3012 1230 0 0 0 0 0 0 0 0 0 0 1 -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 1.179597927867 1.227557617144 4 4 6 3 3012 1230 0132 0132 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 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 1.179597927867 1.227557617144 6 4 6 5 2310 0132 3201 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 1 -1 -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.224160246797 0.829168644795 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(d['c_0101_2'])})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 3300388/779*c_0101_5^25 + 16682442/779*c_0101_5^24 + 32192366/779*c_0101_5^23 - 190471090/779*c_0101_5^22 - 34717105/779*c_0101_5^21 + 938188575/779*c_0101_5^20 - 24196588/41*c_0101_5^19 - 2525766191/779*c_0101_5^18 + 2231249976/779*c_0101_5^17 + 4173146887/779*c_0101_5^16 - 4995742391/779*c_0101_5^15 - 4559202733/779*c_0101_5^14 + 6875249857/779*c_0101_5^13 + 3514260385/779*c_0101_5^12 - 6423910886/779*c_0101_5^11 - 2043189147/779*c_0101_5^10 + 223183106/41*c_0101_5^9 + 970302989/779*c_0101_5^8 - 1981607997/779*c_0101_5^7 - 399072685/779*c_0101_5^6 + 631763877/779*c_0101_5^5 + 7106511/41*c_0101_5^4 - 124159027/779*c_0101_5^3 - 31155281/779*c_0101_5^2 + 11363238/779*c_0101_5 + 3425025/779, c_0011_0 - 1, c_0011_5 + 2*c_0101_5^25 - 9*c_0101_5^24 - 25*c_0101_5^23 + 104*c_0101_5^22 + 84*c_0101_5^21 - 550*c_0101_5^20 - 36*c_0101_5^19 + 1652*c_0101_5^18 - 486*c_0101_5^17 - 3191*c_0101_5^16 + 1549*c_0101_5^15 + 4297*c_0101_5^14 - 2475*c_0101_5^13 - 4276*c_0101_5^12 + 2507*c_0101_5^11 + 3257*c_0101_5^10 - 1706*c_0101_5^9 - 1917*c_0101_5^8 + 770*c_0101_5^7 + 854*c_0101_5^6 - 208*c_0101_5^5 - 271*c_0101_5^4 + 21*c_0101_5^3 + 54*c_0101_5^2 + 3*c_0101_5 - 5, c_0101_0 - 328*c_0101_5^25 + 1568*c_0101_5^24 + 3652*c_0101_5^23 - 18049*c_0101_5^22 - 8587*c_0101_5^21 + 92253*c_0101_5^20 - 20582*c_0101_5^19 - 263147*c_0101_5^18 + 155029*c_0101_5^17 + 473301*c_0101_5^16 - 388765*c_0101_5^15 - 581856*c_0101_5^14 + 570136*c_0101_5^13 + 521115*c_0101_5^12 - 556730*c_0101_5^11 - 356469*c_0101_5^10 + 378607*c_0101_5^9 + 191220*c_0101_5^8 - 179480*c_0101_5^7 - 79836*c_0101_5^6 + 56894*c_0101_5^5 + 24401*c_0101_5^4 - 10803*c_0101_5^3 - 4737*c_0101_5^2 + 917*c_0101_5 + 421, c_0101_1 - 1102*c_0101_5^25 + 5415*c_0101_5^24 + 11605*c_0101_5^23 - 62389*c_0101_5^22 - 21435*c_0101_5^21 + 314866*c_0101_5^20 - 106737*c_0101_5^19 - 880980*c_0101_5^18 + 626022*c_0101_5^17 + 1540876*c_0101_5^16 - 1489266*c_0101_5^15 - 1825210*c_0101_5^14 + 2128338*c_0101_5^13 + 1564157*c_0101_5^12 - 2044635*c_0101_5^11 - 1024616*c_0101_5^10 + 1375663*c_0101_5^9 + 533658*c_0101_5^8 - 648282*c_0101_5^7 - 221913*c_0101_5^6 + 205299*c_0101_5^5 + 69281*c_0101_5^4 - 39171*c_0101_5^3 - 13937*c_0101_5^2 + 3369*c_0101_5 + 1293, c_0101_2 + 2742*c_0101_5^25 - 12693*c_0101_5^24 - 31948*c_0101_5^23 + 143904*c_0101_5^22 + 86918*c_0101_5^21 - 734047*c_0101_5^20 + 85442*c_0101_5^19 + 2086756*c_0101_5^18 - 1007893*c_0101_5^17 - 3737280*c_0101_5^16 + 2623377*c_0101_5^15 + 4564226*c_0101_5^14 - 3821086*c_0101_5^13 - 4042801*c_0101_5^12 + 3631300*c_0101_5^11 + 2708680*c_0101_5^10 - 2363064*c_0101_5^9 - 1397514*c_0101_5^8 + 1051015*c_0101_5^7 + 546019*c_0101_5^6 - 303925*c_0101_5^5 - 150544*c_0101_5^4 + 50428*c_0101_5^3 + 25122*c_0101_5^2 - 3485*c_0101_5 - 1792, c_0101_4 - 44*c_0101_5^25 + 206*c_0101_5^24 + 512*c_0101_5^23 - 2379*c_0101_5^22 - 1407*c_0101_5^21 + 12332*c_0101_5^20 - 1492*c_0101_5^19 - 35938*c_0101_5^18 + 17336*c_0101_5^17 + 66606*c_0101_5^16 - 46356*c_0101_5^15 - 85147*c_0101_5^14 + 70089*c_0101_5^13 + 79875*c_0101_5^12 - 69783*c_0101_5^11 - 57350*c_0101_5^10 + 48053*c_0101_5^9 + 32093*c_0101_5^8 - 22902*c_0101_5^7 - 13791*c_0101_5^6 + 7222*c_0101_5^5 + 4276*c_0101_5^4 - 1338*c_0101_5^3 - 833*c_0101_5^2 + 106*c_0101_5 + 73, c_0101_5^26 - 9/2*c_0101_5^25 - 25/2*c_0101_5^24 + 52*c_0101_5^23 + 42*c_0101_5^22 - 275*c_0101_5^21 - 18*c_0101_5^20 + 826*c_0101_5^19 - 243*c_0101_5^18 - 3191/2*c_0101_5^17 + 1549/2*c_0101_5^16 + 4297/2*c_0101_5^15 - 2475/2*c_0101_5^14 - 2138*c_0101_5^13 + 2507/2*c_0101_5^12 + 3257/2*c_0101_5^11 - 853*c_0101_5^10 - 1917/2*c_0101_5^9 + 385*c_0101_5^8 + 427*c_0101_5^7 - 104*c_0101_5^6 - 271/2*c_0101_5^5 + 21/2*c_0101_5^4 + 27*c_0101_5^3 + 2*c_0101_5^2 - 5/2*c_0101_5 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB