Magma V2.19-8 Tue Aug 20 2013 16:14:14 on localhost [Seed = 2412647330] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s215 geometric_solution 4.35830485 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1302 2031 0132 2310 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 1 -1 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 5.074368316435 3.594151105222 0 2 2 0 3201 0132 3201 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 -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.128808663496 0.204472624185 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 -1 1 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 1 0 -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.465287911253 2.714068126215 4 4 5 2 1302 1023 0132 0132 0 0 0 0 0 0 1 -1 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 -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.351270559552 0.602224272956 3 3 2 5 1023 2031 0132 3201 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 1 -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.351270559552 0.602224272956 5 4 5 3 2310 2310 3201 0132 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 1 0 0 -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.148334482433 0.851542458624 ==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_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_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_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 3258873071711669833673/49856270457997363095*c_0101_2^16 + 21638095920051604953539/49856270457997363095*c_0101_2^15 + 3006970088491535273371/9971254091599472619*c_0101_2^14 - 47391614639679481486562/16618756819332454365*c_0101_2^13 - 16786965197769706193023/3323751363866490873*c_0101_2^12 + 23026037836797749762867/5539585606444151455*c_0101_2^11 + 944196888072240610287002/49856270457997363095*c_0101_2^10 + 612919253041878414761828/49856270457997363095*c_0101_2^9 - 1206660811286277950617964/49856270457997363095*c_0101_2^8 - 351230306657882812593559/5539585606444151455*c_0101_2^7 + 766406140128259393749613/49856270457997363095*c_0101_2^6 + 4026398513581371272241208/49856270457997363095*c_0101_2^5 + 324468357769953197078764/49856270457997363095*c_0101_2^4 - 134170367945857496980532/3323751363866490873*c_0101_2^3 - 523625307185198398256516/49856270457997363095*c_0101_2^2 + 301189275325488784972423/49856270457997363095*c_0101_2 + 29034975246481783332086/16618756819332454365, c_0011_0 - 1, c_0011_1 + 14908978239809/7272978914368689*c_0101_2^16 + 106424619678122/7272978914368689*c_0101_2^15 + 103745393028230/7272978914368689*c_0101_2^14 - 251706899833641/2424326304789563*c_0101_2^13 - 636881994988411/2424326304789563*c_0101_2^12 + 49358384782385/2424326304789563*c_0101_2^11 + 6399049533730481/7272978914368689*c_0101_2^10 + 8688000231265676/7272978914368689*c_0101_2^9 - 2415283803141923/7272978914368689*c_0101_2^8 - 7707326401519660/2424326304789563*c_0101_2^7 - 16461160418831891/7272978914368689*c_0101_2^6 + 14990317445985886/7272978914368689*c_0101_2^5 + 22026476893072948/7272978914368689*c_0101_2^4 + 1889487025504676/2424326304789563*c_0101_2^3 - 2482951170987275/7272978914368689*c_0101_2^2 + 1526496647838862/7272978914368689*c_0101_2 - 1570463959745109/2424326304789563, c_0011_3 - 325843579434969500/3323751363866490873*c_0101_2^16 - 2092567576552427624/3323751363866490873*c_0101_2^15 - 1059191572258789217/3323751363866490873*c_0101_2^14 + 4812037764286314321/1107917121288830291*c_0101_2^13 + 7493161130883908666/1107917121288830291*c_0101_2^12 - 8108884648581894427/1107917121288830291*c_0101_2^11 - 90079591410632990363/3323751363866490873*c_0101_2^10 - 48659081834253885650/3323751363866490873*c_0101_2^9 + 125060348018395760906/3323751363866490873*c_0101_2^8 + 99653527756388630308/1107917121288830291*c_0101_2^7 - 114916919159056471591/3323751363866490873*c_0101_2^6 - 360307042939965840850/3323751363866490873*c_0101_2^5 - 12672149218330531/3323751363866490873*c_0101_2^4 + 54394279078082056060/1107917121288830291*c_0101_2^3 + 36186857081573186660/3323751363866490873*c_0101_2^2 - 18078910651724746648/3323751363866490873*c_0101_2 - 1287009405493848680/1107917121288830291, c_0011_5 + 16970750239268/7272978914368689*c_0101_2^16 + 105807165027689/7272978914368689*c_0101_2^15 - 25198220400715/7272978914368689*c_0101_2^14 - 426410569387973/2424326304789563*c_0101_2^13 - 766431349083734/2424326304789563*c_0101_2^12 + 626871499672473/2424326304789563*c_0101_2^11 + 10733628118971929/7272978914368689*c_0101_2^10 + 10805045813025689/7272978914368689*c_0101_2^9 - 9077751030951767/7272978914368689*c_0101_2^8 - 12637778020177421/2424326304789563*c_0101_2^7 - 21225239140592930/7272978914368689*c_0101_2^6 + 28936128133082356/7272978914368689*c_0101_2^5 + 36461417174594668/7272978914368689*c_0101_2^4 + 2960246531044597/2424326304789563*c_0101_2^3 - 1522995696261155/7272978914368689*c_0101_2^2 - 11352412840153694/7272978914368689*c_0101_2 - 1615190894464536/2424326304789563, c_0101_1 + 446097642671615537/3323751363866490873*c_0101_2^16 + 2889451712235533843/3323751363866490873*c_0101_2^15 + 1514921572366603940/3323751363866490873*c_0101_2^14 - 6763220341330369005/1107917121288830291*c_0101_2^13 - 10745515495574117775/1107917121288830291*c_0101_2^12 + 11862107241425501337/1107917121288830291*c_0101_2^11 + 131954609634288687536/3323751363866490873*c_0101_2^10 + 68309107242649227167/3323751363866490873*c_0101_2^9 - 191885862577663737233/3323751363866490873*c_0101_2^8 - 145604189005599788995/1107917121288830291*c_0101_2^7 + 160711411687655732926/3323751363866490873*c_0101_2^6 + 583664169805885490911/3323751363866490873*c_0101_2^5 + 11274193038427788196/3323751363866490873*c_0101_2^4 - 99945822248880140905/1107917121288830291*c_0101_2^3 - 71447855225875494803/3323751363866490873*c_0101_2^2 + 41744393564635859968/3323751363866490873*c_0101_2 + 3983152240414362963/1107917121288830291, c_0101_2^17 + 7*c_0101_2^16 + 7*c_0101_2^15 - 42*c_0101_2^14 - 93*c_0101_2^13 + 36*c_0101_2^12 + 313*c_0101_2^11 + 292*c_0101_2^10 - 304*c_0101_2^9 - 1104*c_0101_2^8 - 112*c_0101_2^7 + 1325*c_0101_2^6 + 542*c_0101_2^5 - 588*c_0101_2^4 - 382*c_0101_2^3 + 38*c_0101_2^2 + 60*c_0101_2 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB