Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 357861676] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s059 geometric_solution 3.59784330 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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 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.436592491139 0.080406503706 0 2 2 0 3201 0132 1023 0132 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 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 1.216701555866 0.104705623934 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -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 0 0 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 1.360904323792 0.494694105204 2 4 5 2 0132 0132 0132 1023 0 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 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.203244623781 0.430360569247 5 3 5 5 2310 0132 2103 3201 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.021038090556 0.990331726378 4 4 4 3 2103 2310 3201 0132 0 0 0 0 0 1 0 -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 0 0 0 1 0 -1 1 0 -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.021038090556 0.990331726378 ==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_1'], 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_5, c_0101_0, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 12889184171126942196844/245733706100309700483*c_0101_4^16 + 68093834087533286652652/245733706100309700483*c_0101_4^15 + 367724136092314178721946/245733706100309700483*c_0101_4^14 + 409851825715553221640147/245733706100309700483*c_0101_4^13 - 256630479250823189607385/81911235366769900161*c_0101_4^12 - 2526263612670615152680424/245733706100309700483*c_0101_4^11 - 520395532397697636467363/81911235366769900161*c_0101_4^10 + 1076719014077132468374673/245733706100309700483*c_0101_4^9 + 235435382650033272272332/245733706100309700483*c_0101_4^8 - 4228457831838976221172058/245733706100309700483*c_0101_4^7 - 2716646761682574661732702/245733706100309700483*c_0101_4^6 + 453990929793144244618223/27303745122256633387*c_0101_4^5 + 170004736776918640449245/81911235366769900161*c_0101_4^4 - 1955962976053452357042151/245733706100309700483*c_0101_4^3 + 314847410694725305822211/81911235366769900161*c_0101_4^2 - 14676824673625673029591/245733706100309700483*c_0101_4 - 61248602698737824687141/245733706100309700483, c_0011_0 - 1, c_0011_1 - 5304363704827390834/11701605052395700023*c_0101_4^16 + 27078737826816415186/11701605052395700023*c_0101_4^15 + 155770256950805703430/11701605052395700023*c_0101_4^14 + 198451881787447752911/11701605052395700023*c_0101_4^13 - 90307773470110261015/3900535017465233341*c_0101_4^12 - 1075681521407142871238/11701605052395700023*c_0101_4^11 - 284830755465345787278/3900535017465233341*c_0101_4^10 + 219575903535940674539/11701605052395700023*c_0101_4^9 + 85975350717582321262/11701605052395700023*c_0101_4^8 - 1707925639212263970617/11701605052395700023*c_0101_4^7 - 1418301362264416278496/11701605052395700023*c_0101_4^6 + 437109023279473120492/3900535017465233341*c_0101_4^5 + 121466518591585301745/3900535017465233341*c_0101_4^4 - 649625493325546846420/11701605052395700023*c_0101_4^3 + 96089150449608338811/3900535017465233341*c_0101_4^2 + 11977534454289526946/11701605052395700023*c_0101_4 - 14678160771516174692/11701605052395700023, c_0011_5 + 8985193671440720893/11701605052395700023*c_0101_4^16 - 47024064466309910731/11701605052395700023*c_0101_4^15 - 258734040912226675924/11701605052395700023*c_0101_4^14 - 298187547170997137789/11701605052395700023*c_0101_4^13 + 174497879202501905630/3900535017465233341*c_0101_4^12 + 1789137334729959005504/11701605052395700023*c_0101_4^11 + 391994878006148553851/3900535017465233341*c_0101_4^10 - 698973862392895084802/11701605052395700023*c_0101_4^9 - 207150087104037733378/11701605052395700023*c_0101_4^8 + 2923964428857031033802/11701605052395700023*c_0101_4^7 + 2017636284444947993221/11701605052395700023*c_0101_4^6 - 925577458273261371076/3900535017465233341*c_0101_4^5 - 169496790744248372006/3900535017465233341*c_0101_4^4 + 1319647914590394888184/11701605052395700023*c_0101_4^3 - 207870184520890934389/3900535017465233341*c_0101_4^2 - 20292454429083100991/11701605052395700023*c_0101_4 + 45577745727920109590/11701605052395700023, c_0101_0 + 73507673189779703210/11701605052395700023*c_0101_4^16 - 384677479331027108669/11701605052395700023*c_0101_4^15 - 2115949679500826234474/11701605052395700023*c_0101_4^14 - 2444891624203248329668/11701605052395700023*c_0101_4^13 + 1419206151763590669810/3900535017465233341*c_0101_4^12 + 14608067819868076826608/11701605052395700023*c_0101_4^11 + 3220501942697952316651/3900535017465233341*c_0101_4^10 - 5569666260609322846633/11701605052395700023*c_0101_4^9 - 1575010329906892076738/11701605052395700023*c_0101_4^8 + 23956094537787057585418/11701605052395700023*c_0101_4^7 + 16610858705455025958101/11701605052395700023*c_0101_4^6 - 7459452799234447440189/3900535017465233341*c_0101_4^5 - 1315131702437512267749/3900535017465233341*c_0101_4^4 + 10762476939075964945172/11701605052395700023*c_0101_4^3 - 1659882888361047612837/3900535017465233341*c_0101_4^2 - 123476414178364291387/11701605052395700023*c_0101_4 + 339145932711648660370/11701605052395700023, c_0101_2 + 45674743792992984364/11701605052395700023*c_0101_4^16 - 238721240923149249667/11701605052395700023*c_0101_4^15 - 1316140135286028249268/11701605052395700023*c_0101_4^14 - 1528995348306183434384/11701605052395700023*c_0101_4^13 + 876636162263488012881/3900535017465233341*c_0101_4^12 + 9088343403265160847221/11701605052395700023*c_0101_4^11 + 2025018036744846984290/3900535017465233341*c_0101_4^10 - 3383372129794472827358/11701605052395700023*c_0101_4^9 - 977124723591037734742/11701605052395700023*c_0101_4^8 + 14866239396823874239187/11701605052395700023*c_0101_4^7 + 10413087513265816019944/11701605052395700023*c_0101_4^6 - 4591867138159845846309/3900535017465233341*c_0101_4^5 - 834132276238053512147/3900535017465233341*c_0101_4^4 + 6627897332852835669592/11701605052395700023*c_0101_4^3 - 1022117237219891629238/3900535017465233341*c_0101_4^2 - 79523325019249210922/11701605052395700023*c_0101_4 + 209182506942631560257/11701605052395700023, c_0101_4^17 - 5*c_0101_4^16 - 30*c_0101_4^15 - 40*c_0101_4^14 + 50*c_0101_4^13 + 212*c_0101_4^12 + 178*c_0101_4^11 - 44*c_0101_4^10 - 38*c_0101_4^9 + 321*c_0101_4^8 + 302*c_0101_4^7 - 250*c_0101_4^6 - 123*c_0101_4^5 + 133*c_0101_4^4 - 34*c_0101_4^3 - 17*c_0101_4^2 + 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB