Magma V2.19-8 Tue Aug 20 2013 16:14:13 on localhost [Seed = 3768679631] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s190 geometric_solution 4.30008750 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 2 0132 2310 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 0 0 0 0 0 0 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.117308099551 0.933989337281 0 1 1 0 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.643229032095 0.135568900445 0 3 4 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 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.617896848959 0.667218278412 5 2 4 4 0132 0132 1302 2031 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 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.391849181439 0.443181657456 3 3 5 2 2031 1302 0132 0132 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 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.391849181439 0.443181657456 3 5 5 4 0132 3201 2310 0132 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 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.369829417099 1.164631236722 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 29797337586132/362036992295*c_0101_5^14 - 122332628138128/362036992295*c_0101_5^13 - 466486140840097/362036992295*c_0101_5^12 + 1488981554412436/362036992295*c_0101_5^11 + 3405256948929191/362036992295*c_0101_5^10 - 1002671962140454/72407398459*c_0101_5^9 - 883178507181686/32912453845*c_0101_5^8 + 1486730113452515/72407398459*c_0101_5^7 + 13631152672221924/362036992295*c_0101_5^6 - 694561305835329/72407398459*c_0101_5^5 - 7375006844891624/362036992295*c_0101_5^4 + 871322812664637/362036992295*c_0101_5^3 + 1623489973201618/362036992295*c_0101_5^2 - 146307922283833/362036992295*c_0101_5 - 84486410728092/362036992295, c_0011_0 - 1, c_0011_2 + 143775752254/72407398459*c_0101_5^14 - 567602966539/72407398459*c_0101_5^13 - 2370036619956/72407398459*c_0101_5^12 + 6967988960455/72407398459*c_0101_5^11 + 17811852530895/72407398459*c_0101_5^10 - 23223171623991/72407398459*c_0101_5^9 - 4706993389779/6582490769*c_0101_5^8 + 34447044765480/72407398459*c_0101_5^7 + 72961546829737/72407398459*c_0101_5^6 - 15890863122567/72407398459*c_0101_5^5 - 39055056138279/72407398459*c_0101_5^4 + 4662687912609/72407398459*c_0101_5^3 + 7986643090446/72407398459*c_0101_5^2 - 1054117687015/72407398459*c_0101_5 - 249238925822/72407398459, c_0011_4 + 137696464988/72407398459*c_0101_5^14 - 552404637520/72407398459*c_0101_5^13 - 2204076827685/72407398459*c_0101_5^12 + 6663737993939/72407398459*c_0101_5^11 + 16295777667330/72407398459*c_0101_5^10 - 21539100365415/72407398459*c_0101_5^9 - 4214949022880/6582490769*c_0101_5^8 + 29974949223608/72407398459*c_0101_5^7 + 64114552238557/72407398459*c_0101_5^6 - 10734231195159/72407398459*c_0101_5^5 - 32559297154479/72407398459*c_0101_5^4 + 2456660261140/72407398459*c_0101_5^3 + 6409502491728/72407398459*c_0101_5^2 - 615094591967/72407398459*c_0101_5 - 190871258898/72407398459, c_0101_0 + 23418656464/72407398459*c_0101_5^14 - 113459406224/72407398459*c_0101_5^13 - 297750341170/72407398459*c_0101_5^12 + 1447707448279/72407398459*c_0101_5^11 + 1859545721810/72407398459*c_0101_5^10 - 6005358821798/72407398459*c_0101_5^9 - 465809636116/6582490769*c_0101_5^8 + 11744275583319/72407398459*c_0101_5^7 + 7567905901134/72407398459*c_0101_5^6 - 10910667331123/72407398459*c_0101_5^5 - 5233222864272/72407398459*c_0101_5^4 + 4654685027055/72407398459*c_0101_5^3 + 1315584252813/72407398459*c_0101_5^2 - 699544826814/72407398459*c_0101_5 - 34613396830/72407398459, c_0101_1 + 97661413376/72407398459*c_0101_5^14 - 401181387902/72407398459*c_0101_5^13 - 1508436077613/72407398459*c_0101_5^12 + 4791998562810/72407398459*c_0101_5^11 + 10906045858304/72407398459*c_0101_5^10 - 15372936354337/72407398459*c_0101_5^9 - 2756136109009/6582490769*c_0101_5^8 + 20695805685156/72407398459*c_0101_5^7 + 41101527319647/72407398459*c_0101_5^6 - 6000942168637/72407398459*c_0101_5^5 - 19922264124205/72407398459*c_0101_5^4 + 358334467133/72407398459*c_0101_5^3 + 3681552304112/72407398459*c_0101_5^2 - 116004994904/72407398459*c_0101_5 - 112045466051/72407398459, c_0101_5^15 - 9/2*c_0101_5^14 - 14*c_0101_5^13 + 56*c_0101_5^12 + 94*c_0101_5^11 - 423/2*c_0101_5^10 - 511/2*c_0101_5^9 + 743/2*c_0101_5^8 + 347*c_0101_5^7 - 286*c_0101_5^6 - 369/2*c_0101_5^5 + 239/2*c_0101_5^4 + 67/2*c_0101_5^3 - 47/2*c_0101_5^2 + c_0101_5 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB