Magma V2.19-8 Tue Aug 20 2013 16:14:14 on localhost [Seed = 2513701304] 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' : 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_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 + 1623764198899245/154145481987959*c_0101_2^16 + 31368701978529821/462436445963877*c_0101_2^15 + 16364334746328925/462436445963877*c_0101_2^14 - 36203327508500698/66062349423411*c_0101_2^13 - 52634331282301369/66062349423411*c_0101_2^12 + 875628989274313765/462436445963877*c_0101_2^11 + 1575224160390786338/462436445963877*c_0101_2^10 - 122142870632208652/42039676905807*c_0101_2^9 - 3143997113808710576/462436445963877*c_0101_2^8 + 528147947201102903/462436445963877*c_0101_2^7 + 2744713936527704983/462436445963877*c_0101_2^6 + 657485146294836556/462436445963877*c_0101_2^5 - 397664615255300588/462436445963877*c_0101_2^4 - 228916185561571628/462436445963877*c_0101_2^3 - 119767977513023052/154145481987959*c_0101_2^2 - 98979983612569405/154145481987959*c_0101_2 - 98994091279456790/462436445963877, c_0011_0 - 1, c_0011_1 + 39552962747/19435819189*c_0101_2^16 + 240447858210/19435819189*c_0101_2^15 + 52701595310/19435819189*c_0101_2^14 - 2046856325949/19435819189*c_0101_2^13 - 2301934555615/19435819189*c_0101_2^12 + 7591019188185/19435819189*c_0101_2^11 + 10112168199803/19435819189*c_0101_2^10 - 12887753845672/19435819189*c_0101_2^9 - 20764354809505/19435819189*c_0101_2^8 + 8183546760900/19435819189*c_0101_2^7 + 18399340015067/19435819189*c_0101_2^6 + 2426316031282/19435819189*c_0101_2^5 - 2862605698736/19435819189*c_0101_2^4 - 1600636916480/19435819189*c_0101_2^3 - 2615737855681/19435819189*c_0101_2^2 - 1992574175078/19435819189*c_0101_2 - 486203161193/19435819189, c_0011_3 - 8984103707200/6005668129401*c_0101_2^16 - 18264873450188/2001889376467*c_0101_2^15 - 3999262817669/2001889376467*c_0101_2^14 + 471513675062305/6005668129401*c_0101_2^13 + 179112662840166/2001889376467*c_0101_2^12 - 585852459997901/2001889376467*c_0101_2^11 - 799573066586235/2001889376467*c_0101_2^10 + 3007063974060878/6005668129401*c_0101_2^9 + 1661296211325586/2001889376467*c_0101_2^8 - 635044813327752/2001889376467*c_0101_2^7 - 4498638305169205/6005668129401*c_0101_2^6 - 596993659657930/6005668129401*c_0101_2^5 + 725734144673447/6005668129401*c_0101_2^4 + 383372858451844/6005668129401*c_0101_2^3 + 212692499803424/2001889376467*c_0101_2^2 + 488953379621818/6005668129401*c_0101_2 + 124704162398392/6005668129401, c_0011_5 + 3130081728/19435819189*c_0101_2^16 + 16278714291/19435819189*c_0101_2^15 - 16506593289/19435819189*c_0101_2^14 - 195729793129/19435819189*c_0101_2^13 - 90118301022/19435819189*c_0101_2^12 + 893178220513/19435819189*c_0101_2^11 + 705075075867/19435819189*c_0101_2^10 - 1851526606589/19435819189*c_0101_2^9 - 1980614032409/19435819189*c_0101_2^8 + 1585414319863/19435819189*c_0101_2^7 + 2275316518006/19435819189*c_0101_2^6 + 117451811004/19435819189*c_0101_2^5 - 507946340516/19435819189*c_0101_2^4 - 340184422955/19435819189*c_0101_2^3 - 415697979577/19435819189*c_0101_2^2 - 244375603250/19435819189*c_0101_2 - 51120570976/19435819189, c_0101_1 - 12327961910071/6005668129401*c_0101_2^16 - 25335200373701/2001889376467*c_0101_2^15 - 7557638478930/2001889376467*c_0101_2^14 + 636870480630571/6005668129401*c_0101_2^13 + 255424284175829/2001889376467*c_0101_2^12 - 773725097910993/2001889376467*c_0101_2^11 - 1109359050739830/2001889376467*c_0101_2^10 + 3857770572718589/6005668129401*c_0101_2^9 + 2255013608949867/2001889376467*c_0101_2^8 - 763260140477221/2001889376467*c_0101_2^7 - 5960929934169670/6005668129401*c_0101_2^6 - 894034309545457/6005668129401*c_0101_2^5 + 934759886839928/6005668129401*c_0101_2^4 + 474518480221471/6005668129401*c_0101_2^3 + 270848438141361/2001889376467*c_0101_2^2 + 644430704904628/6005668129401*c_0101_2 + 164869905216289/6005668129401, c_0101_2^17 + 7*c_0101_2^16 + 7*c_0101_2^15 - 50*c_0101_2^14 - 105*c_0101_2^13 + 136*c_0101_2^12 + 425*c_0101_2^11 - 88*c_0101_2^10 - 804*c_0101_2^9 - 268*c_0101_2^8 + 632*c_0101_2^7 + 469*c_0101_2^6 - 14*c_0101_2^5 - 100*c_0101_2^4 - 98*c_0101_2^3 - 106*c_0101_2^2 - 56*c_0101_2 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB