Magma V2.19-8 Tue Aug 20 2013 16:17:03 on localhost [Seed = 3701293070] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1301 geometric_solution 5.18959397 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 0 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.515602482478 1.110662721167 3 2 4 0 0132 1023 0132 0132 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 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.205015988990 1.213528685714 1 3 0 4 1023 3201 0132 2310 0 0 0 0 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 -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.205015988990 1.213528685714 1 5 2 5 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351784400517 1.112732878075 2 6 6 1 3201 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379598354707 0.220946405624 3 3 5 5 3201 0132 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 0.466188221793 0.132884202774 4 4 6 6 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.793172731677 1.639567763273 ==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_0101_6'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 594827617523/106626635*c_0110_5^19 - 4034612020241/426506540*c_0110_5^18 + 16796587579359/213253270*c_0110_5^17 - 5676664417783/213253270*c_0110_5^16 + 79716987546359/426506540*c_0110_5^15 - 30169271883228/106626635*c_0110_5^14 - 80960240633546/106626635*c_0110_5^13 + 53162651628489/85301308*c_0110_5^12 + 343653499485331/426506540*c_0110_5^11 - 15901288684581/85301308*c_0110_5^10 - 69954207064594/106626635*c_0110_5^9 - 39115054823429/213253270*c_0110_5^8 + 61855210588348/106626635*c_0110_5^7 + 187406408838/106626635*c_0110_5^6 - 36609597168023/106626635*c_0110_5^5 + 51885667421291/426506540*c_0110_5^4 + 11209524417023/106626635*c_0110_5^3 - 5095942226359/85301308*c_0110_5^2 - 5588557323383/426506540*c_0110_5 + 3809525587651/426506540, c_0011_0 - 1, c_0011_1 - 142986667/1254431*c_0110_5^19 + 245904892/1254431*c_0110_5^18 - 2030085525/1254431*c_0110_5^17 + 733649589/1254431*c_0110_5^16 - 4882820904/1254431*c_0110_5^15 + 7310327176/1254431*c_0110_5^14 + 19001229479/1254431*c_0110_5^13 - 16451503372/1254431*c_0110_5^12 - 19619699482/1254431*c_0110_5^11 + 5691235026/1254431*c_0110_5^10 + 16592497716/1254431*c_0110_5^9 + 3808060332/1254431*c_0110_5^8 - 15125308776/1254431*c_0110_5^7 + 483750358/1254431*c_0110_5^6 + 8774651463/1254431*c_0110_5^5 - 3377493818/1254431*c_0110_5^4 - 2596673170/1254431*c_0110_5^3 + 1631696553/1254431*c_0110_5^2 + 313170873/1254431*c_0110_5 - 246081495/1254431, c_0011_4 - 1300157666/6272155*c_0110_5^19 + 2163516928/6272155*c_0110_5^18 - 18311090819/6272155*c_0110_5^17 + 5648754988/6272155*c_0110_5^16 - 43687917852/6272155*c_0110_5^15 + 64478902071/6272155*c_0110_5^14 + 178204453612/6272155*c_0110_5^13 - 27786341928/1254431*c_0110_5^12 - 188601366023/6272155*c_0110_5^11 + 7426285050/1254431*c_0110_5^10 + 150395111968/6272155*c_0110_5^9 + 45940975919/6272155*c_0110_5^8 - 131918346891/6272155*c_0110_5^7 - 2633309911/6272155*c_0110_5^6 + 78747246116/6272155*c_0110_5^5 - 26656115243/6272155*c_0110_5^4 - 24398522971/6272155*c_0110_5^3 + 2655172710/1254431*c_0110_5^2 + 3074763944/6272155*c_0110_5 - 1985644408/6272155, c_0101_0 - 2170862059/6272155*c_0110_5^19 + 3491098777/6272155*c_0110_5^18 - 30527740936/6272155*c_0110_5^17 + 7848315032/6272155*c_0110_5^16 - 74522298848/6272155*c_0110_5^15 + 102481398504/6272155*c_0110_5^14 + 297111876563/6272155*c_0110_5^13 - 42612269825/1254431*c_0110_5^12 - 305286001732/6272155*c_0110_5^11 + 9643368250/1254431*c_0110_5^10 + 237428877107/6272155*c_0110_5^9 + 78665783516/6272155*c_0110_5^8 - 210112415234/6272155*c_0110_5^7 - 6095789824/6272155*c_0110_5^6 + 126079016319/6272155*c_0110_5^5 - 41411600582/6272155*c_0110_5^4 - 38804921769/6272155*c_0110_5^3 + 4148297791/1254431*c_0110_5^2 + 4814997726/6272155*c_0110_5 - 3118447207/6272155, c_0101_1 + 1134723378/6272155*c_0110_5^19 - 1719064694/6272155*c_0110_5^18 + 15825874302/6272155*c_0110_5^17 - 2655566914/6272155*c_0110_5^16 + 39077960591/6272155*c_0110_5^15 - 49763005223/6272155*c_0110_5^14 - 159106868936/6272155*c_0110_5^13 + 19158276753/1254431*c_0110_5^12 + 163274733924/6272155*c_0110_5^11 - 1906424600/1254431*c_0110_5^10 - 118554743109/6272155*c_0110_5^9 - 50010113467/6272155*c_0110_5^8 + 101928809483/6272155*c_0110_5^7 + 9220708953/6272155*c_0110_5^6 - 63233015343/6272155*c_0110_5^5 + 17483415154/6272155*c_0110_5^4 + 20256047273/6272155*c_0110_5^3 - 1846371108/1254431*c_0110_5^2 - 2590652102/6272155*c_0110_5 + 1389986909/6272155, c_0101_6 - 692916623/6272155*c_0110_5^19 + 969418619/6272155*c_0110_5^18 - 9575591342/6272155*c_0110_5^17 + 527291529/6272155*c_0110_5^16 - 24115845486/6272155*c_0110_5^15 + 27369881403/6272155*c_0110_5^14 + 99400849326/6272155*c_0110_5^13 - 9344447127/1254431*c_0110_5^12 - 101345026669/6272155*c_0110_5^11 - 983897231/1254431*c_0110_5^10 + 68317863689/6272155*c_0110_5^9 + 36153775542/6272155*c_0110_5^8 - 56688920558/6272155*c_0110_5^7 - 10039537703/6272155*c_0110_5^6 + 36659562973/6272155*c_0110_5^5 - 7629772869/6272155*c_0110_5^4 - 12401668198/6272155*c_0110_5^3 + 913240640/1254431*c_0110_5^2 + 1673043947/6272155*c_0110_5 - 699509094/6272155, c_0110_5^20 - c_0110_5^19 + 13*c_0110_5^18 + 5*c_0110_5^17 + 31*c_0110_5^16 - 27*c_0110_5^15 - 169*c_0110_5^14 + 16*c_0110_5^13 + 213*c_0110_5^12 + 66*c_0110_5^11 - 133*c_0110_5^10 - 110*c_0110_5^9 + 78*c_0110_5^8 + 68*c_0110_5^7 - 59*c_0110_5^6 - 19*c_0110_5^5 + 32*c_0110_5^4 + 2*c_0110_5^3 - 9*c_0110_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB