Magma V2.19-8 Tue Aug 20 2013 16:18:11 on localhost [Seed = 2867541904] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2403 geometric_solution 5.76217671 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 2 2031 0132 1302 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.524273924331 0.442026508990 3 0 4 2 0132 0132 0132 1230 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.974331096735 0.549949449657 1 5 0 6 3012 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0.681846629477 1.597478883641 1 6 5 5 0132 0132 1302 3012 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 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 1.232560753476 0.943860643142 5 4 4 1 3012 3201 2310 0132 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 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.597044237871 0.354795518428 3 2 3 4 2031 0132 1230 1230 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 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.669196623616 0.919645059744 6 3 2 6 3201 0132 0132 2310 0 0 0 0 0 0 -1 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 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.420889044993 0.529710502965 ==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' : negation(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' : negation(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_0']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), '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_5']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0011_2'], 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0101_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_2, c_0011_4, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 341533878417812/464488521811443*c_0101_5^14 - 480870406615030/154829507270481*c_0101_5^13 + 4812747683910770/464488521811443*c_0101_5^12 - 12169808209290929/464488521811443*c_0101_5^11 + 20412651983233382/464488521811443*c_0101_5^10 - 20053065956734535/464488521811443*c_0101_5^9 - 1586716975629457/464488521811443*c_0101_5^8 + 16859199923104960/154829507270481*c_0101_5^7 - 125339094981314878/464488521811443*c_0101_5^6 + 178682623091430319/464488521811443*c_0101_5^5 - 171471553714270552/464488521811443*c_0101_5^4 + 118187669846075621/464488521811443*c_0101_5^3 - 11057852465014738/154829507270481*c_0101_5^2 - 40287983484217387/464488521811443*c_0101_5 + 10381838144924348/154829507270481, c_0011_0 - 1, c_0011_2 + 1158279761941/17203278585609*c_0101_5^14 - 1402031109470/5734426195203*c_0101_5^13 + 14415396085780/17203278585609*c_0101_5^12 - 34332094986430/17203278585609*c_0101_5^11 + 53107876318411/17203278585609*c_0101_5^10 - 44651040250108/17203278585609*c_0101_5^9 - 27422573718431/17203278585609*c_0101_5^8 + 56051613871331/5734426195203*c_0101_5^7 - 357525753790703/17203278585609*c_0101_5^6 + 427114283140898/17203278585609*c_0101_5^5 - 361515530050601/17203278585609*c_0101_5^4 + 190745224102120/17203278585609*c_0101_5^3 + 10383972164326/5734426195203*c_0101_5^2 - 98289804979805/17203278585609*c_0101_5 - 533271874217/5734426195203, c_0011_4 - 2341754/36604979*c_0101_5^14 + 9854203/36604979*c_0101_5^13 - 32895051/36604979*c_0101_5^12 + 81829222/36604979*c_0101_5^11 - 134180117/36604979*c_0101_5^10 + 122376519/36604979*c_0101_5^9 + 41926271/36604979*c_0101_5^8 - 381991710/36604979*c_0101_5^7 + 847865861/36604979*c_0101_5^6 - 1112567704/36604979*c_0101_5^5 + 982973486/36604979*c_0101_5^4 - 575306350/36604979*c_0101_5^3 + 62164509/36604979*c_0101_5^2 + 234977957/36604979*c_0101_5 - 85337857/36604979, c_0101_1 - 509827067500/5734426195203*c_0101_5^14 + 575098830087/1911475398401*c_0101_5^13 - 5777334328198/5734426195203*c_0101_5^12 + 13518843714088/5734426195203*c_0101_5^11 - 19798193971915/5734426195203*c_0101_5^10 + 15145286340655/5734426195203*c_0101_5^9 + 12014446382006/5734426195203*c_0101_5^8 - 20717575964998/1911475398401*c_0101_5^7 + 135271057884278/5734426195203*c_0101_5^6 - 161988901604588/5734426195203*c_0101_5^5 + 140154449560241/5734426195203*c_0101_5^4 - 85089633426859/5734426195203*c_0101_5^3 + 103225407090/1911475398401*c_0101_5^2 + 43771963422071/5734426195203*c_0101_5 - 1987256840185/1911475398401, c_0101_2 + 7183462813880/51609835756827*c_0101_5^14 - 8399555305645/17203278585609*c_0101_5^13 + 83919430424327/51609835756827*c_0101_5^12 - 197809023732875/51609835756827*c_0101_5^11 + 293711871536210/51609835756827*c_0101_5^10 - 225430917686972/51609835756827*c_0101_5^9 - 178135652948845/51609835756827*c_0101_5^8 + 308054204914444/17203278585609*c_0101_5^7 - 1973502495895132/51609835756827*c_0101_5^6 + 2377562738917030/51609835756827*c_0101_5^5 - 2019885418519345/51609835756827*c_0101_5^4 + 1227896373961925/51609835756827*c_0101_5^3 - 12765436981732/17203278585609*c_0101_5^2 - 623394598142530/51609835756827*c_0101_5 + 34261861876526/17203278585609, c_0101_4 - 160657633406/5734426195203*c_0101_5^14 + 182030457322/1911475398401*c_0101_5^13 - 2039578209122/5734426195203*c_0101_5^12 + 5119824561551/5734426195203*c_0101_5^11 - 8780103192947/5734426195203*c_0101_5^10 + 10541017768754/5734426195203*c_0101_5^9 - 3662013945305/5734426195203*c_0101_5^8 - 5825797090627/1911475398401*c_0101_5^7 + 56576015101768/5734426195203*c_0101_5^6 - 83986381639492/5734426195203*c_0101_5^5 + 92687941765858/5734426195203*c_0101_5^4 - 72185013532751/5734426195203*c_0101_5^3 + 6455191592214/1911475398401*c_0101_5^2 + 17050652670790/5734426195203*c_0101_5 - 2995634458371/1911475398401, c_0101_5^15 - 3*c_0101_5^14 + 10*c_0101_5^13 - 22*c_0101_5^12 + 28*c_0101_5^11 - 13*c_0101_5^10 - 38*c_0101_5^9 + 117*c_0101_5^8 - 218*c_0101_5^7 + 206*c_0101_5^6 - 131*c_0101_5^5 + 37*c_0101_5^4 + 87*c_0101_5^3 - 101*c_0101_5^2 - 30*c_0101_5 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB