combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs06/ecs_0613.json

@@ -0,0 +1,38 @@
+{
+    "id": 613,
+    "name": "E.g.f. 1/(1-x-3x^2)",
+    "description": "E.g.f. 1/(1-x-3x^2)",
+    "specification": "{S = Sequence(Union(Z,Prod(Z,Union(Z,Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        8,
+        42,
+        456,
+        4800,
+        69840,
+        1093680,
+        20482560,
+        420577920,
+        9736070400,
+        245887488000,
+        6806133734400,
+        203555082931200,
+        6565920180019200,
+        226728504946944000,
+        8355118608764928000,
+        327047476385710080000,
+        13556853457788985344000,
+        593130926469729263616000,
+        27317431471274028564480000
+    ],
+    "references": [
+        "EIS A052666"
+    ],
+    "gf": "-1/(3*_x^2+_x-1)",
+    "rec": "{(-3*_n^2-9*_n-6)*_f(_n)+(-_n-2)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 1}",
+    "closedform": "Sum(1/13*(6*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(3*_Z^2+_Z-1))*_n!",
+    "equiv": "-1/(-6*(-1/6+1/6*13^(1/2))^2+1/6-1/6*13^(1/2))*exp(-_n)^(-ln(2)-ln(3)+ln(-1+13^(1/2)))"
+}

combstruct/data/ecs06/ecs_0614.json

@@ -0,0 +1,38 @@
+{
+    "id": 614,
+    "name": "Sept-factorial numbers",
+    "description": "Sept-factorial numbers",
+    "specification": "{S =Sequence(Union(Z,Z,Z,Z,Z,Z,Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        7,
+        98,
+        2058,
+        57624,
+        2016840,
+        84707280,
+        4150656720,
+        232436776320,
+        14643516908160,
+        1025046183571200,
+        78928556134982400,
+        6629998715338521600,
+        603329883095805465600,
+        59126328543388935628800,
+        6208264497055838241024000,
+        695325623670253882994688000,
+        82743749216760212076367872000,
+        10425712401311786721622351872000,
+        1386619749374467633975772798976000,
+        194126764912425468756608191856640000
+    ],
+    "references": [
+        "EIS A051188"
+    ],
+    "gf": "-1/(-1+7*_x)",
+    "rec": "{(-7*_n-7)*_f(_n)+_f(_n+1),_f(0) = 1}",
+    "closedform": "7^_n*_n!",
+    "equiv": "exp(-_n)^(-ln(7))"
+}

combstruct/data/ecs06/ecs_0615.json

@@ -0,0 +1,38 @@
+{
+    "id": 615,
+    "name": "E.g.f. 1/(1-2x-x^4)",
+    "description": "E.g.f. 1/(1-2x-x^4)",
+    "specification": "{S = Sequence(Union(Z,Z,Prod(Z,Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        8,
+        48,
+        408,
+        4320,
+        54720,
+        806400,
+        13587840,
+        257644800,
+        5428684800,
+        125817753600,
+        3181049625600,
+        87128475033600,
+        2570016024576000,
+        81222270345216000,
+        2738060898693120000,
+        98070849049485312000,
+        3719292542626332672000,
+        148888737096394014720000,
+        6273931205155796582400000
+    ],
+    "references": [
+        "EIS A052667"
+    ],
+    "gf": "-1/(_x^4+2*_x-1)",
+    "rec": "{(-_n^4-10*_n^3-35*_n^2-50*_n-24)*_f(_n)+(-2*_n-8)*_f(_n+3)+_f(_n+4), _f(0) = 1, _f(1) = 2, _f(2) = 8, _f(3) = 48}",
+    "closedform": "Sum(1/86*(18*_alpha^3+12*_alpha^2+8*_alpha+27)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+2*_Z-1))*_n!",
+    "equiv": "-1/(-4*RootOf(_Z^4+2*_Z-1,.474626617562607)^4-2*RootOf(_Z^4+2*_Z-1,.474626617562607))*(RootOf(_Z^4+2*_Z-1,.474626617562607)^3+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0616.json

@@ -0,0 +1,38 @@
+{
+    "id": 616,
+    "name": "Expansion of e.g.f. 1/(1 - 3*x - x^3)",
+    "description": "Expansion of e.g.f. 1/(1 - 3*x - x^3)",
+    "specification": "{S = Sequence(Union(Z,Z,Z,Prod(Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        18,
+        168,
+        2088,
+        32400,
+        603360,
+        13109040,
+        325503360,
+        9092684160,
+        282219033600,
+        9635476435200,
+        358879494758400,
+        14480588157235200,
+        629228583138355200,
+        29295027261916416000,
+        1454816084780298240000,
+        76762872942999699456000,
+        4288623592396326543360000,
+        252909845483503266938880000,
+        15699648779940313960611840000
+    ],
+    "references": [
+        "EIS A052668"
+    ],
+    "gf": "-1/(_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) =3, _f(2) = 18}",
+    "closedform": "Sum(1/15*(2*_alpha^2+_alpha+4)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+3*_Z-1))*_n!",
+    "equiv": "-1/(-3*RootOf(_Z^3+3*_Z-1,.322185354626086)^3-3*RootOf(_Z^3+3*_Z-1,.322185354626086))*(RootOf(_Z^3+3*_Z-1,.322185354626086)^2+3)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0617.json

@@ -0,0 +1,38 @@
+{
+    "id": 617,
+    "name": "Expansion of e.g.f. (1-2*x)/(1-3*x-x^2+2*x^3)",
+    "description": "Expansion of e.g.f. (1-2*x)/(1-3*x-x^2+2*x^3)",
+    "specification": "{S = Sequence(Prod(Z,Union(Z,Sequence(Union(Z,Z)))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        8,
+        66,
+        840,
+        12960,
+        242640,
+        5286960,
+        131765760,
+        3693755520,
+        115058361600,
+        3942342835200,
+        147360531225600,
+        5967185903078400,
+        260221271108198400,
+        12158477739023616000,
+        605960547270414336000,
+        32087688283562655744000,
+        1799103280756610949120000,
+        106476767152444874465280000,
+        6633305700115067498004480000
+    ],
+    "references": [
+        "EIS A052669"
+    ],
+    "gf": "-(-1+2*_x)/(2*_x^3-_x^2-3*_x+1)",
+    "rec": "{(2*_n^3+12*_n^2+22*_n+12)*_f(_n)+(-_n^2-5*_n-6)*_f(_n+1)+(-3*_n-9)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2) = 8}",
+    "closedform": "Sum(-1/229*(16*_alpha^2-74*_alpha-5)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^3-_Z^2-3*_Z+1))*_n!",
+    "equiv": "-(-1+2*RootOf(2*_Z^3-_Z^2-3*_Z+1,.32103681624075))/(-6*RootOf(2*_Z^3-_Z^2-3*_Z+1,.32103681624075)^3+2*RootOf(2*_Z^3-_Z^2-3*_Z+1,.32103681624075)^2+3*RootOf(2*_Z^3-_Z^2-3*_Z+1,.32103681624075))*(-2*RootOf(2*_Z^3-_Z^2-3*_Z+1,.32103681624075)^2+RootOf(2*_Z^3-_Z^2-3*_Z+1,.32103681624075)+3)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0618.json

@@ -0,0 +1,38 @@
+{
+    "id": 618,
+    "name": "Expansion of e.g.f. x^2/(1-4*x)",
+    "description": "Expansion of e.g.f. x^2/(1-4*x)",
+    "specification": "{S = Prod(Z,Z,Sequence(Union(Z,Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        24,
+        384,
+        7680,
+        184320,
+        5160960,
+        165150720,
+        5945425920,
+        237817036800,
+        10463949619200,
+        502269581721600,
+        26118018249523200,
+        1462609021973299200,
+        87756541318397952000,
+        5616418644377468928000,
+        381916467817667887104000,
+        27497985682872087871488000,
+        2089846911898278678233088000,
+        167187752951862294258647040000
+    ],
+    "references": [
+        "EIS A052670"
+    ],
+    "gf": "-_x^2/(-1+4*_x)",
+    "rec": "{(-4*_n-4)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 2}",
+    "closedform": "(1/16*4^_n+piecewise(_n = 0,-1/16,_n = 1,-1/4,0))*_n!",
+    "equiv": "1/16*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0619.json

@@ -0,0 +1,38 @@
+{
+    "id": 619,
+    "name": "Expansion of e.g.f. x^3*(1-x)/(1-2*x)",
+    "description": "Expansion of e.g.f. x^3*(1-x)/(1-2*x)",
+    "specification": "{S = Prod(Z,Z,Z,Sequence(Prod(Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        6,
+        24,
+        240,
+        2880,
+        40320,
+        645120,
+        11612160,
+        232243200,
+        5109350400,
+        122624409600,
+        3188234649600,
+        89270570188800,
+        2678117105664000,
+        85699747381248000,
+        2913791410962432000,
+        104896490794647552000,
+        3986066650196606976000,
+        159442666007864279040000
+    ],
+    "references": [
+        "EIS A052671"
+    ],
+    "gf": "_x^3*(-1+_x)/(-1+2*_x)",
+    "rec": "{(-2*_n-2)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 0,_f(3) = 6, _f(4) = 24}",
+    "closedform": "(1/16*2^_n+piecewise(_n = 0,-1/16,_n = 1,-1/8,_n = 2,-1/4,_n = 3,1/2,0))*_n!",
+    "equiv": "1/16*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs06/ecs_0620.json

@@ -0,0 +1,38 @@
+{
+    "id": 620,
+    "name": "Expansion of e.g.f. (1-x)/(1-x-2*x^2+x^3)",
+    "description": "Expansion of e.g.f. (1-x)/(1-x-2*x^2+x^3)",
+    "specification": "{S = Sequence(Prod(Z,Union(Z,Prod(Z,Sequence(Z)))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        4,
+        6,
+        120,
+        600,
+        10080,
+        95760,
+        1693440,
+        23950080,
+        475372800,
+        8821612800,
+        199743667200,
+        4533271142400,
+        116906088499200,
+        3112264995840000,
+        90679371374592000,
+        2757644630028288000,
+        89895729202126848000,
+        3067037916607881216000,
+        110799223256380538880000
+    ],
+    "references": [
+        "EIS A052672"
+    ],
+    "gf": "-(-1+_x)/(_x^3-2*_x^2-_x+1)",
+    "rec": "{(_n^3+6*_n^2+11*_n+6)*_f(_n)+(-2*_n^2-10*_n-12)*_f(_n+1)+(-_n-3)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) = 4}",
+    "closedform": "Sum(-1/7*_alpha*(_alpha-3)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-2*_Z^2-_Z+1))*_n!",
+    "equiv": "-(-1+RootOf(_Z^3-2*_Z^2-_Z+1,.554958132087371))/(-3*RootOf(_Z^3-2*_Z^2-_Z+1,.554958132087371)^3+4*RootOf(_Z^3-2*_Z^2-_Z+1,.554958132087371)^2+RootOf(_Z^3-2*_Z^2-_Z+1,.554958132087371))*(-RootOf(_Z^3-2*_Z^2-_Z+1,.554958132087371)^2+2*RootOf(_Z^3-2*_Z^2-_Z+1,.554958132087371)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0621.json

@@ -0,0 +1,38 @@
+{
+    "id": 621,
+    "name": "a(n) = 3*n*n!",
+    "description": "a(n) = 3*n*n!",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Z),Union(Z,Z,Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        3,
+        12,
+        54,
+        288,
+        1800,
+        12960,
+        105840,
+        967680,
+        9797760,
+        108864000,
+        1317254400,
+        17244057600,
+        242853811200,
+        3661488230400,
+        58845346560000,
+        1004293914624000,
+        18140058832896000,
+        345728180109312000,
+        6933770723303424000,
+        145974120490598400000
+    ],
+    "references": [
+        "EIS A052673"
+    ],
+    "gf": "3*_x/(-1+_x)^2",
+    "rec": "{(-_n^2-2*_n-1)*_f(_n)+_f(_n+1)*_n, _f(0) = 0, _f(1) = 3, _f(2) = 12}",
+    "closedform": "3*_n*_n\\!",
+    "equiv": "3*_n"
+}

combstruct/data/ecs06/ecs_0622.json

@@ -0,0 +1,38 @@
+{
+    "id": 622,
+    "name": "Expansion of e.g.f. (1-x)/(1-3*x-2*x^2+2*x^3)",
+    "description": "Expansion of e.g.f. (1-x)/(1-3*x-2*x^2+2*x^3)",
+    "specification": "{S = Sequence(Prod(Union(Z,Z),Union(Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        16,
+        156,
+        2160,
+        36720,
+        753120,
+        17992800,
+        491500800,
+        15102339840,
+        515630707200,
+        19365156518400,
+        793401964185600,
+        35214960849868800,
+        1683239666985676800,
+        86204093846846976000,
+        4709107007890661376000,
+        273324248772505362432000,
+        16797372435596048744448000,
+        1089646518701615835856896000,
+        74405718449942073839124480000
+    ],
+    "references": [
+        "EIS A052674"
+    ],
+    "gf": "-(-1+_x)/(2*_x^3-2*_x^2-3*_x+1)",
+    "rec": "{(2*_n^3+12*_n^2+22*_n+12)*_f(_n)+(-2*_n^2-10*_n-12)*_f(_n+1)+(-3*_n-9)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 2, _f(2) = 16}",
+    "closedform": "Sum(-1/98*(16*_alpha^2-25*_alpha-13)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^3-2*_Z^2-3*_Z+1))*_n!",
+    "equiv": "-(-1+RootOf(2*_Z^2-4*_Z+1,.292893218813452))/(-6*RootOf(2*_Z^2-4*_Z+1,.292893218813452)^3+4*RootOf(2*_Z^2-4*_Z+1,.292893218813452)^2+3*RootOf(2*_Z^2-4*_Z+1,.292893218813452))*(4-2*RootOf(2*_Z^2-4*_Z+1,.292893218813452))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0623.json

@@ -0,0 +1,38 @@
+{
+    "id": 623,
+    "name": "Expansion of e.g.f. (1-x)/(1-5*x)",
+    "description": "Expansion of e.g.f. (1-x)/(1-5*x)",
+    "specification": "{S = Sequence(Prod(Sequence(Z),Union(Z,Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        40,
+        600,
+        12000,
+        300000,
+        9000000,
+        315000000,
+        12600000000,
+        567000000000,
+        28350000000000,
+        1559250000000000,
+        93555000000000000,
+        6081075000000000000,
+        425675250000000000000,
+        31925643750000000000000,
+        2554051500000000000000000,
+        217094377500000000000000000,
+        19538493975000000000000000000,
+        1856156927625000000000000000000,
+        185615692762500000000000000000000
+    ],
+    "references": [
+        "EIS A052675"
+    ],
+    "gf": "(-1+_x)/(-1+5*_x)",
+    "rec": "{(-5*_n-5)*_f(_n)+_f(_n+1), _f(0) = 1, _f(1) = 4}",
+    "closedform": "(4*5^(_n-1)+piecewise(_n = 0,1/5,0))*_n!",
+    "equiv": "4/5*exp(-_n)^(-ln(5))"
+}

combstruct/data/ecs06/ecs_0624.json

@@ -0,0 +1,38 @@
+{
+    "id": 624,
+    "name": "Expansion of e.g.f. 3*x/(1 - 2*x)",
+    "description": "Expansion of e.g.f. 3*x/(1 - 2*x)",
+    "specification": "{S = Prod(Sequence(Union(Z,Z)),Union(Z,Z,Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        3,
+        12,
+        72,
+        576,
+        5760,
+        69120,
+        967680,
+        15482880,
+        278691840,
+        5573836800,
+        122624409600,
+        2942985830400,
+        76517631590400,
+        2142493684531200,
+        64274810535936000,
+        2056793937149952000,
+        69930993863098368000,
+        2517515779071541248000,
+        95665599604718567424000,
+        3826623984188742696960000
+    ],
+    "references": [
+        "EIS A052676"
+    ],
+    "gf": "-3*_x/(-1+2*_x)",
+    "rec": "{(-2*_n-2)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 3}",
+    "closedform": "(3*2^(_n-1)+piecewise(_n = 0,-3/2,0))*_n!",
+    "equiv": "3/2*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs06/ecs_0625.json

@@ -0,0 +1,38 @@
+{
+    "id": 625,
+    "name": "Expansion of e.g.f. (1-x)/(1-4*x+x^2)",
+    "description": "Expansion of e.g.f. (1-x)/(1-4*x+x^2)",
+    "specification": "{S = Sequence(Union(Z,Prod(Sequence(Z),Union(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        22,
+        246,
+        3672,
+        68520,
+        1534320,
+        40083120,
+        1196737920,
+        40196580480,
+        1500156806400,
+        61585275628800,
+        2758072531737600,
+        133812468652262400,
+        6991529043750451200,
+        391391124208051968000,
+        23371064978815217664000,
+        1482774032774844665856000,
+        99608184476271359336448000,
+        7063113300987626433847296000,
+        527197953978026998159933440000
+    ],
+    "references": [
+        "EIS A052677"
+    ],
+    "gf": "-(-1+_x)/(_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) = 3}",
+    "closedform": "Sum(1/6*(1+_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-4*_Z+1))*_n!",
+    "equiv": "-(1-3^(1/2))/(-2*(2-3^(1/2))^2+8-4*3^(1/2))*exp(-_n)^ln(2-3^(1/2))"
+}

combstruct/data/ecs06/ecs_0626.json

@@ -0,0 +1,38 @@
+{
+    "id": 626,
+    "name": "Expansion of e.g.f. x^3/(1-3*x)",
+    "description": "Expansion of e.g.f. x^3/(1-3*x)",
+    "specification": "{S = Prod(Z,Z,Z,Sequence(Union(Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        6,
+        72,
+        1080,
+        19440,
+        408240,
+        9797760,
+        264539520,
+        7936185600,
+        261894124800,
+        9428188492800,
+        367699351219200,
+        15443372751206400,
+        694951773804288000,
+        33357685142605824000,
+        1701241942272897024000,
+        91867064882736439296000,
+        5236422698315977039872000,
+        314185361898958622392320000
+    ],
+    "references": [
+        "EIS A052678"
+    ],
+    "gf": "-_x^3/(-1+3*_x)",
+    "rec": "{(-3*_n-3)*_f(_n)+_f(_n+1), _f(0)= 0, _f(1) = 0, _f(2) = 0, _f(3) = 6}",
+    "closedform": "(1/27*3^_n+piecewise(_n = 0,-1/27,_n = 1,-1/9,_n = 2,-1/3,0))*_n!",
+    "equiv": "1/27*exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs06/ecs_0627.json

@@ -0,0 +1,38 @@
+{
+    "id": 627,
+    "name": "Expansion of e.g.f. (1-x^2)/(1-x^2-x^3)",
+    "description": "Expansion of e.g.f. (1-x^2)/(1-x^2-x^3)",
+    "specification": "{S = Sequence(Prod(Z,Z,Z,Sequence(Prod(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        6,
+        0,
+        120,
+        720,
+        5040,
+        80640,
+        725760,
+        10886400,
+        159667200,
+        2395008000,
+        43589145600,
+        784604620800,
+        15692092416000,
+        334764638208000,
+        7469435990016000,
+        179266463760384000,
+        4500868715126784000,
+        119212198400655360000
+    ],
+    "references": [
+        "EIS A052679"
+    ],
+    "gf": "(_x^2-1)/(_x^3+_x^2-1)",
+    "rec": "{(-_n^3-6*_n^2-11*_n-6)*_f(_n)+(-_n^2-5*_n-6)*_f(_n+1)+_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) = 0}",
+    "closedform": "Sum(1/23*(4*_alpha^2+9*_alpha-6)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+_Z^2-1))*_n!",
+    "equiv": "(RootOf(_Z^3+_Z^2-1,.754877666246693)^2-1)/(-3*RootOf(_Z^3+_Z^2-1,.754877666246693)^3-2*RootOf(_Z^3+_Z^2-1,.754877666246693)^2)*(RootOf(_Z^3+_Z^2-1,.754877666246693)^2+RootOf(_Z^3+_Z^2-1,.754877666246693))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0628.json

@@ -0,0 +1,38 @@
+{
+    "id": 628,
+    "name": "Expansion of e.g.f. (1-2*x)/(1-4*x+2*x^2)",
+    "description": "Expansion of e.g.f. (1-2*x)/(1-4*x+2*x^2)",
+    "specification": "{S= Sequence(Union(Z,Prod(Z,Sequence(Union(Z,Z)))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        12,
+        120,
+        1632,
+        27840,
+        570240,
+        13628160,
+        372234240,
+        11437977600,
+        390516940800,
+        14666390323200,
+        600890263142400,
+        26670379902566400,
+        1274817218759884800,
+        65287473566515200000,
+        3566486043252228096000,
+        207004665320967241728000,
+        12721646444639277809664000,
+        825253938713043520192512000,
+        56351863799117630480056320000
+    ],
+    "references": [
+        "EIS A052680"
+    ],
+    "gf": "-(-1+2*_x)/(2*_x^2-4*_x+1)",
+    "rec": "{(2*_n^2+6*_n+4)*_f(_n)+(-4*_n-8)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 2}",
+    "closedform": "Sum(1/2*_alpha^(-_n),_alpha = RootOf(2*_Z^2-4*_Z+1))*_n!",
+    "equiv": "-(-2^(1/2)+1)/(-4*(1-1/2*2^(1/2))^2+4-2*2^(1/2))*exp(-_n)^(-1/2*ln(2)+ln(2^(1/2)-1))"
+}

combstruct/data/ecs06/ecs_0629.json

@@ -0,0 +1,38 @@
+{
+    "id": 629,
+    "name": "Expansion of e.g.f. (1-x)/(1 - x - x^2 - 2*x^3 + 2*x^4)",
+    "description": "Expansion of e.g.f. (1-x)/(1 - x - x^2 - 2*x^3 + 2*x^4)",
+    "specification": "{S= Sequence(Prod(Z,Z,Union(Z,Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        2,
+        18,
+        48,
+        840,
+        9360,
+        90720,
+        1653120,
+        25764480,
+        442713600,
+        9540115200,
+        201659673600,
+        4744989849600,
+        123531638630400,
+        3325415917824000,
+        97123590660096000,
+        3021564701675520000,
+        98526128957448192000,
+        3416037709680820224000,
+        124508626072455905280000
+    ],
+    "references": [
+        "EIS A052681"
+    ],
+    "gf": "-(-1+_x)/(2*_x^4-2*_x^3-_x^2-_x+1)",
+    "rec": "{(2*_n^4+20*_n^3+70*_n^2+100*_n+48)*_f(_n)+(-2*_n^3-18*_n^2-52*_n-48)*_f(_n+1)+(-_n^2-7*_n-12)*_f(_n+2)+(-_n-4)*_f(_n+3)+_f(_n+4), _f(0) = 1, _f(1) = 0, _f(2) = 2, _f(3) = 18}",
+    "closedform": "Sum(-1/353*(28*_alpha^3+33*_alpha^2-106*_alpha-18)*_alpha^(-1-_n),_alpha =RootOf(2*_Z^4-2*_Z^3-_Z^2-_Z+1))*_n!",
+    "equiv": "-(-1+RootOf(2*_Z^4-2*_Z^3-_Z^2-_Z+1,.549133899324504))/(-8*RootOf(2*_Z^4-2*_Z^3-_Z^2-_Z+1,.549133899324504)^4+6*RootOf(2*_Z^4-2*_Z^3-_Z^2-_Z+1,.549133899324504)^3+2*RootOf(2*_Z^4-2*_Z^3-_Z^2-_Z+1,.549133899324504)^2+RootOf(2*_Z^4-2*_Z^3-_Z^2-_Z+1,.549133899324504))*(-2*RootOf(2*_Z^4-2*_Z^3-_Z^2-_Z+1,.549133899324504)^3+2*RootOf(2*_Z^4-2*_Z^3-_Z^2-_Z+1,.549133899324504)^2+RootOf(2*_Z^4-2*_Z^3-_Z^2-_Z+1,.549133899324504)+1)^(-ln(exp(-_n)))"
+}