Magma V2.19-8 Tue Aug 20 2013 16:15:48 on localhost [Seed = 3398129377] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0029 geometric_solution 3.59679610 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 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 3.220981337774 0.279339030009 0 1 1 0 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.555630343751 0.024048337704 0 3 3 0 3201 0132 3201 0132 0 0 0 0 0 -2 0 2 0 0 0 0 -2 2 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.045958083797 0.553246005617 2 2 4 4 2310 0132 0132 3201 0 0 0 0 0 2 -1 -1 0 0 1 -1 0 0 0 0 0 -2 2 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 0.139637450775 0.171184865503 5 3 6 3 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 1 1 0 -2 0 1 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.865907508495 1.940111739795 4 6 6 6 0132 3201 0213 2310 0 0 0 0 0 -1 1 0 -1 0 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 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.023517312314 1.001143398338 5 5 5 4 3201 0213 2310 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 -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 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.023517312314 1.001143398338 ==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' : 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_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0101_1']), '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_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 30653258103766391/1018496760723043*c_0101_4^16 + 18503172280167934/145499537246149*c_0101_4^15 - 118089374404857605/145499537246149*c_0101_4^14 + 2119845269660905709/1018496760723043*c_0101_4^13 - 79413007557382186/59911574160179*c_0101_4^12 - 163448533137236236/59911574160179*c_0101_4^11 + 187144127950357177/59911574160179*c_0101_4^10 + 402981153257302247/145499537246149*c_0101_4^9 - 1456050686405624893/1018496760723043*c_0101_4^8 - 3361687827347766690/1018496760723043*c_0101_4^7 - 362656436548514309/1018496760723043*c_0101_4^6 + 1553748597970737920/1018496760723043*c_0101_4^5 - 332818246504436439/1018496760723043*c_0101_4^4 - 207922809224890800/1018496760723043*c_0101_4^3 + 906377049208262658/1018496760723043*c_0101_4^2 + 117494541140937761/1018496760723043*c_0101_4 - 129411048068366677/1018496760723043, c_0011_0 - 1, c_0011_2 + 543456841540397/1018496760723043*c_0101_4^16 - 2092160255308062/1018496760723043*c_0101_4^15 + 14077819896673760/1018496760723043*c_0101_4^14 - 32922329730632752/1018496760723043*c_0101_4^13 + 138317901586961/8558796308597*c_0101_4^12 + 393934159148518/8558796308597*c_0101_4^11 - 2311318583035785/59911574160179*c_0101_4^10 - 47318596268836918/1018496760723043*c_0101_4^9 + 5293646774104735/1018496760723043*c_0101_4^8 + 46403719380549360/1018496760723043*c_0101_4^7 + 10717934704131913/1018496760723043*c_0101_4^6 - 18582679679093981/1018496760723043*c_0101_4^5 + 6034558517120972/1018496760723043*c_0101_4^4 + 6132378800659980/1018496760723043*c_0101_4^3 - 1435652552761384/145499537246149*c_0101_4^2 - 2741853729122041/1018496760723043*c_0101_4 + 682197815282876/1018496760723043, c_0011_4 - 2170695608472/145499537246149*c_0101_4^16 + 182967746630217/1018496760723043*c_0101_4^15 - 887317921004831/1018496760723043*c_0101_4^14 + 4236811736588688/1018496760723043*c_0101_4^13 - 501325654019451/59911574160179*c_0101_4^12 + 253212462542549/59911574160179*c_0101_4^11 + 528408132941062/59911574160179*c_0101_4^10 - 7195157275157377/1018496760723043*c_0101_4^9 - 8117717269099377/1018496760723043*c_0101_4^8 - 473788422427988/1018496760723043*c_0101_4^7 + 1034647225959946/145499537246149*c_0101_4^6 + 1041622087096679/1018496760723043*c_0101_4^5 - 383639618973095/145499537246149*c_0101_4^4 + 3794841242680338/1018496760723043*c_0101_4^3 + 1280318712708887/1018496760723043*c_0101_4^2 - 2186158298205841/1018496760723043*c_0101_4 - 51499006542455/1018496760723043, c_0011_6 - 137069796855059/1018496760723043*c_0101_4^16 + 702622416127068/1018496760723043*c_0101_4^15 - 4254332863699304/1018496760723043*c_0101_4^14 + 12972163735391258/1018496760723043*c_0101_4^13 - 131407402069046/8558796308597*c_0101_4^12 - 34269049757837/8558796308597*c_0101_4^11 + 1304654339695180/59911574160179*c_0101_4^10 - 1475468241693146/1018496760723043*c_0101_4^9 - 13035396679713974/1018496760723043*c_0101_4^8 - 10240246384307505/1018496760723043*c_0101_4^7 + 9607409079067546/1018496760723043*c_0101_4^6 + 8008975307302663/1018496760723043*c_0101_4^5 - 5321659161655167/1018496760723043*c_0101_4^4 + 1077986509349913/1018496760723043*c_0101_4^3 + 412046294259739/145499537246149*c_0101_4^2 - 2355664870197993/1018496760723043*c_0101_4 - 377825373426514/1018496760723043, c_0101_0 + 23881753075543/145499537246149*c_0101_4^16 - 891995029597907/1018496760723043*c_0101_4^15 + 5002238365936881/1018496760723043*c_0101_4^14 - 15695873787485992/1018496760723043*c_0101_4^13 + 786653368108508/59911574160179*c_0101_4^12 + 1113724366271936/59911574160179*c_0101_4^11 - 2002044632027794/59911574160179*c_0101_4^10 - 18374389888758968/1018496760723043*c_0101_4^9 + 25682812228596906/1018496760723043*c_0101_4^8 + 32163790451322464/1018496760723043*c_0101_4^7 + 43975917038181/145499537246149*c_0101_4^6 - 16814377981332585/1018496760723043*c_0101_4^5 + 113825313726877/145499537246149*c_0101_4^4 - 1094588346091733/1018496760723043*c_0101_4^3 - 10478313768167597/1018496760723043*c_0101_4^2 - 616225927053647/1018496760723043*c_0101_4 + 1390727583022285/1018496760723043, c_0101_1 + 291992274854248/1018496760723043*c_0101_4^16 - 1232297148781416/1018496760723043*c_0101_4^15 + 8014466925769709/1018496760723043*c_0101_4^14 - 20582927064966011/1018496760723043*c_0101_4^13 + 953169781312330/59911574160179*c_0101_4^12 + 1213789600914391/59911574160179*c_0101_4^11 - 1762048770358570/59911574160179*c_0101_4^10 - 17139106122614918/1018496760723043*c_0101_4^9 + 14772739787541623/1018496760723043*c_0101_4^8 + 21695138149347918/1018496760723043*c_0101_4^7 - 5652871384966851/1018496760723043*c_0101_4^6 - 15080636503987891/1018496760723043*c_0101_4^5 + 6825138565080546/1018496760723043*c_0101_4^4 + 3530207943258165/1018496760723043*c_0101_4^3 - 5864338334563575/1018496760723043*c_0101_4^2 + 1479159121384936/1018496760723043*c_0101_4 + 1189320193180024/1018496760723043, c_0101_4^17 - 4*c_0101_4^16 + 26*c_0101_4^15 - 63*c_0101_4^14 + 28*c_0101_4^13 + 102*c_0101_4^12 - 85*c_0101_4^11 - 116*c_0101_4^10 + 29*c_0101_4^9 + 121*c_0101_4^8 + 35*c_0101_4^7 - 50*c_0101_4^6 + 10*c_0101_4^4 - 28*c_0101_4^3 - 10*c_0101_4^2 + 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB