Magma V2.19-8 Tue Aug 20 2013 16:14:25 on localhost [Seed = 576962080] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s410 geometric_solution 4.67584476 oriented_manifold CS_known 0.0000000000000005 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.556886400034 0.216623695935 0 2 2 0 3201 0132 1023 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 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.225778353045 0.401386643564 3 1 1 4 0132 0132 1023 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 0 0 0 1 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 0.536335583591 0.528387556976 2 4 4 5 0132 0321 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 -1 0 0 1 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.674649085049 0.754158249337 3 5 2 3 2031 2310 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.674649085049 0.754158249337 5 5 3 4 1230 3012 0132 3201 0 0 0 0 0 1 0 -1 0 0 1 -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 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.510948845520 0.486682079895 ==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' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : d['c_0011_4'], '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_0011_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(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_4, c_0011_5, c_0101_0, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 624017340484671/4196592455207*c_0101_2^17 - 2134984217558231/4196592455207*c_0101_2^16 + 8430356150693448/4196592455207*c_0101_2^15 + 13448743434686578/4196592455207*c_0101_2^14 - 71255778870093321/4196592455207*c_0101_2^13 - 59566054409675773/4196592455207*c_0101_2^12 + 208975615923706095/4196592455207*c_0101_2^11 + 218789278372317792/4196592455207*c_0101_2^10 - 207961251574209728/4196592455207*c_0101_2^9 - 330459347825997200/4196592455207*c_0101_2^8 + 19189827770474239/4196592455207*c_0101_2^7 + 200573589894702071/4196592455207*c_0101_2^6 + 68888489958799239/4196592455207*c_0101_2^5 - 38312717735429038/4196592455207*c_0101_2^4 - 29312700374433718/4196592455207*c_0101_2^3 - 3940610459805124/4196592455207*c_0101_2^2 + 2888681973614925/4196592455207*c_0101_2 + 1256357831927281/4196592455207, c_0011_0 - 1, c_0011_1 - 7747084419963/4196592455207*c_0101_2^17 - 27399895140537/4196592455207*c_0101_2^16 + 103356064553951/4196592455207*c_0101_2^15 + 184029718020747/4196592455207*c_0101_2^14 - 891339262646664/4196592455207*c_0101_2^13 - 862200387770949/4196592455207*c_0101_2^12 + 2713436580253217/4196592455207*c_0101_2^11 + 3051662476561750/4196592455207*c_0101_2^10 - 2810645750905539/4196592455207*c_0101_2^9 - 4644090244464218/4196592455207*c_0101_2^8 + 317069341587847/4196592455207*c_0101_2^7 + 2930657431128786/4196592455207*c_0101_2^6 + 964573246744833/4196592455207*c_0101_2^5 - 602920525474091/4196592455207*c_0101_2^4 - 435850031144854/4196592455207*c_0101_2^3 - 60185050684873/4196592455207*c_0101_2^2 + 40865095252803/4196592455207*c_0101_2 + 22309702078816/4196592455207, c_0011_4 + 1075971872578/4196592455207*c_0101_2^17 + 4655316546885/4196592455207*c_0101_2^16 - 12014386697420/4196592455207*c_0101_2^15 - 38707954444399/4196592455207*c_0101_2^14 + 113700808106012/4196592455207*c_0101_2^13 + 224278029371175/4196592455207*c_0101_2^12 - 360752098776900/4196592455207*c_0101_2^11 - 727060341378620/4196592455207*c_0101_2^10 + 263682911704014/4196592455207*c_0101_2^9 + 1029309854400937/4196592455207*c_0101_2^8 + 244574027371863/4196592455207*c_0101_2^7 - 598844565124294/4196592455207*c_0101_2^6 - 379259294256230/4196592455207*c_0101_2^5 + 86382375835543/4196592455207*c_0101_2^4 + 141753369985289/4196592455207*c_0101_2^3 + 22992375935472/4196592455207*c_0101_2^2 - 12797718487690/4196592455207*c_0101_2 - 3799625973110/4196592455207, c_0011_5 + 3711742363498/4196592455207*c_0101_2^17 + 10768505600989/4196592455207*c_0101_2^16 - 55541985033267/4196592455207*c_0101_2^15 - 50363312188683/4196592455207*c_0101_2^14 + 447662325546408/4196592455207*c_0101_2^13 + 116898337315336/4196592455207*c_0101_2^12 - 1285739947014594/4196592455207*c_0101_2^11 - 607511183172875/4196592455207*c_0101_2^10 + 1519382544405260/4196592455207*c_0101_2^9 + 1067340144627786/4196592455207*c_0101_2^8 - 696073896992863/4196592455207*c_0101_2^7 - 685462117927065/4196592455207*c_0101_2^6 + 75286047625193/4196592455207*c_0101_2^5 + 151627312904382/4196592455207*c_0101_2^4 + 2814870753924/4196592455207*c_0101_2^3 - 5144837146722/4196592455207*c_0101_2^2 - 651674330853/4196592455207*c_0101_2 + 417376063134/4196592455207, c_0101_0 + 7996218428317/4196592455207*c_0101_2^17 + 25064627157529/4196592455207*c_0101_2^16 - 115287959877870/4196592455207*c_0101_2^15 - 139953881550492/4196592455207*c_0101_2^14 + 952823130666909/4196592455207*c_0101_2^13 + 497519292665228/4196592455207*c_0101_2^12 - 2822281191817602/4196592455207*c_0101_2^11 - 2047954187151787/4196592455207*c_0101_2^10 + 3255056435923246/4196592455207*c_0101_2^9 + 3438181627745863/4196592455207*c_0101_2^8 - 1161653994957921/4196592455207*c_0101_2^7 - 2338204524974528/4196592455207*c_0101_2^6 - 326973138561516/4196592455207*c_0101_2^5 + 564294480285176/4196592455207*c_0101_2^4 + 254302962830200/4196592455207*c_0101_2^3 + 13813875132217/4196592455207*c_0101_2^2 - 36780779035857/4196592455207*c_0101_2 - 12797718487690/4196592455207, c_0101_2^18 + 3*c_0101_2^17 - 15*c_0101_2^16 - 16*c_0101_2^15 + 124*c_0101_2^14 + 48*c_0101_2^13 - 381*c_0101_2^12 - 211*c_0101_2^11 + 498*c_0101_2^10 + 397*c_0101_2^9 - 274*c_0101_2^8 - 323*c_0101_2^7 + 34*c_0101_2^6 + 118*c_0101_2^5 + 21*c_0101_2^4 - 16*c_0101_2^3 - 8*c_0101_2^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB