Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 1073863840] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1970 geometric_solution 5.54598295 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575673749700 0.125717061544 2 0 2 0 0132 2310 1023 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 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.766303831269 0.236365987411 1 3 1 4 0132 0132 1023 0132 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.029528011554 0.876669742276 5 2 4 6 0132 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 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.081730837400 0.961018519542 6 3 2 5 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081730837400 0.961018519542 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 -1 1 0 -1 0 0 1 1 0 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 -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.721490979695 1.373537007186 4 6 3 6 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.087860275565 1.033090503372 ==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' : 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' : d['c_0011_4'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), '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_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 6908404307315896462/9065340178392851*c_0101_3*c_0101_5^18 + 59793394558954223197/9065340178392851*c_0101_3*c_0101_5^17 + 143636504354964100651/9065340178392851*c_0101_3*c_0101_5^16 - 876067151447572893691/18130680356785702*c_0101_3*c_0101_5^15 - 4142596300223410213839/18130680356785702*c_0101_3*c_0101_5^14 + 1221119655721800890717/9065340178392851*c_0101_3*c_0101_5^13 + 19979817662164179681505/18130680356785702*c_0101_3*c_0101_5^12 - 5725937243446575992708/9065340178392851*c_0101_3*c_0101_5^11 - 39327640416596102631619/18130680356785702*c_0101_3*c_0101_5^10 + 17399274976107048255196/9065340178392851*c_0101_3*c_0101_5^9 + 26850879462923402485799/18130680356785702*c_0101_3*c_0101_5^8 - 19729362449249393721028/9065340178392851*c_0101_3*c_0101_5^7 - 1047147213776676736372/9065340178392851*c_0101_3*c_0101_5^6 + 10032533885786619717982/9065340178392851*c_0101_3*c_0101_5^5 - 3691958102392963190845/18130680356785702*c_0101_3*c_0101_5^4 - 3509994254682206375876/9065340178392851*c_0101_3*c_0101_5^3 + 3812542354621672994757/18130680356785702*c_0101_3*c_0101_5^2 - 106340372499175221456/9065340178392851*c_0101_3*c_0101_5 - 177895167322799144149/18130680356785702*c_0101_3, c_0011_0 - 1, c_0011_1 + 227100838797395801/18130680356785702*c_0101_5^18 + 2466371957668648287/18130680356785702*c_0101_5^17 + 5034599610298651402/9065340178392851*c_0101_5^16 + 3417920143508974140/9065340178392851*c_0101_5^15 - 56824143234976809365/18130680356785702*c_0101_5^14 - 86970768364728151119/18130680356785702*c_0101_5^13 + 159946528153594640973/18130680356785702*c_0101_5^12 + 193778435474642370775/18130680356785702*c_0101_5^11 - 291157539508962361313/18130680356785702*c_0101_5^10 - 65835136216997573664/9065340178392851*c_0101_5^9 + 285088120544736342053/18130680356785702*c_0101_5^8 + 4111004164195028595/18130680356785702*c_0101_5^7 - 74694981677087621340/9065340178392851*c_0101_5^6 + 25408077071119414119/18130680356785702*c_0101_5^5 + 52759497227067119009/18130680356785702*c_0101_5^4 - 22004473655826887689/18130680356785702*c_0101_5^3 - 3352856919912835809/18130680356785702*c_0101_5^2 + 977096920615735503/9065340178392851*c_0101_5 + 275586605264192341/18130680356785702, c_0011_4 + 27117570169326819/9065340178392851*c_0101_3*c_0101_5^18 + 304500495224431509/9065340178392851*c_0101_3*c_0101_5^17 + 2622342500039281381/18130680356785702*c_0101_3*c_0101_5^16 + 2528784558954864467/18130680356785702*c_0101_3*c_0101_5^15 - 6448478878505634237/9065340178392851*c_0101_3*c_0101_5^14 - 25527625157110604999/18130680356785702*c_0101_3*c_0101_5^13 + 15381915844285511562/9065340178392851*c_0101_3*c_0101_5^12 + 59509652300294412809/18130680356785702*c_0101_3*c_0101_5^11 - 27133484966553057555/9065340178392851*c_0101_3*c_0101_5^10 - 55921924859284006985/18130680356785702*c_0101_3*c_0101_5^9 + 29924797512469615363/9065340178392851*c_0101_3*c_0101_5^8 + 12254299809634301992/9065340178392851*c_0101_3*c_0101_5^7 - 19017468823996217804/9065340178392851*c_0101_3*c_0101_5^6 - 5352716302443607461/18130680356785702*c_0101_3*c_0101_5^5 + 7987355484352277416/9065340178392851*c_0101_3*c_0101_5^4 - 1590856299502929715/18130680356785702*c_0101_3*c_0101_5^3 - 1517913540217141557/9065340178392851*c_0101_3*c_0101_5^2 + 530240447722531619/18130680356785702*c_0101_3*c_0101_5 + 96339614254414699/9065340178392851*c_0101_3, c_0101_0 - 124610728458644883/9065340178392851*c_0101_3*c_0101_5^18 - 1330351039415361245/9065340178392851*c_0101_3*c_0101_5^17 - 5282105919543046718/9065340178392851*c_0101_3*c_0101_5^16 - 5604398268445522355/18130680356785702*c_0101_3*c_0101_5^15 + 63182390863784252753/18130680356785702*c_0101_3*c_0101_5^14 + 41806669249117086047/9065340178392851*c_0101_3*c_0101_5^13 - 189804467388428769145/18130680356785702*c_0101_3*c_0101_5^12 - 87664366604777813264/9065340178392851*c_0101_3*c_0101_5^11 + 349678454654418643435/18130680356785702*c_0101_3*c_0101_5^10 + 37280516982056683614/9065340178392851*c_0101_3*c_0101_5^9 - 323885660086619816187/18130680356785702*c_0101_3*c_0101_5^8 + 30025240357406620945/9065340178392851*c_0101_3*c_0101_5^7 + 75056295762937971107/9065340178392851*c_0101_3*c_0101_5^6 - 28917995199993312006/9065340178392851*c_0101_3*c_0101_5^5 - 45558668356394773909/18130680356785702*c_0101_3*c_0101_5^4 + 16666567633981998873/9065340178392851*c_0101_3*c_0101_5^3 - 3062946051773470413/18130680356785702*c_0101_3*c_0101_5^2 - 800939164523154792/9065340178392851*c_0101_3*c_0101_5 + 44076012822766857/18130680356785702*c_0101_3, c_0101_1 - 99091927455585567/9065340178392851*c_0101_5^18 - 1076280892194801858/9065340178392851*c_0101_5^17 - 8794396937420077863/18130680356785702*c_0101_5^16 - 3014708628062461232/9065340178392851*c_0101_5^15 + 24674905243923762221/9065340178392851*c_0101_5^14 + 75723702001380824563/18130680356785702*c_0101_5^13 - 138379529638284419115/18130680356785702*c_0101_5^12 - 83489335862281225362/9065340178392851*c_0101_5^11 + 125739733636327187257/9065340178392851*c_0101_5^10 + 110140633244760654547/18130680356785702*c_0101_5^9 - 244825582133894890589/18130680356785702*c_0101_5^8 + 350975026499769663/18130680356785702*c_0101_5^7 + 126518858427535920391/18130680356785702*c_0101_5^6 - 11793644121017448021/9065340178392851*c_0101_5^5 - 21959112616422038478/9065340178392851*c_0101_5^4 + 19450745313166044295/18130680356785702*c_0101_5^3 + 2162295506541376899/18130680356785702*c_0101_5^2 - 774668320268508631/9065340178392851*c_0101_5 - 94671390364947316/9065340178392851, c_0101_3^2 - 195363569694690277/18130680356785702*c_0101_5^18 - 2120669862688449769/18130680356785702*c_0101_5^17 - 4326323498698557344/9065340178392851*c_0101_5^16 - 5855688273104431711/18130680356785702*c_0101_5^15 + 48817827446765656551/18130680356785702*c_0101_5^14 + 74421537485317825659/18130680356785702*c_0101_5^13 - 68842264145842803964/9065340178392851*c_0101_5^12 - 82544022817502901448/9065340178392851*c_0101_5^11 + 250898212802627942853/18130680356785702*c_0101_5^10 + 55147219900764873744/9065340178392851*c_0101_5^9 - 122532497064115986728/9065340178392851*c_0101_5^8 - 475395964850388791/9065340178392851*c_0101_5^7 + 127657888278325355755/18130680356785702*c_0101_5^6 - 11504643672304134539/9065340178392851*c_0101_5^5 - 44763172950607477805/18130680356785702*c_0101_5^4 + 19249915635730541879/18130680356785702*c_0101_5^3 + 1284846127179829656/9065340178392851*c_0101_5^2 - 1638191638048567147/18130680356785702*c_0101_5 - 227100838797395801/18130680356785702, c_0101_5^19 + 10*c_0101_5^18 + 35*c_0101_5^17 - 8*c_0101_5^16 - 276*c_0101_5^15 - 168*c_0101_5^14 + 1032*c_0101_5^13 + 247*c_0101_5^12 - 2009*c_0101_5^11 + 525*c_0101_5^10 + 1741*c_0101_5^9 - 1061*c_0101_5^8 - 662*c_0101_5^7 + 674*c_0101_5^6 + 131*c_0101_5^5 - 294*c_0101_5^4 + 70*c_0101_5^3 + 20*c_0101_5^2 - 6*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB