combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs03/ecs_0342.json

@@ -0,0 +1,38 @@
+{
+    "id": 342,
+    "name": "5-gonal numbers",
+    "description": "5-gonal numbers",
+    "specification": "{B = Prod(C,C,C), C = Sequence(Z), E = Prod(Z,B), S = Union(B,E,E,E,E,E)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        8,
+        21,
+        40,
+        65,
+        96,
+        133,
+        176,
+        225,
+        280,
+        341,
+        408,
+        481,
+        560,
+        645,
+        736,
+        833,
+        936,
+        1045,
+        1160,
+        1281
+    ],
+    "references": [
+        "EIS A000567"
+    ],
+    "gf": "-(5*_x+1)/(-1+_x)^3",
+    "rec": "{-_f(_n)+3*_n^2+4*_n+1, _f(0) = 1, _f(1) = 8}",
+    "closedform": "3*_n^2+4*_n+1",
+    "equiv": "3*_n^2"
+}

combstruct/data/ecs03/ecs_0343.json

@@ -0,0 +1,38 @@
+{
+    "id": 343,
+    "name": "6-gonal numbers",
+    "description": "6-gonal numbers",
+    "specification": "{B = Prod(C,C,C), C = Sequence(Z), E = Prod(Z,B), S = Union(B,E,E,E,E,E,E)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        9,
+        24,
+        46,
+        75,
+        111,
+        154,
+        204,
+        261,
+        325,
+        396,
+        474,
+        559,
+        651,
+        750,
+        856,
+        969,
+        1089,
+        1216,
+        1350,
+        1491
+    ],
+    "references": [
+        "EIS A001106"
+    ],
+    "gf": "-(6*_x+1)/(-1+_x)^3",
+    "rec": "{-2*_f(_n)+7*_n^2+9*_n+2, _f(0) = 1, _f(1) = 9}",
+    "closedform": "7/2*_n^2+9/2*_n+1",
+    "equiv": "7/2*_n^2"
+}

combstruct/data/ecs03/ecs_0344.json

@@ -0,0 +1,38 @@
+{
+    "id": 344,
+    "name": "7-gonal numbers",
+    "description": "7-gonal numbers",
+    "specification": "{B = Prod(C,C,C), C = Sequence(Z), E = Prod(Z,B), S = Union(B,E,E,E,E,E,E,E)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        10,
+        27,
+        52,
+        85,
+        126,
+        175,
+        232,
+        297,
+        370,
+        451,
+        540,
+        637,
+        742,
+        855,
+        976,
+        1105,
+        1242,
+        1387,
+        1540,
+        1701
+    ],
+    "references": [
+        "EIS A001107"
+    ],
+    "gf": "-(7*_x+1)/(-1+_x)^3",
+    "rec": "{-_f(_n)+4*_n^2+5*_n+1, _f(0) = 1, _f(1) = 10}",
+    "closedform": "4*_n^2+5*_n+1",
+    "equiv": "4*_n^2"
+}

combstruct/data/ecs03/ecs_0345.json

@@ -0,0 +1,39 @@
+{
+    "id": 345,
+    "name": "Stirling numbers of the second kind S(n, 2)",
+    "description": "Partitions of a set of size n into 2 non-empty subsets",
+    "specification": "{S= Prod(Sequence(Z),Sequence(Union(Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        7,
+        15,
+        31,
+        63,
+        127,
+        255,
+        511,
+        1023,
+        2047,
+        4095,
+        8191,
+        16383,
+        32767,
+        65535,
+        131071,
+        262143,
+        524287,
+        1048575,
+        2097151
+    ],
+    "references": [
+        "EIS A000225",
+        "Same as ECS 371"
+    ],
+    "gf": "1/(-1+_x)/(-1+2*_x)",
+    "rec": "{-2*_f(_n)+_f(_n+1)-1, _f(0) = 1}",
+    "closedform": "-1+2^(_n+1)",
+    "equiv": "2*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs03/ecs_0346.json

@@ -0,0 +1,38 @@
+{
+    "id": 346,
+    "name": "Stirling numbers of the second kind S(n, 3)",
+    "description": "Partitions of a set of size n into 3 non-empty subsets",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Union(Z,Z)),Sequence(Union(Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        6,
+        25,
+        90,
+        301,
+        966,
+        3025,
+        9330,
+        28501,
+        86526,
+        261625,
+        788970,
+        2375101,
+        7141686,
+        21457825,
+        64439010,
+        193448101,
+        580606446,
+        1742343625,
+        5228079450,
+        15686335501
+    ],
+    "references": [
+        "EIS A000392"
+    ],
+    "gf": "-1/(-1+_x)/(-1+2*_x)/(-1+3*_x)",
+    "rec": "{-6*_f(_n)+5*_f(_n+1)-_f(_n+2)+1, _f(0) = 1, _f(1) = 6}",
+    "closedform": "1/2-4*2^_n+9/2*3^_n",
+    "equiv": "9/2*exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs03/ecs_0347.json

@@ -0,0 +1,38 @@
+{
+    "id": 347,
+    "name": "Stirling numbers of the second kind S(n, 4)",
+    "description": "Partitions of a set of size n into 4 non-empty subsets",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Union(Z,Z)),Sequence(Union(Z,Z,Z)),Sequence(Union(Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        10,
+        65,
+        350,
+        1701,
+        7770,
+        34105,
+        145750,
+        611501,
+        2532530,
+        10391745,
+        42355950,
+        171798901,
+        694337290,
+        2798806985,
+        11259666950,
+        45232115901,
+        181509070050,
+        727778623825,
+        2916342574750,
+        11681056634501
+    ],
+    "references": [
+        "EIS A000453"
+    ],
+    "gf": "1/(-1+_x)/(-1+2*_x)/(-1+3*_x)/(-1+4*_x)",
+    "rec": "{-24*_f(_n)+26*_f(_n+1)-9*_f(_n+2)+_f(_n+3)-1, _f(0) = 1, _f(1) = 10, _f(2) = 65}",
+    "closedform": "-1/6+32/3*4^_n+4*2^_n-27/2*3^_n",
+    "equiv": "32/3*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs03/ecs_0348.json

@@ -0,0 +1,38 @@
+{
+    "id": 348,
+    "name": "Stirling numbers of the second kind S(n, 5)",
+    "description": "Partitions of a set of size n into 5 non-empty subsets",
+    "specification": "{S= Prod(Sequence(Z),Sequence(Union(Z,Z)),Sequence(Union(Z,Z,Z)),Sequence(Union(Z,Z,Z,Z)),Sequence(Union(Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        15,
+        140,
+        1050,
+        6951,
+        42525,
+        246730,
+        1379400,
+        7508501,
+        40075035,
+        210766920,
+        1096190550,
+        5652751651,
+        28958095545,
+        147589284710,
+        749206090500,
+        3791262568401,
+        19137821912055,
+        96416888184100,
+        485000783495250,
+        2436684974110751
+    ],
+    "references": [
+        "EIS A000481"
+    ],
+    "gf": "-1/(-1+_x)/(-1+2*_x)/(-1+3*_x)/(-1+4*_x)/(-1+5*_x)",
+    "rec": "{-120*_f(_n)+154*_f(_n+1)-71*_f(_n+2)+14*_f(_n+3)-_f(_n+4)+1, _f(0) = 1, _f(1) = 15, _f(2) = 140, _f(3) = 1050}",
+    "closedform": "1/24-128/3*4^_n+625/24*5^_n-8/3*2^_n+81/4*3^_n",
+    "equiv": "625/24*exp(-_n)^(-ln(5))"
+}

combstruct/data/ecs03/ecs_0349.json

@@ -0,0 +1,38 @@
+{
+    "id": 349,
+    "name": "Stirling numbers of the second kind S(n, 6)",
+    "description": "Partitions of a set of size n into 6 non-empty subsets",
+    "specification": "{S= Prod(Sequence(Z),Sequence(Union(Z,Z)),Sequence(Union(Z,Z,Z)),Sequence(Union(Z,Z,Z,Z)),Sequence(Union(Z,Z,Z,Z,Z)),Sequence(Union(Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        21,
+        266,
+        2646,
+        22827,
+        179487,
+        1323652,
+        9321312,
+        63436373,
+        420693273,
+        2734926558,
+        17505749898,
+        110687251039,
+        693081601779,
+        4306078895384,
+        26585679462804,
+        163305339345225,
+        998969857983405,
+        6090236036084530,
+        37026417000002430,
+        224595186974125331
+    ],
+    "references": [
+        "EIS A000770"
+    ],
+    "gf": "1/(-1+_x)/(-1+2*_x)/(-1+3*_x)/(-1+4*_x)/(-1+5*_x)/(-1+6*_x)",
+    "rec": "{-720*_f(_n)+1044*_f(_n+1)-580*_f(_n+2)+155*_f(_n+3)-20*_f(_n+4)+_f(_n+5)-1, _f(0) = 1, _f(1) = 21, _f(2) = 266, _f(3) = 2646, _f(4) =22827}",
+    "closedform": "-1/120+256/3*4^_n-3125/24*5^_n+4/3*2^_n-81/4*3^_n+324/5*6^_n",
+    "equiv": "324/5*exp(-_n)^(-ln(2)-ln(3))"
+}

combstruct/data/ecs03/ecs_0350.json

@@ -0,0 +1,38 @@
+{
+    "id": 350,
+    "name": "Stirling numbers of the second kind S(n, 7)",
+    "description": "Partitions of a set of size n into 7 non-empty subsets",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Union(Z,Z)),Sequence(Union(Z,Z,Z)),Sequence(Union(Z,Z,Z,Z)),Sequence(Union(Z,Z,Z,Z,Z)),Sequence(Union(Z,Z,Z,Z,Z,Z)),Sequence(Union(Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        28,
+        462,
+        5880,
+        63987,
+        627396,
+        5715424,
+        49329280,
+        408741333,
+        3281882604,
+        25708104786,
+        197462483400,
+        1492924634839,
+        11143554045652,
+        82310957214948,
+        602762379967440,
+        4382641999117305,
+        31677463851804540,
+        227832482998716310,
+        1631853797991016600,
+        11647571772911241531
+    ],
+    "references": [
+        "EIS A000771"
+    ],
+    "gf": "-1/(-1+_x)/(-1+2*_x)/(-1+3*_x)/(-1+4*_x)/(-1+5*_x)/(-1+6*_x)/(-1+7*_x)",
+    "rec": "{-5040*_f(_n)+8028*_f(_n+1)-5104*_f(_n+2)+1665*_f(_n+3)-295*_f(_n+4)+27*_f(_n+5)-_f(_n+6)+1, _f(0) = 1, _f(1) = 28, _f(2) = 462, _f(3) = 5880, _f(4) = 63987, _f(5) = 627396}",
+    "closedform": "1/720-1024/9*4^_n+15625/48*5^_n-8/15*2^_n+117649/720*7^_n+243/16*3^_n-1944/5*6^_n",
+    "equiv": "117649/720*exp(-_n)^(-ln(7))"
+}

combstruct/data/ecs03/ecs_0351.json

@@ -0,0 +1,39 @@
+{
+    "id": 351,
+    "name": "Integer partitions into at most 2 parts",
+    "description": "Partition of n in at most 2 parts",
+    "specification": "{S = Set(Sequence(Z,1 <= card),card <= 2)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        2,
+        3,
+        3,
+        4,
+        4,
+        5,
+        5,
+        6,
+        6,
+        7,
+        7,
+        8,
+        8,
+        9,
+        9,
+        10,
+        10,
+        11
+    ],
+    "references": [
+        "EIS A008619",
+        "Same terms as ECS 120 and ECS 209"
+    ],
+    "gf": "1/(-1+_x)^2/(1+_x)",
+    "rec": "{_f(_n)+_f(_n+1)-_n-2, _f(0) = 1}",
+    "closedform": "3/4+1/4*(-1)^(-_n)+1/2*_n",
+    "equiv": "1/2*_n"
+}

combstruct/data/ecs03/ecs_0352.json

@@ -0,0 +1,38 @@
+{
+    "id": 352,
+    "name": "Integer partitions into at most 3 parts",
+    "description": "Partition of n in at most 3 parts",
+    "specification": "{S = Set(Sequence(Z,1<= card),card <= 3)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        4,
+        5,
+        7,
+        8,
+        10,
+        12,
+        14,
+        16,
+        19,
+        21,
+        24,
+        27,
+        30,
+        33,
+        37,
+        40,
+        44
+    ],
+    "references": [
+        "EIS A001399"
+    ],
+    "gf": "-1/(1+_x)/(-1+_x)^3/(_x^2+_x+1)",
+    "rec": "{-2*_f(_n)-4*_f(_n+1)-4*_f(_n+2)-2*_f(_n+3)+_n^2+9*_n+20, _f(0) = 1, _f(1) = 1, _f(2) = 2}",
+    "closedform": "47/72+1/12*_n^2+1/2*_n+Sum(1/9*_alpha^(-_n),_alpha = RootOf(_Z^2+_Z+1))+1/8*(-1)^(-_n)",
+    "equiv": "1/12*_n^2"
+}

combstruct/data/ecs03/ecs_0353.json

@@ -0,0 +1,38 @@
+{
+    "id": 353,
+    "name": "Integer partitions into at most 4 parts",
+    "description": "Partition of n in at most 4 parts",
+    "specification": "{S = Set(Sequence(Z,1<= card),card <= 4)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        5,
+        6,
+        9,
+        11,
+        15,
+        18,
+        23,
+        27,
+        34,
+        39,
+        47,
+        54,
+        64,
+        72,
+        84,
+        94,
+        108
+    ],
+    "references": [
+        "EIS A001400"
+    ],
+    "gf": "1/(_x^2+_x+1)/(_x^2-1)/(1+_x)/(-1+_x)^3/(_x^2+1)",
+    "rec": "{6*_f(_n)+18*_f(_n+1)+30*_f(_n+2)+36*_f(_n+3)+30*_f(_n+4)+18*_f(_n+5)+6*_f(_n+6)-_n^3-24*_n^2-191*_n-504, _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 3,_f(4) = 5, _f(5) = 6}",
+    "closedform": "Sum(1/27*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/16*_alpha^(-_n),_alpha = RootOf(_Z^2+1))+1/288*(9*_n+45)*(-1)^(-_n)+1/144*_n^3+5/48*_n^2+15/32*_n+175/288",
+    "equiv": "1/144*_n^3"
+}

combstruct/data/ecs03/ecs_0354.json

@@ -0,0 +1,38 @@
+{
+    "id": 354,
+    "name": "Integer partitions into at most 5 parts",
+    "description": "Partition of n in at most 5 parts",
+    "specification": "{S = Set(Sequence(Z,1 <= card),card <= 5)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        5,
+        7,
+        10,
+        13,
+        18,
+        23,
+        30,
+        37,
+        47,
+        57,
+        70,
+        84,
+        101,
+        119,
+        141,
+        164,
+        192
+    ],
+    "references": [
+        "EIS A001401"
+    ],
+    "gf": "-1/(_x^2+1)/(_x^2+_x+1)/(_x^2-1)/(-1+_x)^4/(1+_x)/(_x^4+_x^3+_x^2+_x+1)",
+    "rec": "{-24*_f(_n)-96*_f(_n+1)-216*_f(_n+2)-360*_f(_n+3)-480*_f(_n+4)-528*_f(_n+5)-480*_f(_n+6)-360*_f(_n+7)-216*_f(_n+8)-96*_f(_n+9)-24*_f(_n+10)+_n^4+50*_n^3+935*_n^2+7750*_n+24024, _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 3, _f(4) = 5, _f(5) = 7, _f(6)= 10, _f(7) = 13, _f(8) = 18, _f(9) = 23}",
+    "closedform": "50651/86400+31/288*_n^2+85/192*_n+1/2880*_n^4+1/96*_n^3+Sum(1/27*_alpha^(-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/25*_alpha^(-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/32*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+1))+1/64*(-1)^(-_n)*_n+15/128*(-1)^(-_n)",
+    "equiv": "1/2880*_n^4"
+}

combstruct/data/ecs03/ecs_0355.json

@@ -0,0 +1,38 @@
+{
+    "id": 355,
+    "name": "Integer partitions into at most 6 parts",
+    "description": "Partition of n in at most 6 parts",
+    "specification": "{S = Set(Sequence(Z,1 <= card),card <= 6)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        5,
+        7,
+        11,
+        14,
+        20,
+        26,
+        35,
+        44,
+        58,
+        71,
+        90,
+        110,
+        136,
+        163,
+        199,
+        235,
+        282
+    ],
+    "references": [
+        "EIS A001402"
+    ],
+    "gf": "1/(_x^4+_x^3+_x^2+_x+1)/(_x^2+1)/(_x^2-1)^3/(_x^3-1)/(_x^2+_x+1)/(-1+_x)^2/(_x^2-_x+1)",
+    "rec": "{120*_f(_n)+600*_f(_n+1)+1680*_f(_n+2)+3480*_f(_n+3)+5880*_f(_n+4)+8520*_f(_n+5)+10800*_f(_n+6)+12120*_f(_n+7)+12120*_f(_n+8)+10800*_f(_n+9)+8520*_f(_n+10)+5880*_f(_n+11)+3480*_f(_n+12)+1680*_f(_n+13)+600*_f(_n+14)+120*_f(_n+15)-_n^5-90*_n^4-3235*_n^3-58050*_n^2-520024*_n-1860480, _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3)= 3, _f(4) = 5, _f(5) = 7, _f(6) = 11, _f(7) = 14, _f(8) = 20, _f(9) = 26, _f(10) = 35, _f(11) = 44, _f(12) = 58, _f(13) = 71, _f(14) = 90}",
+    "closedform": "Sum(1/125*(_alpha^3+2*_alpha^2+3*_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(-1/162*(1+_alpha)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/972*(55*_alpha-4)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/64*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+1))+Sum(1/36*_alpha^(-_n),_alpha= RootOf(_Z^2-_Z+1))+1/1036800*(1350*_n^2+28350*_n+130725)*(-1)^(-_n)+1/86400*_n^5+7/11520*_n^4+77/6480*_n^3+245/2304*_n^2+43981/103680*_n+199577/345600",
+    "equiv": "(-1/3*exp(Complex(1)*(-arctan(RootOf(4*_Z^2-3,-.866025403784439)/(-1-RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)))+Pi)*_n)/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^4+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^3+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))+1)/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2+1)/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2-1)^3/RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^3/(-2*RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2-RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439)))/(-1+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439)))^2/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2-RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))+1)-1/3*exp(Complex(-1)*(-arctan(RootOf(4*_Z^2-3,-.866025403784439)/(-1-RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)))+Pi)*conjugate(_n))/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^4+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^3+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))+1)/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2+1)/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2-1)^3/RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^3/(-2*RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2-RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439)))/(-1+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439)))^2/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2-RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))+1))*_n*(RootOf(4*_Z^2-3,-.866025403784439)^2+RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)^2+2*RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs03/ecs_0356.json

@@ -0,0 +1,38 @@
+{
+    "id": 356,
+    "name": "Integer partitions into at most 7 parts",
+    "description": "Partition of n in at most 7 parts",
+    "specification": "{S = Set(Sequence(Z,1<= card),card <= 7)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        5,
+        7,
+        11,
+        15,
+        21,
+        28,
+        38,
+        49,
+        65,
+        82,
+        105,
+        131,
+        164,
+        201,
+        248,
+        300,
+        364
+    ],
+    "references": [
+        "EIS A008636"
+    ],
+    "gf": "-1/(_x^2-_x+1)/(_x^4+_x^3+_x^2+_x+1)/(_x^2+1)/(_x^2-1)^3/(_x^3-1)/(-1+_x)^3/(_x^2+_x+1)/(_x^6+_x^5+_x^4+_x^3+_x^2+_x+1)",
+    "rec": "{213127200+52450188*_n-720*_f(_n)-14400*_f(_n+2)+147*_n^5-4320*_f(_n+1)+5373004*_n^2-186480*_f(_n+6)+_n^6-121680*_f(_n+5)-70560*_f(_n+4)-35280*_f(_n+3)+293265*_n^3+8995*_n^4-258480*_f(_n+7)-327600*_f(_n+8)-382320*_f(_n+9)-412560*_f(_n+10)-412560*_f(_n+11)-382320*_f(_n+12)-327600*_f(_n+13)-258480*_f(_n+14)-186480*_f(_n+15)-121680*_f(_n+16)-70560*_f(_n+17)-35280*_f(_n+18)-14400*_f(_n+19)-4320*_f(_n+20)-720*_f(_n+21), _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 3, _f(4) = 5, _f(5) = 7, _f(6) = 11, _f(7) = 15, _f(8) = 21, _f(9) = 28, _f(10) = 38, _f(11) = 49, _f(12) = 65, _f(13) = 82, _f(14) = 105, _f(15) = 131, _f(16) = 164, _f(17) = 201, _f(18) = 248, _f(19) = 300, _f(20) = 364}",
+    "closedform": "Sum(1/125*_alpha*(2*_alpha^2+_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/49*_alpha^(-_n),_alpha = RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))+Sum(-1/486*(1+2*_alpha)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/972*(31*_alpha-21)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/36*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-_Z+1))+Sum(1/64*_alpha^(-_n),_alpha = RootOf(_Z^2+1))+1/152409600*(99225*_n^2+2778300*_n+16901325)*(-1)^(-_n)+1/3628800*_n^6+1/43200*_n^5+79/103680*_n^4+161/12960*_n^3+3991/38400*_n^2+21343/51840*_n+87797891/152409600",
+    "equiv": "(1/3*exp(Complex(1)*(-arctan(RootOf(4*_Z^2-3,-.866025403784439)/(-1-RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)))+Pi)*_n)/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2-RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))+1)/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^4+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^3+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))+1)/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2+1)/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2-1)^3/RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^3/(-1+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439)))^3/(-2*RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2-RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439)))/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^6+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^5+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^4+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^3+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))+1)+1/3*exp(Complex(-1)*(-arctan(RootOf(4*_Z^2-3,-.866025403784439)/(-1-RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)))+Pi)*conjugate(_n))/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2-RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))+1)/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^4+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^3+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))+1)/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2+1)/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2-1)^3/RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^3/(-1+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439)))^3/(-2*RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2-RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439)))/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^6+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^5+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^4+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^3+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))+1))*_n*(RootOf(4*_Z^2-3,-.866025403784439)^2+RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)^2+2*RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs03/ecs_0357.json

@@ -0,0 +1,38 @@
+{
+    "id": 357,
+    "name": "Integer partitions into at most 8 parts",
+    "description": "Partition of n in at most 8 parts",
+    "specification": "{S = Set(Sequence(Z,1 <= card),card <= 8)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        5,
+        7,
+        11,
+        15,
+        22,
+        29,
+        40,
+        52,
+        70,
+        89,
+        116,
+        146,
+        186,
+        230,
+        288,
+        352,
+        434
+    ],
+    "references": [
+        "EIS A008637"
+    ],
+    "gf": "1/(_x^6+_x^5+_x^4+_x^3+_x^2+_x+1)/(_x^2-_x+1)/(_x^3-1)/(_x^4+_x^3+_x^2+_x+1)/(_x^4-1)/(_x^2+1)/(-1+_x)^3/(_x^2-1)^3/(_x^2+_x+1)/(_x^4+1)",
+    "rec": "{-33891580800-7442942940*_n+5040*_f(_n)+136080*_f(_n+2)-21490*_n^5+35280*_f(_n+1)-700060256*_n^2+3034080*_f(_n+6)-224*_n^6+1728720*_f(_n+5)+876960*_f(_n+4)+383040*_f(_n+3)-36556849*_n^3-1144640*_n^4+4843440*_f(_n+7)+7131600*_f(_n+8)+9777600*_f(_n+9)+12564720*_f(_n+10)+15205680*_f(_n+11)+17388000*_f(_n+12)+18829440*_f(_n+13)+19333440*_f(_n+14)+18829440*_f(_n+15)+17388000*_f(_n+16)+15205680*_f(_n+17)+12564720*_f(_n+18)+9777600*_f(_n+19)+7131600*_f(_n+20)+4843440*_f(_n+21)+3034080*_f(_n+22)+1728720*_f(_n+23)+876960*_f(_n+24)+383040*_f(_n+25)+136080*_f(_n+26)+35280*_f(_n+27)+5040*_f(_n+28)-_n^7, _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 3, _f(4)= 5, _f(5) = 7, _f(6) = 11, _f(7) = 15, _f(8) = 22, _f(9) = 29, _f(10) = 40, _f(11) = 52, _f(12) = 70, _f(13) = 89, _f(14) = 116, _f(15) = 146, _f(16) = 186, _f(17) = 230, _f(18) = 288, _f(19) = 352, _f(20) = 434, _f(21) = 525, _f(22) = 638, _f(23) = 764, _f(24) = 919, _f(25) = 1090, _f(26) = 1297, _f(27) =1527}",
+    "closedform": "1/36864*(_n+18)*(_n^2+36*_n+231)*(-1)^(-_n)+1/203212800*_n^7+1/1612800*_n^6+307/9676800*_n^5+13/15360*_n^4+728681/58060800*_n^3+15599/153600*_n^2+Sum(-1/486*(1+_alpha)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(-1/512*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+1))+Sum(1/343*(_alpha^5+2*_alpha^4+3*_alpha^3+4*_alpha^2+5*_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/125*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/972*(33*_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/108*(_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-_Z+1))+Sum(1/512*(17*_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+1))+Sum(1/64*_alpha^(-_n),_alpha = RootOf(_Z^4+1))+2812349/6967296*_n+39226571/67737600",
+    "equiv": "(-1/4*exp(Complex(1)*arctan((-3*RootOf(4*_Z^8+3*_Z^4-1,.707106781186547)^2*RootOf(4*_Z^8+3*_Z^4-1,-.707106781186547)+RootOf(4*_Z^8+3*_Z^4-1,-.707106781186547)^3)/(3*RootOf(4*_Z^8+3*_Z^4-1,.707106781186547)*RootOf(4*_Z^8+3*_Z^4-1,-.707106781186547)^2-RootOf(4*_Z^8+3*_Z^4-1,.707106781186547)^3))*_n)/(RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^6+RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^5+RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^4+RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^3+RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^2+RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))+1)/(RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^2-RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))+1)/(RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^3-1)/(RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^4+RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^3+RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^2+RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))+1)/(RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^4-1)/(RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^2+1)/(RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))-1)^3/(RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^2-1)^3/(RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^2+RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))+1)/RootOf(_Z^4+1,Complex(.707106781186547,-.707106781186547))^4-1/4*exp(Complex(-1)*arctan((-3*RootOf(4*_Z^8+3*_Z^4-1,.707106781186547)^2*RootOf(4*_Z^8+3*_Z^4-1,-.707106781186547)+RootOf(4*_Z^8+3*_Z^4-1,-.707106781186547)^3)/(3*RootOf(4*_Z^8+3*_Z^4-1,.707106781186547)*RootOf(4*_Z^8+3*_Z^4-1,-.707106781186547)^2-RootOf(4*_Z^8+3*_Z^4-1,.707106781186547)^3))*conjugate(_n))/(RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^6+RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^5+RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^4+RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^3+RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^2+RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))+1)/(RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^2-RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))+1)/(RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^3-1)/(RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^4+RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^3+RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^2+RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))+1)/(RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^4-1)/(RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^2+1)/(RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))-1)^3/(RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^2-1)^3/(RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^2+RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))+1)/RootOf(_Z^4+1,Complex(.707106781186547,.707106781186547))^4)*(RootOf(4*_Z^8+3*_Z^4-1,.707106781186547)^2+RootOf(4*_Z^8+3*_Z^4-1,-.707106781186547)^2)^(-3/2*ln(exp(-_n)))"
+}