Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 492601851] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0771 geometric_solution 4.71441122 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 1 -1 -1 0 -1 2 -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.439817491418 1.482624321244 0 3 2 0 0132 3120 3120 1302 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 -1 1 1 0 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.816100158484 0.619926180802 4 0 1 4 0132 0132 3120 3201 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615501700450 0.219769157534 5 1 0 5 0132 3120 0132 1023 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 1 -2 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.070836410099 0.249690717504 2 2 4 4 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.053963442328 0.987920390957 3 6 6 3 0132 0132 3201 1023 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 -2 0 0 2 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.633436774311 0.924965148153 5 5 6 6 2310 0132 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 0 0 0 0 0 0 0 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.752881549429 0.174330238251 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], '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_0101_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_1001_1'])})} 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_0101_0, c_0101_4, c_0101_5, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 78404095029525813/403304589858409504*c_1001_1^16 + 154553740935592625/50413073732301188*c_1001_1^15 + 4482106959239743195/201652294929204752*c_1001_1^14 + 39253999967283930403/403304589858409504*c_1001_1^13 + 28137357353521559455/100826147464602376*c_1001_1^12 + 50782240198888547337/100826147464602376*c_1001_1^11 + 139933094172036190711/403304589858409504*c_1001_1^10 - 107611904024920591127/100826147464602376*c_1001_1^9 - 1823323709913009092467/403304589858409504*c_1001_1^8 - 93790611524061595531/9836697313619744*c_1001_1^7 - 2774457472205895867545/201652294929204752*c_1001_1^6 - 1444267613758727898609/100826147464602376*c_1001_1^5 - 1062279747208672817227/100826147464602376*c_1001_1^4 - 62097873658807570131/12603268433075297*c_1001_1^3 - 371915249994956283375/403304589858409504*c_1001_1^2 + 33349267160625841601/100826147464602376*c_1001_1 + 66520471138225776513/403304589858409504, c_0011_0 - 1, c_0011_3 + 3648292299117/10599889346573*c_1001_1^16 + 55011482386545/10599889346573*c_1001_1^15 + 383421562725484/10599889346573*c_1001_1^14 + 1619384814387705/10599889346573*c_1001_1^13 + 4474074780886213/10599889346573*c_1001_1^12 + 7675793510922374/10599889346573*c_1001_1^11 + 4287722645479274/10599889346573*c_1001_1^10 - 19071341611921215/10599889346573*c_1001_1^9 - 73097302190582326/10599889346573*c_1001_1^8 - 148403201798788410/10599889346573*c_1001_1^7 - 208439393407121039/10599889346573*c_1001_1^6 - 211995881164935215/10599889346573*c_1001_1^5 - 152488772176004990/10599889346573*c_1001_1^4 - 69674480606276628/10599889346573*c_1001_1^3 - 12620291918178836/10599889346573*c_1001_1^2 + 4591706064227501/10599889346573*c_1001_1 + 2258438040106536/10599889346573, c_0101_0 - 4430632549153/10599889346573*c_1001_1^16 - 67241828487331/10599889346573*c_1001_1^15 - 471451450712626/10599889346573*c_1001_1^14 - 2002884980765575/10599889346573*c_1001_1^13 - 5571292744339195/10599889346573*c_1001_1^12 - 9662086053407136/10599889346573*c_1001_1^11 - 5696979058716937/10599889346573*c_1001_1^10 + 23139249742631468/10599889346573*c_1001_1^9 + 90721677017684776/10599889346573*c_1001_1^8 + 186050350668148696/10599889346573*c_1001_1^7 + 263544492059694151/10599889346573*c_1001_1^6 + 270439488264556408/10599889346573*c_1001_1^5 + 196621097583893769/10599889346573*c_1001_1^4 + 91241838035319605/10599889346573*c_1001_1^3 + 17243846792395050/10599889346573*c_1001_1^2 - 5801373336123943/10599889346573*c_1001_1 - 3009584060836381/10599889346573, c_0101_4 - 166437829818/10599889346573*c_1001_1^16 - 2272183991023/10599889346573*c_1001_1^15 - 14264516061219/10599889346573*c_1001_1^14 - 53938458096557/10599889346573*c_1001_1^13 - 130986337776860/10599889346573*c_1001_1^12 - 182217988355909/10599889346573*c_1001_1^11 + 6917784786153/10599889346573*c_1001_1^10 + 754974082274855/10599889346573*c_1001_1^9 + 2190672488484367/10599889346573*c_1001_1^8 + 3888356272484704/10599889346573*c_1001_1^7 + 4921330887648866/10599889346573*c_1001_1^6 + 4556160479843026/10599889346573*c_1001_1^5 + 2994153372189369/10599889346573*c_1001_1^4 + 1249279584149746/10599889346573*c_1001_1^3 + 193782795813110/10599889346573*c_1001_1^2 - 84932928740341/10599889346573*c_1001_1 - 46089223869314/10599889346573, c_0101_5 + 487171433670/10599889346573*c_1001_1^16 + 7454657114506/10599889346573*c_1001_1^15 + 52496602438158/10599889346573*c_1001_1^14 + 223409326688247/10599889346573*c_1001_1^13 + 621251865865399/10599889346573*c_1001_1^12 + 1074131842266543/10599889346573*c_1001_1^11 + 619901288611881/10599889346573*c_1001_1^10 - 2613922500098846/10599889346573*c_1001_1^9 - 10143432474397601/10599889346573*c_1001_1^8 - 20682667842543817/10599889346573*c_1001_1^7 - 29117915899783137/10599889346573*c_1001_1^6 - 29641729816660334/10599889346573*c_1001_1^5 - 21294886710967209/10599889346573*c_1001_1^4 - 9670671552442184/10599889346573*c_1001_1^3 - 1699928700540021/10599889346573*c_1001_1^2 + 647376862625969/10599889346573*c_1001_1 + 291681374653851/10599889346573, c_0101_6 - 1257000718683/10599889346573*c_1001_1^16 - 18810055601626/10599889346573*c_1001_1^15 - 129868959280978/10599889346573*c_1001_1^14 - 542592132614013/10599889346573*c_1001_1^13 - 1479635880945688/10599889346573*c_1001_1^12 - 2486752102742838/10599889346573*c_1001_1^11 - 1245074239509545/10599889346573*c_1001_1^10 + 6591711030970974/10599889346573*c_1001_1^9 + 24302769107695460/10599889346573*c_1001_1^8 + 48483558478574102/10599889346573*c_1001_1^7 + 67093624012133964/10599889346573*c_1001_1^6 + 67150623768865245/10599889346573*c_1001_1^5 + 47324325457715127/10599889346573*c_1001_1^4 + 20943608812094543/10599889346573*c_1001_1^3 + 3439487887380110/10599889346573*c_1001_1^2 - 1467276456806596/10599889346573*c_1001_1 - 635110098013667/10599889346573, c_1001_1^17 + 17*c_1001_1^16 + 134*c_1001_1^15 + 645*c_1001_1^14 + 2075*c_1001_1^13 + 4448*c_1001_1^12 + 5199*c_1001_1^11 - 2969*c_1001_1^10 - 30003*c_1001_1^9 - 78966*c_1001_1^8 - 134969*c_1001_1^7 - 167566*c_1001_1^6 - 153264*c_1001_1^5 - 99388*c_1001_1^4 - 40211*c_1001_1^3 - 5431*c_1001_1^2 + 3025*c_1001_1 + 1189 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB