Magma V2.19-8 Tue Aug 20 2013 16:14:15 on localhost [Seed = 4240269520] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s218 geometric_solution 4.36063571 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 2 1 0132 0132 3201 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 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.753043940984 0.678984833519 0 0 1 1 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.339130697910 0.246588954650 0 0 4 3 2310 0132 0132 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 -1 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.085546673432 0.404589734924 4 4 2 5 1230 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -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 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.672423119692 1.093998977906 3 3 5 2 1023 3012 2310 0132 0 0 0 0 0 1 -1 0 0 0 0 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 -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.672423119692 1.093998977906 5 4 3 5 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -1 1 -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.672423119692 1.093998977906 ==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_5'], 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], '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' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 124689443744067/6465592040812*c_0101_2^15 + 450592522687575/3232796020406*c_0101_2^14 + 385267192692533/3232796020406*c_0101_2^13 - 1562923254487181/1616398010203*c_0101_2^12 + 515809587022217/1616398010203*c_0101_2^11 + 5346903719063735/1616398010203*c_0101_2^10 - 6419538216964809/6465592040812*c_0101_2^9 - 21039043893393805/3232796020406*c_0101_2^8 + 3803265912391589/6465592040812*c_0101_2^7 + 20822662759020891/3232796020406*c_0101_2^6 + 559979582349219/6465592040812*c_0101_2^5 - 9274949735114823/3232796020406*c_0101_2^4 - 607935774067482/1616398010203*c_0101_2^3 + 3403050278437023/6465592040812*c_0101_2^2 + 122793293711703/1616398010203*c_0101_2 - 138544119109077/6465592040812, c_0011_0 - 1, c_0011_3 + 2482881358823/1616398010203*c_0101_2^15 - 36165283560313/3232796020406*c_0101_2^14 - 29204364469319/3232796020406*c_0101_2^13 + 254544717170049/3232796020406*c_0101_2^12 - 94338226937163/3232796020406*c_0101_2^11 - 872829499641615/3232796020406*c_0101_2^10 + 321685093645803/3232796020406*c_0101_2^9 + 869580540161795/1616398010203*c_0101_2^8 - 150124210628853/1616398010203*c_0101_2^7 - 1790084574413799/3232796020406*c_0101_2^6 + 143330273213077/3232796020406*c_0101_2^5 + 433032699783484/1616398010203*c_0101_2^4 + 1249150271233/1616398010203*c_0101_2^3 - 93065890931967/1616398010203*c_0101_2^2 - 3295463391945/3232796020406*c_0101_2 + 11495472901551/3232796020406, c_0011_5 - 2929207755457/6465592040812*c_0101_2^15 + 5656591649318/1616398010203*c_0101_2^14 + 2010315207226/1616398010203*c_0101_2^13 - 79583068813053/3232796020406*c_0101_2^12 + 59296179390207/3232796020406*c_0101_2^11 + 250046836416507/3232796020406*c_0101_2^10 - 407894617967081/6465592040812*c_0101_2^9 - 492271989572833/3232796020406*c_0101_2^8 + 596608779040199/6465592040812*c_0101_2^7 + 265553372004360/1616398010203*c_0101_2^6 - 467326658493465/6465592040812*c_0101_2^5 - 272369256879695/3232796020406*c_0101_2^4 + 34756145745063/1616398010203*c_0101_2^3 + 125124099250485/6465592040812*c_0101_2^2 - 6287318346757/3232796020406*c_0101_2 - 4202253553829/6465592040812, c_0101_0 - 9339076243151/6465592040812*c_0101_2^15 + 35670660388591/3232796020406*c_0101_2^14 + 15615047251729/3232796020406*c_0101_2^13 - 125346180334124/1616398010203*c_0101_2^12 + 84916182639018/1616398010203*c_0101_2^11 + 400096219946036/1616398010203*c_0101_2^10 - 1163664426631969/6465592040812*c_0101_2^9 - 1578107186792419/3232796020406*c_0101_2^8 + 1638323426563901/6465592040812*c_0101_2^7 + 1688368459123137/3232796020406*c_0101_2^6 - 1251677425141037/6465592040812*c_0101_2^5 - 862985418696789/3232796020406*c_0101_2^4 + 89235579601353/1616398010203*c_0101_2^3 + 426985953389219/6465592040812*c_0101_2^2 - 8101790016956/1616398010203*c_0101_2 - 32341802120077/6465592040812, c_0101_1 + 10667845594641/6465592040812*c_0101_2^15 - 19401031729486/1616398010203*c_0101_2^14 - 15679099539964/1616398010203*c_0101_2^13 + 270716770280477/3232796020406*c_0101_2^12 - 100918760002335/3232796020406*c_0101_2^11 - 922145615316765/3232796020406*c_0101_2^10 + 660111356752629/6465592040812*c_0101_2^9 + 1817609431200929/3232796020406*c_0101_2^8 - 568498000954667/6465592040812*c_0101_2^7 - 914965403305390/1616398010203*c_0101_2^6 + 219453686040801/6465592040812*c_0101_2^5 + 849122998609329/3232796020406*c_0101_2^4 + 18499132682447/1616398010203*c_0101_2^3 - 341028468778593/6465592040812*c_0101_2^2 - 14213996314159/3232796020406*c_0101_2 + 19428900090409/6465592040812, c_0101_2^16 - 7*c_0101_2^15 - 8*c_0101_2^14 + 50*c_0101_2^13 - 4*c_0101_2^12 - 184*c_0101_2^11 + 15*c_0101_2^10 + 379*c_0101_2^9 + 39*c_0101_2^8 - 399*c_0101_2^7 - 79*c_0101_2^6 + 203*c_0101_2^5 + 58*c_0101_2^4 - 45*c_0101_2^3 - 15*c_0101_2^2 + 3*c_0101_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB