Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 357861851] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0327 geometric_solution 4.35865764 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.327104089924 0.127815332702 0 2 2 0 0132 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 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.111879062120 0.506402542997 1 1 3 3 2310 0132 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 -1 0 1 1 0 -1 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.164359473646 0.139527508734 4 2 5 2 0132 2310 0132 0132 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 0.368327049522 1.763183055648 3 6 6 5 0132 0132 1023 1230 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.378739614946 0.799134340400 4 6 6 3 3012 2310 3201 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378739614946 0.799134340400 5 4 4 5 2310 0132 1023 3201 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 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.515715021366 1.021833316859 ==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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], '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_3']), 'c_0011_6' : d['c_0011_3'], '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_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 2295930268887408751/14310238121590004224*c_0101_6^13 - 5511341671643116295/14310238121590004224*c_0101_6^12 + 69952592205247639225/14310238121590004224*c_0101_6^11 + 66197380919892212005/7155119060795002112*c_0101_6^10 - 208989662863798812631/3577559530397501056*c_0101_6^9 - 696371076506829239069/14310238121590004224*c_0101_6^8 + 122857659964750938431/493456486951379456*c_0101_6^7 + 1254411135581120435495/7155119060795002112*c_0101_6^6 - 2063118573202338106319/3577559530397501056*c_0101_6^5 - 145019552555499161539/894389882599375264*c_0101_6^4 + 642215875839479658831/894389882599375264*c_0101_6^3 - 44200944207301822693/223597470649843816*c_0101_6^2 - 56403574265170379515/223597470649843816*c_0101_6 + 11856391260501661803/111798735324921908, c_0011_0 - 1, c_0011_3 + 23439332812795/30841030434461216*c_0101_6^13 + 97118584654757/30841030434461216*c_0101_6^12 - 579024184416389/30841030434461216*c_0101_6^11 - 1226430272364591/15420515217230608*c_0101_6^10 + 2613223925483917/15420515217230608*c_0101_6^9 + 18404564081318729/30841030434461216*c_0101_6^8 - 14728518107551745/30841030434461216*c_0101_6^7 - 31785960165456199/15420515217230608*c_0101_6^6 + 3907288862865615/15420515217230608*c_0101_6^5 + 11190758107808379/3855128804307652*c_0101_6^4 - 2383855077143503/3855128804307652*c_0101_6^3 - 3499481473935263/1927564402153826*c_0101_6^2 + 1134624233084569/1927564402153826*c_0101_6 + 852509293280300/963782201076913, c_0011_5 - 100214641939969/61682060868922432*c_0101_6^13 - 11848907345359/1927564402153826*c_0101_6^12 + 1297378181181351/30841030434461216*c_0101_6^11 + 9588092730756257/61682060868922432*c_0101_6^10 - 1560056141543735/3855128804307652*c_0101_6^9 - 70289413680819183/61682060868922432*c_0101_6^8 + 9398606045421119/7710257608615304*c_0101_6^7 + 248828267430864767/61682060868922432*c_0101_6^6 - 7523341216015333/7710257608615304*c_0101_6^5 - 79431120625862251/15420515217230608*c_0101_6^4 + 1719322415723511/3855128804307652*c_0101_6^3 + 1397239582460539/963782201076913*c_0101_6^2 - 315789059811131/963782201076913*c_0101_6 - 343065248862747/963782201076913, c_0101_0 - 1591237444663889/123364121737844864*c_0101_2*c_0101_6^13 - 6288512291638291/123364121737844864*c_0101_2*c_0101_6^12 + 40776567325562653/123364121737844864*c_0101_2*c_0101_6^11 + 40465708113544011/30841030434461216*c_0101_2*c_0101_6^10 - 48108550402037791/15420515217230608*c_0101_2*c_0101_6^9 - 1252447312131034395/123364121737844864*c_0101_2*c_0101_6^8 + 1125570581817816383/123364121737844864*c_0101_2*c_0101_6^7 + 1175681951529696233/30841030434461216*c_0101_2*c_0101_6^6 - 38033733515927577/7710257608615304*c_0101_2*c_0101_6^5 - 878630018261163757/15420515217230608*c_0101_2*c_0101_6^4 - 7153782269743171/3855128804307652*c_0101_2*c_0101_6^3 + 29475336109741121/963782201076913*c_0101_2*c_0101_6^2 - 3818244385585519/963782201076913*c_0101_2*c_0101_6 - 9129373111794989/963782201076913*c_0101_2, c_0101_1 + 129145723299065/61682060868922432*c_0101_6^13 + 615579297536355/61682060868922432*c_0101_6^12 - 3000260797536867/61682060868922432*c_0101_6^11 - 8068251601890411/30841030434461216*c_0101_6^10 + 11806039535056111/30841030434461216*c_0101_6^9 + 134668905665799971/61682060868922432*c_0101_6^8 - 42554585167138743/61682060868922432*c_0101_6^7 - 252456730019771143/30841030434461216*c_0101_6^6 - 69102145410901835/30841030434461216*c_0101_6^5 + 100122046178388861/7710257608615304*c_0101_6^4 + 33711883903192123/7710257608615304*c_0101_6^3 - 31751878646357809/3855128804307652*c_0101_6^2 - 759908559785487/1927564402153826*c_0101_6 + 1841564589223538/963782201076913, c_0101_2^2 + 78521109231581/123364121737844864*c_0101_6^13 + 311468253896399/123364121737844864*c_0101_6^12 - 1971779943318613/123364121737844864*c_0101_6^11 - 988688036451259/15420515217230608*c_0101_6^10 + 4469288986553849/30841030434461216*c_0101_6^9 + 59399415762009415/123364121737844864*c_0101_6^8 - 44791256441087883/123364121737844864*c_0101_6^7 - 27150924895213941/15420515217230608*c_0101_6^6 + 662412061046617/30841030434461216*c_0101_6^5 + 9612768874865005/3855128804307652*c_0101_6^4 + 913462586857775/3855128804307652*c_0101_6^3 - 3353788473644945/1927564402153826*c_0101_6^2 + 343065248862747/1927564402153826*c_0101_6 + 200429283879938/963782201076913, c_0101_6^14 + 3*c_0101_6^13 - 29*c_0101_6^12 - 76*c_0101_6^11 + 328*c_0101_6^10 + 523*c_0101_6^9 - 1343*c_0101_6^8 - 2036*c_0101_6^7 + 2768*c_0101_6^6 + 3144*c_0101_6^5 - 3344*c_0101_6^4 - 1184*c_0101_6^3 + 1728*c_0101_6^2 - 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB