Magma V2.19-8 Tue Aug 20 2013 16:14:38 on localhost [Seed = 1713896032] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s619 geometric_solution 5.10360145 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 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.364468940670 0.242260064014 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 2 -1 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732572734259 1.022623590543 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 0 1 -2 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 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.986942387341 0.922253623177 2 5 4 1 3012 1023 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 -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 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.986942387341 0.922253623177 4 2 4 3 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539768428411 0.491387047052 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 1 -1 0 1 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 -1 1 0 -1 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 1.268330700999 0.787735685354 ==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' : negation(d['c_0011_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_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 3042845798351894172862/417454018675529904083*c_0101_5^18 + 15153311628999997956746/417454018675529904083*c_0101_5^17 - 14915894795209780329865/417454018675529904083*c_0101_5^16 - 91498963273121875021847/417454018675529904083*c_0101_5^15 + 226047355896112632342338/417454018675529904083*c_0101_5^14 + 77779684762498104423711/417454018675529904083*c_0101_5^13 - 687178837548009781340322/417454018675529904083*c_0101_5^12 + 252529786179260826592471/417454018675529904083*c_0101_5^11 + 831580114244534599321846/417454018675529904083*c_0101_5^10 - 564102684783903534382583/417454018675529904083*c_0101_5^9 - 629456604124666262456527/417454018675529904083*c_0101_5^8 + 428068282006743809937312/417454018675529904083*c_0101_5^7 + 142840421165010010779501/417454018675529904083*c_0101_5^6 - 317107646441452777884552/417454018675529904083*c_0101_5^5 + 41014279225628206588124/417454018675529904083*c_0101_5^4 + 168572043204171336469293/417454018675529904083*c_0101_5^3 - 39818367383997723028221/417454018675529904083*c_0101_5^2 + 26762476101299395644471/417454018675529904083*c_0101_5 - 17895544897295823187653/417454018675529904083, c_0011_0 - 1, c_0011_1 + 13776549250353810002/417454018675529904083*c_0101_5^18 - 78328873322966093921/417454018675529904083*c_0101_5^17 + 106077496926717901369/417454018675529904083*c_0101_5^16 + 411328515103539846185/417454018675529904083*c_0101_5^15 - 1343356674178095388802/417454018675529904083*c_0101_5^14 + 59762064140875513657/417454018675529904083*c_0101_5^13 + 3948533084291587529471/417454018675529904083*c_0101_5^12 - 2806472917961489279063/417454018675529904083*c_0101_5^11 - 4906082694062694286779/417454018675529904083*c_0101_5^10 + 5040647031030940051867/417454018675529904083*c_0101_5^9 + 3535548956950410424543/417454018675529904083*c_0101_5^8 - 4181152457527861964528/417454018675529904083*c_0101_5^7 - 1332578105048742251298/417454018675529904083*c_0101_5^6 + 1693146701305826975618/417454018675529904083*c_0101_5^5 - 646222846074512070149/417454018675529904083*c_0101_5^4 - 834747145334001968205/417454018675529904083*c_0101_5^3 + 699991195650290764358/417454018675529904083*c_0101_5^2 - 52774957438647882243/417454018675529904083*c_0101_5 + 314869270559188982593/417454018675529904083, c_0011_3 - 19279639644303802673/417454018675529904083*c_0101_5^18 + 117734391619956322232/417454018675529904083*c_0101_5^17 - 188644954135152579875/417454018675529904083*c_0101_5^16 - 540060001576423878420/417454018675529904083*c_0101_5^15 + 2142298043847542955675/417454018675529904083*c_0101_5^14 - 698386032451776794203/417454018675529904083*c_0101_5^13 - 5852222009553428068776/417454018675529904083*c_0101_5^12 + 6029105313659798396033/417454018675529904083*c_0101_5^11 + 6355953030054678233333/417454018675529904083*c_0101_5^10 - 10152239097869487443316/417454018675529904083*c_0101_5^9 - 3347099351718359989479/417454018675529904083*c_0101_5^8 + 8776593769366324811142/417454018675529904083*c_0101_5^7 + 589203273934222835656/417454018675529904083*c_0101_5^6 - 3597128357617916240329/417454018675529904083*c_0101_5^5 + 1874887873598831429538/417454018675529904083*c_0101_5^4 + 1611904001971597989358/417454018675529904083*c_0101_5^3 - 1409536956116819637570/417454018675529904083*c_0101_5^2 + 116573697508253315311/417454018675529904083*c_0101_5 - 147676728008697092770/417454018675529904083, c_0101_0 - 67399990884026743163/417454018675529904083*c_0101_5^18 + 330570245566424910528/417454018675529904083*c_0101_5^17 - 312418235916938953504/417454018675529904083*c_0101_5^16 - 2023123025756038099182/417454018675529904083*c_0101_5^15 + 4851062339406058640107/417454018675529904083*c_0101_5^14 + 1871856704160918288005/417454018675529904083*c_0101_5^13 - 14804205351765896058605/417454018675529904083*c_0101_5^12 + 5006464480868931043791/417454018675529904083*c_0101_5^11 + 17792718966455488518942/417454018675529904083*c_0101_5^10 - 11923378912212531664476/417454018675529904083*c_0101_5^9 - 13535620317011004229520/417454018675529904083*c_0101_5^8 + 9146479005789455003273/417454018675529904083*c_0101_5^7 + 2373339157707689165162/417454018675529904083*c_0101_5^6 - 7528232038313008639355/417454018675529904083*c_0101_5^5 + 863983221911233669528/417454018675529904083*c_0101_5^4 + 3070112263180780462940/417454018675529904083*c_0101_5^3 - 1528085296480183236217/417454018675529904083*c_0101_5^2 + 736161809577024364111/417454018675529904083*c_0101_5 - 31006853139833528218/417454018675529904083, c_0101_3 - 71121751865666197080/417454018675529904083*c_0101_5^18 + 339870336545158977380/417454018675529904083*c_0101_5^17 - 282191404493486049446/417454018675529904083*c_0101_5^16 - 2183065691855801889783/417454018675529904083*c_0101_5^15 + 4820431981724778083669/417454018675529904083*c_0101_5^14 + 2745094209984299899090/417454018675529904083*c_0101_5^13 - 15280907034155622732823/417454018675529904083*c_0101_5^12 + 2644829833726717180403/417454018675529904083*c_0101_5^11 + 19482444729848435833733/417454018675529904083*c_0101_5^10 - 8392687494024069367916/417454018675529904083*c_0101_5^9 - 16238292321344074513271/417454018675529904083*c_0101_5^8 + 5548437776973780940818/417454018675529904083*c_0101_5^7 + 4683180228759902242650/417454018675529904083*c_0101_5^6 - 5705408335658324271623/417454018675529904083*c_0101_5^5 - 523038263862308609472/417454018675529904083*c_0101_5^4 + 3509556479656325070601/417454018675529904083*c_0101_5^3 - 187279930891037894838/417454018675529904083*c_0101_5^2 + 622738595369011187070/417454018675529904083*c_0101_5 - 201813681893733208084/417454018675529904083, c_0101_5^19 - 5*c_0101_5^18 + 5*c_0101_5^17 + 30*c_0101_5^16 - 75*c_0101_5^15 - 24*c_0101_5^14 + 227*c_0101_5^13 - 89*c_0101_5^12 - 272*c_0101_5^11 + 195*c_0101_5^10 + 201*c_0101_5^9 - 149*c_0101_5^8 - 40*c_0101_5^7 + 108*c_0101_5^6 - 19*c_0101_5^5 - 55*c_0101_5^4 + 17*c_0101_5^3 - 9*c_0101_5^2 + 5*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB