Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 678016018] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0099 geometric_solution 3.63178944 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0213 0132 0132 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 0 0 0 1 -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.005442370752 1.968566860633 0 3 0 2 0132 1302 0213 1302 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 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 1.001404379447 0.507979879599 4 4 1 0 0132 2310 2031 0132 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 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.001087170438 0.131077929925 3 3 0 1 1230 3012 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.005442370752 1.968566860633 2 5 5 2 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 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.847797431780 1.031875818667 4 4 6 6 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4.189065935917 0.864586853455 5 6 5 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.608798526715 0.076899568412 ==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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_1010_1']), 'c_1100_3' : negation(d['c_1010_1']), 'c_1100_2' : negation(d['c_1010_1']), 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0011_3']), '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_0011_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_1010_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_2, c_0011_3, c_0011_6, c_0101_0, c_0101_5, c_1010_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 202801660115347/540743836157864*c_1010_1^17 - 596798748293729/1081487672315728*c_1010_1^16 + 8779309195049845/1081487672315728*c_1010_1^15 - 12282970994301911/1081487672315728*c_1010_1^14 + 41744480887238579/540743836157864*c_1010_1^13 - 6876653011504100/67592979519733*c_1010_1^12 + 28539742603298564/67592979519733*c_1010_1^11 - 564122471197238607/1081487672315728*c_1010_1^10 + 788147901657453717/540743836157864*c_1010_1^9 - 1818807367775495917/1081487672315728*c_1010_1^8 + 3527402299980822853/1081487672315728*c_1010_1^7 - 3786949355396775047/1081487672315728*c_1010_1^6 + 2505254654728854899/540743836157864*c_1010_1^5 - 1245104480894279955/270371918078932*c_1010_1^4 + 2070223168467419361/540743836157864*c_1010_1^3 - 3784143065996499665/1081487672315728*c_1010_1^2 + 1527180702592087219/1081487672315728*c_1010_1 - 1269726069603731371/1081487672315728, c_0011_0 - 1, c_0011_2 - 326800354/3816440603*c_1010_1^17 - 89210795/3816440603*c_1010_1^16 - 6946139274/3816440603*c_1010_1^15 - 1933280382/3816440603*c_1010_1^14 - 64995234023/3816440603*c_1010_1^13 - 18871552647/3816440603*c_1010_1^12 - 351440895315/3816440603*c_1010_1^11 - 106982324207/3816440603*c_1010_1^10 - 1206391467167/3816440603*c_1010_1^9 - 384910379244/3816440603*c_1010_1^8 - 2702868876654/3816440603*c_1010_1^7 - 900921723591/3816440603*c_1010_1^6 - 3875813753772/3816440603*c_1010_1^5 - 1342284650578/3816440603*c_1010_1^4 - 3266244334127/3816440603*c_1010_1^3 - 1166529831749/3816440603*c_1010_1^2 - 1241607213178/3816440603*c_1010_1 - 454187993563/3816440603, c_0011_3 - 708150055/3816440603*c_1010_1^17 - 942412863/7632881206*c_1010_1^16 - 29570621559/7632881206*c_1010_1^15 - 21385391823/7632881206*c_1010_1^14 - 135152599994/3816440603*c_1010_1^13 - 107184131106/3816440603*c_1010_1^12 - 710171869176/3816440603*c_1010_1^11 - 1234610551991/7632881206*c_1010_1^10 - 2357446285477/3816440603*c_1010_1^9 - 4476165378589/7632881206*c_1010_1^8 - 10165838372793/7632881206*c_1010_1^7 - 10492553188699/7632881206*c_1010_1^6 - 6976725061827/3816440603*c_1010_1^5 - 7789671990387/3816440603*c_1010_1^4 - 5595924880179/3816440603*c_1010_1^3 - 13439430378837/7632881206*c_1010_1^2 - 4040020025849/7632881206*c_1010_1 - 5174978635825/7632881206, c_0011_6 - 487549640/3816440603*c_1010_1^17 - 1013599560/3816440603*c_1010_1^16 - 9735157044/3816440603*c_1010_1^15 - 22428392395/3816440603*c_1010_1^14 - 82894349816/3816440603*c_1010_1^13 - 218245176722/3816440603*c_1010_1^12 - 391712766711/3816440603*c_1010_1^11 - 1220418659861/3816440603*c_1010_1^10 - 1112248821983/3816440603*c_1010_1^9 - 4299850329312/3816440603*c_1010_1^8 - 1896790339750/3816440603*c_1010_1^7 - 9802404770273/3816440603*c_1010_1^6 - 1777937713448/3816440603*c_1010_1^5 - 14159942305328/3816440603*c_1010_1^4 - 649492853823/3816440603*c_1010_1^3 - 11882019556280/3816440603*c_1010_1^2 + 86865234682/3816440603*c_1010_1 - 4446379668601/3816440603, c_0101_0 - 825281459/3816440603*c_1010_1^17 + 4420581081/7632881206*c_1010_1^16 - 36964693033/7632881206*c_1010_1^15 + 92975778227/7632881206*c_1010_1^14 - 181539886881/3816440603*c_1010_1^13 + 427117119154/3816440603*c_1010_1^12 - 1022721182483/3816440603*c_1010_1^11 + 4503096694981/7632881206*c_1010_1^10 - 3626410872122/3816440603*c_1010_1^9 + 14967823379267/7632881206*c_1010_1^8 - 16632214165549/7632881206*c_1010_1^7 + 32246967614601/7632881206*c_1010_1^6 - 12083185773852/3816440603*c_1010_1^5 + 22058042917626/3816440603*c_1010_1^4 - 10201334934826/3816440603*c_1010_1^3 + 35158053199167/7632881206*c_1010_1^2 - 7687495030965/7632881206*c_1010_1 + 12549678505311/7632881206, c_0101_5 - 52027083/3816440603*c_1010_1^17 + 368450561/7632881206*c_1010_1^16 - 2785788401/7632881206*c_1010_1^15 + 7403722543/7632881206*c_1010_1^14 - 15514053328/3816440603*c_1010_1^13 + 32256405014/3816440603*c_1010_1^12 - 95203995115/3816440603*c_1010_1^11 + 318687750167/7632881206*c_1010_1^10 - 357249823317/3816440603*c_1010_1^9 + 977387942317/7632881206*c_1010_1^8 - 1704453103865/7632881206*c_1010_1^7 + 1903205789591/7632881206*c_1010_1^6 - 1283220083129/3816440603*c_1010_1^5 + 1142647669424/3816440603*c_1010_1^4 - 1135277891210/3816440603*c_1010_1^3 + 1527164877959/7632881206*c_1010_1^2 - 924290872995/7632881206*c_1010_1 + 421598404397/7632881206, c_1010_1^18 - 1/2*c_1010_1^17 + 24*c_1010_1^16 - 11*c_1010_1^15 + 513/2*c_1010_1^14 - 105*c_1010_1^13 + 1606*c_1010_1^12 - 1145/2*c_1010_1^11 + 13017/2*c_1010_1^10 - 3921/2*c_1010_1^9 + 17746*c_1010_1^8 - 4335*c_1010_1^7 + 65241/2*c_1010_1^6 - 6063*c_1010_1^5 + 39051*c_1010_1^4 - 9833/2*c_1010_1^3 + 27671*c_1010_1^2 - 1774*c_1010_1 + 17711/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB