Magma V2.19-8 Tue Aug 20 2013 16:18:07 on localhost [Seed = 3566553105] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2344 geometric_solution 5.72428790 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 1 -1 0 -1 0 0 1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.336635368379 0.515103816707 0 5 5 2 0132 0132 3201 2310 0 0 0 0 0 -1 0 1 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 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.281363648341 0.791283619393 1 0 4 6 3201 0132 3012 0132 0 0 0 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 -1 1 0 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.583725623424 0.759625287052 5 5 6 0 3120 0213 2310 0132 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 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.894258710993 2.430940513594 6 2 0 6 3201 1230 0132 2310 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 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.121145000168 0.440679608589 1 1 3 3 2310 0132 0213 3120 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 1.743967476750 1.656288701337 4 3 2 4 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.651665427527 1.208244644216 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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_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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], '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_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 966595/3694664*c_0101_6^11 + 4434157/1847332*c_0101_6^10 + 366613/3694664*c_0101_6^9 - 11050879/923666*c_0101_6^8 + 1349389/48614*c_0101_6^7 - 122730237/3694664*c_0101_6^6 + 24997211/923666*c_0101_6^5 - 64493221/3694664*c_0101_6^4 + 22395173/1847332*c_0101_6^3 - 16025877/3694664*c_0101_6^2 + 465777/923666*c_0101_6 - 477175/3694664, c_0011_0 - 1, c_0011_3 + 107989/97228*c_0101_6^11 - 586325/48614*c_0101_6^10 + 2277461/97228*c_0101_6^9 - 697226/24307*c_0101_6^8 + 525432/24307*c_0101_6^7 - 750245/97228*c_0101_6^6 - 27079/24307*c_0101_6^5 + 656339/97228*c_0101_6^4 - 363227/48614*c_0101_6^3 + 79819/97228*c_0101_6^2 - 86094/24307*c_0101_6 - 57683/97228, c_0011_4 - 127195/97228*c_0101_6^11 + 344500/24307*c_0101_6^10 - 2655353/97228*c_0101_6^9 + 826222/24307*c_0101_6^8 - 650584/24307*c_0101_6^7 + 1121079/97228*c_0101_6^6 - 58973/48614*c_0101_6^5 - 686895/97228*c_0101_6^4 + 505051/48614*c_0101_6^3 - 170913/97228*c_0101_6^2 + 269999/48614*c_0101_6 + 32655/97228, c_0011_6 - 12541/97228*c_0101_6^11 + 62803/48614*c_0101_6^10 - 134285/97228*c_0101_6^9 - 11610/24307*c_0101_6^8 + 33190/24307*c_0101_6^7 - 17287/97228*c_0101_6^6 - 50520/24307*c_0101_6^5 + 214413/97228*c_0101_6^4 - 46965/48614*c_0101_6^3 + 104777/97228*c_0101_6^2 + 27929/24307*c_0101_6 - 86049/97228, c_0101_0 + 36683/48614*c_0101_6^11 - 416027/48614*c_0101_6^10 + 485880/24307*c_0101_6^9 - 697843/24307*c_0101_6^8 + 698936/24307*c_0101_6^7 - 912799/48614*c_0101_6^6 + 342637/48614*c_0101_6^5 + 91420/24307*c_0101_6^4 - 240410/24307*c_0101_6^3 + 280763/48614*c_0101_6^2 - 226141/48614*c_0101_6 + 39367/24307, c_0101_3 + 30799/48614*c_0101_6^11 - 175992/24307*c_0101_6^10 + 855783/48614*c_0101_6^9 - 672336/24307*c_0101_6^8 + 734761/24307*c_0101_6^7 - 1101965/48614*c_0101_6^6 + 236554/24307*c_0101_6^5 + 130117/48614*c_0101_6^4 - 214618/24307*c_0101_6^3 + 309893/48614*c_0101_6^2 - 124405/24307*c_0101_6 + 69049/48614, c_0101_6^12 - 11*c_0101_6^11 + 23*c_0101_6^10 - 33*c_0101_6^9 + 32*c_0101_6^8 - 21*c_0101_6^7 + 9*c_0101_6^6 + 3*c_0101_6^5 - 9*c_0101_6^4 + 5*c_0101_6^3 - 7*c_0101_6^2 + c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB