Magma V2.19-8 Tue Aug 20 2013 16:14:25 on localhost [Seed = 644332068] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s410 geometric_solution 4.67584476 oriented_manifold CS_known 0.0000000000000005 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.556886400034 0.216623695935 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.225778353045 0.401386643564 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.536335583591 0.528387556976 2 4 4 5 0132 0321 1302 0132 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 0 0 0 -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.674649085049 0.754158249337 3 5 2 3 2031 2310 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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.674649085049 0.754158249337 5 5 3 4 1230 3012 0132 3201 0 0 0 0 0 1 0 -1 0 0 1 -1 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 -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.510948845520 0.486682079895 ==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' : 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' : 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' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : d['c_0011_5'], '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' : negation(d['c_0011_5']), '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_0011_1']), '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' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), '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_0011_5, c_0101_0, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 2092254936970683377/109461183168302296*c_0101_2^18 + 6738779539357572447/109461183168302296*c_0101_2^17 - 30108996017615071483/109461183168302296*c_0101_2^16 - 31130036610609124861/27365295792075574*c_0101_2^15 + 11575275085468675103/13682647896037787*c_0101_2^14 + 85747787953577946322/13682647896037787*c_0101_2^13 - 29253947093771441211/109461183168302296*c_0101_2^12 - 1669446344263032438783/109461183168302296*c_0101_2^11 - 6771705833021250799/54730591584151148*c_0101_2^10 + 2206820734376669944099/109461183168302296*c_0101_2^9 - 289474062008219261223/54730591584151148*c_0101_2^8 - 1636403773433863222421/109461183168302296*c_0101_2^7 + 285624208089840061213/27365295792075574*c_0101_2^6 + 177332944711494913181/27365295792075574*c_0101_2^5 - 825919225461702918563/109461183168302296*c_0101_2^4 - 103324523845958168625/54730591584151148*c_0101_2^3 + 66055305135395736975/27365295792075574*c_0101_2^2 + 18512790317158368507/54730591584151148*c_0101_2 - 31929454133981904753/109461183168302296, c_0011_0 - 1, c_0011_1 - 9803309870514935/13682647896037787*c_0101_2^18 - 32736609049175990/13682647896037787*c_0101_2^17 + 137512394080781390/13682647896037787*c_0101_2^16 + 603694809514149655/13682647896037787*c_0101_2^15 - 353755135176896659/13682647896037787*c_0101_2^14 - 3299747243816455778/13682647896037787*c_0101_2^13 - 443354401458102738/13682647896037787*c_0101_2^12 + 7731813814536774568/13682647896037787*c_0101_2^11 + 1710262889786016664/13682647896037787*c_0101_2^10 - 9424545812402916932/13682647896037787*c_0101_2^9 + 776795655702955452/13682647896037787*c_0101_2^8 + 6866138900047451670/13682647896037787*c_0101_2^7 - 3878228364551559390/13682647896037787*c_0101_2^6 - 3653789752314162833/13682647896037787*c_0101_2^5 + 2668750957400320770/13682647896037787*c_0101_2^4 + 1290559367568419174/13682647896037787*c_0101_2^3 - 680367435113720399/13682647896037787*c_0101_2^2 - 185921924448628615/13682647896037787*c_0101_2 + 64319804758987099/13682647896037787, c_0011_4 - 13910500948715507/13682647896037787*c_0101_2^18 - 53592673380568433/13682647896037787*c_0101_2^17 + 161905887689196872/13682647896037787*c_0101_2^16 + 912605346016881100/13682647896037787*c_0101_2^15 + 9245028987330025/13682647896037787*c_0101_2^14 - 4261753798440775902/13682647896037787*c_0101_2^13 - 2446484935470211072/13682647896037787*c_0101_2^12 + 8254353038311469299/13682647896037787*c_0101_2^11 + 4335029007950995360/13682647896037787*c_0101_2^10 - 9670573895405200027/13682647896037787*c_0101_2^9 - 608813695279296467/13682647896037787*c_0101_2^8 + 8116737657209192480/13682647896037787*c_0101_2^7 - 2957495578092995622/13682647896037787*c_0101_2^6 - 4582980218176296456/13682647896037787*c_0101_2^5 + 2128353174973010612/13682647896037787*c_0101_2^4 + 1476302109868565151/13682647896037787*c_0101_2^3 - 609941782276440742/13682647896037787*c_0101_2^2 - 197064326212940068/13682647896037787*c_0101_2 + 78465916834064883/13682647896037787, c_0011_5 - 13741107630435961/13682647896037787*c_0101_2^18 - 47133573450181925/13682647896037787*c_0101_2^17 + 183181876735128978/13682647896037787*c_0101_2^16 + 838974794013491635/13682647896037787*c_0101_2^15 - 375420260831245537/13682647896037787*c_0101_2^14 - 4290005484576312872/13682647896037787*c_0101_2^13 - 748307645839378953/13682647896037787*c_0101_2^12 + 9430123830604354241/13682647896037787*c_0101_2^11 + 1476786464993802179/13682647896037787*c_0101_2^10 - 11551269117391510279/13682647896037787*c_0101_2^9 + 2323114948363787258/13682647896037787*c_0101_2^8 + 8363440179461402210/13682647896037787*c_0101_2^7 - 5399121731217037717/13682647896037787*c_0101_2^6 - 3785522085401225305/13682647896037787*c_0101_2^5 + 3488188469131793201/13682647896037787*c_0101_2^4 + 1148599487614233504/13682647896037787*c_0101_2^3 - 942084564025632068/13682647896037787*c_0101_2^2 - 168688767556009887/13682647896037787*c_0101_2 + 97571757080197289/13682647896037787, c_0101_0 - 16195817234506774/13682647896037787*c_0101_2^18 - 62497952652235829/13682647896037787*c_0101_2^17 + 189344585137033177/13682647896037787*c_0101_2^16 + 1068871652821576216/13682647896037787*c_0101_2^15 + 5639580884501756/13682647896037787*c_0101_2^14 - 5043849948178783463/13682647896037787*c_0101_2^13 - 2917500967976713660/13682647896037787*c_0101_2^12 + 9910923614458457490/13682647896037787*c_0101_2^11 + 5436280839507290623/13682647896037787*c_0101_2^10 - 11650242602507190578/13682647896037787*c_0101_2^9 - 1216357298992663999/13682647896037787*c_0101_2^8 + 9837488420977572763/13682647896037787*c_0101_2^7 - 3285117675883576416/13682647896037787*c_0101_2^6 - 5743176142428160750/13682647896037787*c_0101_2^5 + 2462200278834150234/13682647896037787*c_0101_2^4 + 1966395002627942872/13682647896037787*c_0101_2^3 - 661545765086329017/13682647896037787*c_0101_2^2 - 304734424159281023/13682647896037787*c_0101_2 + 78264566773675090/13682647896037787, c_0101_2^19 + 3*c_0101_2^18 - 15*c_0101_2^17 - 56*c_0101_2^16 + 56*c_0101_2^15 + 312*c_0101_2^14 - 83*c_0101_2^13 - 763*c_0101_2^12 + 174*c_0101_2^11 + 987*c_0101_2^10 - 522*c_0101_2^9 - 645*c_0101_2^8 + 704*c_0101_2^7 + 172*c_0101_2^6 - 435*c_0101_2^5 + 10*c_0101_2^4 + 132*c_0101_2^3 - 18*c_0101_2^2 - 17*c_0101_2 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB