Magma V2.19-8 Tue Aug 20 2013 16:14:32 on localhost [Seed = 2614757268] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s511 geometric_solution 4.90264391 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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 -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.317000498133 1.002935687362 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.040774079166 1.182429197142 1 3 0 4 1230 2310 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 -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 -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 0 0 0 1.040774079166 1.182429197142 1 3 3 2 0132 1230 3012 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.944713194747 0.616512243108 2 5 5 1 3201 0132 1023 0132 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.212752995469 0.242974217943 5 4 4 5 3012 0132 1023 1230 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.869275935223 1.339944933277 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], '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' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 3776116433965040/35889270984009*c_0101_5^11 + 1899371809292776/3987696776001*c_0101_5^10 - 1877780308814525/11963090328003*c_0101_5^9 - 115088982449467/71778541968018*c_0101_5^8 - 18205307637701377/11963090328003*c_0101_5^7 + 8992050543810290/11963090328003*c_0101_5^6 + 6831550091511074/35889270984009*c_0101_5^5 + 12797176849943447/23926180656006*c_0101_5^4 - 38518736473827121/71778541968018*c_0101_5^3 - 4654840094396149/35889270984009*c_0101_5^2 + 920385527309593/3987696776001*c_0101_5 + 1720053191199749/71778541968018, c_0011_0 - 1, c_0011_1 + 3206604308096/385906139613*c_0101_5^11 + 1656113872896/42878459957*c_0101_5^10 - 904759167752/128635379871*c_0101_5^9 + 969597038392/385906139613*c_0101_5^8 - 15202054621807/128635379871*c_0101_5^7 + 6289422584045/128635379871*c_0101_5^6 + 5503294108235/385906139613*c_0101_5^5 + 5872908840856/128635379871*c_0101_5^4 - 15780629169488/385906139613*c_0101_5^3 - 4939766476312/385906139613*c_0101_5^2 + 653754357968/42878459957*c_0101_5 + 1476844147591/385906139613, c_0011_4 - 11277334077280/1157718418839*c_0101_5^11 - 6160533538352/128635379871*c_0101_5^10 - 2329506462638/385906139613*c_0101_5^9 - 15385724555879/1157718418839*c_0101_5^8 + 48202680403769/385906139613*c_0101_5^7 - 12496843904884/385906139613*c_0101_5^6 - 17232265167055/1157718418839*c_0101_5^5 - 18395795369330/385906139613*c_0101_5^4 + 40880123388484/1157718418839*c_0101_5^3 + 21564192856802/1157718418839*c_0101_5^2 - 1655255919200/128635379871*c_0101_5 - 4213607678507/1157718418839, c_0101_0 - 5548938271280/1157718418839*c_0101_5^11 - 3085051380112/128635379871*c_0101_5^10 - 1907964711199/385906139613*c_0101_5^9 - 7092320202712/1157718418839*c_0101_5^8 + 24024231162241/385906139613*c_0101_5^7 - 3943188020222/385906139613*c_0101_5^6 - 10410445455641/1157718418839*c_0101_5^5 - 10436401045876/385906139613*c_0101_5^4 + 18339075524933/1157718418839*c_0101_5^3 + 11253077882062/1157718418839*c_0101_5^2 - 665266674727/128635379871*c_0101_5 - 2825904190717/1157718418839, c_0101_1 + 3106815731008/1157718418839*c_0101_5^11 + 1489972455728/128635379871*c_0101_5^10 - 2610303353548/385906139613*c_0101_5^9 - 498880528351/1157718418839*c_0101_5^8 - 15608126616386/385906139613*c_0101_5^7 + 9642265524538/385906139613*c_0101_5^6 + 541511567854/1157718418839*c_0101_5^5 + 5198161857542/385906139613*c_0101_5^4 - 18920073838021/1157718418839*c_0101_5^3 + 1975687246930/1157718418839*c_0101_5^2 + 705072821657/128635379871*c_0101_5 + 433357735718/1157718418839, c_0101_5^12 + 5*c_0101_5^11 + 15/16*c_0101_5^10 + 7/8*c_0101_5^9 - 53/4*c_0101_5^8 + 27/16*c_0101_5^7 + 5/2*c_0101_5^6 + 43/8*c_0101_5^5 - 49/16*c_0101_5^4 - 5/2*c_0101_5^3 + 5/4*c_0101_5^2 + 11/16*c_0101_5 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB