Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 610646219] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1914 geometric_solution 5.52024156 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468977336230 0.224447472047 2 0 3 0 0132 2310 0132 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 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.796102697519 0.605866427040 1 3 4 5 0132 0213 0132 0132 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596590756620 0.640112962439 5 4 2 1 1023 1023 0213 0132 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 1 0 -1 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.596590756620 0.640112962439 3 6 6 2 1023 0132 1023 0132 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.062828827562 0.555265363367 5 3 2 5 3201 1023 0132 2310 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 -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.066702358162 0.899758276396 6 4 4 6 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.602855283621 0.320273761421 ==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' : negation(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' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 6478748256/21742599989*c_0101_6^12 - 25150296119/1976599999*c_0101_6^10 + 154833538896/1976599999*c_0101_6^8 + 371006159/179690909*c_0101_6^6 + 472379313293/21742599989*c_0101_6^4 - 734286153277/21742599989*c_0101_6^2 + 222239244813/21742599989, c_0011_0 - 1, c_0011_1 - 25668881/179690909*c_0101_6^12 + 1114769928/179690909*c_0101_6^10 - 7549662104/179690909*c_0101_6^8 + 4918983806/179690909*c_0101_6^6 - 2650268589/179690909*c_0101_6^4 + 2033903758/179690909*c_0101_6^2 - 404088225/179690909, c_0011_3 + 20371004/179690909*c_0101_6^13 - 899412273/179690909*c_0101_6^11 + 6627101483/179690909*c_0101_6^9 - 8072117055/179690909*c_0101_6^7 + 3887582920/179690909*c_0101_6^5 - 2772760740/179690909*c_0101_6^3 + 952758850/179690909*c_0101_6, c_0101_0 - 3529140/179690909*c_0101_6^13 + 146603000/179690909*c_0101_6^11 - 748814221/179690909*c_0101_6^9 - 1272938893/179690909*c_0101_6^7 + 802885527/179690909*c_0101_6^5 - 71291208/179690909*c_0101_6^3 + 367505178/179690909*c_0101_6, c_0101_1 + 22139741/179690909*c_0101_6^12 - 968166928/179690909*c_0101_6^10 + 6800847883/179690909*c_0101_6^8 - 6191922699/179690909*c_0101_6^6 + 3453154116/179690909*c_0101_6^4 - 2105194966/179690909*c_0101_6^2 + 771593403/179690909, c_0101_4 + 46039885/179690909*c_0101_6^13 - 2014182201/179690909*c_0101_6^11 + 14176763587/179690909*c_0101_6^9 - 12991100861/179690909*c_0101_6^7 + 6537851509/179690909*c_0101_6^5 - 4806664498/179690909*c_0101_6^3 + 1536537984/179690909*c_0101_6, c_0101_6^14 - 44*c_0101_6^12 + 319*c_0101_6^10 - 363*c_0101_6^8 + 235*c_0101_6^6 - 146*c_0101_6^4 + 62*c_0101_6^2 - 11 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 3811167197996201803/2275518279886921415*c_0101_6^16 + 254842049277211864417/2275518279886921415*c_0101_6^14 + 2130271736494767208936/2275518279886921415*c_0101_6^12 + 2693156740429640460888/455103655977384283*c_0101_6^10 - 25446933694485472075022/2275518279886921415*c_0101_6^8 + 8371946450569792883627/2275518279886921415*c_0101_6^6 - 565031789302492028712/2275518279886921415*c_0101_6^4 + 183403991005172262506/2275518279886921415*c_0101_6^2 - 2770836815527445996/2275518279886921415, c_0011_0 - 1, c_0011_1 + 2847872829502721/455103655977384283*c_0101_6^16 - 187150286798774674/455103655977384283*c_0101_6^14 - 1810481435010655090/455103655977384283*c_0101_6^12 - 11935115898965941877/455103655977384283*c_0101_6^10 + 7053961793223162396/455103655977384283*c_0101_6^8 + 13177691422956055917/455103655977384283*c_0101_6^6 - 4744854666084704700/455103655977384283*c_0101_6^4 + 1931813812845770897/455103655977384283*c_0101_6^2 - 490069583736613647/455103655977384283, c_0011_3 + 123226623050040705/455103655977384283*c_0101_6^17 - 8255834048188734573/455103655977384283*c_0101_6^15 - 67799519095770740621/455103655977384283*c_0101_6^13 - 426952798699946273647/455103655977384283*c_0101_6^11 + 875011498105342688337/455103655977384283*c_0101_6^9 - 405222095189442692431/455103655977384283*c_0101_6^7 + 102800019488514486244/455103655977384283*c_0101_6^5 - 20973079478213680834/455103655977384283*c_0101_6^3 - 195877281584294265/455103655977384283*c_0101_6, c_0101_0 - 26679193922552664/455103655977384283*c_0101_6^17 + 1782046013415608810/455103655977384283*c_0101_6^15 + 15037796735537617191/455103655977384283*c_0101_6^13 + 95524715977730920999/455103655977384283*c_0101_6^11 - 169696468314722671344/455103655977384283*c_0101_6^9 + 56511440126855138047/455103655977384283*c_0101_6^7 - 14638844664698633702/455103655977384283*c_0101_6^5 + 540300981956468640/455103655977384283*c_0101_6^3 + 859834604633802999/455103655977384283*c_0101_6, c_0101_1 - 10662143759320032/455103655977384283*c_0101_6^16 + 719116015136417597/455103655977384283*c_0101_6^14 + 5546202348961161071/455103655977384283*c_0101_6^12 + 34291028177105641077/455103655977384283*c_0101_6^10 - 92456333994883574151/455103655977384283*c_0101_6^8 + 67885749518730748762/455103655977384283*c_0101_6^6 - 23272163289224359929/455103655977384283*c_0101_6^4 + 6016236286087303784/455103655977384283*c_0101_6^2 - 563887802944304004/455103655977384283, c_0101_4 + 129714939282897140/455103655977384283*c_0101_6^17 - 8687557176030590924/455103655977384283*c_0101_6^15 - 71566462195865750127/455103655977384283*c_0101_6^13 - 451223831448534685304/455103655977384283*c_0101_6^11 + 909449932814724760855/455103655977384283*c_0101_6^9 - 413906873684851222670/455103655977384283*c_0101_6^7 + 111490331109596289661/455103655977384283*c_0101_6^5 - 22555809559013084686/455103655977384283*c_0101_6^3 - 105017158585625243/455103655977384283*c_0101_6, c_0101_6^18 - 67*c_0101_6^16 - 550*c_0101_6^14 - 3464*c_0101_6^12 + 7104*c_0101_6^10 - 3351*c_0101_6^8 + 916*c_0101_6^6 - 194*c_0101_6^4 + 3*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB