Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 2463305392] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s375 geometric_solution 4.59389458 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 -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 1.649985813633 0.327882966820 0 2 2 0 3201 0132 1023 0132 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 -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 1.052364609418 0.654805186299 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 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 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.404438867803 0.233678535489 2 4 5 4 0132 1302 0132 0321 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 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.720317834282 0.701005309360 5 3 2 3 2310 0321 0132 2031 0 0 0 0 0 1 -1 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 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.720317834282 0.701005309360 5 5 4 3 1302 2031 3201 0132 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 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 1.036817313587 0.873541487692 ==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_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : 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_0011_4']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : d['c_0011_1'], 'c_1010_2' : negation(d['c_0011_4']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 656377708497426262291515061/294351324557988728211495839*c_0101_3^14 - 6687024041022511571832961755/294351324557988728211495839*c_0101_3\ ^13 + 57197572901063175343997330038/294351324557988728211495839*c_0\ 101_3^12 - 382037407871298903135862449500/2943513245579887282114958\ 39*c_0101_3^11 + 1022968120080107044369153723311/294351324557988728\ 211495839*c_0101_3^10 - 197047457901605413547961875635/420501892225\ 69818315927977*c_0101_3^9 + 791501479906140560745174930736/29435132\ 4557988728211495839*c_0101_3^8 + 702366957756957259432568936492/294\ 351324557988728211495839*c_0101_3^7 - 918722688142956493500796934643/294351324557988728211495839*c_0101_3\ ^6 - 128163803648884527079085809882/294351324557988728211495839*c_0\ 101_3^5 - 49163593332855783255614936043/294351324557988728211495839\ *c_0101_3^4 + 215457180917539752343475579014/2943513245579887282114\ 95839*c_0101_3^3 + 132152072755284171429433092174/29435132455798872\ 8211495839*c_0101_3^2 - 64582717305927611580954287680/2943513245579\ 88728211495839*c_0101_3 - 13471645964475968465520495380/29435132455\ 7988728211495839, c_0011_0 - 1, c_0011_1 - 3495516458540179331358/82613338354754063489053*c_0101_3^14 - 38260761870146460146140/82613338354754063489053*c_0101_3^13 + 275662159291459932365298/82613338354754063489053*c_0101_3^12 - 1824997052450855958079521/82613338354754063489053*c_0101_3^11 + 4059765927208976228426817/82613338354754063489053*c_0101_3^10 - 4241495153020673904064111/82613338354754063489053*c_0101_3^9 + 954365234344366249924598/82613338354754063489053*c_0101_3^8 + 4375419838325428992157979/82613338354754063489053*c_0101_3^7 - 1157670561022072598621288/82613338354754063489053*c_0101_3^6 - 2290164281762928408546577/82613338354754063489053*c_0101_3^5 - 1426222373056016016829796/82613338354754063489053*c_0101_3^4 + 135178611620293896062553/82613338354754063489053*c_0101_3^3 + 643715036749679262172306/82613338354754063489053*c_0101_3^2 + 188812656834345347769810/82613338354754063489053*c_0101_3 - 47335662078120763512386/82613338354754063489053, c_0011_4 - 500103993683351018250553/42050189222569818315927977*c_0101_3\ ^14 - 4475880970604123515061207/42050189222569818315927977*c_0101_3\ ^13 + 49611878358395251136059873/42050189222569818315927977*c_0101_\ 3^12 - 347749793546216804112414462/42050189222569818315927977*c_010\ 1_3^11 + 1164304672888565119372950067/42050189222569818315927977*c_\ 0101_3^10 - 2183390698006410288503138079/42050189222569818315927977\ *c_0101_3^9 + 2385532487025946188285502048/420501892225698183159279\ 77*c_0101_3^8 - 974232825043568527771667689/42050189222569818315927\ 977*c_0101_3^7 - 694600321145888450053143481/4205018922256981831592\ 7977*c_0101_3^6 + 698940539051525918748568069/420501892225698183159\ 27977*c_0101_3^5 - 146930869828270922943815536/42050189222569818315\ 927977*c_0101_3^4 + 238628925669145412215655319/4205018922256981831\ 5927977*c_0101_3^3 - 128955168689637760892251455/420501892225698183\ 15927977*c_0101_3^2 - 45304176012468196639320436/420501892225698183\ 15927977*c_0101_3 + 36368028625737090619578597/42050189222569818315\ 927977, c_0011_5 - 3229559546746017982144454/42050189222569818315927977*c_0101_\ 3^14 - 33701682819150627679357988/42050189222569818315927977*c_0101\ _3^13 + 272559661984960848644130262/42050189222569818315927977*c_01\ 01_3^12 - 1817921999166461976641282409/42050189222569818315927977*c\ _0101_3^11 + 4624939649181576588227873812/4205018922256981831592797\ 7*c_0101_3^10 - 5917968715430668491707883299/4205018922256981831592\ 7977*c_0101_3^9 + 3058159205494795188113535006/42050189222569818315\ 927977*c_0101_3^8 + 3543421082032090316212749824/420501892225698183\ 15927977*c_0101_3^7 - 3496219878885459934597570786/4205018922256981\ 8315927977*c_0101_3^6 - 739722302216855139133695976/420501892225698\ 18315927977*c_0101_3^5 - 808795187902859716688755921/42050189222569\ 818315927977*c_0101_3^4 + 652040922730170452479613643/4205018922256\ 9818315927977*c_0101_3^3 + 592834113115509264189292690/420501892225\ 69818315927977*c_0101_3^2 - 172833641560225125367815547/42050189222\ 569818315927977*c_0101_3 - 17775299953370562158000908/4205018922256\ 9818315927977, c_0101_0 + 1299230240328173264680090/42050189222569818315927977*c_0101_\ 3^14 + 13490660178885061093323154/42050189222569818315927977*c_0101\ _3^13 - 109975771753471745218897550/42050189222569818315927977*c_01\ 01_3^12 + 740796118937639905772945889/42050189222569818315927977*c_\ 0101_3^11 - 1931629820302925840646142564/42050189222569818315927977\ *c_0101_3^10 + 2700053661660332267867798210/42050189222569818315927\ 977*c_0101_3^9 - 1970182084761143499638442253/420501892225698183159\ 27977*c_0101_3^8 - 471164993113889596091947977/42050189222569818315\ 927977*c_0101_3^7 + 821953887015596604752897306/4205018922256981831\ 5927977*c_0101_3^6 + 90491836291150221980242762/4205018922256981831\ 5927977*c_0101_3^5 + 643009489758260812968652210/420501892225698183\ 15927977*c_0101_3^4 - 135758928149715644149744871/42050189222569818\ 315927977*c_0101_3^3 - 163001702025974457918502038/4205018922256981\ 8315927977*c_0101_3^2 - 48282967334115971232936206/4205018922256981\ 8315927977*c_0101_3 - 26837736763448046397721841/420501892225698183\ 15927977, c_0101_3^15 + 10*c_0101_3^14 - 89*c_0101_3^13 + 599*c_0101_3^12 - 1672*c_0101_3^11 + 2422*c_0101_3^10 - 1661*c_0101_3^9 - 781*c_0101_3^8 + 1586*c_0101_3^7 - 132*c_0101_3^6 + 52*c_0101_3^5 - 318*c_0101_3^4 - 109*c_0101_3^3 + 137*c_0101_3^2 - c_0101_3 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB