Magma V2.19-8 Tue Aug 20 2013 16:18:52 on localhost [Seed = 1764291615] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3040 geometric_solution 6.21225316 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 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 0.074690515022 0.744959892537 0 3 5 4 0132 0132 0132 0132 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 -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.451477409687 0.853673413555 3 0 4 5 2310 0132 3201 3201 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 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.451477409687 0.853673413555 3 1 2 3 3201 0132 3201 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 0.294877266682 1.159848981713 2 6 1 6 2310 0132 0132 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 -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.866840829251 0.570424687135 5 2 5 1 2031 2310 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.833758511907 0.659017373778 4 4 6 6 3201 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 0 1 -1 0 0 1 -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.574373426944 0.170820354466 ==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' : negation(d['1']), 's_2_0' : negation(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_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_0'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_1'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 798192270560829498085/10095804806829340995584*c_0101_3*c_0110_6^13 + 5128025839982550624079/5047902403414670497792*c_0101_3*c_0110_6^12 - 5198677890003493494129/5047902403414670497792*c_0101_3*c_0110_6^11 - 91442958222627425425687/10095804806829340995584*c_0101_3*c_0110_6^1\ 0 + 57951310602983098053191/5047902403414670497792*c_0101_3*c_0110_\ 6^9 + 152722804934594596979181/10095804806829340995584*c_0101_3*c_0\ 110_6^8 - 97731887134168407060559/10095804806829340995584*c_0101_3*\ c_0110_6^7 + 95070762147177174987721/10095804806829340995584*c_0101\ _3*c_0110_6^6 - 157782179338398417316527/10095804806829340995584*c_\ 0101_3*c_0110_6^5 - 52468785272522655572201/2523951201707335248896*\ c_0101_3*c_0110_6^4 - 62473824615899916585331/252395120170733524889\ 6*c_0101_3*c_0110_6^3 - 157601925831542254586243/100958048068293409\ 95584*c_0101_3*c_0110_6^2 - 23741787454024186303067/504790240341467\ 0497792*c_0101_3*c_0110_6 + 4974192294048991359269/1261975600853667\ 624448*c_0101_3, c_0011_0 - 1, c_0011_4 + 31792957861524654/2464796095417319579*c_0101_3*c_0110_6^13 - 393534431756406149/2464796095417319579*c_0101_3*c_0110_6^12 + 213636942936348110/2464796095417319579*c_0101_3*c_0110_6^11 + 3958007531596734360/2464796095417319579*c_0101_3*c_0110_6^10 - 3223888374620508976/2464796095417319579*c_0101_3*c_0110_6^9 - 8944017378877197794/2464796095417319579*c_0101_3*c_0110_6^8 + 3954580880447893096/2464796095417319579*c_0101_3*c_0110_6^7 - 3021733786048341891/2464796095417319579*c_0101_3*c_0110_6^6 + 1916730080336248582/2464796095417319579*c_0101_3*c_0110_6^5 + 15239325091602761265/2464796095417319579*c_0101_3*c_0110_6^4 + 8476056537594110867/2464796095417319579*c_0101_3*c_0110_6^3 + 9291912446313854884/2464796095417319579*c_0101_3*c_0110_6^2 + 3529017552315426869/2464796095417319579*c_0101_3*c_0110_6 - 807131530762779924/2464796095417319579*c_0101_3, c_0101_0 - 3529419193774611/2464796095417319579*c_0110_6^13 + 59476965829802576/2464796095417319579*c_0110_6^12 - 220561261625998495/2464796095417319579*c_0110_6^11 - 323128904304523442/2464796095417319579*c_0110_6^10 + 2398687829293158981/2464796095417319579*c_0110_6^9 - 785688460233751359/2464796095417319579*c_0110_6^8 - 5587793847793725629/2464796095417319579*c_0110_6^7 + 3001991367671907469/2464796095417319579*c_0110_6^6 + 54425256651204308/2464796095417319579*c_0110_6^5 - 1273702867779400038/2464796095417319579*c_0110_6^4 + 5910667455828204704/2464796095417319579*c_0110_6^3 + 3866829940778964411/2464796095417319579*c_0110_6^2 + 3583896342138661393/2464796095417319579*c_0110_6 - 908374642103805380/2464796095417319579, c_0101_1 + 216084250753712631/19718368763338556632*c_0110_6^13 - 665851062185818999/4929592190834639158*c_0110_6^12 + 674060895284906487/9859184381669278316*c_0110_6^11 + 26408540762585536057/19718368763338556632*c_0110_6^10 - 2328732758510795590/2464796095417319579*c_0110_6^9 - 59571495828161770455/19718368763338556632*c_0110_6^8 + 5524178781431669887/19718368763338556632*c_0110_6^7 - 5077009022240185149/19718368763338556632*c_0110_6^6 + 41746230302543800331/19718368763338556632*c_0110_6^5 + 32092405583454314701/9859184381669278316*c_0110_6^4 + 9254169438422303103/2464796095417319579*c_0110_6^3 + 78557248308065886169/19718368763338556632*c_0110_6^2 + 1723273875422122189/4929592190834639158*c_0110_6 - 764629022515493784/2464796095417319579, c_0101_2 + 127390898897419223/9859184381669278316*c_0101_3*c_0110_6^13 - 388152542863117486/2464796095417319579*c_0101_3*c_0110_6^12 + 262333083726510563/4929592190834639158*c_0101_3*c_0110_6^11 + 16376679999766720441/9859184381669278316*c_0101_3*c_0110_6^10 - 2430355796609142584/2464796095417319579*c_0101_3*c_0110_6^9 - 42201094986558048951/9859184381669278316*c_0101_3*c_0110_6^8 + 8395478381736054075/9859184381669278316*c_0101_3*c_0110_6^7 + 1599751118656035403/9859184381669278316*c_0101_3*c_0110_6^6 + 9246595459874670583/9859184381669278316*c_0101_3*c_0110_6^5 + 29097431229656102679/4929592190834639158*c_0101_3*c_0110_6^4 + 10627290310895633421/2464796095417319579*c_0101_3*c_0110_6^3 + 49489215177105764073/9859184381669278316*c_0101_3*c_0110_6^2 + 2768460592465077215/2464796095417319579*c_0101_3*c_0110_6 - 545781026187812440/2464796095417319579*c_0101_3, c_0101_3^2 + 1716384328986173431/522536772228471750748*c_0110_6^13 - 5466673863945506276/130634193057117937687*c_0110_6^12 + 9647153834215805595/261268386114235875374*c_0110_6^11 + 207416832647101785841/522536772228471750748*c_0110_6^10 - 58919428757911501371/130634193057117937687*c_0110_6^9 - 424678203779216312271/522536772228471750748*c_0110_6^8 + 251204179780746181399/522536772228471750748*c_0110_6^7 - 84865463717249973893/522536772228471750748*c_0110_6^6 + 340217790378622638279/522536772228471750748*c_0110_6^5 + 222712557725097265955/261268386114235875374*c_0110_6^4 + 76080587171542513134/130634193057117937687*c_0110_6^3 + 565517790715369550973/522536772228471750748*c_0110_6^2 - 16636551113752151465/130634193057117937687*c_0110_6 - 79119641861999283391/130634193057117937687, c_0110_6^14 - 12*c_0110_6^13 + 2*c_0110_6^12 + 127*c_0110_6^11 - 48*c_0110_6^10 - 329*c_0110_6^9 - 39*c_0110_6^8 + 21*c_0110_6^7 + 133*c_0110_6^6 + 438*c_0110_6^5 + 472*c_0110_6^4 + 375*c_0110_6^3 + 116*c_0110_6^2 - 64*c_0110_6 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB