Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 3381155095] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1468 geometric_solution 5.28743690 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2310 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 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.182589074575 1.695140592329 0 0 1 1 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.405016909014 0.118397438321 4 0 5 3 0132 0132 0132 3120 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 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.421162846122 0.569845198752 2 5 0 4 3120 3201 0132 3201 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 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.421162846122 0.569845198752 2 3 4 4 0132 2310 1230 3012 0 0 0 0 0 1 0 -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 1 -1 0 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 1.161200108306 1.134919890005 6 6 3 2 0132 3201 2310 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.298147498552 0.720562977201 5 6 5 6 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.941449828823 0.629314398155 ==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' : 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' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_3, c_0011_5, c_0101_0, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 2328184281508690448458/681647662490924373875*c_0101_5^20 + 4873247871845062975352/681647662490924373875*c_0101_5^19 + 13541987622242978894582/681647662490924373875*c_0101_5^18 + 68442154357186468225359/681647662490924373875*c_0101_5^17 - 3115287150343197973939/136329532498184874775*c_0101_5^16 + 40978372635777405547674/681647662490924373875*c_0101_5^15 - 59067366639754136523419/136329532498184874775*c_0101_5^14 + 186506215485677106534638/681647662490924373875*c_0101_5^13 + 399802774021063996302282/681647662490924373875*c_0101_5^12 - 522170632739959832108031/681647662490924373875*c_0101_5^11 - 679280152975445723852259/681647662490924373875*c_0101_5^10 + 640052205996829589855678/681647662490924373875*c_0101_5^9 + 787552550443041677636352/681647662490924373875*c_0101_5^8 - 649376774355600437539602/681647662490924373875*c_0101_5^7 - 78480496136681294139129/136329532498184874775*c_0101_5^6 + 433219988563662088526016/681647662490924373875*c_0101_5^5 + 73612786757466674967869/681647662490924373875*c_0101_5^4 - 164186909429285939062258/681647662490924373875*c_0101_5^3 + 162782966936367372191/5453181299927394991*c_0101_5^2 + 33681618350766157959497/681647662490924373875*c_0101_5 - 8619478431107122863824/681647662490924373875, c_0011_0 - 1, c_0011_3 + 3471260204722633896497/681647662490924373875*c_0101_5^20 + 8910537071042618681168/681647662490924373875*c_0101_5^19 + 25659790365933182739488/681647662490924373875*c_0101_5^18 + 117991327736699283047106/681647662490924373875*c_0101_5^17 + 8808720268537459866274/136329532498184874775*c_0101_5^16 + 130895036045835908958816/681647662490924373875*c_0101_5^15 - 67250445078943581783771/136329532498184874775*c_0101_5^14 + 199617486742705140554617/681647662490924373875*c_0101_5^13 + 620477001146100847556913/681647662490924373875*c_0101_5^12 - 432449967928894177217779/681647662490924373875*c_0101_5^11 - 995117086368917970107706/681647662490924373875*c_0101_5^10 + 417488170164309528870852/681647662490924373875*c_0101_5^9 + 1074046850276945980616793/681647662490924373875*c_0101_5^8 - 478195106699760552109043/681647662490924373875*c_0101_5^7 - 113264309524040976435936/136329532498184874775*c_0101_5^6 + 302054204023702108541394/681647662490924373875*c_0101_5^5 + 148270711181872245509071/681647662490924373875*c_0101_5^4 - 111797035377925663503697/681647662490924373875*c_0101_5^3 - 106448703582608053396/5453181299927394991*c_0101_5^2 + 24347399506787732216223/681647662490924373875*c_0101_5 - 5877487137122298181041/681647662490924373875, c_0011_5 + 3103815780594269364376/681647662490924373875*c_0101_5^20 + 7997041455130034660069/681647662490924373875*c_0101_5^19 + 22972055799739392497129/681647662490924373875*c_0101_5^18 + 105660990217096469818673/681647662490924373875*c_0101_5^17 + 8044168485544568945692/136329532498184874775*c_0101_5^16 + 116377828373503046628978/681647662490924373875*c_0101_5^15 - 59533370587586256285618/136329532498184874775*c_0101_5^14 + 175914682901421961818836/681647662490924373875*c_0101_5^13 + 566225882733593553949904/681647662490924373875*c_0101_5^12 - 387877220376123548581407/681647662490924373875*c_0101_5^11 - 897146127026421747983348/681647662490924373875*c_0101_5^10 + 377199890519805371948716/681647662490924373875*c_0101_5^9 + 977220376681356455784194/681647662490924373875*c_0101_5^8 - 435084919672889145119194/681647662490924373875*c_0101_5^7 - 105667845521234404009313/136329532498184874775*c_0101_5^6 + 275899851845343741118827/681647662490924373875*c_0101_5^5 + 143166012122460666927768/681647662490924373875*c_0101_5^4 - 100442354867395466694726/681647662490924373875*c_0101_5^3 - 120828470778222522686/5453181299927394991*c_0101_5^2 + 21804540975898670515259/681647662490924373875*c_0101_5 - 4697513476922002183153/681647662490924373875, c_0101_0 - 2944537331940445658509/681647662490924373875*c_0101_5^20 - 6818735543498353196871/681647662490924373875*c_0101_5^19 - 19871437473458688317411/681647662490924373875*c_0101_5^18 - 94853931884474510403057/681647662490924373875*c_0101_5^17 - 2605491119282694306028/136329532498184874775*c_0101_5^16 - 104103972557956622729052/681647662490924373875*c_0101_5^15 + 60703662067489704001812/136329532498184874775*c_0101_5^14 - 252185840975185552106149/681647662490924373875*c_0101_5^13 - 499638191202801568451636/681647662490924373875*c_0101_5^12 + 508271073066008167553413/681647662490924373875*c_0101_5^11 + 750941426405534601193382/681647662490924373875*c_0101_5^10 - 608493731825804704336194/681647662490924373875*c_0101_5^9 - 832122942464535959511746/681647662490924373875*c_0101_5^8 + 698788273871588418282996/681647662490924373875*c_0101_5^7 + 82433605637947745117317/136329532498184874775*c_0101_5^6 - 430177481953538402994068/681647662490924373875*c_0101_5^5 - 87251049578260599485162/681647662490924373875*c_0101_5^4 + 152564285910245332204034/681647662490924373875*c_0101_5^3 - 17177436499760136214/5453181299927394991*c_0101_5^2 - 30724420527204483103081/681647662490924373875*c_0101_5 + 8548031937210056581377/681647662490924373875, c_0101_2 + 23894995960743588384/681647662490924373875*c_0101_5^20 + 83482618362366195621/681647662490924373875*c_0101_5^19 + 394136080660647922786/681647662490924373875*c_0101_5^18 + 1484040231745299911057/681647662490924373875*c_0101_5^17 + 520770382031890921753/136329532498184874775*c_0101_5^16 + 7709055158118260615677/681647662490924373875*c_0101_5^15 + 976672247521396738338/136329532498184874775*c_0101_5^14 + 11051785926634253435524/681647662490924373875*c_0101_5^13 - 2237520730995763026114/681647662490924373875*c_0101_5^12 + 8353689931413167582337/681647662490924373875*c_0101_5^11 + 17888007522473955204993/681647662490924373875*c_0101_5^10 - 2544773443940939541806/681647662490924373875*c_0101_5^9 - 27500860286499039261129/681647662490924373875*c_0101_5^8 - 5500128610930101050121/681647662490924373875*c_0101_5^7 + 4801943578029006557083/136329532498184874775*c_0101_5^6 + 30441928993004652443/681647662490924373875*c_0101_5^5 - 9214861315959789904963/681647662490924373875*c_0101_5^4 + 542261363031596829841/681647662490924373875*c_0101_5^3 + 13058247205834160711/5453181299927394991*c_0101_5^2 - 933179491912074107419/681647662490924373875*c_0101_5 - 502590925614415041752/681647662490924373875, c_0101_4 + 1753267298279962537198/681647662490924373875*c_0101_5^20 + 4247244554908917892162/681647662490924373875*c_0101_5^19 + 12095473439200584095542/681647662490924373875*c_0101_5^18 + 57146374659464554530379/681647662490924373875*c_0101_5^17 + 2396261930315924815841/136329532498184874775*c_0101_5^16 + 55453757177289029779269/681647662490924373875*c_0101_5^15 - 36569805352903009096014/136329532498184874775*c_0101_5^14 + 117301441992840087996403/681647662490924373875*c_0101_5^13 + 320479243401287902799367/681647662490924373875*c_0101_5^12 - 271692346237747465756086/681647662490924373875*c_0101_5^11 - 507242781008381527139779/681647662490924373875*c_0101_5^10 + 303626641941603695023143/681647662490924373875*c_0101_5^9 + 577824424058162765339787/681647662490924373875*c_0101_5^8 - 330097671219948845299662/681647662490924373875*c_0101_5^7 - 63780006628031781597099/136329532498184874775*c_0101_5^6 + 204064807616642614682871/681647662490924373875*c_0101_5^5 + 87055869877487641195314/681647662490924373875*c_0101_5^4 - 72552204711506169975248/681647662490924373875*c_0101_5^3 - 65979288352210146125/5453181299927394991*c_0101_5^2 + 15330065309904144809157/681647662490924373875*c_0101_5 - 3306204279414908422794/681647662490924373875, c_0101_5^21 + 2*c_0101_5^20 + 6*c_0101_5^19 + 30*c_0101_5^18 - 6*c_0101_5^17 + 33*c_0101_5^16 - 116*c_0101_5^15 + 116*c_0101_5^14 + 142*c_0101_5^13 - 225*c_0101_5^12 - 204*c_0101_5^11 + 282*c_0101_5^10 + 222*c_0101_5^9 - 317*c_0101_5^8 - 67*c_0101_5^7 + 182*c_0101_5^6 - 16*c_0101_5^5 - 57*c_0101_5^4 + 17*c_0101_5^3 + 9*c_0101_5^2 - 6*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB