Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 543276281] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1728 geometric_solution 5.43451894 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 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 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.516541654902 0.644591644091 0 3 3 4 0132 0132 2031 0132 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 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.827434937983 0.869593452988 4 0 5 3 1302 0132 0132 1302 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 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.755134314942 0.460500020799 4 1 2 1 3012 0132 2031 1302 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563255894010 0.169811992339 5 2 1 3 1230 2031 0132 1230 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 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.064212392127 0.660465769914 6 4 6 2 0132 3012 2310 0132 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.911515403210 0.528232668962 5 5 6 6 0132 3201 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.587531558484 0.178232353395 ==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_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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0110_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_3'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), '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' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0110_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0110_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' : d['c_0110_3'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0110_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0110_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_5, c_0110_2, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 959377213495877179/85098096105276905*c_0110_3^17 + 2190426378619152474/85098096105276905*c_0110_3^16 - 678152610982309992/17019619221055381*c_0110_3^15 + 14197253739722802323/85098096105276905*c_0110_3^14 - 2764994834211304068/85098096105276905*c_0110_3^13 - 7410650966199548392/85098096105276905*c_0110_3^12 - 4969300692334995264/85098096105276905*c_0110_3^11 - 26480028053859111538/17019619221055381*c_0110_3^10 + 141089124111791749806/85098096105276905*c_0110_3^9 - 774413472155612787/12156870872182415*c_0110_3^8 + 31535094947922966324/85098096105276905*c_0110_3^7 - 77388428826555156334/85098096105276905*c_0110_3^6 - 11766459791081902174/17019619221055381*c_0110_3^5 + 69948151793720543529/85098096105276905*c_0110_3^4 + 12901259592110622/85098096105276905*c_0110_3^3 + 1996235269397862516/12156870872182415*c_0110_3^2 - 785853867366653396/12156870872182415*c_0110_3 - 1390085228981167661/17019619221055381, c_0011_0 - 1, c_0011_4 + 49144230783648361/85098096105276905*c_0110_3^17 - 18512184465213955/17019619221055381*c_0110_3^16 + 143286391251627814/85098096105276905*c_0110_3^15 - 682495652428766952/85098096105276905*c_0110_3^14 - 21968994734113415/17019619221055381*c_0110_3^13 + 47924021778121767/17019619221055381*c_0110_3^12 + 343463954847392789/85098096105276905*c_0110_3^11 + 6923036500816517666/85098096105276905*c_0110_3^10 - 4408654074178693959/85098096105276905*c_0110_3^9 - 78025848703716794/12156870872182415*c_0110_3^8 - 482915504806898510/17019619221055381*c_0110_3^7 + 638147737584891896/17019619221055381*c_0110_3^6 + 3705666077741334081/85098096105276905*c_0110_3^5 - 1665403506038559416/85098096105276905*c_0110_3^4 - 327018008751365234/85098096105276905*c_0110_3^3 - 107585731198025048/12156870872182415*c_0110_3^2 - 290302625375451/2431374174436483*c_0110_3 + 119264651098518943/85098096105276905, c_0101_0 + 1455683022055350/17019619221055381*c_0110_3^17 - 13173713302890713/85098096105276905*c_0110_3^16 + 22277161965233628/85098096105276905*c_0110_3^15 - 20829179571453749/17019619221055381*c_0110_3^14 - 14066585597465829/85098096105276905*c_0110_3^13 - 204042101795071/85098096105276905*c_0110_3^12 + 65143910379343886/85098096105276905*c_0110_3^11 + 1010721447521141817/85098096105276905*c_0110_3^10 - 115538196599356556/17019619221055381*c_0110_3^9 + 22956316375201561/12156870872182415*c_0110_3^8 - 638134925714737628/85098096105276905*c_0110_3^7 + 808723406074663918/85098096105276905*c_0110_3^6 + 366628608594757242/85098096105276905*c_0110_3^5 - 9460575167123909/17019619221055381*c_0110_3^4 - 99656499395492637/85098096105276905*c_0110_3^3 - 29458639398166878/12156870872182415*c_0110_3^2 + 17343815709031482/12156870872182415*c_0110_3 - 29489867443814784/85098096105276905, c_0101_1 + 8691894300799412/85098096105276905*c_0110_3^17 - 11217122546967361/85098096105276905*c_0110_3^16 + 17236720176864299/85098096105276905*c_0110_3^15 - 105450137840891824/85098096105276905*c_0110_3^14 - 91791383200466688/85098096105276905*c_0110_3^13 + 16946421024565133/85098096105276905*c_0110_3^12 + 7933291596460981/17019619221055381*c_0110_3^11 + 1250649807361062461/85098096105276905*c_0110_3^10 - 27994991032073243/85098096105276905*c_0110_3^9 - 45444283971695311/12156870872182415*c_0110_3^8 - 167127136778680891/85098096105276905*c_0110_3^7 + 107833925889182846/85098096105276905*c_0110_3^6 + 852701648040476706/85098096105276905*c_0110_3^5 + 138766757758398528/85098096105276905*c_0110_3^4 + 4730156300253918/85098096105276905*c_0110_3^3 - 7742003377164407/12156870872182415*c_0110_3^2 - 34538274348823176/12156870872182415*c_0110_3 - 13005954351503697/85098096105276905, c_0101_5 + 21203155864489548/85098096105276905*c_0110_3^17 - 42802079347365889/85098096105276905*c_0110_3^16 + 73087735758710606/85098096105276905*c_0110_3^15 - 313502232864683671/85098096105276905*c_0110_3^14 + 6073812525850613/85098096105276905*c_0110_3^13 + 35021121228423972/85098096105276905*c_0110_3^12 + 21465131134883388/17019619221055381*c_0110_3^11 + 3033438816766353574/85098096105276905*c_0110_3^10 - 2261686239352849902/85098096105276905*c_0110_3^9 + 118891476480870066/12156870872182415*c_0110_3^8 - 1498340460462024519/85098096105276905*c_0110_3^7 + 1040218392408192114/85098096105276905*c_0110_3^6 + 1419396018348278164/85098096105276905*c_0110_3^5 - 534539263123504543/85098096105276905*c_0110_3^4 + 473140310940707642/85098096105276905*c_0110_3^3 - 90156796835187878/12156870872182415*c_0110_3^2 - 19633348048719489/12156870872182415*c_0110_3 + 30696846795718847/85098096105276905, c_0110_2 + 13005954351503697/85098096105276905*c_0110_3^17 - 17320014402207982/85098096105276905*c_0110_3^16 + 5560148101508746/17019619221055381*c_0110_3^15 - 164846640744187459/85098096105276905*c_0110_3^14 - 118456092192395521/85098096105276905*c_0110_3^13 - 749702739940809/85098096105276905*c_0110_3^12 + 107988101485091012/85098096105276905*c_0110_3^11 + 372100013438564497/17019619221055381*c_0110_3^10 - 140987308249833118/85098096105276905*c_0110_3^9 - 41159154008878169/12156870872182415*c_0110_3^8 - 838348161862015057/85098096105276905*c_0110_3^7 + 730283713475074202/85098096105276905*c_0110_3^6 + 221858482190993503/17019619221055381*c_0110_3^5 + 215409884816795553/85098096105276905*c_0110_3^4 - 17304694459645836/85098096105276905*c_0110_3^3 - 30910152525044133/12156870872182415*c_0110_3^2 - 7742003377164407/12156870872182415*c_0110_3 - 15726819645492629/17019619221055381, c_0110_3^18 - 2*c_0110_3^17 + 3*c_0110_3^16 - 14*c_0110_3^15 - c_0110_3^14 + 7*c_0110_3^13 + 7*c_0110_3^12 + 140*c_0110_3^11 - 107*c_0110_3^10 - 20*c_0110_3^9 - 40*c_0110_3^8 + 69*c_0110_3^7 + 77*c_0110_3^6 - 49*c_0110_3^5 - 12*c_0110_3^4 - 17*c_0110_3^3 + 6*c_0110_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB