Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 3414841321] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s353 geometric_solution 4.56296550 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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.178040762175 0.190717595401 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 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 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.206471082581 2.610998178423 1 3 3 4 0132 3201 0213 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 -1 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.242898997218 0.706910645153 4 2 2 1 3201 0213 2310 0132 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 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.242898997218 0.706910645153 5 5 2 3 0132 2310 0132 2310 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 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.574247560560 1.120933389883 4 5 5 4 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 -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.760264205035 0.464743264874 ==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' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_1, c_0011_3, c_0011_4, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 64977255610656902/4820050612447037*c_0101_3^16 + 55046306606603688/4820050612447037*c_0101_3^15 + 340934249225849702/4820050612447037*c_0101_3^14 + 757802069616665768/4820050612447037*c_0101_3^13 + 1250576565933737930/4820050612447037*c_0101_3^12 + 955571141711118706/4820050612447037*c_0101_3^11 - 281939826337585768/438186419313367*c_0101_3^10 - 6931596923369677563/4820050612447037*c_0101_3^9 - 5051715385184377912/4820050612447037*c_0101_3^8 - 3287823827787093644/4820050612447037*c_0101_3^7 - 6016499637590187138/4820050612447037*c_0101_3^6 - 6511875472069201483/4820050612447037*c_0101_3^5 - 47648252090471317/4820050612447037*c_0101_3^4 + 2083906517179577174/4820050612447037*c_0101_3^3 - 459403621321637126/4820050612447037*c_0101_3^2 + 132782927594192461/4820050612447037*c_0101_3 + 436633932643510625/4820050612447037, c_0011_0 - 1, c_0011_1 + 14835148264221/438186419313367*c_0101_3^16 + 13871016350317/438186419313367*c_0101_3^15 - 138756014469065/438186419313367*c_0101_3^14 - 229415969027911/438186419313367*c_0101_3^13 - 492451554518066/438186419313367*c_0101_3^12 - 421054246419303/438186419313367*c_0101_3^11 + 663258775150548/438186419313367*c_0101_3^10 + 2907584199235493/438186419313367*c_0101_3^9 + 1963703084609205/438186419313367*c_0101_3^8 + 1202787397815847/438186419313367*c_0101_3^7 + 1970624056906240/438186419313367*c_0101_3^6 + 3114106089165800/438186419313367*c_0101_3^5 + 817687576217401/438186419313367*c_0101_3^4 - 1211740229425475/438186419313367*c_0101_3^3 + 489347034414479/438186419313367*c_0101_3^2 + 72458482471586/438186419313367*c_0101_3 + 113548889165155/438186419313367, c_0011_3 - 75052655596216/438186419313367*c_0101_3^16 + 90275321999495/438186419313367*c_0101_3^15 + 329031186238882/438186419313367*c_0101_3^14 + 799318990235132/438186419313367*c_0101_3^13 + 1293367172383073/438186419313367*c_0101_3^12 + 1004200930799826/438186419313367*c_0101_3^11 - 3382067832365887/438186419313367*c_0101_3^10 - 6336036305968711/438186419313367*c_0101_3^9 - 5041672138576513/438186419313367*c_0101_3^8 - 4729673435572280/438186419313367*c_0101_3^7 - 7736967673577530/438186419313367*c_0101_3^6 - 6932023466401283/438186419313367*c_0101_3^5 - 793353664719589/438186419313367*c_0101_3^4 + 85023168752008/438186419313367*c_0101_3^3 - 950974641391283/438186419313367*c_0101_3^2 + 103257365211855/438186419313367*c_0101_3 + 378226730076111/438186419313367, c_0011_4 - 33863293646048/438186419313367*c_0101_3^16 + 78575029000270/438186419313367*c_0101_3^15 + 105712281620816/438186419313367*c_0101_3^14 + 176013813578150/438186419313367*c_0101_3^13 + 198600609505730/438186419313367*c_0101_3^12 - 192610419571908/438186419313367*c_0101_3^11 - 1932336896767242/438186419313367*c_0101_3^10 - 1008072898216530/438186419313367*c_0101_3^9 + 1221199275364351/438186419313367*c_0101_3^8 - 55415976705656/438186419313367*c_0101_3^7 - 1598780631951022/438186419313367*c_0101_3^6 + 1242614056649/438186419313367*c_0101_3^5 + 2302118214743901/438186419313367*c_0101_3^4 - 982595250873362/438186419313367*c_0101_3^3 - 720178069208673/438186419313367*c_0101_3^2 + 518160042374229/438186419313367*c_0101_3 - 232207689746038/438186419313367, c_0101_1 - 103931350815764/438186419313367*c_0101_3^16 + 125007288345023/438186419313367*c_0101_3^15 + 482856232767744/438186419313367*c_0101_3^14 + 1073810217578008/438186419313367*c_0101_3^13 + 1679366354746230/438186419313367*c_0101_3^12 + 1071281045564178/438186419313367*c_0101_3^11 - 5136844435700588/438186419313367*c_0101_3^10 - 9148204627047523/438186419313367*c_0101_3^9 - 5677186435971384/438186419313367*c_0101_3^8 - 4054096157331473/438186419313367*c_0101_3^7 - 8500939933370862/438186419313367*c_0101_3^6 - 8284005824140248/438186419313367*c_0101_3^5 + 858869235896594/438186419313367*c_0101_3^4 + 1860105635724655/438186419313367*c_0101_3^3 - 1290300523818370/438186419313367*c_0101_3^2 + 283212876433572/438186419313367*c_0101_3 + 238623611978312/438186419313367, c_0101_3^17 - c_0101_3^16 - 5*c_0101_3^15 - 11*c_0101_3^14 - 18*c_0101_3^13 - 13*c_0101_3^12 + 48*c_0101_3^11 + 98*c_0101_3^10 + 67*c_0101_3^9 + 49*c_0101_3^8 + 92*c_0101_3^7 + 92*c_0101_3^6 - 4*c_0101_3^5 - 22*c_0101_3^4 + 12*c_0101_3^3 - 4*c_0101_3^2 - 5*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB