combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs03/ecs_0358.json

@@ -0,0 +1,38 @@
+{
+    "id": 358,
+    "name": "Integer partitions into at most 9 parts",
+    "description": "Partition of n in at most 9 parts",
+    "specification": "{S = Set(Sequence(Z,1 <= card),card <= 9)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        5,
+        7,
+        11,
+        15,
+        22,
+        30,
+        41,
+        54,
+        73,
+        94,
+        123,
+        157,
+        201,
+        252,
+        318,
+        393,
+        488
+    ],
+    "references": [
+        "EIS A008638"
+    ],
+    "gf": "-1/(_x^4+1)/(_x^6+_x^5+_x^4+_x^3+_x^2+_x+1)/(_x^2-_x+1)/(_x^3-1)^3/(_x^4-1)/(_x^4+_x^3+_x^2+_x+1)/(-1+_x)^2/(_x^2+1)/(_x^2-1)^3/(_x^6+_x^3+1)",
+    "rec": "{1416103081776*_n-40320*_f(_n)-1411200*_f(_n+2)+3714984*_n^5-322560*_f(_n+1)+122716653884*_n^2-49593600*_f(_n+6)+45906*_n^6-25320960*_f(_n+5)-11491200*_f(_n+4)-4475520*_f(_n+3)+6073992036*_n^3+187812849*_n^4-88341120*_f(_n+7)-145393920*_f(_n+8)-223574400*_f(_n+9)-323809920*_f(_n+10)-444366720*_f(_n+11)-580406400*_f(_n+12)-724026240*_f(_n+13)-864864000*_f(_n+14)-991226880*_f(_n+15)-1091583360*_f(_n+16)-1156176000*_f(_n+17)-1178472960*_f(_n+18)-1156176000*_f(_n+19)-1091583360*_f(_n+20)-991226880*_f(_n+21)-864864000*_f(_n+22)-724026240*_f(_n+23)-580406400*_f(_n+24)-444366720*_f(_n+25)-323809920*_f(_n+26)-223574400*_f(_n+27)-145393920*_f(_n+28)-88341120*_f(_n+29)-49593600*_f(_n+30)-25320960*_f(_n+31)-11491200*_f(_n+32)-4475520*_f(_n+33)-1411200*_f(_n+34)-322560*_f(_n+35)-40320*_f(_n+36)+_n^8+324*_n^7+7146019520640, _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) = 30, _f(10) = 41, _f(11)= 54, _f(12) = 73, _f(13) = 94, _f(14) = 123, _f(15) = 157, _f(16) = 201, _f(17) = 252, _f(18) = 318, _f(19) = 393, _f(20) = 488, _f(21) = 598, _f(22) = 732, _f(23) = 887, _f(24) = 1076, _f(25) = 1291, _f(26) = 1549, _f(27) = 1845,_f(28) = 2194, _f(29) = 2592, _f(30) = 3060, _f(31) = 3589, _f(32) = 4206, _f(33) = 4904, _f(34) = 5708, _f(35) = 6615}",
+    "closedform": "1/73728*(_n^2+45*_n+705/2)*(_n+45/2)*(-1)^(-_n)+1/14631321600*_n^8+1/81285120*_n^7+193/209018880*_n^6+29/774144*_n^5+464921/522547200*_n^4+290309/23224320*_n^3+873824279/8778792960*_n^2+Sum(-1/8748*(43*_alpha+41)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(-1/1024*(1+_alpha)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+1))+Sum(1/343*_alpha*(3*_alpha^4+2*_alpha^3+4*_alpha^2+2*_alpha+3)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/128*(_alpha^3+_alpha^2+_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+1))+Sum(1/125*_alpha^(-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/8748*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/17496*(753*_alpha-86)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/216*(_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-_Z+1))+Sum(1/1024*(24*_alpha-19)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+1))+Sum(1/81*_alpha^(-_n),_alpha = RootOf(_Z^6+_Z^3+1))+5557231/13934592*_n+256697834389/438939648000",
+    "equiv": "(-exp(Complex(1)*arctan((-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^4*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)+10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^3-RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^5-2*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201))/(10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^3*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^4-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^5+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2))*_n)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^6+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^5+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3-1)^3/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(-1+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201)))^2/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2-1)^3/(-6*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^6-3*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3)-exp(Complex(-1)*arctan((-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^4*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)+10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^3-RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^5-2*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201))/(10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^3*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^4-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^5+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2))*conjugate(_n))/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^6+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^5+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3-1)^3/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(-1+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201)))^2/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2-1)^3/(-6*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^6-3*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3))*((RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2)*(RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^6+3*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^4*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2+3*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^4+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^6+2*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^3-6*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2+1)^(1/2))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs03/ecs_0359.json

@@ -0,0 +1,38 @@
+{
+    "id": 359,
+    "name": "Integer partitions into at most 10 parts",
+    "description": "Partition of n in at most 10 parts",
+    "specification": "{S = Set(Sequence(Z,1 <= card),card<= 10)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        5,
+        7,
+        11,
+        15,
+        22,
+        30,
+        42,
+        55,
+        75,
+        97,
+        128,
+        164,
+        212,
+        267,
+        340,
+        423,
+        530
+    ],
+    "references": [
+        "EIS A008639"
+    ],
+    "gf": "1/(_x^6+_x^3+1)/(_x^4+1)/(_x^6+_x^5+_x^4+_x^3+_x^2+_x+1)/(_x^4-1)/(_x^2-_x+1)/(_x^3-1)^3/(_x^5-1)/(_x^4+_x^3+_x^2+_x+1)/(_x^2-1)^4/(_x^2+1)/(-1+_x)/(_x^4-_x^3+_x^2-_x+1)",
+    "rec": "{-1929772710028800-348289775100576*_n+362880*_f(_n)+15966720*_f(_n+2)-785925273*_n^5+3265920*_f(_n+1)-27928466127000*_n^2+833898240*_f(_n+6)-10489500*_n^6+1628968320*_f(_n+38)+833898240*_f(_n+39)+387555840*_f(_n+40)+159667200*_f(_n+41)+56246400*_f(_n+42)+15966720*_f(_n+43)+3265920*_f(_n+44)+362880*_f(_n+45)+387555840*_f(_n+5)+159667200*_f(_n+4)+56246400*_f(_n+3)-1305944324180*_n^3-39243818250*_n^4-_n^9+1628968320*_f(_n+7)+2937513600*_f(_n+8)+4949683200*_f(_n+9)+7863609600*_f(_n+10)+11860007040*_f(_n+11)+17070963840*_f(_n+12)+23546920320*_f(_n+13)+31227275520*_f(_n+14)+39920428800*_f(_n+15)+49298336640*_f(_n+16)+58908850560*_f(_n+17)+68206561920*_f(_n+18)+76599976320*_f(_n+19)+83509937280*_f(_n+20)+88431678720*_f(_n+21)+90991797120*_f(_n+22)+90991797120*_f(_n+23)+88431678720*_f(_n+24)+83509937280*_f(_n+25)+76599976320*_f(_n+26)+68206561920*_f(_n+27)+58908850560*_f(_n+28)+49298336640*_f(_n+29)+39920428800*_f(_n+30)+31227275520*_f(_n+31)+23546920320*_f(_n+32)+17070963840*_f(_n+33)+11860007040*_f(_n+34)+7863609600*_f(_n+35)+4949683200*_f(_n+36)+2937513600*_f(_n+37)-450*_n^8-89970*_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) = 30, _f(10) = 42, _f(11) = 55, _f(12) = 75, _f(13) = 97, _f(14) = 128, _f(15) = 164, _f(16) = 212, _f(17) = 267, _f(18) = 340, _f(19) = 423, _f(20) = 530, _f(21) = 653, _f(22) = 807, _f(23) = 984,_f(24) = 1204, _f(25) = 1455, _f(26) = 1761, _f(27) = 2112, _f(28) = 2534, _f(29) = 3015, _f(30) = 3590, _f(31) = 4242, _f(32) = 5013, _f(33) = 5888, _f(34)= 6912, _f(35) = 8070, _f(36) = 9418, _f(37) = 10936, _f(38) = 12690, _f(39) =14663, _f(40) = 16928, _f(41) = 19466, _f(42) = 22367, _f(43) = 25608, _f(44)= 29292}",
+    "closedform": "Sum(1/343*_alpha*(_alpha^4+2*_alpha^3+2*_alpha^2+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/243*(_alpha^5+_alpha^4+_alpha^3+2*_alpha^2+2*_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^3+1))+Sum(1/12500*(24*_alpha^3+28*_alpha^2+277*_alpha-4)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/100*_alpha^(-_n),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/1250*_alpha^(-_n)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/26244*(_alpha+2)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(-1/26244*(104*_alpha+59)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/128*(_alpha^3-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+1))+Sum(1/157464*(4721*_alpha-2495)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(-1/2048*(1+_alpha)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+1))+Sum(1/216*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-_Z+1))+Sum(1/2048*(29*_alpha-24)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+1))+1/26336378880000*(8930250*_n^4+982327500*_n^3+37328445000*_n^2+567294131250*_n+2800029580425)*(-1)^(-_n)+1/1316818944000*_n^9+11/58525286400*_n^8+869/43893964800*_n^7+121/104509440*_n^6+3222263/78382080000*_n^5+7607149/8360755200*_n^4+362312621/29262643200*_n^3+859801921/8778792960*_n^2+745508886881/1881169920000*_n+1039519669529/1755758592000",
+    "equiv": "(exp(Complex(1)*arctan((-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^4*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)+10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^3-RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^5-2*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201))/(10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^3*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^4-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^5+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2))*_n)/(-6*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^6-3*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^6+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^5+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3-1)^3/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^5-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2-1)^4/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+1)/(-1+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201)))/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)+exp(Complex(-1)*arctan((-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^4*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)+10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^3-RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^5-2*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201))/(10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^3*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^4-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^5+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2))*conjugate(_n))/(-6*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^6-3*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^6+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^5+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3-1)^3/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^5-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2-1)^4/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+1)/(-1+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201)))/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1))*((RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2)*(RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^6+3*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^4*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2+3*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^4+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^6+2*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^3-6*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2+1)^(1/2))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs03/ecs_0360.json

@@ -0,0 +1,38 @@
+{
+    "id": 360,
+    "name": "Integer partitions into at most 11 parts",
+    "description": "Partition of n in at most 11 parts",
+    "specification": "{S = Set(Sequence(Z,1<= card),card <= 11)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        5,
+        7,
+        11,
+        15,
+        22,
+        30,
+        42,
+        56,
+        76,
+        99,
+        131,
+        169,
+        219,
+        278,
+        355,
+        445,
+        560
+    ],
+    "references": [
+        "EIS A008640"
+    ],
+    "gf": "-1/(_x^4-_x^3+_x^2-_x+1)/(_x^6+_x^3+1)/(_x^4+1)/(_x^4-1)/(_x^6+_x^5+_x^4+_x^3+_x^2+_x+1)/(_x^5-1)/(_x^2-_x+1)/(_x^3-1)^3/(_x^2-1)^4/(_x^4+_x^3+_x^2+_x+1)/(-1+_x)^2/(_x^2+1)/(_x^10+_x^9+_x^8+_x^7+_x^6+_x^5+_x^4+_x^3+_x^2+_x+1)",
+    "rec": "{107615758208112000*_n-3628800*_f(_n)-195955200*_f(_n+2)+203745879645*_n^5-36288000*_f(_n+1)+8020572321150576*_n^2-14569632000*_f(_n+6)+2809233273*_n^6-2492125574400*_f(_n+38)-1911376051200*_f(_n+39)-1422268243200*_f(_n+40)-1024660627200*_f(_n+41)-712950336000*_f(_n+42)-477640800000*_f(_n+43)-306963820800*_f(_n+44)-188367379200*_f(_n+45)-109731283200*_f(_n+46)-60234451200*_f(_n+47)-30859315200*_f(_n+48)-14569632000*_f(_n+49)-6230649600*_f(_n+50)-2355091200*_f(_n+51)-758419200*_f(_n+52)-195955200*_f(_n+53)-36288000*_f(_n+54)-3628800*_f(_n+55)-6230649600*_f(_n+5)-2355091200*_f(_n+4)-758419200*_f(_n+3)+354145540299100*_n^3+10259313150680*_n^4+605*_n^9-30859315200*_f(_n+7)-60234451200*_f(_n+8)-109731283200*_f(_n+9)-188367379200*_f(_n+10)-306963820800*_f(_n+11)-477640800000*_f(_n+12)-712950336000*_f(_n+13)-1024660627200*_f(_n+14)-1422268243200*_f(_n+15)-1911376051200*_f(_n+16)-2492125574400*_f(_n+17)-3157901510400*_f(_n+18)-3894526137600*_f(_n+19)-4680128678400*_f(_n+20)-5485809369600*_f(_n+21)-6277127270400*_f(_n+22)-7016335603200*_f(_n+23)-7665183187200*_f(_n+24)-8188009804800*_f(_n+25)-8554805280000*_f(_n+26)-8743887532800*_f(_n+27)-8743887532800*_f(_n+28)-8554805280000*_f(_n+29)-8188009804800*_f(_n+30)-7665183187200*_f(_n+31)-7016335603200*_f(_n+32)-6277127270400*_f(_n+33)-5485809369600*_f(_n+34)-4680128678400*_f(_n+35)-3894526137600*_f(_n+36)-3157901510400*_f(_n+37)+164670*_n^8+26553450*_n^7+_n^10+649605275001446400, _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) = 30, _f(10) = 42, _f(11) = 56, _f(12) = 76, _f(13) = 99, _f(14) = 131, _f(15) = 169, _f(16) = 219, _f(17) = 278, _f(18) = 355,_f(19) = 445, _f(20) = 560, _f(21) = 695, _f(22) = 863, _f(23) = 1060, _f(24)= 1303, _f(25) = 1586, _f(26) = 1930, _f(27) = 2331, _f(28) = 2812, _f(29) = 3370, _f(30) = 4035, _f(31) = 4802, _f(32) = 5708, _f(33) = 6751, _f(34) = 7972, _f(35) = 9373, _f(36) = 11004, _f(37) = 12866, _f(38) = 15021, _f(39) =17475, _f(40) = 20298, _f(41) = 23501, _f(42) = 27169, _f(43) = 31316, _f(44)= 36043, _f(45) = 41373, _f(46) = 47420, _f(47) = 54218, _f(48) = 61903, _f(49) = 70515, _f(50) = 80215, _f(51) = 91058, _f(52) = 103226, _f(53) = 116792, _f(54) = 131970}",
+    "closedform": "247989765001/627056640000*_n+53933/1244160000*_n^5+20381546173/210691031040*_n^2+104099/78382080000*_n^6+884719/72253440*_n^3+178916173/195084288000*_n^4+1/438939648000*_n^9+Sum(-1/128*_alpha^(-1-_n),_alpha = RootOf(_Z^4+1))+Sum(-1/78732*(193*_alpha+185)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/6250*(_alpha-1)*(_alpha^2+3*_alpha+1)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+571/1755758592000*_n^8+11/418037760*_n^7+3824275390700197/6373403688960000+Sum(1/157464*(5057*_alpha-512)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/100*(_alpha^3+_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/243*(2*_alpha^5+_alpha^3+_alpha^2-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^3+1))+Sum(1/343*_alpha*(2*_alpha^4+_alpha^3+_alpha^2+_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/12500*(65*_alpha^3+128*_alpha^2+209*_alpha-47)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/2048*(32*_alpha-3)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+1))+Sum(1/121*_alpha^(-_n),_alpha = RootOf(_Z^10+_Z^9+_Z^8+_Z^7+_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))+1/144850083840000*_n^10+1/6373403688960000*(1080560250*_n^4+142633953000*_n^3+6477958698750*_n^2+116888524483500*_n+676786617027675)*(-1)^(-_n)+Sum(-1/2048*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+1))+Sum(1/26244*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/216*_alpha^(-_n),_alpha = RootOf(_Z^2-_Z+1))",
+    "equiv": "(-exp(Complex(1)*arctan((-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^4*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)+10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^3-RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^5-2*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201))/(10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^3*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^4-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^5+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2))*_n)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(-6*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^6-3*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^6+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^5+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^5-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3-1)^3/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2-1)^4/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(-1+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201)))^2/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^10+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^9+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^8+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^7+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^6+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^5+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)-exp(Complex(-1)*arctan((-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^4*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)+10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^3-RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^5-2*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201))/(10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^3*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^4-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^5+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2))*conjugate(_n))/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(-6*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^6-3*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^6+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^5+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^5-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3-1)^3/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2-1)^4/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(-1+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201)))^2/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^10+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^9+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^8+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^7+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^6+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^5+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1))*((RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2)*(RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^6+3*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^4*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2+3*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^4+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^6+2*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^3-6*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2+1)^(1/2))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs03/ecs_0361.json

@@ -0,0 +1,38 @@
+{
+    "id": 361,
+    "name": "Integer partitions into at most 12 parts",
+    "description": "Partition of n in at most 12 parts",
+    "specification": "{S =Set(Sequence(Z,1 <= card),card <= 12)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        5,
+        7,
+        11,
+        15,
+        22,
+        30,
+        42,
+        56,
+        77,
+        100,
+        133,
+        172,
+        224,
+        285,
+        366,
+        460,
+        582
+    ],
+    "references": [
+        "EIS A008641"
+    ],
+    "gf": "1/(_x^10+_x^9+_x^8+_x^7+_x^6+_x^5+_x^4+_x^3+_x^2+_x+1)/(_x^4-_x^3+_x^2-_x+1)/(_x^6+_x^3+1)/(_x^4+1)/(_x^4-1)^3/(_x^5-1)/(_x^6+_x^5+_x^4+_x^3+_x^2+_x+1)/(_x^6-1)/(_x^2-_x+1)/(-1+_x)^2/(_x^3-1)^3/(_x^4+_x^3+_x^2+_x+1)/(_x^2-1)^2/(_x^4-_x^2+1)",
+    "rec": "{-40826474222522869440*_n+39916800*_f(_n)+2594592000*_f(_n+2)-64176975648995*_n^5+439084800*_f(_n+1)-2840109305339335392*_n^2+265646304000*_f(_n+6)-892208055816*_n^6+823897002297600*_f(_n+38)+748739376000000*_f(_n+39)+668201563814400*_f(_n+40)+585369972633600*_f(_n+41)+503144318476800*_f(_n+42)+424081352217600*_f(_n+43)+350278262611200*_f(_n+44)+283301903808000*_f(_n+45)+224165044857600*_f(_n+46)+173346208358400*_f(_n+47)+130845873312000*_f(_n+48)+96269222649600*_f(_n+49)+68924378476800*_f(_n+50)+47925147916800*_f(_n+51)+32288539852800*_f(_n+52)+21019428460800*_f(_n+53)+13177373932800*_f(_n+54)+7923365049600*_f(_n+55)+4546763020800*_f(_n+56)+2474721849600*_f(_n+57)+1267677734400*_f(_n+58)+605098771200*_f(_n+59)+265646304000*_f(_n+60)+105380352000*_f(_n+61)+36843206400*_f(_n+62)+10937203200*_f(_n+63)+2594592000*_f(_n+64)+439084800*_f(_n+65)+39916800*_f(_n+66)+105380352000*_f(_n+5)+36843206400*_f(_n+4)+10937203200*_f(_n+3)-266711567621704128000-118521013311951316*_n^3-3296706673617720*_n^4-285065*_n^9+605098771200*_f(_n+7)+1267677734400*_f(_n+8)+2474721849600*_f(_n+9)+4546763020800*_f(_n+10)+7923365049600*_f(_n+11)+13177373932800*_f(_n+12)+21019428460800*_f(_n+13)+32288539852800*_f(_n+14)+47925147916800*_f(_n+15)+68924378476800*_f(_n+16)+96269222649600*_f(_n+17)+130845873312000*_f(_n+18)+173346208358400*_f(_n+19)+224165044857600*_f(_n+20)+283301903808000*_f(_n+21)+350278262611200*_f(_n+22)+424081352217600*_f(_n+23)+503144318476800*_f(_n+24)+585369972633600*_f(_n+25)+668201563814400*_f(_n+26)+748739376000000*_f(_n+27)+823897002297600*_f(_n+28)+890586479059200*_f(_n+29)+945917670297600*_f(_n+30)+987394897843200*_f(_n+31)+1013093174016000*_f(_n+32)+1021797670924800*_f(_n+33)+1013093174016000*_f(_n+34)+987394897843200*_f(_n+35)+945917670297600*_f(_n+36)+890586479059200*_f(_n+37)-_n^11-61550280*_n^8-8858109183*_n^7-792*_n^10, _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) = 30, _f(10) = 42, _f(11) = 56, _f(12) = 77, _f(13) = 100, _f(14) = 133, _f(15) = 172, _f(16) = 224, _f(17) = 285, _f(18) = 366, _f(19) = 460, _f(20) = 582, _f(21) = 725, _f(22) = 905, _f(23) = 1116, _f(24) = 1380, _f(25) = 1686,_f(26) = 2063, _f(27) = 2503, _f(28) = 3036, _f(29) = 3655, _f(30) = 4401, _f(31) = 5262, _f(32) = 6290, _f(33) = 7476, _f(34) = 8877, _f(35) = 10489, _f(36) = 12384, _f(37) = 14552, _f(38) = 17084, _f(39) = 19978, _f(40) = 23334, _f(41) = 27156, _f(42) = 31570, _f(43) = 36578, _f(44) = 42333, _f(45) = 48849, _f(46) = 56297, _f(47) = 64707, _f(48) = 74287, _f(49) = 85067, _f(50) = 97299, _f(51) = 111036, _f(52) = 126560, _f(53) = 143948, _f(54) = 163540, _f(55) =185425, _f(56) = 210005, _f(57) = 237405, _f(58) = 268079, _f(59) = 302196, _f(60) = 340293, _f(61) = 382562, _f(62) = 429636, _f(63) = 481769, _f(64) = 539672, _f(65) = 603666}",
+    "closedform": "35745891686947/90296156160000*_n+5751241327/128755630080000*_n^5+80797387957/842764124160*_n^2+907699/627056640000*_n^6+15503745473040877/25493614755840000+5053291523059/417168241459200*_n^3+715900393/780337152000*_n^4+Sum(-1/16384*(2*_alpha+25)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+1))+Sum(1/1944*(32*_alpha-7)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-_Z+1))+Sum(1/12500*(132*_alpha^3+71*_alpha^2+162*_alpha-10)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/944784*(4*_alpha+113)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/2592*(_alpha-1)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2-_Z+1))+Sum(-5/1889568*(1567*_alpha+1447)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/147456*(3715*_alpha-684)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+1))+Sum(1/500*(4*_alpha^3-3*_alpha^2+2*_alpha-6)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(-1/6250*(_alpha^3+2*_alpha+2)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/1417176*(52784*_alpha-7577)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/343*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/243*(_alpha^5-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^3+1))+Sum(1/1331*(_alpha^9+2*_alpha^8+3*_alpha^7+4*_alpha^6+5*_alpha^5+6*_alpha^4+7*_alpha^3+8*_alpha^2+9*_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^10+_Z^9+_Z^8+_Z^7+_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))+8801/2085841207296000*_n^9+Sum(-1/49152*_alpha^(-_n-2)*(_n+2)*(_n+1),_alpha = RootOf(_Z^2+1))+Sum(-1/256*_alpha^(-1-_n),_alpha = RootOf(_Z^4+1))+Sum(1/944784*_alpha^(-_n-3)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/144*_alpha^(-_n),_alpha = RootOf(_Z^4-_Z^2+1))+1/19120211066880000*_n^11+3211/7023034368000*_n^8+228553/7242504192000*_n^7+13/579400335360000*_n^10+1/353894400*(_n+39)*(_n^4+156*_n^3+24323/3*_n^2+157846*_n+5620901/6)*(-1)^(-_n)",
+    "equiv": "(exp(Complex(1)*arctan((-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^4*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)+10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^3-RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^5-2*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201))/(10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^3*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^4-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^5+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2))*_n)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^10+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^9+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^8+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^7+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^6+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^5+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(-6*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^6-3*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4-1)^3/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^5-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^6+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^5+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^6-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(-1+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201)))^2/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3-1)^3/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2-1)^2/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^4-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,-.984807753012201))^2+1)+exp(Complex(-1)*arctan((-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^4*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)+10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^3-RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^5-2*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201))/(10*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^3*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-5*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^4-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^5+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2-RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2))*conjugate(_n))/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^10+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^9+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^8+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^7+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^6+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^5+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(-6*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^6-3*RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4-1)^3/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^5-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^6+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^5+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^6-1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(-1+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201)))^2/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3-1)^3/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^3+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))+1)/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2-1)^2/(RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^4-RootOf(_Z^6+_Z^3+1,Complex(.173648177666924,.984807753012201))^2+1))*((RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2)*(RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^6+3*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^4*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2+3*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^2*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^4+RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^6+2*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)^3-6*RootOf(32768*_Z^21+40960*_Z^18+27648*_Z^15-3328*_Z^12-11720*_Z^9+1593*_Z^6-199*_Z^3+1,.173648177666924)*RootOf(1073741824*_Z^30-603979776*_Z^24-184025088*_Z^18-158367744*_Z^12+12550464*_Z^6-19683,-.984807753012201)^2+1)^(1/2))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs03/ecs_0362.json

@@ -0,0 +1,38 @@
+{
+    "id": 362,
+    "name": "Power sum a(n) = 1^n + ... + 2^n",
+    "description": "Sum of nth powers",
+    "specification": "{S = Union(Sequence(Z),Sequence(Union(Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        2,
+        3,
+        5,
+        9,
+        17,
+        33,
+        65,
+        129,
+        257,
+        513,
+        1025,
+        2049,
+        4097,
+        8193,
+        16385,
+        32769,
+        65537,
+        131073,
+        262145,
+        524289,
+        1048577
+    ],
+    "references": [
+        "EIS A000051"
+    ],
+    "gf": "-(-2+3*_x)/(-1+_x)/(-1+2*_x)",
+    "rec": "{-2*_f(_n)+_f(_n+1)+1, _f(0) = 2, _f(1) = 3}",
+    "closedform": "1+2^_n",
+    "equiv": "exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs03/ecs_0363.json

@@ -0,0 +1,38 @@
+{
+    "id": 363,
+    "name": "Power sum a(n) = 1^n + ... + 3^n",
+    "description": "Sum of nth powers",
+    "specification": "{S = Union(Sequence(Z),Sequence(Union(Z,Z)),Sequence(Union(Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        3,
+        6,
+        14,
+        36,
+        98,
+        276,
+        794,
+        2316,
+        6818,
+        20196,
+        60074,
+        179196,
+        535538,
+        1602516,
+        4799354,
+        14381676,
+        43112258,
+        129271236,
+        387682634,
+        1162785756,
+        3487832978
+    ],
+    "references": [
+        "EIS A001550"
+    ],
+    "gf": "-(11*_x^2-12*_x+3)/(-1+_x)/(-1+2*_x)/(-1+3*_x)",
+    "rec": "{-6*_f(_n)+5*_f(_n+1)-_f(_n+2)+2, _f(0) = 3, _f(1) = 6, _f(2) = 14}",
+    "closedform": "1+2^_n+3^_n",
+    "equiv": "exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs03/ecs_0364.json

@@ -0,0 +1,38 @@
+{
+    "id": 364,
+    "name": "Power sum a(n) = 1^n + ... + 4^n",
+    "description": "Sum of nth powers",
+    "specification": "{S = Union(Sequence(Z),Sequence(Union(Z,Z)),Sequence(Union(Z,Z,Z)),Sequence(Union(Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        4,
+        10,
+        30,
+        100,
+        354,
+        1300,
+        4890,
+        18700,
+        72354,
+        282340,
+        1108650,
+        4373500,
+        17312754,
+        68711380,
+        273234810,
+        1088123500,
+        4338079554,
+        17309140420,
+        69107159370,
+        276040692700,
+        1102999460754
+    ],
+    "references": [
+        "EIS A001551"
+    ],
+    "gf": "-2*(25*_x^3-35*_x^2+15*_x-2)/(-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)+6, _f(0) = 4, _f(1) = 10, _f(2) = 30, _f(3)= 100}",
+    "closedform": "1+4^_n+2^_n+3^_n",
+    "equiv": "exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs03/ecs_0365.json

@@ -0,0 +1,38 @@
+{
+    "id": 365,
+    "name": "Power sum a(n) = 1^n + ... + 5^n",
+    "description": "Sum of nth powers",
+    "specification": "{S = Union(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": [
+        5,
+        15,
+        55,
+        225,
+        979,
+        4425,
+        20515,
+        96825,
+        462979,
+        2235465,
+        10874275,
+        53201625,
+        261453379,
+        1289414505,
+        6376750435,
+        31605701625,
+        156925970179,
+        780248593545,
+        3883804424995,
+        19349527020825,
+        96470431101379
+    ],
+    "references": [
+        "EIS A001552"
+    ],
+    "gf": "-(274*_x^4-450*_x^3+255*_x^2-60*_x+5)/(-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)+24, _f(0) = 5, _f(1) = 15, _f(2) = 55, _f(3) = 225, _f(4)= 979}",
+    "closedform": "1+4^_n+5^_n+2^_n+3^_n",
+    "equiv": "exp(-_n)^(-ln(5))"
+}

combstruct/data/ecs03/ecs_0366.json

@@ -0,0 +1,38 @@
+{
+    "id": 366,
+    "name": "Power sum a(n) = 1^n + ... + 6^n",
+    "description": "Sum of nth powers",
+    "specification": "{S =Union(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": [
+        6,
+        21,
+        91,
+        441,
+        2275,
+        12201,
+        67171,
+        376761,
+        2142595,
+        12313161,
+        71340451,
+        415998681,
+        2438235715,
+        14350108521,
+        84740914531,
+        501790686201,
+        2978035877635,
+        17706908038281,
+        105443761093411,
+        628709267031321,
+        3752628871164355
+    ],
+    "references": [
+        "EIS A001553"
+    ],
+    "gf": "-(1764*_x^5-3248*_x^4+2205*_x^3-700*_x^2+105*_x-6)/(-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)+120, _f(0) = 6, _f(1) = 21, _f(2) = 91, _f(3) = 441, _f(4) =2275, _f(5) = 12201}",
+    "closedform": "1+4^_n+5^_n+2^_n+3^_n+6^_n",
+    "equiv": "exp(-_n)^(-ln(2)-ln(3))"
+}

combstruct/data/ecs03/ecs_0367.json

@@ -0,0 +1,38 @@
+{
+    "id": 367,
+    "name": "Power sum a(n) = 1^n + ... + 7^n",
+    "description": "Sum of nth powers",
+    "specification": "{S = Union(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": [
+        7,
+        28,
+        140,
+        784,
+        4676,
+        29008,
+        184820,
+        1200304,
+        7907396,
+        52666768,
+        353815700,
+        2393325424,
+        16279522916,
+        111239118928,
+        762963987380,
+        5249352196144,
+        36210966447236,
+        250337422025488,
+        1733857359003860,
+        12027604452404464,
+        83544895168776356
+    ],
+    "references": [
+        "EIS A001554"
+    ],
+    "gf": "-(13068*_x^6-26264*_x^5+20307*_x^4-7840*_x^3+1610*_x^2-168*_x+7)/(-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)+720, _f(0) =7, _f(1) = 28, _f(2) = 140, _f(3) = 784, _f(4) = 4676, _f(5) = 29008, _f(6) =184820}",
+    "closedform": "1+4^_n+5^_n+2^_n+7^_n+3^_n+6^_n",
+    "equiv": "exp(-_n)^(-ln(7))"
+}

combstruct/data/ecs03/ecs_0368.json

@@ -0,0 +1,38 @@
+{
+    "id": 368,
+    "name": "Power sum a(n) = 1^n + ... + 8^n",
+    "description": "Sum of nth powers",
+    "specification": "{S = Union(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)),Sequence(Union(Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        8,
+        36,
+        204,
+        1296,
+        8772,
+        61776,
+        446964,
+        3297456,
+        24684612,
+        186884496,
+        1427557524,
+        10983260016,
+        84998999652,
+        660994932816,
+        5161010498484,
+        40433724284976,
+        317685943157892,
+        2502137235710736,
+        19748255868485844,
+        156142792528260336,
+        1236466399775623332
+    ],
+    "references": [
+        "EIS A001555"
+    ],
+    "gf": "-4*(27396*_x^7-59062*_x^6+50463*_x^5-22449*_x^4+5670*_x^3-819*_x^2+63*_x-2)/(-1+_x)/(-1+2*_x)/(-1+3*_x)/(-1+4*_x)/(-1+5*_x)/(-1+6*_x)/(-1+7*_x)/(-1+8*_x)",
+    "rec": "{-40320*_f(_n)+69264*_f(_n+1)-48860*_f(_n+2)+18424*_f(_n+3)-4025*_f(_n+4)+511*_f(_n+5)-35*_f(_n+6)+_f(_n+7)+5040, _f(0) = 8, _f(1) = 36, _f(2) = 204, _f(3) =1296, _f(4) = 8772, _f(5) = 61776, _f(6) = 446964, _f(7) = 3297456}",
+    "closedform": "1+4^_n+5^_n+8^_n+2^_n+7^_n+3^_n+6^_n",
+    "equiv": "exp(-_n)^(-3*ln(2))"
+}

combstruct/data/ecs03/ecs_0369.json

@@ -0,0 +1,38 @@
+{
+    "id": 369,
+    "name": "Power sum a(n) = 1^n + ... + 9^n",
+    "description": "Sum of nth powers",
+    "specification": "{S = Union(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)),Sequence(Union(Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Union(Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        9,
+        45,
+        285,
+        2025,
+        15333,
+        120825,
+        978405,
+        8080425,
+        67731333,
+        574304985,
+        4914341925,
+        42364319625,
+        367428536133,
+        3202860761145,
+        28037802953445,
+        246324856379625,
+        2170706132009733,
+        19179318935377305,
+        169842891165484965,
+        1506994510201252425,
+        13394131858832552133
+    ],
+    "references": [
+        "EIS A001556"
+    ],
+    "gf": "-3*(342192*_x^8-781800*_x^7+723680*_x^6-359100*_x^5+105455*_x^4-18900*_x^3+2030*_x^2-120*_x+3)/(-1+_x)/(-1+2*_x)/(-1+3*_x)/(-1+4*_x)/(-1+5*_x)/(-1+6*_x)/(-1+7*_x)/(-1+8*_x)/(-1+9*_x)",
+    "rec": "{-362880*_f(_n)+663696*_f(_n+1)-509004*_f(_n+2)+214676*_f(_n+3)-54649*_f(_n+4)+8624*_f(_n+5)-826*_f(_n+6)+44*_f(_n+7)-_f(_n+8)+40320, _f(0) =9, _f(1) = 45, _f(2) = 285, _f(3) = 2025, _f(4) = 15333, _f(5) = 120825, _f(6)= 978405, _f(7) = 8080425, _f(8) = 67731333}",
+    "closedform": "1+4^_n+5^_n+8^_n+2^_n+7^_n+3^_n+9^_n+6^_n",
+    "equiv": "exp(-_n)^(-2*ln(3))"
+}

combstruct/data/ecs03/ecs_0370.json

@@ -0,0 +1,38 @@
+{
+    "id": 370,
+    "name": "Power sum a(n) = 1^n + ... + 10^n",
+    "description": "Sum of nth powers",
+    "specification": "{S = Union(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)),Sequence(Union(Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Union(Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Union(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        10,
+        55,
+        385,
+        3025,
+        25333,
+        220825,
+        1978405,
+        18080425,
+        167731333,
+        1574304985,
+        14914341925,
+        142364319625,
+        1367428536133,
+        13202860761145,
+        128037802953445,
+        1246324856379625,
+        12170706132009733,
+        119179318935377305,
+        1169842891165484965,
+        11506994510201252425,
+        113394131858832552133
+    ],
+    "references": [
+        "EIS A001557"
+    ],
+    "gf": "-(10628640*_x^9-25507152*_x^8+25228500*_x^7-13667720*_x^6+4510275*_x^5-946638*_x^4+127050*_x^3-10560*_x^2+495*_x-10)/(-1+_x)/(-1+2*_x)/(-1+3*_x)/(-1+4*_x)/(-1+5*_x)/(-1+6*_x)/(-1+7*_x)/(-1+8*_x)/(-1+9*_x)/(-1+10*_x)",
+    "rec": "{-3628800*_f(_n)+6999840*_f(_n+1)-5753736*_f(_n+2)+2655764*_f(_n+3)-761166*_f(_n+4)+140889*_f(_n+5)-16884*_f(_n+6)+1266*_f(_n+7)-54*_f(_n+8)+_f(_n+9)+362880, _f(0) = 10, _f(1) = 55, _f(2) = 385, _f(3)= 3025, _f(4) = 25333, _f(5) = 220825, _f(6) = 1978405, _f(7) = 18080425, _f(8) = 167731333, _f(9) = 1574304985}",
+    "closedform": "1+4^_n+5^_n+8^_n+2^_n+10^_n+7^_n+3^_n+9^_n+6^_n",
+    "equiv": "exp(-_n)^(-ln(2)-ln(5))"
+}

combstruct/data/ecs03/ecs_0371.json

@@ -0,0 +1,39 @@
+{
+    "id": 371,
+    "name": "a(n) = 2^n - 1",
+    "description": "a(n) = 2^n - 1",
+    "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 terms as ECS 345"
+    ],
+    "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))"
+}