Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 1966401943] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0574 geometric_solution 4.59553541 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 -1 0 1 -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 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 -3.584284308570 3.783126084152 0 0 3 3 0132 3201 3201 0132 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 1 0 -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.128739378848 0.245532976283 0 0 2 2 3201 0132 1230 3012 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 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.114125089429 0.067927514841 1 4 1 5 2310 0132 0132 0132 0 0 0 0 0 1 -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 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 1.803325021014 1.603647043593 6 3 5 5 0132 0132 3012 2310 0 0 0 0 0 -1 0 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 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.296338549680 1.139501846282 4 4 3 6 3201 1230 0132 3201 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.296338549680 1.139501846282 4 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199129458675 0.399958596827 ==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' : d['c_0101_4'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 2460921935767/88827*c_0110_2^21 + 10154430401157/29609*c_0110_2^20 + 33688478630455/88827*c_0110_2^19 + 9997291885465/29609*c_0110_2^18 - 283944792313582/88827*c_0110_2^17 - 553466046552400/29609*c_0110_2^16 - 163734065553883/29609*c_0110_2^15 + 5830673732498081/88827*c_0110_2^14 + 2757428922787184/88827*c_0110_2^13 - 3811379490966521/29609*c_0110_2^12 - 3390919577517658/88827*c_0110_2^11 + 4991212162498652/29609*c_0110_2^10 - 276369822039689/88827*c_0110_2^9 - 12243031184625910/88827*c_0110_2^8 + 4398877975984753/88827*c_0110_2^7 + 4876796623658005/88827*c_0110_2^6 - 3834676218680087/88827*c_0110_2^5 + 4832842227210/29609*c_0110_2^4 + 321681060214394/29609*c_0110_2^3 - 148856103113198/29609*c_0110_2^2 + 86822080470950/88827*c_0110_2 - 6500090417278/88827, c_0011_0 - 1, c_0011_3 + 14*c_0110_2^21 + 169*c_0110_2^20 + 138*c_0110_2^19 + 107*c_0110_2^18 - 1673*c_0110_2^17 - 8954*c_0110_2^16 + 153*c_0110_2^15 + 34286*c_0110_2^14 + 5567*c_0110_2^13 - 70771*c_0110_2^12 + 277*c_0110_2^11 + 92880*c_0110_2^10 - 27231*c_0110_2^9 - 71479*c_0110_2^8 + 46475*c_0110_2^7 + 21942*c_0110_2^6 - 31021*c_0110_2^5 + 6035*c_0110_2^4 + 6056*c_0110_2^3 - 4230*c_0110_2^2 + 1125*c_0110_2 - 119, c_0011_5 + 104*c_0110_2^21 + 1261*c_0110_2^20 + 1093*c_0110_2^19 + 857*c_0110_2^18 - 12380*c_0110_2^17 - 67177*c_0110_2^16 - 2499*c_0110_2^15 + 254377*c_0110_2^14 + 55033*c_0110_2^13 - 522040*c_0110_2^12 - 25972*c_0110_2^11 + 687023*c_0110_2^10 - 165095*c_0110_2^9 - 537846*c_0110_2^8 + 315342*c_0110_2^7 + 178523*c_0110_2^6 - 219499*c_0110_2^5 + 33272*c_0110_2^4 + 45999*c_0110_2^3 - 28654*c_0110_2^2 + 6916*c_0110_2 - 645, c_0101_0 + c_0110_2^21 + 12*c_0110_2^20 + 9*c_0110_2^19 + 7*c_0110_2^18 - 120*c_0110_2^17 - 631*c_0110_2^16 + 56*c_0110_2^15 + 2445*c_0110_2^14 + 223*c_0110_2^13 - 5071*c_0110_2^12 + 382*c_0110_2^11 + 6607*c_0110_2^10 - 2417*c_0110_2^9 - 4933*c_0110_2^8 + 3672*c_0110_2^7 + 1305*c_0110_2^6 - 2309*c_0110_2^5 + 596*c_0110_2^4 + 390*c_0110_2^3 - 330*c_0110_2^2 + 105*c_0110_2 - 15, c_0101_1 - 4132983607/1021*c_0110_2^21 - 51147464742/1021*c_0110_2^20 - 56399193547/1021*c_0110_2^19 - 50103224376/1021*c_0110_2^18 + 477150275063/1021*c_0110_2^17 + 2787053817495/1021*c_0110_2^16 + 814891669494/1021*c_0110_2^15 - 9799309270136/1021*c_0110_2^14 - 4600716352092/1021*c_0110_2^13 + 19231403179594/1021*c_0110_2^12 + 5641600412573/1021*c_0110_2^11 - 25189117394890/1021*c_0110_2^10 + 532164681838/1021*c_0110_2^9 + 20588490408428/1021*c_0110_2^8 - 7446440770609/1021*c_0110_2^7 - 8189780287164/1021*c_0110_2^6 + 6468351933606/1021*c_0110_2^5 - 34539634851/1021*c_0110_2^4 - 1624935041277/1021*c_0110_2^3 + 753788374250/1021*c_0110_2^2 - 146794799159/1021*c_0110_2 + 11006140301/1021, c_0101_4 - 5339380968/1021*c_0110_2^21 - 66083226910/1021*c_0110_2^20 - 72939570905/1021*c_0110_2^19 - 64844170798/1021*c_0110_2^18 + 616304997873/1021*c_0110_2^17 + 3601229523530/1021*c_0110_2^16 + 1057126270264/1021*c_0110_2^15 - 12656614515014/1021*c_0110_2^14 - 5956736245481/1021*c_0110_2^13 + 24832594293442/1021*c_0110_2^12 + 7311345957513/1021*c_0110_2^11 - 32523563022027/1021*c_0110_2^10 + 658212972694/1021*c_0110_2^9 + 26586407921913/1021*c_0110_2^8 - 9594762722234/1021*c_0110_2^7 - 10580466721001/1021*c_0110_2^6 + 8344317139906/1021*c_0110_2^5 - 40297277192/1021*c_0110_2^4 - 2097437444961/1021*c_0110_2^3 + 972198231513/1021*c_0110_2^2 - 189228569854/1021*c_0110_2 + 14181162760/1021, c_0110_2^22 + 12*c_0110_2^21 + 9*c_0110_2^20 + 7*c_0110_2^19 - 120*c_0110_2^18 - 631*c_0110_2^17 + 56*c_0110_2^16 + 2445*c_0110_2^15 + 223*c_0110_2^14 - 5071*c_0110_2^13 + 382*c_0110_2^12 + 6607*c_0110_2^11 - 2417*c_0110_2^10 - 4933*c_0110_2^9 + 3672*c_0110_2^8 + 1305*c_0110_2^7 - 2309*c_0110_2^6 + 596*c_0110_2^5 + 390*c_0110_2^4 - 330*c_0110_2^3 + 104*c_0110_2^2 - 16*c_0110_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB