Magma V2.19-8 Tue Aug 20 2013 16:18:40 on localhost [Seed = 576962351] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2844 geometric_solution 6.06524970 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 -1 2 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 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.265712603462 0.665075999533 0 3 4 5 0132 3201 3012 0132 0 0 0 0 0 1 0 -1 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 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.293415857572 0.989275102640 4 0 3 4 3201 0132 3012 2310 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 0 0 0 0 0 0 0 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.061949124289 0.838616500898 5 2 1 0 3201 1230 2310 0132 0 0 0 0 0 0 -1 1 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 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.293415857572 0.989275102640 2 1 0 2 3201 1230 0132 2310 0 0 0 0 0 1 -2 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 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.061949124289 0.838616500898 6 6 1 3 0132 3201 0132 2310 0 0 0 0 0 0 1 -1 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 -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.586236795081 2.336921227122 5 6 5 6 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -1 0 0 1 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 0 -1 -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.545773054497 0.628229157089 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 298112723345217963104/1730935119643675761*c_0101_2^18 - 299204849514266478485/1730935119643675761*c_0101_2^17 + 951742569007183332641/576978373214558587*c_0101_2^16 + 876625042227374228299/576978373214558587*c_0101_2^15 - 3527298994334752169508/576978373214558587*c_0101_2^14 - 6118548295213795320451/1730935119643675761*c_0101_2^13 + 15196111566689433637886/1730935119643675761*c_0101_2^12 + 4609441420370980927073/1730935119643675761*c_0101_2^11 - 5589870590508198869276/1730935119643675761*c_0101_2^10 + 100089046653940124398/1730935119643675761*c_0101_2^9 - 2573138083584592373989/1730935119643675761*c_0101_2^8 - 626496222165400243427/1730935119643675761*c_0101_2^7 - 259865832248461591745/1730935119643675761*c_0101_2^6 - 150751786913844010940/1730935119643675761*c_0101_2^5 + 673633105698204803780/1730935119643675761*c_0101_2^4 + 4132255265408045065/1730935119643675761*c_0101_2^3 + 92817169653168804260/576978373214558587*c_0101_2^2 - 15557785564548439057/1730935119643675761*c_0101_2 + 37012910550122578555/1730935119643675761, c_0011_0 - 1, c_0011_3 + 154371717595502043/576978373214558587*c_0101_2^18 + 863909005901537643/576978373214558587*c_0101_2^17 + 362933724182565405/576978373214558587*c_0101_2^16 - 5642582060093775591/576978373214558587*c_0101_2^15 - 8340735344696388935/576978373214558587*c_0101_2^14 + 9407691625243254221/576978373214558587*c_0101_2^13 + 22087811276837759238/576978373214558587*c_0101_2^12 + 1505665937819474245/576978373214558587*c_0101_2^11 - 11811322253860287390/576978373214558587*c_0101_2^10 - 5391362959138782404/576978373214558587*c_0101_2^9 - 5743898963013309880/576978373214558587*c_0101_2^8 - 3523637095968979583/576978373214558587*c_0101_2^7 + 683875740636345382/576978373214558587*c_0101_2^6 + 2518769282644062479/576978373214558587*c_0101_2^5 + 1714219467287478785/576978373214558587*c_0101_2^4 - 1249657687251719266/576978373214558587*c_0101_2^3 + 555131821976193231/576978373214558587*c_0101_2^2 + 995561808717393919/576978373214558587*c_0101_2 + 64425180114761748/576978373214558587, c_0011_4 + 472042338159109380/576978373214558587*c_0101_2^18 + 1407911504829040773/576978373214558587*c_0101_2^17 - 2436400233110271621/576978373214558587*c_0101_2^16 - 10371317168452608116/576978373214558587*c_0101_2^15 + 1083493622593490210/576978373214558587*c_0101_2^14 + 22052187034315720305/576978373214558587*c_0101_2^13 + 8844259897359494443/576978373214558587*c_0101_2^12 - 9448247499898371501/576978373214558587*c_0101_2^11 - 5890102354447327466/576978373214558587*c_0101_2^10 - 6539507046005512717/576978373214558587*c_0101_2^9 - 4722986594210956994/576978373214558587*c_0101_2^8 + 185136345327800320/576978373214558587*c_0101_2^7 + 2162526857423673149/576978373214558587*c_0101_2^6 + 1737968962302171407/576978373214558587*c_0101_2^5 - 1095285969656217223/576978373214558587*c_0101_2^4 + 638255054527617408/576978373214558587*c_0101_2^3 + 1655663414483376683/576978373214558587*c_0101_2^2 + 76299927622108059/576978373214558587*c_0101_2 + 11874747507346311/576978373214558587, c_0011_5 + 4818241724800304866/576978373214558587*c_0101_2^18 + 11702314837381533569/576978373214558587*c_0101_2^17 - 35455382918457769293/576978373214558587*c_0101_2^16 - 101743165078936784390/576978373214558587*c_0101_2^15 + 80786749885983476610/576978373214558587*c_0101_2^14 + 292807843214916256585/576978373214558587*c_0101_2^13 - 19189065072294855599/576978373214558587*c_0101_2^12 - 323254739884157345175/576978373214558587*c_0101_2^11 - 109671750934819627026/576978373214558587*c_0101_2^10 + 86959183410375177697/576978373214558587*c_0101_2^9 + 76650293617650123470/576978373214558587*c_0101_2^8 + 44667543319611672297/576978373214558587*c_0101_2^7 + 17388766154477771676/576978373214558587*c_0101_2^6 - 1066719249407105674/576978373214558587*c_0101_2^5 - 8354778773625389965/576978373214558587*c_0101_2^4 - 8064166789437940367/576978373214558587*c_0101_2^3 - 5926120008129415531/576978373214558587*c_0101_2^2 - 2318448853942547467/576978373214558587*c_0101_2 - 589540446379782815/576978373214558587, c_0101_0 + 4758429037640458635/576978373214558587*c_0101_2^18 + 13388658775199868639/576978373214558587*c_0101_2^17 - 28522590088585270260/576978373214558587*c_0101_2^16 - 106070817859071139452/576978373214558587*c_0101_2^15 + 35188461419861087374/576978373214558587*c_0101_2^14 + 263046752391813319922/576978373214558587*c_0101_2^13 + 59971601958753576403/576978373214558587*c_0101_2^12 - 207763168726422461202/576978373214558587*c_0101_2^11 - 100015765110171931632/576978373214558587*c_0101_2^10 - 1831661137857805483/576978373214558587*c_0101_2^9 + 8879239458947326274/576978373214558587*c_0101_2^8 + 31171470806776707113/576978373214558587*c_0101_2^7 + 16321566695513062578/576978373214558587*c_0101_2^6 + 12325737413137283832/576978373214558587*c_0101_2^5 + 3622534100590529439/576978373214558587*c_0101_2^4 - 3463796084882136875/576978373214558587*c_0101_2^3 - 1047283839944745796/576978373214558587*c_0101_2^2 - 2030223180625055497/576978373214558587*c_0101_2 - 185577514100450841/576978373214558587, c_0101_1 - c_0101_2, c_0101_2^19 + 33/13*c_0101_2^18 - 88/13*c_0101_2^17 - 270/13*c_0101_2^16 + 171/13*c_0101_2^15 + 701/13*c_0101_2^14 + 3/13*c_0101_2^13 - 618/13*c_0101_2^12 - 199/13*c_0101_2^11 + 42/13*c_0101_2^10 + 67/13*c_0101_2^9 + 101/13*c_0101_2^8 + 42/13*c_0101_2^7 + 30/13*c_0101_2^6 - 2/13*c_0101_2^5 - c_0101_2^4 - 7/13*c_0101_2^3 - 7/13*c_0101_2^2 - 1/13*c_0101_2 - 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB