Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 290491426] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2719 geometric_solution 5.96884687 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 3201 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 -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.606679059244 1.228324936005 0 0 4 3 0132 2310 0132 0132 0 0 0 0 0 1 -1 0 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 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.039640948013 0.503920913109 0 0 6 5 2310 0132 0132 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 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.784218033381 0.704322653782 4 6 1 4 1302 3120 0132 3012 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 0 -0.032829246456 0.954772455247 5 3 3 1 0213 2031 1230 0132 0 0 0 0 0 0 -1 1 -1 0 0 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 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.032829246456 0.954772455247 4 6 2 6 0213 2031 0132 1302 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 0 0 0 -1 0 0 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.718148950827 0.417305700210 5 3 5 2 1302 3120 2031 0132 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 -1 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.718148950827 0.417305700210 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0110_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0110_3'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0110_3']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_4, c_0011_5, c_0101_1, c_0101_2, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1577404813962315404763/1153848184490101064*c_0110_3^15 - 980911406787799168737/1153848184490101064*c_0110_3^14 + 8336622737360596709745/576924092245050532*c_0110_3^13 + 23063734546503402706295/288462046122525266*c_0110_3^12 + 202767718820698705162531/1153848184490101064*c_0110_3^11 + 275982177250518255918519/1153848184490101064*c_0110_3^10 + 312495259908876629877745/1153848184490101064*c_0110_3^9 + 144737242667269544021715/576924092245050532*c_0110_3^8 + 110632014301318034248603/576924092245050532*c_0110_3^7 + 142626051130468489495619/1153848184490101064*c_0110_3^6 + 79966531597120841084445/1153848184490101064*c_0110_3^5 + 38621948052370642662859/1153848184490101064*c_0110_3^4 + 13695092829703913147303/1153848184490101064*c_0110_3^3 + 3409386692891966026405/1153848184490101064*c_0110_3^2 + 227899143570831228277/288462046122525266*c_0110_3 + 254256904826003774371/1153848184490101064, c_0011_0 - 1, c_0011_3 + 34843447000537975296/144231023061262633*c_0110_3^15 + 22646396016142500222/144231023061262633*c_0110_3^14 - 368019968313586540080/144231023061262633*c_0110_3^13 - 2048255704541652142678/144231023061262633*c_0110_3^12 - 4532700185929536359761/144231023061262633*c_0110_3^11 - 6203970991299333158392/144231023061262633*c_0110_3^10 - 7037983014746216774010/144231023061262633*c_0110_3^9 - 6542353786051391399550/144231023061262633*c_0110_3^8 - 5015630342057456163755/144231023061262633*c_0110_3^7 - 3241126742267185567601/144231023061262633*c_0110_3^6 - 1818761156007303851724/144231023061262633*c_0110_3^5 - 879507457400450449893/144231023061262633*c_0110_3^4 - 312691935105816041691/144231023061262633*c_0110_3^3 - 77102367266704771105/144231023061262633*c_0110_3^2 - 19893123120796471082/144231023061262633*c_0110_3 - 5643085960216669445/144231023061262633, c_0011_4 + 34843447000537975296/144231023061262633*c_0110_3^15 + 22646396016142500222/144231023061262633*c_0110_3^14 - 368019968313586540080/144231023061262633*c_0110_3^13 - 2048255704541652142678/144231023061262633*c_0110_3^12 - 4532700185929536359761/144231023061262633*c_0110_3^11 - 6203970991299333158392/144231023061262633*c_0110_3^10 - 7037983014746216774010/144231023061262633*c_0110_3^9 - 6542353786051391399550/144231023061262633*c_0110_3^8 - 5015630342057456163755/144231023061262633*c_0110_3^7 - 3241126742267185567601/144231023061262633*c_0110_3^6 - 1818761156007303851724/144231023061262633*c_0110_3^5 - 879507457400450449893/144231023061262633*c_0110_3^4 - 312691935105816041691/144231023061262633*c_0110_3^3 - 77102367266704771105/144231023061262633*c_0110_3^2 - 19893123120796471082/144231023061262633*c_0110_3 - 5643085960216669445/144231023061262633, c_0011_5 + 8634025140959708136/144231023061262633*c_0110_3^15 + 5756398425993520482/144231023061262633*c_0110_3^14 - 91032690847901452580/144231023061262633*c_0110_3^13 - 509148235143700904407/144231023061262633*c_0110_3^12 - 1132412555402833753462/144231023061262633*c_0110_3^11 - 1558831387448887312428/144231023061262633*c_0110_3^10 - 1772198860252207706027/144231023061262633*c_0110_3^9 - 1650117257183109178819/144231023061262633*c_0110_3^8 - 1268513364924989303604/144231023061262633*c_0110_3^7 - 820175761303480639485/144231023061262633*c_0110_3^6 - 460242057594102408090/144231023061262633*c_0110_3^5 - 222211749506373220925/144231023061262633*c_0110_3^4 - 79021660958575032107/144231023061262633*c_0110_3^3 - 19475227471022349265/144231023061262633*c_0110_3^2 - 4736850576744002655/144231023061262633*c_0110_3 - 1411759992819410683/144231023061262633, c_0101_1 + 21603153475650868209/144231023061262633*c_0110_3^15 + 14161635844134996648/144231023061262633*c_0110_3^14 - 228223435374062591194/144231023061262633*c_0110_3^13 - 1271246083599714152104/144231023061262633*c_0110_3^12 - 2816051357678701001222/144231023061262633*c_0110_3^11 - 3855169780989393139287/144231023061262633*c_0110_3^10 - 4370812608681495022730/144231023061262633*c_0110_3^9 - 4062487139736714469686/144231023061262633*c_0110_3^8 - 3112650941897161845739/144231023061262633*c_0110_3^7 - 2010232219988935590022/144231023061262633*c_0110_3^6 - 1127612517223000710129/144231023061262633*c_0110_3^5 - 545523167585337661898/144231023061262633*c_0110_3^4 - 193824036386488460562/144231023061262633*c_0110_3^3 - 47833537574273993544/144231023061262633*c_0110_3^2 - 12402566426959649251/144231023061262633*c_0110_3 - 3538268360852659145/144231023061262633, c_0101_2 + 28217467872253146132/144231023061262633*c_0110_3^15 + 18754402083335977836/144231023061262633*c_0110_3^14 - 297715772279718771235/144231023061262633*c_0110_3^13 - 1663195818859930300905/144231023061262633*c_0110_3^12 - 3695643332210173677559/144231023061262633*c_0110_3^11 - 5080027130400105280372/144231023061262633*c_0110_3^10 - 5774842667447976962868/144231023061262633*c_0110_3^9 - 5381584251195184852798/144231023061262633*c_0110_3^8 - 4139177926218051954120/144231023061262633*c_0110_3^7 - 2682393919536037207631/144231023061262633*c_0110_3^6 - 1509177065200717477826/144231023061262633*c_0110_3^5 - 731630414626150716831/144231023061262633*c_0110_3^4 - 262077375874015276480/144231023061262633*c_0110_3^3 - 65085270908399739588/144231023061262633*c_0110_3^2 - 16403934393451578356/144231023061262633*c_0110_3 - 4649059501112014489/144231023061262633, c_0110_3^16 + 4/3*c_0110_3^15 - 91/9*c_0110_3^14 - 66*c_0110_3^13 - 511/3*c_0110_3^12 - 802/3*c_0110_3^11 - 2920/9*c_0110_3^10 - 2941/9*c_0110_3^9 - 820/3*c_0110_3^8 - 577/3*c_0110_3^7 - 1048/9*c_0110_3^6 - 184/3*c_0110_3^5 - 238/9*c_0110_3^4 - 76/9*c_0110_3^3 - 19/9*c_0110_3^2 - 5/9*c_0110_3 - 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.200 seconds, Total memory usage: 32.09MB