Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 3920131390] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1523 geometric_solution 5.32175514 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 1 -1 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 -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.845235200760 0.094813003229 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 -1 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 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.820418075639 0.175206052791 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 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 -1 1 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.924641108630 0.486994484398 2 4 6 5 0132 0213 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.710308755906 0.616038450930 5 6 3 2 1023 1023 0213 0132 0 0 0 0 0 -1 0 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 -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.710308755906 0.616038450930 5 4 3 5 3012 1023 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.566524874525 0.935873495471 4 6 6 3 1023 1230 3012 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 -1 1 0 0 0 1 -1 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 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.196521392813 0.696843045241 ==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_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_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 34751827765960763133/4110254742628073435*c_0101_6^22 + 166585192215900802354/4110254742628073435*c_0101_6^21 + 44463733957496383538/4110254742628073435*c_0101_6^20 - 1225026911061317207946/4110254742628073435*c_0101_6^19 + 1875967032030240558551/4110254742628073435*c_0101_6^18 - 157477648753633543384/822050948525614687*c_0101_6^17 - 1409728640736303301393/4110254742628073435*c_0101_6^16 + 5452872417413124001357/4110254742628073435*c_0101_6^15 - 8781219181104646334214/4110254742628073435*c_0101_6^14 + 2551251703328455927794/822050948525614687*c_0101_6^13 - 14541900946271903577148/4110254742628073435*c_0101_6^12 + 13922396343369247158317/4110254742628073435*c_0101_6^11 - 13283422026817953038122/4110254742628073435*c_0101_6^10 + 9275684474978335314883/4110254742628073435*c_0101_6^9 - 8407023937773096438122/4110254742628073435*c_0101_6^8 + 98259851029444258594/74731904411419517*c_0101_6^7 - 3569396024758369408938/4110254742628073435*c_0101_6^6 + 2073257516756478768876/4110254742628073435*c_0101_6^5 - 195911651514570766528/4110254742628073435*c_0101_6^4 + 247284757357893245404/4110254742628073435*c_0101_6^3 + 338496000823162412452/4110254742628073435*c_0101_6^2 - 30066970555077822063/4110254742628073435*c_0101_6 + 92622458074156349451/4110254742628073435, c_0011_0 - 1, c_0011_4 + 78448077117541001/74731904411419517*c_0101_6^22 - 399846391578340948/74731904411419517*c_0101_6^21 + 42920400185063/74731904411419517*c_0101_6^20 + 2854423054727094413/74731904411419517*c_0101_6^19 - 5012867597275682158/74731904411419517*c_0101_6^18 + 2542800423827417680/74731904411419517*c_0101_6^17 + 3110159850269466192/74731904411419517*c_0101_6^16 - 12848046516036756182/74731904411419517*c_0101_6^15 + 22395473614738903734/74731904411419517*c_0101_6^14 - 32913975821070058247/74731904411419517*c_0101_6^13 + 39688126248978945627/74731904411419517*c_0101_6^12 - 39549474116449545850/74731904411419517*c_0101_6^11 + 38458819560595583833/74731904411419517*c_0101_6^10 - 30370585070743793648/74731904411419517*c_0101_6^9 + 26034182284061875643/74731904411419517*c_0101_6^8 - 19692413350323139691/74731904411419517*c_0101_6^7 + 13013717422497448904/74731904411419517*c_0101_6^6 - 8364072314393203245/74731904411419517*c_0101_6^5 + 3216136640049589710/74731904411419517*c_0101_6^4 - 1704027829210047636/74731904411419517*c_0101_6^3 + 330862609749655434/74731904411419517*c_0101_6^2 - 136049814847291456/74731904411419517*c_0101_6 - 55966176706344317/74731904411419517, c_0101_0 - 24296960306262339/74731904411419517*c_0101_6^22 + 240648872715211502/74731904411419517*c_0101_6^21 - 569196779647369894/74731904411419517*c_0101_6^20 - 987753934429825225/74731904411419517*c_0101_6^19 + 5663171319715424051/74731904411419517*c_0101_6^18 - 7366262462347641635/74731904411419517*c_0101_6^17 + 2261125023239363185/74731904411419517*c_0101_6^16 + 8026313327299995308/74731904411419517*c_0101_6^15 - 25094490575735921309/74731904411419517*c_0101_6^14 + 41011065852071018974/74731904411419517*c_0101_6^13 - 57934314211033728843/74731904411419517*c_0101_6^12 + 66389131373532913266/74731904411419517*c_0101_6^11 - 65832767560567060075/74731904411419517*c_0101_6^10 + 62704485973455408915/74731904411419517*c_0101_6^9 - 48591561956637633651/74731904411419517*c_0101_6^8 + 42710901662237445627/74731904411419517*c_0101_6^7 - 30466907971054594389/74731904411419517*c_0101_6^6 + 20585354580802306185/74731904411419517*c_0101_6^5 - 13106228516288274479/74731904411419517*c_0101_6^4 + 4690471293056246733/74731904411419517*c_0101_6^3 - 2900039204083274995/74731904411419517*c_0101_6^2 + 363794497347350934/74731904411419517*c_0101_6 - 288709191089397408/74731904411419517, c_0101_1 - 99799954476004374/74731904411419517*c_0101_6^22 + 475492575123464496/74731904411419517*c_0101_6^21 + 110105808843944648/74731904411419517*c_0101_6^20 - 3353477054265651259/74731904411419517*c_0101_6^19 + 5287045551199837108/74731904411419517*c_0101_6^18 - 3262851495228330960/74731904411419517*c_0101_6^17 - 2112204412296313383/74731904411419517*c_0101_6^16 + 14607358054782696006/74731904411419517*c_0101_6^15 - 26051483816867447426/74731904411419517*c_0101_6^14 + 41011662328357175874/74731904411419517*c_0101_6^13 - 49629241102750483845/74731904411419517*c_0101_6^12 + 51717349838941792990/74731904411419517*c_0101_6^11 - 52665222406335229270/74731904411419517*c_0101_6^10 + 40956321061222782467/74731904411419517*c_0101_6^9 - 38420143824142149879/74731904411419517*c_0101_6^8 + 26740461222790890012/74731904411419517*c_0101_6^7 - 19781868971946950175/74731904411419517*c_0101_6^6 + 13519945265971933862/74731904411419517*c_0101_6^5 - 5297711713164878216/74731904411419517*c_0101_6^4 + 4011948020984517007/74731904411419517*c_0101_6^3 - 255456110809007063/74731904411419517*c_0101_6^2 + 521610864145641567/74731904411419517*c_0101_6 + 44251624069676001/74731904411419517, c_0101_2 - 8961808687401386/74731904411419517*c_0101_6^22 + 51660762373786681/74731904411419517*c_0101_6^21 - 36563899122365280/74731904411419517*c_0101_6^20 - 290641885866506532/74731904411419517*c_0101_6^19 + 772422596521928098/74731904411419517*c_0101_6^18 - 918146292031341904/74731904411419517*c_0101_6^17 + 383127130312314745/74731904411419517*c_0101_6^16 + 1404437120379382813/74731904411419517*c_0101_6^15 - 3897502242001651339/74731904411419517*c_0101_6^14 + 6717877794086062101/74731904411419517*c_0101_6^13 - 9338666501194342755/74731904411419517*c_0101_6^12 + 10641898964322463905/74731904411419517*c_0101_6^11 - 11047128511038137609/74731904411419517*c_0101_6^10 + 9953780887042881469/74731904411419517*c_0101_6^9 - 8448573719066717704/74731904411419517*c_0101_6^8 + 6803811749928340503/74731904411419517*c_0101_6^7 - 4730404454684749854/74731904411419517*c_0101_6^6 + 3477509476167396418/74731904411419517*c_0101_6^5 - 1948223176120604208/74731904411419517*c_0101_6^4 + 847720836147508077/74731904411419517*c_0101_6^3 - 397452119485458578/74731904411419517*c_0101_6^2 + 4950644455589214/74731904411419517*c_0101_6 - 37077166111613165/74731904411419517, c_0101_3 + 71596358180761250/74731904411419517*c_0101_6^22 - 363282492455975668/74731904411419517*c_0101_6^21 - 14016689104955529/74731904411419517*c_0101_6^20 + 2628670788136650861/74731904411419517*c_0101_6^19 - 4489040887490001238/74731904411419517*c_0101_6^18 + 2016284354516680759/74731904411419517*c_0101_6^17 + 3058955841687692665/74731904411419517*c_0101_6^16 - 11558430602068908169/74731904411419517*c_0101_6^15 + 19853798668981887509/74731904411419517*c_0101_6^14 - 28826929210692927688/74731904411419517*c_0101_6^13 + 34701128566406756288/74731904411419517*c_0101_6^12 - 34300635826160104983/74731904411419517*c_0101_6^11 + 33335453556062049418/74731904411419517*c_0101_6^10 - 26322259417191156470/74731904411419517*c_0101_6^9 + 22528316131097245188/74731904411419517*c_0101_6^8 - 17435468093361172373/74731904411419517*c_0101_6^7 + 11229989788248914440/74731904411419517*c_0101_6^6 - 7267220963575730707/74731904411419517*c_0101_6^5 + 2906124325146164793/74731904411419517*c_0101_6^4 - 1458926457410412620/74731904411419517*c_0101_6^3 + 424491860855481466/74731904411419517*c_0101_6^2 - 107934457423079677/74731904411419517*c_0101_6 - 47004368018942931/74731904411419517, c_0101_6^23 - 5*c_0101_6^22 + 34*c_0101_6^20 - 61*c_0101_6^19 + 44*c_0101_6^18 + 16*c_0101_6^17 - 151*c_0101_6^16 + 291*c_0101_6^15 - 466*c_0101_6^14 + 586*c_0101_6^13 - 631*c_0101_6^12 + 647*c_0101_6^11 - 539*c_0101_6^10 + 491*c_0101_6^9 - 368*c_0101_6^8 + 276*c_0101_6^7 - 189*c_0101_6^6 + 95*c_0101_6^5 - 60*c_0101_6^4 + 17*c_0101_6^3 - 11*c_0101_6^2 + c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB