Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 2749513570] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0485 geometric_solution 4.50702246 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 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 1 0 -1 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.075405863432 0.343342464743 0 3 4 3 0132 2310 0132 0321 0 0 0 0 0 0 -1 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 -1 1 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.288724263751 1.133860031763 5 0 0 5 0132 0132 1023 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 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 1.487206081401 0.580320750547 4 1 0 1 2310 0321 0132 3201 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 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.288724263751 1.133860031763 4 4 3 1 1230 3012 3201 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 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.789098461385 0.828239449520 2 2 6 6 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.279042015956 0.431184870242 6 5 6 5 2310 2310 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 -0.653739231907 0.061298591520 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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' : negation(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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_4'], '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_3, c_0011_4, c_0011_6, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 16, c_0011_0 - 1, c_0011_3 - c_0101_5, c_0011_4 + 4*c_0101_5^3 - 3*c_0101_5, c_0011_6 - 2*c_0101_5^2 + 1, c_0101_2 - 4*c_0101_5^3 + 3*c_0101_5, c_0101_4 + 2*c_0101_5^2 - 1, c_0101_5^4 - c_0101_5^2 + 1/8 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_6, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 1110672143850240729155656/18483040604529295801823*c_0101_5^30 - 15444274297922548325456022/18483040604529295801823*c_0101_5^28 + 66285835129617591745308582/18483040604529295801823*c_0101_5^26 - 31445844068479141093657981/18483040604529295801823*c_0101_5^24 - 301909390444190026821761396/18483040604529295801823*c_0101_5^22 - 1062634250456353873969280653/18483040604529295801823*c_0101_5^20 + 11286866436156046035275761951/18483040604529295801823*c_0101_5^18 - 35432391796982491351263386872/18483040604529295801823*c_0101_5^16 + 62386685976664901901347248659/18483040604529295801823*c_0101_5^14 - 72119685258882513912220703750/18483040604529295801823*c_0101_5^12 + 58761858643118455271700746855/18483040604529295801823*c_0101_5^10 - 33842852660298431711279636705/18483040604529295801823*c_0101_5^8 + 12838586693511584192618759037/18483040604529295801823*c_0101_5^6 - 2800648343496988716051625076/18483040604529295801823*c_0101_5^4 + 290301760057737144564017677/18483040604529295801823*c_0101_5^2 - 11269923749088175325633053/18483040604529295801823, c_0011_0 - 1, c_0011_3 + 15724546467514843249490/18483040604529295801823*c_0101_5^31 - 218730239589508668703073/18483040604529295801823*c_0101_5^29 + 940224191184722657172009/18483040604529295801823*c_0101_5^27 - 459364393243370191055706/18483040604529295801823*c_0101_5^25 - 4234417993918792353444082/18483040604529295801823*c_0101_5^23 - 15022838888620040134309793/18483040604529295801823*c_0101_5^21 + 159670238131392654367749040/18483040604529295801823*c_0101_5^19 - 503210364093994111132946358/18483040604529295801823*c_0101_5^17 + 892569248498975799855159442/18483040604529295801823*c_0101_5^15 - 1044470650624832040412318957/18483040604529295801823*c_0101_5^13 + 866488281034335507016084827/18483040604529295801823*c_0101_5^11 - 512853563516617050032646015/18483040604529295801823*c_0101_5^9 + 204765149069108258610456652/18483040604529295801823*c_0101_5^7 - 50129792215567961796805557/18483040604529295801823*c_0101_5^5 + 6723782423017937378002998/18483040604529295801823*c_0101_5^3 - 387422683598769088675532/18483040604529295801823*c_0101_5, c_0011_4 - 61731594553940411210046/18483040604529295801823*c_0101_5^31 + 861625677802667864605136/18483040604529295801823*c_0101_5^29 - 3729175578840721649612047/18483040604529295801823*c_0101_5^27 + 1941540506151228792740931/18483040604529295801823*c_0101_5^25 + 16687114686277215303759428/18483040604529295801823*c_0101_5^23 + 58169134163612115999481391/18483040604529295801823*c_0101_5^21 - 630390104327434370637349835/18483040604529295801823*c_0101_5^19 + 2002347675257134740428179968/18483040604529295801823*c_0101_5^17 - 3571116143854526667216927993/18483040604529295801823*c_0101_5^15 + 4189779804678653795773366912/18483040604529295801823*c_0101_5^13 - 3472703501121427164633532242/18483040604529295801823*c_0101_5^11 + 2045719884690058671208512432/18483040604529295801823*c_0101_5^9 - 805203435703441693528836174/18483040604529295801823*c_0101_5^7 + 187962096216371885574579476/18483040604529295801823*c_0101_5^5 - 21954369035980744576192361/18483040604529295801823*c_0101_5^3 + 941943669755040868524111/18483040604529295801823*c_0101_5, c_0011_6 + 1413410955699136789787/18483040604529295801823*c_0101_5^30 - 18973143333682781046881/18483040604529295801823*c_0101_5^28 + 75270186652134479426954/18483040604529295801823*c_0101_5^26 - 4514994157299519331272/18483040604529295801823*c_0101_5^24 - 383286127363721069034603/18483040604529295801823*c_0101_5^22 - 1537812253569518626022440/18483040604529295801823*c_0101_5^20 + 13608304653816241948041472/18483040604529295801823*c_0101_5^18 - 38591219667850672849889888/18483040604529295801823*c_0101_5^16 + 61342355156681796264815803/18483040604529295801823*c_0101_5^14 - 63870235262647708683240513/18483040604529295801823*c_0101_5^12 + 46814494355171250903202065/18483040604529295801823*c_0101_5^10 - 23602439278609809901886618/18483040604529295801823*c_0101_5^8 + 7311976030263760593581413/18483040604529295801823*c_0101_5^6 - 1295736275414632679236902/18483040604529295801823*c_0101_5^4 + 160177948627235972504285/18483040604529295801823*c_0101_5^2 + 2758494137014452552333/18483040604529295801823, c_0101_2 + 760226706712443428341/18483040604529295801823*c_0101_5^31 - 9634056545019454284713/18483040604529295801823*c_0101_5^29 + 32864162883825428999853/18483040604529295801823*c_0101_5^27 + 27382170979937929347572/18483040604529295801823*c_0101_5^25 - 205582713051915152798963/18483040604529295801823*c_0101_5^23 - 981733370547304275465497/18483040604529295801823*c_0101_5^21 + 6683787464509566657832218/18483040604529295801823*c_0101_5^19 - 15310062230788488753690023/18483040604529295801823*c_0101_5^17 + 17851337257968378507684622/18483040604529295801823*c_0101_5^15 - 10742410058838704916929264/18483040604529295801823*c_0101_5^13 + 999903824405069278644026/18483040604529295801823*c_0101_5^11 + 4775498872191034246347132/18483040604529295801823*c_0101_5^9 - 4700597319587019120451960/18483040604529295801823*c_0101_5^7 + 1929754792652893945033249/18483040604529295801823*c_0101_5^5 - 387294652452029963532204/18483040604529295801823*c_0101_5^3 + 72744483680215719368014/18483040604529295801823*c_0101_5, c_0101_4 - 45847904267078501631824/18483040604529295801823*c_0101_5^30 + 637407082754337137025419/18483040604529295801823*c_0101_5^28 - 2733923098001554738600175/18483040604529295801823*c_0101_5^26 + 1282964002447801428277621/18483040604529295801823*c_0101_5^24 + 12494059110053641163219512/18483040604529295801823*c_0101_5^22 + 43910393380233861430697784/18483040604529295801823*c_0101_5^20 - 465950755839257237665585770/18483040604529295801823*c_0101_5^18 + 1460644461210673455344027952/18483040604529295801823*c_0101_5^16 - 2565973936864032402471169972/18483040604529295801823*c_0101_5^14 + 2956474891137763167079926699/18483040604529295801823*c_0101_5^12 - 2398240404145342943856435226/18483040604529295801823*c_0101_5^10 + 1372523929648326257378355091/18483040604529295801823*c_0101_5^8 - 514732189248111213547196502/18483040604529295801823*c_0101_5^6 + 109550843695868272560069066/18483040604529295801823*c_0101_5^4 - 10759560367615450193637312/18483040604529295801823*c_0101_5^2 + 392210243245480848516672/18483040604529295801823, c_0101_5^32 - 14*c_0101_5^30 + 61*c_0101_5^28 - 34*c_0101_5^26 - 269*c_0101_5^24 - 931*c_0101_5^22 + 10252*c_0101_5^20 - 32867*c_0101_5^18 + 59217*c_0101_5^16 - 70324*c_0101_5^14 + 59166*c_0101_5^12 - 35592*c_0101_5^10 + 14523*c_0101_5^8 - 3653*c_0101_5^6 + 510*c_0101_5^4 - 36*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB