Magma V2.19-8 Tue Aug 20 2013 16:14:57 on localhost [Seed = 829467944] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s925 geometric_solution 5.77279231 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 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 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.948406448405 0.968386764754 0 3 5 4 0132 0132 0132 0132 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 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.722268851829 0.840867316969 3 0 4 5 2310 0132 3201 2310 0 0 0 0 0 1 0 -1 -1 0 0 1 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 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.722268851829 0.840867316969 3 1 2 3 3012 0132 3201 1230 0 0 0 0 0 1 0 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.195053982939 0.574834542648 2 4 1 4 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748209537480 0.630198011565 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 0 1 -1 1 0 -1 0 1 -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 -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.419925811045 0.633092403495 ==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' : negation(d['1']), 's_2_0' : negation(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' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 9226447271/31640128*c_0101_3^19 + 31876621227/31640128*c_0101_3^18 - 91092030021/31640128*c_0101_3^17 - 27433137961/1977508*c_0101_3^16 + 20607826359/3955016*c_0101_3^15 + 2294559448685/31640128*c_0101_3^1\ 4 + 125854511879/3955016*c_0101_3^13 - 730043819601/3955016*c_0101_3^12 - 5226821959597/31640128*c_0101_3^11 + 141852152933/608464*c_0101_3^10 + 23545071259/76058*c_0101_3^9 - 231824228237/1977508*c_0101_3^8 - 8798163424805/31640128*c_0101_3^7 - 547930648547/31640128*c_0101_3^6 + 113893567185/930592*c_0101_3^5 + 1134125299875/31640128*c_0101_3^4 - 706360251099/31640128*c_0101_3^3 - 312286709317/31640128*c_0101_3^2 + 4791723659/7910032*c_0101_3 + 16023514945/31640128, c_0011_0 - 1, c_0011_4 + 289268/38029*c_0101_3^19 + 1002798/38029*c_0101_3^18 - 2843193/38029*c_0101_3^17 - 13801826/38029*c_0101_3^16 + 4980225/38029*c_0101_3^15 + 72092031/38029*c_0101_3^14 + 32693774/38029*c_0101_3^13 - 183198762/38029*c_0101_3^12 - 167482517/38029*c_0101_3^11 + 230384739/38029*c_0101_3^10 + 313858149/38029*c_0101_3^9 - 113500588/38029*c_0101_3^8 - 283298309/38029*c_0101_3^7 - 21137116/38029*c_0101_3^6 + 7402897/2237*c_0101_3^5 + 38561840/38029*c_0101_3^4 - 23299359/38029*c_0101_3^3 - 10791834/38029*c_0101_3^2 + 672587/38029*c_0101_3 + 572306/38029, c_0101_0 + 220404/38029*c_0101_3^19 + 706971/38029*c_0101_3^18 - 2337337/38029*c_0101_3^17 - 9871484/38029*c_0101_3^16 + 6220782/38029*c_0101_3^15 + 52765436/38029*c_0101_3^14 + 11602318/38029*c_0101_3^13 - 139600922/38029*c_0101_3^12 - 90820272/38029*c_0101_3^11 + 191090559/38029*c_0101_3^10 + 184465228/38029*c_0101_3^9 - 123414854/38029*c_0101_3^8 - 173363337/38029*c_0101_3^7 + 22097451/38029*c_0101_3^6 + 4744898/2237*c_0101_3^5 + 9527359/38029*c_0101_3^4 - 16291098/38029*c_0101_3^3 - 3737636/38029*c_0101_3^2 + 797032/38029*c_0101_3 + 197536/38029, c_0101_1 - 117483/38029*c_0101_3^19 - 447153/38029*c_0101_3^18 + 1028120/38029*c_0101_3^17 + 6025907/38029*c_0101_3^16 - 272568/38029*c_0101_3^15 - 30402234/38029*c_0101_3^14 - 22495117/38029*c_0101_3^13 + 72544198/38029*c_0101_3^12 + 91926680/38029*c_0101_3^11 - 78802046/38029*c_0101_3^10 - 159454017/38029*c_0101_3^9 + 17352413/38029*c_0101_3^8 + 135659599/38029*c_0101_3^7 + 33914401/38029*c_0101_3^6 - 3302282/2237*c_0101_3^5 - 26797721/38029*c_0101_3^4 + 9465269/38029*c_0101_3^3 + 6612945/38029*c_0101_3^2 - 159765/38029*c_0101_3 - 374681/38029, c_0101_2 + c_0101_3^2 - 1, c_0101_3^20 + 4*c_0101_3^19 - 8*c_0101_3^18 - 53*c_0101_3^17 - 8*c_0101_3^16 + 259*c_0101_3^15 + 245*c_0101_3^14 - 576*c_0101_3^13 - 915*c_0101_3^12 + 495*c_0101_3^11 + 1508*c_0101_3^10 + 176*c_0101_3^9 - 1187*c_0101_3^8 - 586*c_0101_3^7 + 395*c_0101_3^6 + 359*c_0101_3^5 - 10*c_0101_3^4 - 78*c_0101_3^3 - 17*c_0101_3^2 + 3*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB