Magma V2.19-8 Tue Aug 20 2013 16:16:47 on localhost [Seed = 1090575753] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1071 geometric_solution 4.94133728 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 2310 0 0 0 0 0 1 0 -1 0 0 0 0 -1 1 0 0 -1 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401628590445 0.165463983348 0 3 0 4 0132 0132 2310 0132 0 0 0 0 0 0 -1 1 0 0 0 0 1 -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 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 0.713298168214 0.454385989464 0 2 2 0 3201 3201 2310 0132 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 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 -1.488409268138 0.294588897079 5 1 4 4 0132 0132 2310 1230 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 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.606057745936 1.254626543774 3 3 1 5 3012 3201 0132 1023 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 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.606057745936 1.254626543774 3 6 6 4 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468532327144 0.704143446648 5 5 6 6 2310 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 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 0 0 0 0 1.976964597284 1.209528760681 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0101_6'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : negation(d['c_0101_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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 606432498*c_0101_6^31 + 11830739759*c_0101_6^30 + 93345197449*c_0101_6^29 + 369505659601*c_0101_6^28 + 652518647580*c_0101_6^27 - 352670502473*c_0101_6^26 - 4355873856502*c_0101_6^25 - 10646669084187*c_0101_6^24 - 15710918587581*c_0101_6^23 - 12149513806589*c_0101_6^22 + 13971285501276*c_0101_6^21 + 49729097826074*c_0101_6^20 + 26380441552928*c_0101_6^19 - 58837438463775*c_0101_6^18 - 61508197261926*c_0101_6^17 + 44037583664632*c_0101_6^16 + 61967703411932*c_0101_6^15 - 27845258089310*c_0101_6^14 - 39150160071112*c_0101_6^13 + 16659603388110*c_0101_6^12 + 16554249760068*c_0101_6^11 - 8737145696806*c_0101_6^10 - 4532699459353*c_0101_6^9 + 3830433417711*c_0101_6^8 + 360817137232*c_0101_6^7 - 1270586757236*c_0101_6^6 + 448256756586*c_0101_6^5 + 117031856949*c_0101_6^4 - 169687782166*c_0101_6^3 + 70745779642*c_0101_6^2 - 14347138726*c_0101_6 + 1192261484, c_0011_0 - 1, c_0011_2 + 3378001*c_0101_6^31 + 66041260*c_0101_6^30 + 522779484*c_0101_6^29 + 2081423363*c_0101_6^28 + 3732899231*c_0101_6^27 - 1760288244*c_0101_6^26 - 24235469982*c_0101_6^25 - 60300538741*c_0101_6^24 - 90519836793*c_0101_6^23 - 72937485404*c_0101_6^22 + 72176641355*c_0101_6^21 + 277211400893*c_0101_6^20 + 158598277422*c_0101_6^19 - 315350766137*c_0101_6^18 - 349606126409*c_0101_6^17 + 227265283376*c_0101_6^16 + 345689631977*c_0101_6^15 - 140446891284*c_0101_6^14 - 216647047085*c_0101_6^13 + 84481096339*c_0101_6^12 + 91598791484*c_0101_6^11 - 45155587900*c_0101_6^10 - 25384067661*c_0101_6^9 + 20211208471*c_0101_6^8 + 2292629024*c_0101_6^7 - 6841377723*c_0101_6^6 + 2329234959*c_0101_6^5 + 665588159*c_0101_6^4 - 910665479*c_0101_6^3 + 373301534*c_0101_6^2 - 74691983*c_0101_6 + 6127958, c_0011_4 + 69027870*c_0101_6^31 + 1346972184*c_0101_6^30 + 10631626249*c_0101_6^29 + 42112740047*c_0101_6^28 + 74499029437*c_0101_6^27 - 39677604061*c_0101_6^26 - 495761364778*c_0101_6^25 - 1214175642198*c_0101_6^24 - 1795202768117*c_0101_6^23 - 1394894667954*c_0101_6^22 + 1577629208800*c_0101_6^21 + 5661427591868*c_0101_6^20 + 3029907713102*c_0101_6^19 - 6669138510274*c_0101_6^18 - 7018274252848*c_0101_6^17 + 4970913564166*c_0101_6^16 + 7055638262333*c_0101_6^15 - 3135253501779*c_0101_6^14 - 4453571286376*c_0101_6^13 + 1876743468959*c_0101_6^12 + 1883153681417*c_0101_6^11 - 986243789187*c_0101_6^10 - 516357125615*c_0101_6^9 + 433360865924*c_0101_6^8 + 41760288587*c_0101_6^7 - 144077307771*c_0101_6^6 + 50625571340*c_0101_6^5 + 13356405570*c_0101_6^4 - 19234133291*c_0101_6^3 + 8003459747*c_0101_6^2 - 1620572262*c_0101_6 + 134471353, c_0101_0 + 90915382*c_0101_6^31 + 1774172581*c_0101_6^30 + 14004716223*c_0101_6^29 + 55482253065*c_0101_6^28 + 98190177477*c_0101_6^27 - 52116890852*c_0101_6^26 - 652944643629*c_0101_6^25 - 1599876328647*c_0101_6^24 - 2366532694245*c_0101_6^23 - 1840830008893*c_0101_6^22 + 2074035606908*c_0101_6^21 + 7456918722412*c_0101_6^20 + 3998968125638*c_0101_6^19 - 8775268864686*c_0101_6^18 - 9248975546712*c_0101_6^17 + 6534325890945*c_0101_6^16 + 9293618453953*c_0101_6^15 - 4118844844832*c_0101_6^14 - 5864957778753*c_0101_6^13 + 2465794125119*c_0101_6^12 + 2479952104502*c_0101_6^11 - 1296411030236*c_0101_6^10 - 680227225853*c_0101_6^9 + 569957220270*c_0101_6^8 + 55218061872*c_0101_6^7 - 189593314559*c_0101_6^6 + 66554829678*c_0101_6^5 + 17602733321*c_0101_6^4 - 25308079525*c_0101_6^3 + 10525958097*c_0101_6^2 - 2130536420*c_0101_6 + 176722746, c_0101_1 - 54531*c_0101_6^31 - 1068102*c_0101_6^30 - 8479481*c_0101_6^29 - 33933454*c_0101_6^28 - 61687785*c_0101_6^27 + 25368101*c_0101_6^26 + 390484650*c_0101_6^25 + 987339702*c_0101_6^24 + 1505130337*c_0101_6^23 + 1256778686*c_0101_6^22 - 1075393596*c_0101_6^21 - 4465112082*c_0101_6^20 - 2718692106*c_0101_6^19 + 4903558091*c_0101_6^18 + 5720434669*c_0101_6^17 - 3416387919*c_0101_6^16 - 5566526352*c_0101_6^15 + 2070554841*c_0101_6^14 + 3464650007*c_0101_6^13 - 1254619241*c_0101_6^12 - 1464376199*c_0101_6^11 + 683076999*c_0101_6^10 + 409477775*c_0101_6^9 - 311394525*c_0101_6^8 - 40211602*c_0101_6^7 + 107191228*c_0101_6^6 - 35463559*c_0101_6^5 - 10863529*c_0101_6^4 + 14236123*c_0101_6^3 - 5760811*c_0101_6^2 + 1141211*c_0101_6 - 92777, c_0101_3 - c_0101_6^31 - 19*c_0101_6^30 - 144*c_0101_6^29 - 531*c_0101_6^28 - 766*c_0101_6^27 + 1129*c_0101_6^26 + 6887*c_0101_6^25 + 13902*c_0101_6^24 + 16975*c_0101_6^23 + 6853*c_0101_6^22 - 33233*c_0101_6^21 - 70284*c_0101_6^20 - 1782*c_0101_6^19 + 119158*c_0101_6^18 + 52071*c_0101_6^17 - 124221*c_0101_6^16 - 65247*c_0101_6^15 + 97903*c_0101_6^14 + 41204*c_0101_6^13 - 60315*c_0101_6^12 - 13325*c_0101_6^11 + 28295*c_0101_6^10 + 146*c_0101_6^9 - 10119*c_0101_6^8 + 2618*c_0101_6^7 + 2398*c_0101_6^6 - 1805*c_0101_6^5 + 183*c_0101_6^4 + 378*c_0101_6^3 - 259*c_0101_6^2 + 84*c_0101_6 - 13, c_0101_6^32 + 19*c_0101_6^31 + 144*c_0101_6^30 + 531*c_0101_6^29 + 766*c_0101_6^28 - 1129*c_0101_6^27 - 6887*c_0101_6^26 - 13902*c_0101_6^25 - 16975*c_0101_6^24 - 6853*c_0101_6^23 + 33233*c_0101_6^22 + 70284*c_0101_6^21 + 1782*c_0101_6^20 - 119158*c_0101_6^19 - 52071*c_0101_6^18 + 124221*c_0101_6^17 + 65247*c_0101_6^16 - 97903*c_0101_6^15 - 41204*c_0101_6^14 + 60315*c_0101_6^13 + 13325*c_0101_6^12 - 28295*c_0101_6^11 - 146*c_0101_6^10 + 10119*c_0101_6^9 - 2618*c_0101_6^8 - 2398*c_0101_6^7 + 1805*c_0101_6^6 - 183*c_0101_6^5 - 378*c_0101_6^4 + 259*c_0101_6^3 - 83*c_0101_6^2 + 14*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB