Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 1747579909] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s815 geometric_solution 5.37818161 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 -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.470615770411 0.381407475288 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.246880726876 0.657989106324 1 3 4 5 0132 0213 0132 0132 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 -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.496584439744 0.538022844383 5 4 2 1 0132 3201 0213 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496584439744 0.538022844383 4 4 3 2 1302 2031 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 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.541416733915 0.944667033063 3 5 2 5 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696142839683 1.408653218401 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_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_0011_1']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 7190016604471670842/270208792075719717*c_0101_1^13 + 17867391490599627794/270208792075719717*c_0101_1^12 + 214260926560751854780/270208792075719717*c_0101_1^11 + 765948776333618488519/270208792075719717*c_0101_1^10 - 45075920222345013743/90069597358573239*c_0101_1^9 - 3417472426332809840263/270208792075719717*c_0101_1^8 - 4752727755943539793462/270208792075719717*c_0101_1^7 + 255378779440847169997/30023199119524413*c_0101_1^6 + 4068726695094242760008/90069597358573239*c_0101_1^5 + 10134865966455243124951/270208792075719717*c_0101_1^4 + 4300380156655638243196/270208792075719717*c_0101_1^3 + 667658501703508451329/30023199119524413*c_0101_1^2 + 5417111047639512911093/270208792075719717*c_0101_1 + 43888717403078104372/8188145214415749, c_0011_0 - 1, c_0011_1 - 5265026466841/4249167210387*c_0101_1^13 + 13389755472977/4249167210387*c_0101_1^12 + 14174489109131/386287928217*c_0101_1^11 + 552462947646652/4249167210387*c_0101_1^10 - 41898631373612/1416389070129*c_0101_1^9 - 2478088868445484/4249167210387*c_0101_1^8 - 3352771956151672/4249167210387*c_0101_1^7 + 199577692437925/472129690043*c_0101_1^6 + 2921095519200047/1416389070129*c_0101_1^5 + 7027166451795916/4249167210387*c_0101_1^4 + 2990977371354085/4249167210387*c_0101_1^3 + 480127587779243/472129690043*c_0101_1^2 + 3768946807730363/4249167210387*c_0101_1 + 29418895022644/128762642739, c_0011_3 - 2149547759262022/2196819447770079*c_0101_1^13 + 5710192107331160/2196819447770079*c_0101_1^12 + 62791142844567502/2196819447770079*c_0101_1^11 + 219223761852300988/2196819447770079*c_0101_1^10 - 23499356665279124/732273149256693*c_0101_1^9 - 986663488140368641/2196819447770079*c_0101_1^8 - 1280026610492983030/2196819447770079*c_0101_1^7 + 88827905378559331/244091049752231*c_0101_1^6 + 1143177747849148775/732273149256693*c_0101_1^5 + 2614659135583448347/2196819447770079*c_0101_1^4 + 1149710574488829679/2196819447770079*c_0101_1^3 + 188347780628005523/244091049752231*c_0101_1^2 + 1406757353056459961/2196819447770079*c_0101_1 + 10552518480378496/66570286296063, c_0011_4 - 8003090179704874/90069597358573239*c_0101_1^13 + 5105622376986374/90069597358573239*c_0101_1^12 + 293312883119615281/90069597358573239*c_0101_1^11 + 1227242659419512779/90069597358573239*c_0101_1^10 + 320175633012410677/30023199119524413*c_0101_1^9 - 5470869525990965416/90069597358573239*c_0101_1^8 - 10356468621970919824/90069597358573239*c_0101_1^7 - 92369831259954361/10007733039841471*c_0101_1^6 + 7605221044030642640/30023199119524413*c_0101_1^5 + 25200510081239606191/90069597358573239*c_0101_1^4 + 7709537868024052711/90069597358573239*c_0101_1^3 + 1235446327960241657/10007733039841471*c_0101_1^2 + 13113687524919353726/90069597358573239*c_0101_1 + 114483711914061058/2729381738138583, c_0101_0 - 9639795807324808/8188145214415749*c_0101_1^13 + 2092069012773064/744376837674159*c_0101_1^12 + 26432542902642869/744376837674159*c_0101_1^11 + 1050819501871554181/8188145214415749*c_0101_1^10 - 36828544184324609/2729381738138583*c_0101_1^9 - 4688203433076176026/8188145214415749*c_0101_1^8 - 6695492306326096738/8188145214415749*c_0101_1^7 + 318488193623589445/909793912712861*c_0101_1^6 + 5651180860680381410/2729381738138583*c_0101_1^5 + 14476029336023434705/8188145214415749*c_0101_1^4 + 5950445160588650968/8188145214415749*c_0101_1^3 + 926821820144190616/909793912712861*c_0101_1^2 + 7711423848140500676/8188145214415749*c_0101_1 + 62745096578521606/248125612558053, c_0101_1^14 - 2*c_0101_1^13 - 31*c_0101_1^12 - 121*c_0101_1^11 - 33*c_0101_1^10 + 484*c_0101_1^9 + 892*c_0101_1^8 + 3*c_0101_1^7 - 1851*c_0101_1^6 - 2236*c_0101_1^5 - 1288*c_0101_1^4 - 1128*c_0101_1^3 - 1160*c_0101_1^2 - 570*c_0101_1 - 99 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.200 seconds, Total memory usage: 32.09MB