combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs05/ecs_0562.json

@@ -0,0 +1,38 @@
+{
+    "id": 562,
+    "name": "E.g.f. (1+x-x^2)/((1-x)(1-2x))",
+    "description": "E.g.f. (1+x-x^2)/((1-x)(1-2x))",
+    "specification": "{S= Prod(Union(Z,Sequence(Z)),Sequence(Union(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        18,
+        114,
+        936,
+        9480,
+        114480,
+        1607760,
+        25764480,
+        464123520,
+        9286099200,
+        204334099200,
+        4904497382400,
+        127523158963200,
+        3570735629260800,
+        107123376552192000,
+        3427968972460032000,
+        116551300751069184000,
+        4195853229412196352000,
+        159442544362763870208000,
+        6377704207412562984960000
+    ],
+    "references": [
+        "EIS A052617"
+    ],
+    "gf": "-(_x^2-_x-1)/(-1+2*_x)/(-1+_x)",
+    "rec": "{(2*_n^2+6*_n+4)*_f(_n)+(-3*_n-6)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) =4, _f(2) = 18, _f(3) = 114}",
+    "closedform": "(-1+5*2^(_n-1)+piecewise(_n = 0,-1/2,0))*_n!",
+    "equiv": "5/2*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs05/ecs_0563.json

@@ -0,0 +1,38 @@
+{
+    "id": 563,
+    "name": "Expansion of e.g.f. 1/((1-x)^2*(1-x^2))",
+    "description": "Expansion of e.g.f. 1/((1-x)^2*(1-x^2))",
+    "specification": "{S =Prod(Sequence(Z),Sequence(Z),Sequence(Prod(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        8,
+        36,
+        216,
+        1440,
+        11520,
+        100800,
+        1008000,
+        10886400,
+        130636800,
+        1676505600,
+        23471078400,
+        348713164800,
+        5579410636800,
+        94152554496000,
+        1694745980928000,
+        32011868528640000,
+        640237370572800000,
+        13380961044971520000,
+        294381142989373440000
+    ],
+    "references": [
+        "EIS A052618"
+    ],
+    "gf": "-1/(-1+_x)^2/(_x^2-1)",
+    "rec": "{(-_n^2-5*_n-4)*_f(_n)-2*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 2}",
+    "closedform": "(7/8+_n+1/8*(-1)^(-_n)+1/4*_n^2)*_n!",
+    "equiv": "1/4*_n^2"
+}

combstruct/data/ecs05/ecs_0564.json

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

combstruct/data/ecs05/ecs_0565.json

@@ -0,0 +1,38 @@
+{
+    "id": 565,
+    "name": "a(n) = 2^n*(n-1)! for n > 1, a(1) = 1",
+    "description": "a(n) = 2^n*(n-1)! for n > 1, a(1) = 1",
+    "specification": "{S =Prod(Sequence(Z),Union(Z,Sequence(Union(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        16,
+        96,
+        768,
+        7680,
+        92160,
+        1290240,
+        20643840,
+        371589120,
+        7431782400,
+        163499212800,
+        3923981107200,
+        102023508787200,
+        2856658246041600,
+        85699747381248000,
+        2742391916199936000,
+        93241325150797824000,
+        3356687705428721664000,
+        127554132806291423232000,
+        5102165312251656929280000
+    ],
+    "references": [
+        "EIS A032184"
+    ],
+    "gf": "-(2*_x+1)/(-1+2*_x)",
+    "rec": "{(-2*_n-2)*_f(_n)+_f(_n+1), _f(0) = 1, _f(1) = 4}",
+    "closedform": "(2^(_n+1)+piecewise(_n = 0,-1,0))*_n!",
+    "equiv": "2*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs05/ecs_0566.json

@@ -0,0 +1,38 @@
+{
+    "id": 566,
+    "name": "E.g.f. (1-x)^2/(1-3x+x^3)",
+    "description": "E.g.f. (1-x)^2/(1-3x+x^3)",
+    "specification": "{S = Sequence(Prod(Z,Sequence(Z),Union(Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        8,
+        66,
+        768,
+        11040,
+        190800,
+        3845520,
+        88583040,
+        2295578880,
+        66098592000,
+        2093556326400,
+        72337863628800,
+        2707751497651200,
+        109153235884492800,
+        4714413247095552000,
+        217193790828478464000,
+        10631538129843671040000,
+        551021291753778413568000,
+        30145448930088595783680000,
+        1736007214997185037107200000
+    ],
+    "references": [
+        "EIS A052620"
+    ],
+    "gf": "(-1+_x)^2/(_x^3-3*_x+1)",
+    "rec": "{(_n^3+6*_n^2+11*_n+6)*_f(_n)+(-3*_n-9)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2) = 8}",
+    "closedform": "Sum(-1/9*(2*_alpha^2-2*_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-3*_Z+1))*_n!",
+    "equiv": "(-1+RootOf(_Z^3-3*_Z+1,.347296355333861))^2/(-3*RootOf(_Z^3-3*_Z+1,.347296355333861)^3+3*RootOf(_Z^3-3*_Z+1,.347296355333861))*(-RootOf(_Z^3-3*_Z+1,.347296355333861)^2+3)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0567.json

@@ -0,0 +1,38 @@
+{
+    "id": 567,
+    "name": "E.g.f. (2+x+x^2+x^3)/(1-x^4)",
+    "description": "E.g.f. (2+x+x^2+x^3)/(1-x^4)",
+    "specification": "{S= Union(Sequence(Z),Sequence(Prod(Z,Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        1,
+        2,
+        6,
+        48,
+        120,
+        720,
+        5040,
+        80640,
+        362880,
+        3628800,
+        39916800,
+        958003200,
+        6227020800,
+        87178291200,
+        1307674368000,
+        41845579776000,
+        355687428096000,
+        6402373705728000,
+        121645100408832000,
+        4865804016353280000
+    ],
+    "references": [
+        "EIS A052621"
+    ],
+    "gf": "-(_x^3+_x^2+_x+2)/(_x^4-1)",
+    "rec": "{(-_n^4-10*_n^3-35*_n^2-50*_n-24)*_f(_n)+_f(_n+4), _f(0) = 2, _f(1) = 1, _f(2) = 2, _f(3) = 6, _f(4) = 48}",
+    "closedform": "Sum(1/4*(_alpha^3+_alpha^2+2*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-1))*_n!",
+    "equiv": "5/4-1/4*exp(Complex(1)*Pi*_n)+Complex(-1/4)*exp(Complex(1/2)*Pi*_n)+Complex(1/4)*exp(Complex(-1/2)*Pi*_n)"
+}

combstruct/data/ecs05/ecs_0568.json

@@ -0,0 +1,38 @@
+{
+    "id": 568,
+    "name": "E.g.f. (1-x^2)/(1-2x-x^2)",
+    "description": "E.g.f. (1-x^2)/(1-2x-x^2)",
+    "specification": "{S = Sequence(Prod(Union(Z,Z),Sequence(Prod(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        8,
+        60,
+        576,
+        6960,
+        100800,
+        1703520,
+        32901120,
+        714873600,
+        17258572800,
+        458324697600,
+        13277924352000,
+        416724685977600,
+        14084873439436800,
+        510058387238400000,
+        19702238017093632000,
+        808611973910028288000,
+        35138915893991669760000,
+        1611824099048913125376000,
+        77825752001673359523840000
+    ],
+    "references": [
+        "EIS A052622"
+    ],
+    "gf": "(_x^2-1)/(_x^2+2*_x-1)",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+(-2*_n-4)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 2, _f(2) = 8}",
+    "closedform": "(Sum(-1/2*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+2*_Z-1))+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "((2^(1/2)-1)^2-1)/(-2*(2^(1/2)-1)^2-2*2^(1/2)+2)*exp(-_n)^ln(2^(1/2)-1)"
+}

combstruct/data/ecs05/ecs_0569.json

@@ -0,0 +1,38 @@
+{
+    "id": 569,
+    "name": "E.g.f. x(1-x)^2/(1-3x+x^2)",
+    "description": "E.g.f. x(1-x)^2/(1-3x+x^2)",
+    "specification": "{S = Prod(Z,Sequence(Prod(Z,Sequence(Z),Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        18,
+        192,
+        2520,
+        39600,
+        725760,
+        15200640,
+        358162560,
+        9376819200,
+        270037152000,
+        8483597337600,
+        288734500454400,
+        10582834303641600,
+        415593298568448000,
+        17408598098411520000,
+        774797125808369664000,
+        36512013775538036736000,
+        1816204168179205668864000,
+        95097684856047886172160000
+    ],
+    "references": [
+        "EIS A052623"
+    ],
+    "gf": "_x*(-1+_x)^2/(_x^2-3*_x+1)",
+    "rec": "{(_n^2+3*_n+2)*_f(_n)+(-3*_n-6)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 1, _f(2) = 2, _f(3) = 18}",
+    "closedform": "(Sum(-1/5*(7*_alpha-3)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-3*_Z+1))+piecewise(_n = 0,1,_n = 1,1,0))*_n!",
+    "equiv": "(3/2-1/2*5^(1/2))*(1/2-1/2*5^(1/2))^2/(-2*(3/2-1/2*5^(1/2))^2+9/2-3/2*5^(1/2))*exp(-_n)^(-ln(2)+ln(3-5^(1/2)))"
+}

combstruct/data/ecs05/ecs_0570.json

@@ -0,0 +1,38 @@
+{
+    "id": 570,
+    "name": "E.g.f. (1+x^2-2x^3+x^4)/(1-x)^2",
+    "description": "E.g.f. (1+x^2-2x^3+x^4)/(1-x)^2",
+    "specification": "{S = Union(Prod(Sequence(Z),Sequence(Z)),Prod(Z,Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        8,
+        24,
+        120,
+        720,
+        5040,
+        40320,
+        362880,
+        3628800,
+        39916800,
+        479001600,
+        6227020800,
+        87178291200,
+        1307674368000,
+        20922789888000,
+        355687428096000,
+        6402373705728000,
+        121645100408832000,
+        2432902008176640000,
+        51090942171709440000
+    ],
+    "references": [
+        "EIS A052624"
+    ],
+    "gf": "(_x^4-2*_x^3+_x^2+1)/(-1+_x)^2",
+    "rec": "{(-_n-2)*_f(_n)+_f(_n+1), _f(0) = 1, _f(1) = 2, _f(2) = 8, _f(3) = 24, _f(4) = 120, _f(5) = 720}",
+    "closedform": "(_n+1+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "_n"
+}

combstruct/data/ecs05/ecs_0571.json

@@ -0,0 +1,38 @@
+{
+    "id": 571,
+    "name": "E.g.f. (1-x)^2/(1-2x+x^2-x^3)",
+    "description": "E.g.f. (1-x)^2/(1-2x+x^2-x^3)",
+    "specification": "{S = Sequence(Prod(Z,Z,Z,Sequence(Z),Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        6,
+        48,
+        360,
+        3600,
+        45360,
+        645120,
+        10160640,
+        177811200,
+        3432844800,
+        72329241600,
+        1650160512000,
+        40537905408000,
+        1067062284288000,
+        29961435119616000,
+        893842506805248000,
+        28234468042260480000,
+        941411432063950848000,
+        33041242173046947840000
+    ],
+    "references": [
+        "EIS A052625"
+    ],
+    "gf": "-(-1+_x)^2/(_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) = 1, _f(1) =0, _f(2) = 0}",
+    "closedform": "Sum(-1/23*(6*_alpha^2-11*_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-_Z^2+2*_Z-1))*_n!",
+    "equiv": "-(-1+RootOf(_Z^3-_Z^2+2*_Z-1,.569840290998053))^2/(-3*RootOf(_Z^3-_Z^2+2*_Z-1,.569840290998053)^3+2*RootOf(_Z^3-_Z^2+2*_Z-1,.569840290998053)^2-2*RootOf(_Z^3-_Z^2+2*_Z-1,.569840290998053))*(RootOf(_Z^3-_Z^2+2*_Z-1,.569840290998053)^2-RootOf(_Z^3-_Z^2+2*_Z-1,.569840290998053)+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0572.json

@@ -0,0 +1,38 @@
+{
+    "id": 572,
+    "name": "(2^n+2)*n!",
+    "description": "(2^n+2)*n!",
+    "specification": "{S = Union(Sequence(Z),Sequence(Z),Sequence(Union(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        3,
+        4,
+        12,
+        60,
+        432,
+        4080,
+        47520,
+        655200,
+        10402560,
+        186520320,
+        3723148800,
+        81829440000,
+        1962948556800,
+        51024208435200,
+        1428503479603200,
+        42852489039360000,
+        1371237803679744000,
+        46621373950255104000,
+        1678356657461772288000,
+        63777309693346529280000,
+        2551087521929844817920000
+    ],
+    "references": [
+        "EIS A052626"
+    ],
+    "gf": "-(-3+5*_x)/(-1+2*_x)/(-1+_x)",
+    "rec": "{(2*_n^2+6*_n+4)*_f(_n)+(-3*_n-6)*_f(_n+1)+_f(_n+2), _f(0) = 3, _f(1) = 4, _f(2) = 12}",
+    "closedform": "(2+2^_n)*_n!",
+    "equiv": "exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs05/ecs_0573.json

@@ -0,0 +1,38 @@
+{
+    "id": 573,
+    "name": "E.g.f. (1-x)/(1-x-x^5)",
+    "description": "E.g.f. (1-x)/(1-x-x^5)",
+    "specification": "{S = Sequence(Prod(Z,Z,Z,Z,Z,Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        0,
+        0,
+        120,
+        720,
+        5040,
+        40320,
+        362880,
+        7257600,
+        119750400,
+        1916006400,
+        31135104000,
+        523069747200,
+        10461394944000,
+        230150688768000,
+        5335311421440000,
+        128047474114560000,
+        3162772610629632000,
+        82718668278005760000
+    ],
+    "references": [
+        "EIS A052627"
+    ],
+    "gf": "(-1+_x)/(_x^5+_x-1)",
+    "rec": "{(-_n^5-15*_n^4-85*_n^3-225*_n^2-274*_n-120)*_f(_n)+(-_n-5)*_f(_n+4)+_f(_n+5), _f(0) = 1, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0}",
+    "closedform": "Sum(-1/3381*(80*_alpha^4+100*_alpha^3+125*_alpha^2-689*_alpha+64)*_alpha^(-1-_n),_alpha = RootOf(_Z^5+_Z-1))*_n!",
+    "equiv": "(-1+RootOf(_Z^3+_Z^2-1,.754877666246695))/(-5*RootOf(_Z^3+_Z^2-1,.754877666246695)^5-RootOf(_Z^3+_Z^2-1,.754877666246695))*(RootOf(_Z^3+_Z^2-1,.754877666246695)^2+RootOf(_Z^3+_Z^2-1,.754877666246695))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0574.json

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

combstruct/data/ecs05/ecs_0575.json

@@ -0,0 +1,38 @@
+{
+    "id": 575,
+    "name": "Expansion of e.g.f. (1-x)/(1-5x+3x^2)",
+    "description": "Expansion of e.g.f. (1-x)/(1-5x+3x^2)",
+    "specification": "{S = Sequence(Union(Z,Z,Z,Prod(Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        34,
+        438,
+        7536,
+        162120,
+        4185360,
+        126060480,
+        4339278720,
+        168038478720,
+        7230318681600,
+        342214829510400,
+        17669683572710400,
+        988372892015308800,
+        59538455210371737600,
+        3842709218808235776000,
+        264549049753191211008000,
+        19351018506473732542464000,
+        1498735637909206397116416000,
+        122525740613732558137491456000,
+        10544015434156760521036431360000
+    ],
+    "references": [
+        "EIS A052629"
+    ],
+    "gf": "-(-1+_x)/(3*_x^2-5*_x+1)",
+    "rec": "{(3*_n^2+9*_n+6)*_f(_n)+(-5*_n-10)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 4}",
+    "closedform": "Sum(-1/13*(_alpha-3)*_alpha^(-1-_n),_alpha = RootOf(3*_Z^2-5*_Z+1))*_n!",
+    "equiv": "-(-1/6-1/6*13^(1/2))/(-6*(5/6-1/6*13^(1/2))^2+25/6-5/6*13^(1/2))*exp(-_n)^(-ln(2)-ln(3)+ln(5-13^(1/2)))"
+}

combstruct/data/ecs05/ecs_0576.json

@@ -0,0 +1,38 @@
+{
+    "id": 576,
+    "name": "E.g.f. 1/(1-4x-x^2)",
+    "description": "E.g.f. 1/(1-4x-x^2)",
+    "specification": "{S = Sequence(Union(Z,Z,Z,Z,Prod(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        34,
+        432,
+        7320,
+        155040,
+        3940560,
+        116847360,
+        3959786880,
+        150965337600,
+        6394994323200,
+        297985937356800,
+        15147464243788800,
+        834153946904678400,
+        49469459519031552000,
+        3143339899991875584000,
+        213046423884047609856000,
+        15342145276913027629056000,
+        1169826665646256557907968000,
+        94153840273819753850142720000,
+        7976841354851157800016445440000
+    ],
+    "references": [
+        "EIS A052630"
+    ],
+    "gf": "-1/(_x^2+4*_x-1)",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+(-4*_n-8)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 4}",
+    "closedform": "Sum(1/10*(_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+4*_Z-1))*_n!",
+    "equiv": "-1/(-2*(-2+5^(1/2))^2+8-4*5^(1/2))*exp(-_n)^ln(-2+5^(1/2))"
+}

combstruct/data/ecs05/ecs_0577.json

@@ -0,0 +1,38 @@
+{
+    "id": 577,
+    "name": "a(n) = n!*Pell(n) (or n!*A000129(n))",
+    "description": "a(n) = n!*Pell(n) (or n!*A000129(n))",
+    "specification": "{S = Prod(Z,Sequence(Union(Z,Z,Prod(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        30,
+        288,
+        3480,
+        50400,
+        851760,
+        16450560,
+        357436800,
+        8629286400,
+        229162348800,
+        6638962176000,
+        208362342988800,
+        7042436719718400,
+        255029193619200000,
+        9851119008546816000,
+        404305986955014144000,
+        17569457946995834880000,
+        805912049524456562688000,
+        38912876000836679761920000
+    ],
+    "references": [
+        "EIS A052631"
+    ],
+    "gf": "-_x/(_x^2+2*_x-1)",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+(-2*_n-4)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 1}",
+    "closedform": "Sum(-1/4*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+2*_Z-1))*_n!",
+    "equiv": "-(2^(1/2)-1)/(-2*(2^(1/2)-1)^2-2*2^(1/2)+2)*exp(-_n)^ln(2^(1/2)-1)"
+}

combstruct/data/ecs05/ecs_0578.json

@@ -0,0 +1,38 @@
+{
+    "id": 578,
+    "name": "E.g.f. 1/(1-x-x^5)",
+    "description": "E.g.f. 1/(1-x-x^5)",
+    "specification": "{S = Sequence(Union(Z,Prod(Z,Z,Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        6,
+        24,
+        240,
+        2160,
+        20160,
+        201600,
+        2177280,
+        29030400,
+        439084800,
+        7185024000,
+        124540416000,
+        2266635571200,
+        44460928512000,
+        941525544960000,
+        21341245685760000,
+        512189896458240000,
+        12894380643336192000,
+        340606281144729600000
+    ],
+    "references": [
+        "EIS A052632"
+    ],
+    "gf": "-1/(_x^5+_x-1)",
+    "rec": "{(-_n^5-15*_n^4-85*_n^3-225*_n^2-274*_n-120)*_f(_n)+(-_n-5)*_f(_n+4)+_f(_n+5), _f(0) = 1, _f(1)= 1, _f(2) = 2, _f(3) = 6, _f(4) = 24}",
+    "closedform": "Sum(1/3381*(320*_alpha^4+400*_alpha^3+500*_alpha^2+625*_alpha+256)*_alpha^(-1-_n),_alpha = RootOf(_Z^5+_Z-1))*_n!",
+    "equiv": "-1/(-5*RootOf(_Z^3+_Z^2-1,.754877666246695)^5-RootOf(_Z^3+_Z^2-1,.754877666246695))*(RootOf(_Z^3+_Z^2-1,.754877666246695)^2+RootOf(_Z^3+_Z^2-1,.754877666246695))^(-ln(exp(-_n)))"
+}