Magma V2.19-8 Tue Aug 20 2013 16:16:32 on localhost [Seed = 37986011] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0827 geometric_solution 4.75227044 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 -1 0 1 0 0 -1 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 -1 0 1 0 0 -1 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.837437130549 0.076261134097 0 3 0 3 0132 0132 1023 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 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.749790723053 0.220973702721 2 0 2 0 2310 0132 3201 1023 0 0 0 0 0 1 0 -1 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 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.871021642179 0.044968721736 4 1 5 1 0132 0132 0132 1023 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 -1 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 1.010792922667 1.015610543863 3 6 5 5 0132 0132 0213 2310 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 -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.327883058994 0.757618955100 4 4 6 3 3201 0213 1023 0132 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 -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.327883058994 0.757618955100 6 4 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 1.066343511190 1.018526971095 ==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' : 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' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], '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_0011_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0011_5'], '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_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 467340/11*c_0101_6^28 - 1728466/11*c_0101_6^27 + 4008667/11*c_0101_6^26 + 170729*c_0101_6^25 - 5260801*c_0101_6^24 + 116554571/11*c_0101_6^23 + 13952548*c_0101_6^22 - 715758360/11*c_0101_6^21 + 184722556/11*c_0101_6^20 + 1906211224/11*c_0101_6^19 - 1731564126/11*c_0101_6^18 - 2858122323/11*c_0101_6^17 + 4163953504/11*c_0101_6^16 + 2710452978/11*c_0101_6^15 - 5797774839/11*c_0101_6^14 - 1836150281/11*c_0101_6^13 + 495338547*c_0101_6^12 + 1126192163/11*c_0101_6^11 - 3622721309/11*c_0101_6^10 - 768399354/11*c_0101_6^9 + 1677018312/11*c_0101_6^8 + 478807611/11*c_0101_6^7 - 497048685/11*c_0101_6^6 - 18299955*c_0101_6^5 + 76326223/11*c_0101_6^4 + 46743502/11*c_0101_6^3 - 151850*c_0101_6^2 - 4467842/11*c_0101_6 - 684725/11, c_0011_0 - 1, c_0011_5 + 6765*c_0101_6^28 - 24476*c_0101_6^27 + 55717*c_0101_6^26 + 33215*c_0101_6^25 - 839093*c_0101_6^24 + 1621283*c_0101_6^23 + 2394022*c_0101_6^22 - 10287617*c_0101_6^21 + 1818782*c_0101_6^20 + 28310446*c_0101_6^19 - 23355308*c_0101_6^18 - 44326416*c_0101_6^17 + 58879542*c_0101_6^16 + 44655142*c_0101_6^15 - 84221446*c_0101_6^14 - 32686674*c_0101_6^13 + 80572336*c_0101_6^12 + 21087228*c_0101_6^11 - 54129999*c_0101_6^10 - 13894056*c_0101_6^9 + 25147719*c_0101_6^8 + 8121825*c_0101_6^7 - 7427904*c_0101_6^6 - 3270233*c_0101_6^5 + 1121370*c_0101_6^4 + 741135*c_0101_6^3 - 18322*c_0101_6^2 - 69856*c_0101_6 - 10946, c_0101_0 - 1343*c_0101_6^28 + 6014*c_0101_6^27 - 15955*c_0101_6^26 + 5947*c_0101_6^25 + 164490*c_0101_6^24 - 463840*c_0101_6^23 - 110560*c_0101_6^22 + 2225453*c_0101_6^21 - 2231275*c_0101_6^20 - 4152395*c_0101_6^19 + 8563651*c_0101_6^18 + 2380595*c_0101_6^17 - 15288931*c_0101_6^16 + 3421071*c_0101_6^15 + 16747039*c_0101_6^14 - 7918073*c_0101_6^13 - 12666251*c_0101_6^12 + 7523127*c_0101_6^11 + 7104478*c_0101_6^10 - 4240883*c_0101_6^9 - 3036456*c_0101_6^8 + 1476832*c_0101_6^7 + 951720*c_0101_6^6 - 297479*c_0101_6^5 - 196105*c_0101_6^4 + 28270*c_0101_6^3 + 21883*c_0101_6^2 - 557*c_0101_6 - 854, c_0101_1 + 22565*c_0101_6^28 - 82398*c_0101_6^27 + 189257*c_0101_6^26 + 101607*c_0101_6^25 - 2794740*c_0101_6^24 + 5499038*c_0101_6^23 + 7722720*c_0101_6^22 - 34358643*c_0101_6^21 + 7281403*c_0101_6^20 + 93154131*c_0101_6^19 - 80048947*c_0101_6^18 - 143219087*c_0101_6^17 + 197427582*c_0101_6^16 + 141042305*c_0101_6^15 - 278967708*c_0101_6^14 - 100700662*c_0101_6^13 + 264820439*c_0101_6^12 + 64202524*c_0101_6^11 - 177129034*c_0101_6^10 - 42934247*c_0101_6^9 + 82141951*c_0101_6^8 + 25636570*c_0101_6^7 - 24268495*c_0101_6^6 - 10462832*c_0101_6^5 + 3675389*c_0101_6^4 + 2388281*c_0101_6^3 - 63977*c_0101_6^2 - 225985*c_0101_6 - 35318, c_0101_2 + 28591*c_0101_6^28 - 106760*c_0101_6^27 + 249855*c_0101_6^26 + 102805*c_0101_6^25 - 3535757*c_0101_6^24 + 7256191*c_0101_6^23 + 9033882*c_0101_6^22 - 43881311*c_0101_6^21 + 13025804*c_0101_6^20 + 114955124*c_0101_6^19 - 109279054*c_0101_6^18 - 168345606*c_0101_6^17 + 257150137*c_0101_6^16 + 153880200*c_0101_6^15 - 353218155*c_0101_6^14 - 98632113*c_0101_6^13 + 328673802*c_0101_6^12 + 57811333*c_0101_6^11 - 217070833*c_0101_6^10 - 40279666*c_0101_6^9 + 100157595*c_0101_6^8 + 26217250*c_0101_6^7 - 29713480*c_0101_6^6 - 11326397*c_0101_6^5 + 4611231*c_0101_6^4 + 2666663*c_0101_6^3 - 119819*c_0101_6^2 - 256651*c_0101_6 - 38430, c_0101_3 + c_0101_6^28 - 3*c_0101_6^27 + 6*c_0101_6^26 + 10*c_0101_6^25 - 121*c_0101_6^24 + 163*c_0101_6^23 + 502*c_0101_6^22 - 1302*c_0101_6^21 - 671*c_0101_6^20 + 4351*c_0101_6^19 - 866*c_0101_6^18 - 8686*c_0101_6^17 + 4654*c_0101_6^16 + 11980*c_0101_6^15 - 8370*c_0101_6^14 - 12526*c_0101_6^13 + 8924*c_0101_6^12 + 10478*c_0101_6^11 - 6075*c_0101_6^10 - 6999*c_0101_6^9 + 2448*c_0101_6^8 + 3498*c_0101_6^7 - 356*c_0101_6^6 - 1162*c_0101_6^5 - 133*c_0101_6^4 + 212*c_0101_6^3 + 65*c_0101_6^2 - 13*c_0101_6 - 8, c_0101_6^29 - 3*c_0101_6^28 + 6*c_0101_6^27 + 10*c_0101_6^26 - 121*c_0101_6^25 + 163*c_0101_6^24 + 502*c_0101_6^23 - 1302*c_0101_6^22 - 671*c_0101_6^21 + 4351*c_0101_6^20 - 866*c_0101_6^19 - 8686*c_0101_6^18 + 4654*c_0101_6^17 + 11980*c_0101_6^16 - 8370*c_0101_6^15 - 12526*c_0101_6^14 + 8924*c_0101_6^13 + 10478*c_0101_6^12 - 6075*c_0101_6^11 - 6999*c_0101_6^10 + 2448*c_0101_6^9 + 3498*c_0101_6^8 - 356*c_0101_6^7 - 1162*c_0101_6^6 - 133*c_0101_6^5 + 212*c_0101_6^4 + 65*c_0101_6^3 - 12*c_0101_6^2 - 8*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB