Magma V2.19-8 Tue Aug 20 2013 16:14:15 on localhost [Seed = 1562165618] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s234 geometric_solution 4.39335668 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.604950798777 0.200506579070 0 2 2 0 3201 0132 1023 0132 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 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 1.313157281798 0.472479067177 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 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 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.363976448238 0.542719556187 2 4 4 5 0132 2310 3201 0132 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 -1 0 1 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.157100973945 0.847770332805 3 5 2 3 2310 0132 0132 3201 0 0 0 0 0 0 1 -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 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.157100973945 0.847770332805 5 4 3 5 3201 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.211328997958 1.140403209675 ==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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 204989365951668/2938608926563*c_0101_3^16 - 296426168508577/2938608926563*c_0101_3^15 + 1184279266529799/2938608926563*c_0101_3^14 + 5475447907720687/2938608926563*c_0101_3^13 - 11025591588484654/2938608926563*c_0101_3^12 - 22622384754323318/2938608926563*c_0101_3^11 + 50124812442125305/2938608926563*c_0101_3^10 + 11980552990757961/2938608926563*c_0101_3^9 - 74454377293811955/2938608926563*c_0101_3^8 + 30196556056723737/2938608926563*c_0101_3^7 + 44156507212130657/2938608926563*c_0101_3^6 - 41615936351022597/2938608926563*c_0101_3^5 + 1922118379621339/2938608926563*c_0101_3^4 + 11375817484172281/2938608926563*c_0101_3^3 - 4062982129206619/2938608926563*c_0101_3^2 - 597285280835204/2938608926563*c_0101_3 + 413229956278984/2938608926563, c_0011_0 - 1, c_0011_1 - 9187768143146/2938608926563*c_0101_3^16 - 10090850769465/2938608926563*c_0101_3^15 + 60382270533880/2938608926563*c_0101_3^14 + 232415172261372/2938608926563*c_0101_3^13 - 591905611412595/2938608926563*c_0101_3^12 - 921416494948029/2938608926563*c_0101_3^11 + 2696878201795013/2938608926563*c_0101_3^10 + 113376256781020/2938608926563*c_0101_3^9 - 3968205876844343/2938608926563*c_0101_3^8 + 2074563247047973/2938608926563*c_0101_3^7 + 2221842323961514/2938608926563*c_0101_3^6 - 2487383498329456/2938608926563*c_0101_3^5 + 195401411479284/2938608926563*c_0101_3^4 + 669812273665023/2938608926563*c_0101_3^3 - 261862047505667/2938608926563*c_0101_3^2 - 35859420799972/2938608926563*c_0101_3 + 28997580978518/2938608926563, c_0011_4 + 8329578247351/2938608926563*c_0101_3^16 + 9663479443240/2938608926563*c_0101_3^15 - 53559777585606/2938608926563*c_0101_3^14 - 212504959235862/2938608926563*c_0101_3^13 + 521376323560441/2938608926563*c_0101_3^12 + 848651249876642/2938608926563*c_0101_3^11 - 2380696199609946/2938608926563*c_0101_3^10 - 158693345581054/2938608926563*c_0101_3^9 + 3533565206365569/2938608926563*c_0101_3^8 - 1817045827339298/2938608926563*c_0101_3^7 - 2023326587076456/2938608926563*c_0101_3^6 + 2230504686919765/2938608926563*c_0101_3^5 - 145107345889030/2938608926563*c_0101_3^4 - 631109323119355/2938608926563*c_0101_3^3 + 236661372683190/2938608926563*c_0101_3^2 + 38566822799785/2938608926563*c_0101_3 - 26959492066147/2938608926563, c_0101_0 + 15661733980393/2938608926563*c_0101_3^16 + 19434621604305/2938608926563*c_0101_3^15 - 96840562759717/2938608926563*c_0101_3^14 - 403055471960832/2938608926563*c_0101_3^13 + 936583417455092/2938608926563*c_0101_3^12 + 1605322868979202/2938608926563*c_0101_3^11 - 4253037664153178/2938608926563*c_0101_3^10 - 351598824992109/2938608926563*c_0101_3^9 + 6190859338266998/2938608926563*c_0101_3^8 - 3222965766539807/2938608926563*c_0101_3^7 - 3405420367737950/2938608926563*c_0101_3^6 + 3881358914853994/2938608926563*c_0101_3^5 - 420457422292494/2938608926563*c_0101_3^4 - 1006346317320815/2938608926563*c_0101_3^3 + 418279166038262/2938608926563*c_0101_3^2 + 45549382431092/2938608926563*c_0101_3 - 41667967621931/2938608926563, c_0101_2 + 20245692198630/2938608926563*c_0101_3^16 + 29352639727939/2938608926563*c_0101_3^15 - 117560823322868/2938608926563*c_0101_3^14 - 542850163967325/2938608926563*c_0101_3^13 + 1089642187575807/2938608926563*c_0101_3^12 + 2259885266063010/2938608926563*c_0101_3^11 - 4961624618283089/2938608926563*c_0101_3^10 - 1299132843782151/2938608926563*c_0101_3^9 + 7436080255981977/2938608926563*c_0101_3^8 - 2824798120758951/2938608926563*c_0101_3^7 - 4509253146396029/2938608926563*c_0101_3^6 + 4046661961937554/2938608926563*c_0101_3^5 - 65554658799769/2938608926563*c_0101_3^4 - 1140884439578450/2938608926563*c_0101_3^3 + 376227344104866/2938608926563*c_0101_3^2 + 67211267158900/2938608926563*c_0101_3 - 38399012259498/2938608926563, c_0101_3^17 + 2*c_0101_3^16 - 5*c_0101_3^15 - 30*c_0101_3^14 + 39*c_0101_3^13 + 141*c_0101_3^12 - 183*c_0101_3^11 - 198*c_0101_3^10 + 329*c_0101_3^9 + 62*c_0101_3^8 - 295*c_0101_3^7 + 76*c_0101_3^6 + 104*c_0101_3^5 - 56*c_0101_3^4 - 12*c_0101_3^3 + 13*c_0101_3^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB