combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs05/ecs_0579.json

@@ -0,0 +1,38 @@
+{
+    "id": 579,
+    "name": "E.g.f. x^2*(1+x-x^2)/(1-x)^2",
+    "description": "E.g.f. x^2*(1+x-x^2)/(1-x)^2",
+    "specification": "{S = Prod(Z,Z,Sequence(Z),Union(Z,Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        18,
+        96,
+        600,
+        4320,
+        35280,
+        322560,
+        3265920,
+        36288000,
+        439084800,
+        5748019200,
+        80951270400,
+        1220496076800,
+        19615115520000,
+        334764638208000,
+        6046686277632000,
+        115242726703104000,
+        2311256907767808000,
+        48658040163532800000
+    ],
+    "references": [
+        "EIS A052633"
+    ],
+    "gf": "-_x^2*(_x^2-_x-1)/(-1+_x)^2",
+    "rec": "{(-_n^2-2*_n-1)*_f(_n)+_f(_n+1)*_n, _f(0) = 0, _f(1) = 0, _f(2) =2, _f(3) = 18, _f(4) = 96, _f(5) = 600}",
+    "closedform": "(_n+piecewise(_n = 2,-1,_n = 1,-1,0))*_n!",
+    "equiv": "_n"
+}

combstruct/data/ecs05/ecs_0580.json

@@ -0,0 +1,38 @@
+{
+    "id": 580,
+    "name": "Expansion of e.g.f. 1/((1-2*x^2)*(1-x))",
+    "description": "Expansion of e.g.f. 1/((1-2*x^2)*(1-x))",
+    "specification": "{S = Prod(Sequence(Prod(Z,Union(Z,Z))),Sequence(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        6,
+        18,
+        168,
+        840,
+        10800,
+        75600,
+        1249920,
+        11249280,
+        228614400,
+        2514758400,
+        60833203200,
+        790831641600,
+        22230464256000,
+        333456963840000,
+        10691545632768000,
+        181756275757056000,
+        6549628300959744000,
+        124442937718235136000,
+        4980150410737582080000
+    ],
+    "references": [
+        "EIS A052634"
+    ],
+    "gf": "1/(2*_x^2-1)/(-1+_x)",
+    "rec": "{(2*_n^3+12*_n^2+22*_n+12)*_f(_n)+(-2*_n^2-10*_n-12)*_f(_n+1)+(-_n-3)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2) = 6}",
+    "closedform": "(-1+Sum(1/2*(1+2*_alpha)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^2-1)))*_n!",
+    "equiv": "(-1/4*exp(Complex(1)*Pi*_n)/RootOf(2*_Z^2-1,-.7071067812)^2/(-1+RootOf(2*_Z^2-1,-.7071067812))-1/4/RootOf(2*_Z^2-1,.7071067812)^2/(-1+RootOf(2*_Z^2-1,.7071067812)))*(-2*RootOf(2*_Z^2-1,-.7071067812))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0581.json

@@ -0,0 +1,38 @@
+{
+    "id": 581,
+    "name": "E.g.f. (1-3x)/(1-3x-x^2)",
+    "description": "E.g.f. (1-3x)/(1-3x-x^2)",
+    "specification": "{S = Sequence(Prod(Z,Z,Sequence(Union(Z,Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        2,
+        18,
+        240,
+        3960,
+        78480,
+        1814400,
+        47940480,
+        1425029760,
+        47065536000,
+        1709915961600,
+        67769625369600,
+        2909762279424000,
+        134544087553075200,
+        6665534018567424000,
+        352236213903974400000,
+        19777072162153033728000,
+        1175746178210879987712000,
+        73781290837476496834560000,
+        4873660997968724205404160000
+    ],
+    "references": [
+        "EIS A052635"
+    ],
+    "gf": "(-1+3*_x)/(_x^2+3*_x-1)",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+(-3*_n-6)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 0}",
+    "closedform": "Sum(1/13*(11*_alpha-3)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+3*_Z-1))*_n!",
+    "equiv": "(-11/2+3/2*13^(1/2))/(-2*(-3/2+1/2*13^(1/2))^2+9/2-3/2*13^(1/2))*exp(-_n)^(-ln(2)+ln(-3+13^(1/2)))"
+}

combstruct/data/ecs05/ecs_0582.json

@@ -0,0 +1,38 @@
+{
+    "id": 582,
+    "name": "Expansion of e.g.f. (2-x-2x^2)/((1-x)(1-2x^2))",
+    "description": "Expansion of e.g.f. (2-x-2x^2)/((1-x)(1-2x^2))",
+    "specification": "{S = Union(Sequence(Prod(Z,Union(Z,Z))),Sequence(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        1,
+        6,
+        6,
+        120,
+        120,
+        6480,
+        5040,
+        685440,
+        362880,
+        119750400,
+        39916800,
+        31135104000,
+        6227020800,
+        11245999564800,
+        1307674368000,
+        5377157001216000,
+        355687428096000,
+        3284417711038464000,
+        121645100408832000,
+        2493724558381056000000
+    ],
+    "references": [
+        "EIS A052636"
+    ],
+    "gf": "-(2*_x^2+_x-2)/(2*_x^2-1)/(-1+_x)",
+    "rec": "{(2*_n^3+12*_n^2+22*_n+12)*_f(_n)+(-2*_n^2-10*_n-12)*_f(_n+1)+(-_n-3)*_f(_n+2)+_f(_n+3), _f(0) = 2, _f(1) = 1, _f(2) = 6, _f(3) = 6}",
+    "closedform": "(1+Sum(1/2*_alpha^(-_n),_alpha = RootOf(2*_Z^2-1)))*_n!",
+    "equiv": "(1/4*exp(Complex(1)*Pi*_n)*(2*RootOf(2*_Z^2-1,-.7071067812)^2+RootOf(2*_Z^2-1,-.7071067812)-2)/RootOf(2*_Z^2-1,-.7071067812)^2/(-1+RootOf(2*_Z^2-1,-.7071067812))+1/4*(2*RootOf(2*_Z^2-1,.7071067812)^2+RootOf(2*_Z^2-1,.7071067812)-2)/RootOf(2*_Z^2-1,.7071067812)^2/(-1+RootOf(2*_Z^2-1,.7071067812)))*(-2*RootOf(2*_Z^2-1,-.7071067812))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0583.json

@@ -0,0 +1,38 @@
+{
+    "id": 583,
+    "name": "E.g.f. 3x(1+x-x^2)/(1-x)",
+    "description": "E.g.f. 3x(1+x-x^2)/(1-x)",
+    "specification": "{S = Prod(Union(Z,Sequence(Z)),Union(Z,Z,Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        3,
+        12,
+        18,
+        72,
+        360,
+        2160,
+        15120,
+        120960,
+        1088640,
+        10886400,
+        119750400,
+        1437004800,
+        18681062400,
+        261534873600,
+        3923023104000,
+        62768369664000,
+        1067062284288000,
+        19207121117184000,
+        364935301226496000,
+        7298706024529920000
+    ],
+    "references": [
+        "EIS A052637"
+    ],
+    "gf": "3*_x*(_x^2-_x-1)/(-1+_x)",
+    "rec": "{(-1-_n)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 3, _f(2) = 12, _f(3) = 18,_f(4) = 72}",
+    "closedform": "(3+piecewise(_n = 2,3,_n = 0,-3,0))*_n!",
+    "equiv": "3"
+}

combstruct/data/ecs05/ecs_0584.json

@@ -0,0 +1,38 @@
+{
+    "id": 584,
+    "name": "E.g.f. x^2*(1+x-2x^2)/(1-2x)",
+    "description": "E.g.f. x^2*(1+x-2x^2)/(1-2x)",
+    "specification": "{S = Prod(Z,Z,Union(Z,Sequence(Union(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        18,
+        96,
+        960,
+        11520,
+        161280,
+        2580480,
+        46448640,
+        928972800,
+        20437401600,
+        490497638400,
+        12752938598400,
+        357082280755200,
+        10712468422656000,
+        342798989524992000,
+        11655165643849728000,
+        419585963178590208000,
+        15944266600786427904000,
+        637770664031457116160000
+    ],
+    "references": [
+        "EIS A052638"
+    ],
+    "gf": "_x^2*(2*_x^2-_x-1)/(-1+2*_x)",
+    "rec": "{(-2*_n-2)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3) = 18, _f(4) = 96}",
+    "closedform": "(1/4*2^_n+piecewise(_n = 0,-1/4,_n = 1,-1/2,_n= 3,1,0))*_n!",
+    "equiv": "1/4*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs05/ecs_0585.json

@@ -0,0 +1,38 @@
+{
+    "id": 585,
+    "name": "E.g.f. (1-2x)/(1-2x-x^3)",
+    "description": "E.g.f. (1-2x)/(1-2x-x^3)",
+    "specification": "{S = Sequence(Prod(Z,Z,Z,Sequence(Union(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        6,
+        48,
+        480,
+        6480,
+        100800,
+        1774080,
+        35199360,
+        776563200,
+        18840729600,
+        498640665600,
+        14297239756800,
+        441470866636800,
+        14605415016192000,
+        515412006100992000,
+        19325209343311872000,
+        767215648278503424000,
+        32150800038054297600000,
+        1418216433430425108480000
+    ],
+    "references": [
+        "EIS A052639"
+    ],
+    "gf": "(-1+2*_x)/(_x^3+2*_x-1)",
+    "rec": "{(-_n^3-6*_n^2-11*_n-6)*_f(_n)+(-2*_n-6)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) = 0}",
+    "closedform": "Sum(-1/59*(6*_alpha^2-25*_alpha+8)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+2*_Z-1))*_n!",
+    "equiv": "(-1+2*RootOf(_Z^3+2*_Z-1,.453397651516404))/(-3*RootOf(_Z^3+2*_Z-1,.453397651516404)^3-2*RootOf(_Z^3+2*_Z-1,.453397651516404))*(RootOf(_Z^3+2*_Z-1,.453397651516404)^2+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0586.json

@@ -0,0 +1,38 @@
+{
+    "id": 586,
+    "name": "E.g.f. x*(1-x)/(1-2*x-x^2+x^3)",
+    "description": "E.g.f. x*(1-x)/(1-2*x-x^2+x^3)",
+    "specification": "{S = Prod(Z,Sequence(Prod(Z,Union(Z,Sequence(Z)))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        18,
+        144,
+        1680,
+        22320,
+        352800,
+        6330240,
+        128096640,
+        2877638400,
+        71131737600,
+        1917922406400,
+        56024506137600,
+        1762396334899200,
+        59401108166400000,
+        2135568241078272000,
+        81575844571533312000,
+        3299386460762456064000,
+        140859430598808649728000,
+        6330165302172791439360000
+    ],
+    "references": [
+        "EIS A052640"
+    ],
+    "gf": "-_x*(-1+_x)/(_x^3-_x^2-2*_x+1)",
+    "rec": "{(_n^3+6*_n^2+11*_n+6)*_f(_n)+(-_n^2-5*_n-6)*_f(_n+1)+(-2*_n-6)*_f(_n+2)+_f(_n+3), _f(0) = 0, _f(1) = 1, _f(2) = 2}",
+    "closedform": "Sum(1/7*(_alpha^2-_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-_Z^2-2*_Z+1))*_n!",
+    "equiv": "-RootOf(_Z^3-_Z^2-2*_Z+1,.445041867912627)*(-1+RootOf(_Z^3-_Z^2-2*_Z+1,.445041867912627))/(-3*RootOf(_Z^3-_Z^2-2*_Z+1,.445041867912627)^3+2*RootOf(_Z^3-_Z^2-2*_Z+1,.445041867912627)^2+2*RootOf(_Z^3-_Z^2-2*_Z+1,.445041867912627))*(-RootOf(_Z^3-_Z^2-2*_Z+1,.445041867912627)^2+RootOf(_Z^3-_Z^2-2*_Z+1,.445041867912627)+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0587.json

@@ -0,0 +1,38 @@
+{
+    "id": 587,
+    "name": "Expansion of e.g.f. (1-x)/(1-3*x-x^2+x^3)",
+    "description": "Expansion of e.g.f. (1-x)/(1-3*x-x^2+x^3)",
+    "specification": "{S = Sequence(Prod(Z,Union(Z,Sequence(Z),Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        14,
+        132,
+        1704,
+        27360,
+        527760,
+        11874240,
+        305343360,
+        8833224960,
+        283928198400,
+        10038995366400,
+        387222498432000,
+        16180539927552000,
+        728132005791590400,
+        35106736224688128000,
+        1805508406018437120000,
+        98659182376425775104000,
+        5708198840012560539648000,
+        348611548380862372429824000,
+        22410979654601763049144320000
+    ],
+    "references": [
+        "EIS A052641"
+    ],
+    "gf": "-(-1+_x)/(_x^3-_x^2-3*_x+1)",
+    "rec": "{(_n^3+6*_n^2+11*_n+6)*_f(_n)+(-_n^2-5*_n-6)*_f(_n+1)+(-3*_n-9)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 2, _f(2) = 14}",
+    "closedform": "Sum(-1/74*(7*_alpha^2-16*_alpha-11)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-_Z^2-3*_Z+1))*_n!",
+    "equiv": "-(-1+RootOf(_Z^3-_Z^2-3*_Z+1,.311107817465982))/(-3*RootOf(_Z^3-_Z^2-3*_Z+1,.311107817465982)^3+2*RootOf(_Z^3-_Z^2-3*_Z+1,.311107817465982)^2+3*RootOf(_Z^3-_Z^2-3*_Z+1,.311107817465982))*(-RootOf(_Z^3-_Z^2-3*_Z+1,.311107817465982)^2+RootOf(_Z^3-_Z^2-3*_Z+1,.311107817465982)+3)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0588.json

@@ -0,0 +1,38 @@
+{
+    "id": 588,
+    "name": "Expansion of e.g.f. x^2*(2+x-x^2)/(1-x)",
+    "description": "Expansion of e.g.f. x^2*(2+x-x^2)/(1-x)",
+    "specification": "{S = Prod(Z,Z,Union(Z,Sequence(Z),Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        4,
+        18,
+        48,
+        240,
+        1440,
+        10080,
+        80640,
+        725760,
+        7257600,
+        79833600,
+        958003200,
+        12454041600,
+        174356582400,
+        2615348736000,
+        41845579776000,
+        711374856192000,
+        12804747411456000,
+        243290200817664000,
+        4865804016353280000
+    ],
+    "references": [
+        "EIS A052642"
+    ],
+    "gf": "_x^2*(_x^2-_x-2)/(-1+_x)",
+    "rec": "{(-1-_n)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 4, _f(3) = 18, _f(4) = 48, _f(5) =240}",
+    "closedform": "(2+piecewise(_n = 3,1,_n = 1,-2,_n = 0,-2,0))*_n!",
+    "equiv": "2"
+}

combstruct/data/ecs05/ecs_0589.json

@@ -0,0 +1,38 @@
+{
+    "id": 589,
+    "name": "E.g.f. (1+x-x^2)^2/(1-x)^2",
+    "description": "E.g.f. (1+x-x^2)^2/(1-x)^2",
+    "specification": "{S = Prod(Union(Z,Sequence(Z)),Union(Z,Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        12,
+        36,
+        168,
+        960,
+        6480,
+        50400,
+        443520,
+        4354560,
+        47174400,
+        558835200,
+        7185024000,
+        99632332800,
+        1482030950400,
+        23538138624000,
+        397533007872000,
+        7113748561920000,
+        134449847820288000,
+        2676192208994304000,
+        55956746188062720000
+    ],
+    "references": [
+        "EIS A052643"
+    ],
+    "gf": "(_x^2-_x-1)^2/(-1+_x)^2",
+    "rec": "{(-_n^2-5*_n-4)*_f(_n)+(_n+3)*_f(_n+1), _f(0) = 1, _f(1) = 4, _f(2) =12, _f(3) = 36, _f(4) = 168, _f(5) = 960}",
+    "closedform": "(_n+3+piecewise(_n = 2,1,_n = 0,-2,0))*_n!",
+    "equiv": "_n"
+}

combstruct/data/ecs05/ecs_0590.json

@@ -0,0 +1,38 @@
+{
+    "id": 590,
+    "name": "Expansion of e.g.f. (1+3x-3x^2)/(1-x)^2",
+    "description": "Expansion of e.g.f. (1+3x-3x^2)/(1-x)^2",
+    "specification": "{S = Prod(Sequence(Z),Union(Z,Z,Z,Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        5,
+        12,
+        42,
+        192,
+        1080,
+        7200,
+        55440,
+        483840,
+        4717440,
+        50803200,
+        598752000,
+        7664025600,
+        105859353600,
+        1569209241600,
+        24845812992000,
+        418455797760000,
+        7469435990016000,
+        140852221526016000,
+        2797837309403136000,
+        58389648196239360000
+    ],
+    "references": [
+        "EIS A052644"
+    ],
+    "gf": "-(3*_x^2-3*_x-1)/(-1+_x)^2",
+    "rec": "{(-_n^2-6*_n-5)*_f(_n)+(_n+4)*_f(_n+1), _f(0) = 1, _f(1) = 5, _f(2) = 12, _f(3) = 42}",
+    "closedform": "(_n+4+piecewise(_n = 0,-3,0))*_n!",
+    "equiv": "_n"
+}

combstruct/data/ecs05/ecs_0591.json

@@ -0,0 +1,38 @@
+{
+    "id": 591,
+    "name": "E.g.f. 2*x^2*(1+x-x^2)/(1-x)",
+    "description": "E.g.f. 2*x^2*(1+x-x^2)/(1-x)",
+    "specification": "{S = Prod(Z,Union(Z,Z),Union(Z,Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        4,
+        24,
+        48,
+        240,
+        1440,
+        10080,
+        80640,
+        725760,
+        7257600,
+        79833600,
+        958003200,
+        12454041600,
+        174356582400,
+        2615348736000,
+        41845579776000,
+        711374856192000,
+        12804747411456000,
+        243290200817664000,
+        4865804016353280000
+    ],
+    "references": [
+        "EIS A052645"
+    ],
+    "gf": "2*_x^2*(_x^2-_x-1)/(-1+_x)",
+    "rec": "{(-1-_n)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 4, _f(3) = 24, _f(4) = 48, _f(5) = 240}",
+    "closedform": "(2+piecewise(_n = 3,2,_n = 1,-2,_n = 0,-2,0))*_n!",
+    "equiv": "2"
+}

combstruct/data/ecs05/ecs_0592.json

@@ -0,0 +1,38 @@
+{
+    "id": 592,
+    "name": "E.g.f. 1/((1-x)(1-x-x^2))",
+    "description": "E.g.f. 1/((1-x)(1-x-x^2))",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Union(Z,Prod(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        8,
+        42,
+        288,
+        2400,
+        23760,
+        272160,
+        3548160,
+        51891840,
+        841881600,
+        15008716800,
+        291711974400,
+        6139842508800,
+        139136552755200,
+        3377722892544000,
+        87457261731840000,
+        2405869763641344000,
+        70073980209192960000,
+        2154334728240414720000,
+        69717239946309795840000
+    ],
+    "references": [
+        "EIS A052646"
+    ],
+    "gf": "1/(-1+_x)/(_x^2+_x-1)",
+    "rec": "{(_n^3+6*_n^2+11*_n+6)*_f(_n)+(-2*_n-6)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 2, _f(2) = 8}",
+    "closedform": "(-1+Sum(1/5*(3*_alpha+4)*_alpha^(-1-_n),_alpha =RootOf(_Z^2+_Z-1)))*_n!",
+    "equiv": "1/(-1+RootOf(_Z^2+_Z-1,.6180339887))/(-2*RootOf(_Z^2+_Z-1,.6180339887)^2-RootOf(_Z^2+_Z-1,.6180339887))*(1+RootOf(_Z^2+_Z-1,.6180339887))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0593.json

@@ -0,0 +1,38 @@
+{
+    "id": 593,
+    "name": "E.g.f. (2-2x-x^2)/((1-2x)(1-x^2))",
+    "description": "E.g.f. (2-2x-x^2)/((1-2x)(1-x^2))",
+    "specification": "{S = Union(Sequence(Prod(Z,Z)),Sequence(Union(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        2,
+        10,
+        48,
+        408,
+        3840,
+        46800,
+        645120,
+        10362240,
+        185794560,
+        3719520000,
+        81749606400,
+        1962469555200,
+        51011754393600,
+        1428416301312000,
+        42849873690624000,
+        1371216880889856000,
+        46620662575398912000,
+        1678350255088066560000,
+        63777066403145711616000,
+        2551085089027836641280000
+    ],
+    "references": [
+        "EIS A052647"
+    ],
+    "gf": "-(_x^2+2*_x-2)/(-1+2*_x)/(_x^2-1)",
+    "rec": "{(2*_n^3+12*_n^2+22*_n+12)*_f(_n)+(-_n^2-5*_n-6)*_f(_n+1)+(-2*_n-6)*_f(_n+2)+_f(_n+3), _f(0) =2, _f(1) = 2, _f(2) = 10, _f(3) = 48}",
+    "closedform": "(Sum(1/2*_alpha^(-_n),_alpha = RootOf(_Z^2-1))+2^_n)*_n!",
+    "equiv": "exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs05/ecs_0594.json

@@ -0,0 +1,38 @@
+{
+    "id": 594,
+    "name": "a(n) is the n-th quintic factorial number divided by 5",
+    "description": "a(n) is the n-th quintic factorial number divided by 5",
+    "specification": "{S = Sequence(Prod(Z,Sequence(Union(Z,Z,Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        10,
+        150,
+        3000,
+        75000,
+        2250000,
+        78750000,
+        3150000000,
+        141750000000,
+        7087500000000,
+        389812500000000,
+        23388750000000000,
+        1520268750000000000,
+        106418812500000000000,
+        7981410937500000000000,
+        638512875000000000000000,
+        54273594375000000000000000,
+        4884623493750000000000000000,
+        464039231906250000000000000000,
+        46403923190625000000000000000000
+    ],
+    "references": [
+        "EIS A034325"
+    ],
+    "gf": "(-1+4*_x)/(-1+5*_x)",
+    "rec": "{(-5*_n-5)*_f(_n)+_f(_n+1), _f(0) = 1, _f(1) = 1}",
+    "closedform": "(5^(_n-1)+piecewise(_n = 0,4/5,0))*_n!",
+    "equiv": "1/5*exp(-_n)^(-ln(5))"
+}

combstruct/data/ecs05/ecs_0595.json

@@ -0,0 +1,38 @@
+{
+    "id": 595,
+    "name": "Expansion of e.g.f. 5*x/(1-x)",
+    "description": "Expansion of e.g.f. 5*x/(1-x)",
+    "specification": "{S = Prod(Sequence(Z),Union(Z,Z,Z,Z,Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        5,
+        10,
+        30,
+        120,
+        600,
+        3600,
+        25200,
+        201600,
+        1814400,
+        18144000,
+        199584000,
+        2395008000,
+        31135104000,
+        435891456000,
+        6538371840000,
+        104613949440000,
+        1778437140480000,
+        32011868528640000,
+        608225502044160000,
+        12164510040883200000
+    ],
+    "references": [
+        "EIS A052648"
+    ],
+    "gf": "-5*_x/(-1+_x)",
+    "rec": "{(-1-_n)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 5, _f(2) = 10}",
+    "closedform": "(5+piecewise(_n = 0,-5,0))*_n!",
+    "equiv": "5"
+}