Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 3802365477] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0254 geometric_solution 4.29115021 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3012 0132 0132 1230 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.384643836326 0.588947510654 3 0 2 4 0132 0132 1302 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 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 0.163563339563 1.372092215029 1 4 3 0 2031 2103 3120 0132 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 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.922791842776 0.425396955620 1 5 2 4 0132 0132 3120 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.615259972146 0.626679802959 5 2 1 3 3120 2103 0132 1023 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 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.313269842878 0.169679984229 6 3 6 4 0132 0132 2310 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.930653302591 0.106311243998 5 5 6 6 0132 3201 1230 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.720908069915 0.122130520650 ==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' : d['c_0101_5'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_0'], '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_2'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_0']})} 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_2, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 69780977883889/14394239224200*c_0101_6^15 - 87931012025377/1799279903025*c_0101_6^14 - 748930186134101/4798079741400*c_0101_6^13 - 100700872523557/14394239224200*c_0101_6^12 + 5849834788253191/7197119612100*c_0101_6^11 + 3292859315575063/3598559806050*c_0101_6^10 - 8827592375582401/7197119612100*c_0101_6^9 - 27840498191569429/14394239224200*c_0101_6^8 + 439001816267383/436189067400*c_0101_6^7 + 916936617951467/599759967675*c_0101_6^6 - 7619777553165527/14394239224200*c_0101_6^5 - 6818478032404483/14394239224200*c_0101_6^4 + 40108096480061/182205559800*c_0101_6^3 + 18184897367453/719711961210*c_0101_6^2 - 29104981219591/599759967675*c_0101_6 + 125229942256033/14394239224200, c_0011_0 - 1, c_0011_2 - 69816493900/23990398707*c_0101_6^15 - 658815659300/23990398707*c_0101_6^14 - 601144870639/7996799569*c_0101_6^13 + 1263912801797/23990398707*c_0101_6^12 + 11555034062696/23990398707*c_0101_6^11 + 5878006100608/23990398707*c_0101_6^10 - 24581660967239/23990398707*c_0101_6^9 - 16068447706675/23990398707*c_0101_6^8 + 863007916472/726981779*c_0101_6^7 + 3687353327248/7996799569*c_0101_6^6 - 16438266772298/23990398707*c_0101_6^5 - 1035264030403/23990398707*c_0101_6^4 + 48505462157/303675933*c_0101_6^3 - 927124813595/23990398707*c_0101_6^2 - 73631964723/7996799569*c_0101_6 + 145875549541/23990398707, c_0011_4 + 2589875469/7996799569*c_0101_6^15 + 21194827795/7996799569*c_0101_6^14 + 33090997744/7996799569*c_0101_6^13 - 162075685358/7996799569*c_0101_6^12 - 465563927605/7996799569*c_0101_6^11 + 330704802195/7996799569*c_0101_6^10 + 1692986612692/7996799569*c_0101_6^9 - 70233624499/7996799569*c_0101_6^8 - 236273971478/726981779*c_0101_6^7 - 28361919631/7996799569*c_0101_6^6 + 1805689312277/7996799569*c_0101_6^5 - 169125975745/7996799569*c_0101_6^4 - 6003277169/101225311*c_0101_6^3 + 162115237395/7996799569*c_0101_6^2 + 11962254609/7996799569*c_0101_6 - 32994368075/7996799569, c_0101_0 + 40641706727/23990398707*c_0101_6^15 + 378848076664/23990398707*c_0101_6^14 + 333511297045/7996799569*c_0101_6^13 - 903212981425/23990398707*c_0101_6^12 - 6751042794148/23990398707*c_0101_6^11 - 2471750179655/23990398707*c_0101_6^10 + 15573449328997/23990398707*c_0101_6^9 + 7776417585260/23990398707*c_0101_6^8 - 601502527781/726981779*c_0101_6^7 - 1765794467675/7996799569*c_0101_6^6 + 12819373785049/23990398707*c_0101_6^5 - 24492923047/23990398707*c_0101_6^4 - 43014639955/303675933*c_0101_6^3 + 795502355053/23990398707*c_0101_6^2 + 57442349614/7996799569*c_0101_6 - 144628214348/23990398707, c_0101_2 + 21076350110/7996799569*c_0101_6^15 + 189967984544/7996799569*c_0101_6^14 + 457077343121/7996799569*c_0101_6^13 - 644036556103/7996799569*c_0101_6^12 - 3428524624431/7996799569*c_0101_6^11 - 299216612874/7996799569*c_0101_6^10 + 8705601193967/7996799569*c_0101_6^9 + 2291252697402/7996799569*c_0101_6^8 - 1041984800656/726981779*c_0101_6^7 - 917537347173/7996799569*c_0101_6^6 + 7024325682358/7996799569*c_0101_6^5 - 893448883851/7996799569*c_0101_6^4 - 20040018607/101225311*c_0101_6^3 + 564663778169/7996799569*c_0101_6^2 + 31119703209/7996799569*c_0101_6 - 79611125855/7996799569, c_0101_5 - 4431707066/23990398707*c_0101_6^15 - 53111821534/23990398707*c_0101_6^14 - 76431505439/7996799569*c_0101_6^13 - 293676840494/23990398707*c_0101_6^12 + 681104442913/23990398707*c_0101_6^11 + 2249910629525/23990398707*c_0101_6^10 + 735207541751/23990398707*c_0101_6^9 - 3599818127339/23990398707*c_0101_6^8 - 85988116827/726981779*c_0101_6^7 + 822627238957/7996799569*c_0101_6^6 + 2415927624851/23990398707*c_0101_6^5 - 782372805578/23990398707*c_0101_6^4 - 7966081760/303675933*c_0101_6^3 + 225046256942/23990398707*c_0101_6\ ^2 - 5410230959/7996799569*c_0101_6 - 69803461825/23990398707, c_0101_6^16 + 10*c_0101_6^15 + 31*c_0101_6^14 - 5*c_0101_6^13 - 180*c_0101_6^12 - 176*c_0101_6^11 + 330*c_0101_6^10 + 449*c_0101_6^9 - 325*c_0101_6^8 - 438*c_0101_6^7 + 191*c_0101_6^6 + 185*c_0101_6^5 - 69*c_0101_6^4 - 26*c_0101_6^3 + 16*c_0101_6^2 - c_0101_6 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB