Magma V2.19-8 Tue Aug 20 2013 16:17:00 on localhost [Seed = 981182185] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1250 geometric_solution 5.14863674 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 0 1 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.387334587160 0.322001838773 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -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 0 0 0 1 0 0 -1 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.473337274098 1.269156489565 3 0 4 1 3201 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473337274098 1.269156489565 5 1 5 2 0132 0132 2310 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 1 0 0 -1 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.431564166265 1.776077351728 4 4 1 2 1302 2031 0132 0132 0 0 0 0 0 0 0 0 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 0 0 0 -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.453396790852 0.877436829998 3 3 6 6 0132 3201 3201 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 0 -1 -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.284686318969 0.154467011429 5 6 5 6 2310 2310 0132 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 -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.703109288368 0.432276296063 ==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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0110_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : negation(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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : 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_4, c_0011_6, c_0101_1, c_0101_2, c_0101_3, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 51791918742749372/8177905123413083*c_0110_2^16 + 756170860046504462/8177905123413083*c_0110_2^15 + 224698396638934293/8177905123413083*c_0110_2^14 - 4146720884879035202/8177905123413083*c_0110_2^13 - 4231065650686024168/8177905123413083*c_0110_2^12 - 1076500880141569792/8177905123413083*c_0110_2^11 - 1683004390433425109/8177905123413083*c_0110_2^10 + 29383326545556998/8177905123413083*c_0110_2^9 - 269947618034832300/8177905123413083*c_0110_2^8 - 650001355119738279/8177905123413083*c_0110_2^7 + 329768506984157232/8177905123413083*c_0110_2^6 + 983172034463078968/8177905123413083*c_0110_2^5 + 540607005065719403/8177905123413083*c_0110_2^4 - 913497391365013211/8177905123413083*c_0110_2^3 + 290650896695051832/8177905123413083*c_0110_2^2 + 182744443824274779/8177905123413083*c_0110_2 - 82420705418581964/8177905123413083, c_0011_0 - 1, c_0011_4 + 1619490192649233/8177905123413083*c_0110_2^16 + 24821543950598411/8177905123413083*c_0110_2^15 + 25004807200111883/8177905123413083*c_0110_2^14 - 113159211023304898/8177905123413083*c_0110_2^13 - 226878619660285334/8177905123413083*c_0110_2^12 - 196012748236677058/8177905123413083*c_0110_2^11 - 126266048920196362/8177905123413083*c_0110_2^10 - 28953811621574737/8177905123413083*c_0110_2^9 - 1367603269564769/8177905123413083*c_0110_2^8 + 7010657306162755/8177905123413083*c_0110_2^7 + 6701710016561236/8177905123413083*c_0110_2^6 + 39023834401880578/8177905123413083*c_0110_2^5 + 47660492999465554/8177905123413083*c_0110_2^4 + 773785448342027/8177905123413083*c_0110_2^3 - 2152201527086154/8177905123413083*c_0110_2^2 + 1593815667686865/8177905123413083*c_0110_2 + 4423533248492831/8177905123413083, c_0011_6 + 2927603098797727/8177905123413083*c_0110_2^16 + 40867562313689568/8177905123413083*c_0110_2^15 - 15258090425853062/8177905123413083*c_0110_2^14 - 250917520920981484/8177905123413083*c_0110_2^13 - 92286111085619625/8177905123413083*c_0110_2^12 + 136665095717388414/8177905123413083*c_0110_2^11 - 7623492888813391/8177905123413083*c_0110_2^10 + 82069226218067704/8177905123413083*c_0110_2^9 + 18976602572138401/8177905123413083*c_0110_2^8 - 4084239176415992/8177905123413083*c_0110_2^7 + 59411192563504173/8177905123413083*c_0110_2^6 + 62229839724828692/8177905123413083*c_0110_2^5 + 695425446872763/8177905123413083*c_0110_2^4 - 81994272846771885/8177905123413083*c_0110_2^3 + 50703313040179008/8177905123413083*c_0110_2^2 + 10604034882522442/8177905123413083*c_0110_2 - 18628409442559643/8177905123413083, c_0101_1 + 2130629270024532/8177905123413083*c_0110_2^16 + 28036771681234235/8177905123413083*c_0110_2^15 - 37321833633053325/8177905123413083*c_0110_2^14 - 209789914580947497/8177905123413083*c_0110_2^13 + 55090813538594484/8177905123413083*c_0110_2^12 + 335622416371105438/8177905123413083*c_0110_2^11 + 183951230416031364/8177905123413083*c_0110_2^10 + 223905292436943120/8177905123413083*c_0110_2^9 + 85586653917686739/8177905123413083*c_0110_2^8 + 13999823694978412/8177905123413083*c_0110_2^7 + 66110715092606773/8177905123413083*c_0110_2^6 + 36370186916337400/8177905123413083*c_0110_2^5 - 32887416769503604/8177905123413083*c_0110_2^4 - 94726176734929581/8177905123413083*c_0110_2^3 + 47827702526727743/8177905123413083*c_0110_2^2 + 9406430500609640/8177905123413083*c_0110_2 - 16577683511485475/8177905123413083, c_0101_2 - 5714189786442478/8177905123413083*c_0110_2^16 - 84209792008706471/8177905123413083*c_0110_2^15 - 35712067952050767/8177905123413083*c_0110_2^14 + 461627244946080125/8177905123413083*c_0110_2^13 + 536870916030746343/8177905123413083*c_0110_2^12 + 149593937386027595/8177905123413083*c_0110_2^11 + 133584151466681481/8177905123413083*c_0110_2^10 - 44980425126194821/8177905123413083*c_0110_2^9 - 15769916955519304/8177905123413083*c_0110_2^8 + 74738230465326568/8177905123413083*c_0110_2^7 - 689506776989459/8177905123413083*c_0110_2^6 - 91049671106968356/8177905123413083*c_0110_2^5 - 63324724862791743/8177905123413083*c_0110_2^4 + 110458076678122977/8177905123413083*c_0110_2^3 - 13518290793663989/8177905123413083*c_0110_2^2 - 28953046522160359/8177905123413083*c_0110_2 + 4322523606825013/8177905123413083, c_0101_3 - 5347599115414752/8177905123413083*c_0110_2^16 - 79196396495703512/8177905123413083*c_0110_2^15 - 38770613285606726/8177905123413083*c_0110_2^14 + 435354203029201062/8177905123413083*c_0110_2^13 + 537860083372977172/8177905123413083*c_0110_2^12 + 143899670394209445/8177905123413083*c_0110_2^11 + 90606526096329892/8177905123413083*c_0110_2^10 - 40738228821910713/8177905123413083*c_0110_2^9 - 23053349302387255/8177905123413083*c_0110_2^8 + 65309931053944618/8177905123413083*c_0110_2^7 - 5295547620251528/8177905123413083*c_0110_2^6 - 98066790904243893/8177905123413083*c_0110_2^5 - 65109645063496953/8177905123413083*c_0110_2^4 + 106970888450158094/8177905123413083*c_0110_2^3 + 177409794436438/8177905123413083*c_0110_2^2 - 39814058590685738/8177905123413083*c_0110_2 + 2273546645723480/8177905123413083, c_0110_2^17 + 15*c_0110_2^16 + 10*c_0110_2^15 - 81*c_0110_2^14 - 116*c_0110_2^13 - 41*c_0110_2^12 - 19*c_0110_2^11 + 6*c_0110_2^10 + 11*c_0110_2^9 - 9*c_0110_2^8 + 2*c_0110_2^7 + 21*c_0110_2^6 + 16*c_0110_2^5 - 18*c_0110_2^4 - 4*c_0110_2^3 + 8*c_0110_2^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB