Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 3204391521] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1800 geometric_solution 5.47039660 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.600711415880 0.446729141153 0 2 3 0 3201 0132 0132 0132 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 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.845905211712 0.541313222098 4 1 5 3 0132 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 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 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.259977267532 0.858513829043 5 2 4 1 1023 2310 1023 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.259977267532 0.858513829043 2 6 3 6 0132 0132 1023 1023 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 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.796727103828 0.666168899553 5 3 5 2 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.323099957519 1.066961678329 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.549952672569 0.163464411632 ==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' : 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_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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' : d['c_0101_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 10433773599109938535/4343907396694885783*c_0110_6^24 - 383502309418798722089/4343907396694885783*c_0110_6^22 + 4987980941871901937879/4343907396694885783*c_0110_6^20 - 30608298444812650941917/4343907396694885783*c_0110_6^18 + 95552917537306402485629/4343907396694885783*c_0110_6^16 - 172055695967661452817829/4343907396694885783*c_0110_6^14 + 200115560000832094741278/4343907396694885783*c_0110_6^12 - 161303149988608364145958/4343907396694885783*c_0110_6^10 + 91355511925281574265844/4343907396694885783*c_0110_6^8 - 36317215669224288537691/4343907396694885783*c_0110_6^6 + 9641404828570431534960/4343907396694885783*c_0110_6^4 - 1507126311927857155825/4343907396694885783*c_0110_6^2 + 143971836861960975771/4343907396694885783, c_0011_0 - 1, c_0011_1 + 217112645592687605/4343907396694885783*c_0110_6^24 - 7639351046935554540/4343907396694885783*c_0110_6^22 + 91361764767915376682/4343907396694885783*c_0110_6^20 - 477451794837479713166/4343907396694885783*c_0110_6^18 + 1032541236592470511169/4343907396694885783*c_0110_6^16 - 719061772227420638112/4343907396694885783*c_0110_6^14 - 694311626310523134571/4343907396694885783*c_0110_6^12 + 1904538911978771887647/4343907396694885783*c_0110_6^10 - 1968122786858622456371/4343907396694885783*c_0110_6^8 + 1159121683817505714484/4343907396694885783*c_0110_6^6 - 424977669633867430075/4343907396694885783*c_0110_6^4 + 79747034138267194240/4343907396694885783*c_0110_6^2 - 5931211447163845877/4343907396694885783, c_0011_3 - 64288809057883667/4343907396694885783*c_0110_6^25 + 2003932387379434180/4343907396694885783*c_0110_6^23 - 17632876574210540186/4343907396694885783*c_0110_6^21 + 20373322836688650594/4343907396694885783*c_0110_6^19 + 422583301296591052492/4343907396694885783*c_0110_6^17 - 1996423825443891475623/4343907396694885783*c_0110_6^15 + 4095915597227704077522/4343907396694885783*c_0110_6^13 - 5091335810404284220576/4343907396694885783*c_0110_6^11 + 4287929679093132939966/4343907396694885783*c_0110_6^9 - 2458135649542574079866/4343907396694885783*c_0110_6^7 + 962810800545333880581/4343907396694885783*c_0110_6^5 - 227528539716150353268/4343907396694885783*c_0110_6^3 + 28512709710611589486/4343907396694885783*c_0110_6, c_0101_0 - 2982614164723918044/4343907396694885783*c_0110_6^25 + 109800902937072833673/4343907396694885783*c_0110_6^23 - 1432046330542383963507/4343907396694885783*c_0110_6^21 + 8826164548162099953478/4343907396694885783*c_0110_6^19 - 27741480744516349159129/4343907396694885783*c_0110_6^17 + 50265051180625538915817/4343907396694885783*c_0110_6^15 - 58448964378887998170562/4343907396694885783*c_0110_6^13 + 46556068636695264652985/4343907396694885783*c_0110_6^11 - 25757403143662950304814/4343907396694885783*c_0110_6^9 + 9927342299316886119137/4343907396694885783*c_0110_6^7 - 2557893423443511504593/4343907396694885783*c_0110_6^5 + 411083373289516216034/4343907396694885783*c_0110_6^3 - 40479736160083444372/4343907396694885783*c_0110_6, c_0101_2 + 303021798094144872/4343907396694885783*c_0110_6^24 - 11550291343704942101/4343907396694885783*c_0110_6^22 + 159829840243713323180/4343907396694885783*c_0110_6^20 - 1079059151075131077876/4343907396694885783*c_0110_6^18 + 3894466984355053874047/4343907396694885783*c_0110_6^16 - 8231202385740555977508/4343907396694885783*c_0110_6^14 + 10990374160715999029186/4343907396694885783*c_0110_6^12 - 9858071182009741980290/4343907396694885783*c_0110_6^10 + 6111108640989744017096/4343907396694885783*c_0110_6^8 - 2570861080223673471564/4343907396694885783*c_0110_6^6 + 714946619562797473678/4343907396694885783*c_0110_6^4 - 109934018997662079310/4343907396694885783*c_0110_6^2 + 6542290286205733359/4343907396694885783, c_0101_4 + 523910230470387232/4343907396694885783*c_0110_6^25 - 19235843819871758138/4343907396694885783*c_0110_6^23 + 249483754239293436526/4343907396694885783*c_0110_6^21 - 1519403166439596496439/4343907396694885783*c_0110_6^19 + 4641713177683821024276/4343907396694885783*c_0110_6^17 - 7896851073029302806030/4343907396694885783*c_0110_6^15 + 8158977493305129052022/4343907396694885783*c_0110_6^13 - 5368166041914453713493/4343907396694885783*c_0110_6^11 + 2170806076440790927974/4343907396694885783*c_0110_6^9 - 468919175428193254487/4343907396694885783*c_0110_6^7 + 39482701076622983565/4343907396694885783*c_0110_6^5 - 1347454339555217631/4343907396694885783*c_0110_6^3 + 8246159350928094772/4343907396694885783*c_0110_6, c_0110_6^26 - 37*c_0110_6^24 + 487*c_0110_6^22 - 3049*c_0110_6^20 + 9857*c_0110_6^18 - 18616*c_0110_6^16 + 22840*c_0110_6^14 - 19443*c_0110_6^12 + 11705*c_0110_6^10 - 4995*c_0110_6^8 + 1465*c_0110_6^6 - 274*c_0110_6^4 + 31*c_0110_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB