Magma V2.19-8 Tue Aug 20 2013 16:15:56 on localhost [Seed = 1511769703] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0177 geometric_solution 3.98433811 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 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.766816859040 0.077870830772 0 3 0 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.515367908076 0.344452028147 2 0 2 0 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.833363879277 0.038860207374 4 1 5 1 0132 0132 0132 1023 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 0 0 -1 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 2.862906216877 3.245658315729 3 5 5 6 0132 3201 2310 0132 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.008204507489 0.579626120825 6 4 4 3 0132 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 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 -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.008204507489 0.579626120825 5 6 4 6 0132 1302 0132 2031 0 0 0 0 0 -1 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 0 0 0 0 1 -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 0 0 0 1.510818773779 0.916651692033 ==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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], '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_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(d['c_0101_2'])})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 206738388025797/4042617006736*c_0101_4^13 + 2713472238622345/8085234013472*c_0101_4^12 + 4926797676596735/16170468026944*c_0101_4^11 - 2325166174075781/1155033430496*c_0101_4^10 - 763882516181585/106384658072*c_0101_4^9 - 46153166492436147/4042617006736*c_0101_4^8 - 21697824248099435/2310066860992*c_0101_4^7 - 4437919746328505/2021308503368*c_0101_4^6 + 48446853548520781/16170468026944*c_0101_4^5 + 7856791658711397/2310066860992*c_0101_4^4 + 11746990116922845/8085234013472*c_0101_4^3 + 1680068593068367/16170468026944*c_0101_4^2 - 2078396835317837/16170468026944*c_0101_4 - 952913587665777/16170468026944, c_0011_0 - 1, c_0011_5 + 4539693658/1208916569*c_0101_4^13 + 21228577451/1208916569*c_0101_4^12 - 32976824683/2417833138*c_0101_4^11 - 47196755191/345404734*c_0101_4^10 - 639041337313/2417833138*c_0101_4^9 - 281587051103/1208916569*c_0101_4^8 - 1507714119/172702367*c_0101_4^7 + 148915128294/1208916569*c_0101_4^6 + 115295624047/1208916569*c_0101_4^5 + 6478288407/345404734*c_0101_4^4 - 23777125084/1208916569*c_0101_4^3 - 16860632049/2417833138*c_0101_4^2 - 1400856859/1208916569*c_0101_4 + 2391556521/2417833138, c_0101_0 + 820314394/1208916569*c_0101_4^13 + 4268309783/1208916569*c_0101_4^12 - 667544047/2417833138*c_0101_4^11 - 8186558033/345404734*c_0101_4^10 - 152762930417/2417833138*c_0101_4^9 - 103264492778/1208916569*c_0101_4^8 - 9667630278/172702367*c_0101_4^7 - 3879858341/1208916569*c_0101_4^6 + 41316500069/1208916569*c_0101_4^5 + 10294693525/345404734*c_0101_4^4 + 11012059260/1208916569*c_0101_4^3 - 9248290329/2417833138*c_0101_4^2 - 5136253336/1208916569*c_0101_4 - 529893599/2417833138, c_0101_1 - 2700415986/1208916569*c_0101_4^13 - 10350097273/1208916569*c_0101_4^12 + 45460903965/2417833138*c_0101_4^11 + 14349320335/172702367*c_0101_4^10 + 196249191197/2417833138*c_0101_4^9 - 149679518031/2417833138*c_0101_4^8 - 82271731439/345404734*c_0101_4^7 - 445472417325/2417833138*c_0101_4^6 + 14632431361/2417833138*c_0101_4^5 + 15885692490/172702367*c_0101_4^4 + 70354557256/1208916569*c_0101_4^3 + 6242181777/2417833138*c_0101_4^2 - 19159876571/2417833138*c_0101_4 - 2796269048/1208916569, c_0101_2 + 10613787428/1208916569*c_0101_4^13 + 45003703872/1208916569*c_0101_4^12 - 64003869242/1208916569*c_0101_4^11 - 110691117973/345404734*c_0101_4^10 - 565337713921/1208916569*c_0101_4^9 - 384515740039/2417833138*c_0101_4^8 + 152203489253/345404734*c_0101_4^7 + 1201098872793/2417833138*c_0101_4^6 + 284599602687/2417833138*c_0101_4^5 - 47214523645/345404734*c_0101_4^4 - 150725285856/1208916569*c_0101_4^3 - 21231915742/1208916569*c_0101_4^2 + 23285347703/2417833138*c_0101_4 + 13328190303/2417833138, c_0101_3 + 4783113042/1208916569*c_0101_4^13 + 21767428073/1208916569*c_0101_4^12 - 40065598381/2417833138*c_0101_4^11 - 24464110651/172702367*c_0101_4^10 - 631028435105/2417833138*c_0101_4^9 - 518472018851/2417833138*c_0101_4^8 + 4948587295/345404734*c_0101_4^7 + 300920110623/2417833138*c_0101_4^6 + 202005056301/2417833138*c_0101_4^5 + 1636695938/172702367*c_0101_4^4 - 23869787685/1208916569*c_0101_4^3 - 7451549815/2417833138*c_0101_4^2 + 146013019/2417833138*c_0101_4 + 1400856859/1208916569, c_0101_4^14 + 11/2*c_0101_4^13 + 1/4*c_0101_4^12 - 157/4*c_0101_4^11 - 201/2*c_0101_4^10 - 121*c_0101_4^9 - 221/4*c_0101_4^8 + 117/4*c_0101_4^7 + 209/4*c_0101_4^6 + 53/2*c_0101_4^5 - 1/4*c_0101_4^4 - 23/4*c_0101_4^3 - 2*c_0101_4^2 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB