Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 2850567496] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1900 geometric_solution 5.51188010 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 1 -1 0 0 0 0 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.561499092057 0.400437728137 0 3 2 4 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 1 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.819466396369 0.841907317242 4 1 3 0 1023 1230 0132 0132 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 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.819466396369 0.841907317242 5 1 5 2 0132 0132 2310 0132 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 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.507366169584 1.271218658885 6 2 1 6 0132 1023 0132 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.933299974644 0.521668167883 3 3 5 5 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457652907704 0.153803069686 4 6 6 4 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.229066428240 0.312953739983 ==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_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_2']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], '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_0']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 925490596/158944391*c_0101_3*c_0101_6^14 + 394291270/158944391*c_0101_3*c_0101_6^13 + 5045577048/158944391*c_0101_3*c_0101_6^12 - 13229027993/158944391*c_0101_3*c_0101_6^11 - 2646744456/158944391*c_0101_3*c_0101_6^10 + 31181442312/158944391*c_0101_3*c_0101_6^9 - 12257256738/158944391*c_0101_3*c_0101_6^8 - 26356791608/158944391*c_0101_3*c_0101_6^7 + 26785757271/158944391*c_0101_3*c_0101_6^6 + 54828027781/158944391*c_0101_3*c_0101_6^5 + 41063799010/158944391*c_0101_3*c_0101_6^4 + 16759299094/158944391*c_0101_3*c_0101_6^3 - 19391206/158944391*c_0101_3*c_0101_6^2 - 4685033210/158944391*c_0101_3*c_0101_6 - 334683131/158944391*c_0101_3, c_0011_0 - 1, c_0011_2 + 116707741/158944391*c_0101_3*c_0101_6^14 - 38830504/158944391*c_0101_3*c_0101_6^13 - 675418515/158944391*c_0101_3*c_0101_6^12 + 1646300600/158944391*c_0101_3*c_0101_6^11 + 642608740/158944391*c_0101_3*c_0101_6^10 - 4488297486/158944391*c_0101_3*c_0101_6^9 + 1517264555/158944391*c_0101_3*c_0101_6^8 + 4252358547/158944391*c_0101_3*c_0101_6^7 - 4001865239/158944391*c_0101_3*c_0101_6^6 - 7329599878/158944391*c_0101_3*c_0101_6^5 - 5006808467/158944391*c_0101_3*c_0101_6^4 - 1187393499/158944391*c_0101_3*c_0101_6^3 + 679861775/158944391*c_0101_3*c_0101_6^2 + 948522423/158944391*c_0101_3*c_0101_6 + 154245009/158944391*c_0101_3, c_0101_0 - 52789800/158944391*c_0101_6^14 + 33460834/158944391*c_0101_6^13 + 278946955/158944391*c_0101_6^12 - 810361686/158944391*c_0101_6^11 + 30947585/158944391*c_0101_6^10 + 1733705731/158944391*c_0101_6^9 - 1060431888/158944391*c_0101_6^8 - 1149415916/158944391*c_0101_6^7 + 1666093373/158944391*c_0101_6^6 + 2652599095/158944391*c_0101_6^5 + 1943968902/158944391*c_0101_6^4 + 755420890/158944391*c_0101_6^3 - 257046983/158944391*c_0101_6^2 - 576725597/158944391*c_0101_6 - 49400267/158944391, c_0101_1 - 107900291/158944391*c_0101_3*c_0101_6^14 + 59349021/158944391*c_0101_3*c_0101_6^13 + 558441143/158944391*c_0101_3*c_0101_6^12 - 1565544316/158944391*c_0101_3*c_0101_6^11 - 25746570/158944391*c_0101_3*c_0101_6^10 + 3143285903/158944391*c_0101_3*c_0101_6^9 - 1275156892/158944391*c_0101_3*c_0101_6^8 - 2390006162/158944391*c_0101_3*c_0101_6^7 + 2088749643/158944391*c_0101_3*c_0101_6^6 + 6478937470/158944391*c_0101_3*c_0101_6^5 + 5073588876/158944391*c_0101_3*c_0101_6^4 + 1412040392/158944391*c_0101_3*c_0101_6^3 - 765811076/158944391*c_0101_3*c_0101_6^2 - 932236346/158944391*c_0101_3*c_0101_6 - 377528777/158944391*c_0101_3, c_0101_2 - 97065353/158944391*c_0101_6^14 + 65614839/158944391*c_0101_6^13 + 505796913/158944391*c_0101_6^12 - 1500482934/158944391*c_0101_6^11 + 131752568/158944391*c_0101_6^10 + 3089415091/158944391*c_0101_6^9 - 1951549437/158944391*c_0101_6^8 - 2045467922/158944391*c_0101_6^7 + 3065255970/158944391*c_0101_6^6 + 4738772985/158944391*c_0101_6^5 + 3453551168/158944391*c_0101_6^4 + 1321031991/158944391*c_0101_6^3 - 644821955/158944391*c_0101_6^2 - 675769024/158944391*c_0101_6 - 84136563/158944391, c_0101_3^2 + 58093999/158944391*c_0101_6^14 - 77401219/158944391*c_0101_6^13 - 249110397/158944391*c_0101_6^12 + 1068874053/158944391*c_0101_6^11 - 808891945/158944391*c_0101_6^10 - 1325639984/158944391*c_0101_6^9 + 2239424603/158944391*c_0101_6^8 - 395762130/158944391*c_0101_6^7 - 2009958006/158944391*c_0101_6^6 - 995824190/158944391*c_0101_6^5 - 933713779/158944391*c_0101_6^4 - 1078239866/158944391*c_0101_6^3 + 138061147/158944391*c_0101_6^2 + 300825558/158944391*c_0101_6 - 38761683/158944391, c_0101_6^15 - c_0101_6^14 - 5*c_0101_6^13 + 17*c_0101_6^12 - 6*c_0101_6^11 - 31*c_0101_6^10 + 27*c_0101_6^9 + 19*c_0101_6^8 - 36*c_0101_6^7 - 48*c_0101_6^6 - 15*c_0101_6^5 + 4*c_0101_6^4 + 12*c_0101_6^3 + 5*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB