combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs05/ecs_0596.json

@@ -0,0 +1,38 @@
+{
+    "id": 596,
+    "name": "Expansion of e.g.f. (2+x-x^2)/(1-x)^2",
+    "description": "Expansion of e.g.f. (2+x-x^2)/(1-x)^2",
+    "specification": "{S = Prod(Sequence(Z),Union(Z,Sequence(Z),Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        5,
+        14,
+        54,
+        264,
+        1560,
+        10800,
+        85680,
+        766080,
+        7620480,
+        83462400,
+        997920000,
+        12933043200,
+        180583603200,
+        2702527027200,
+        43153254144000,
+        732297646080000,
+        13160434839552000,
+        249692574523392000,
+        4987449116762112000,
+        104614786351595520000
+    ],
+    "references": [
+        "EIS A052649"
+    ],
+    "gf": "-(_x^2-_x-2)/(-1+_x)^2",
+    "rec": "{(-2*_n^2-7*_n-5)*_f(_n)+(2*_n+3)*_f(_n+1), _f(0) = 2, _f(1) = 5, _f(2) = 14, _f(3) = 54}",
+    "closedform": "(2*_n+3+piecewise(_n = 0,-1,0))*_n!",
+    "equiv": "2*_n"
+}

combstruct/data/ecs05/ecs_0597.json

@@ -0,0 +1,38 @@
+{
+    "id": 597,
+    "name": "E.g.f. 1/((1-2x)(1-x)^2)",
+    "description": "E.g.f. 1/((1-2x)(1-x)^2)",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Z),Sequence(Union(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        22,
+        156,
+        1368,
+        14400,
+        177840,
+        2530080,
+        40844160,
+        738823680,
+        14816390400,
+        326439590400,
+        7840777190400,
+        203947385241600,
+        5711834461132800,
+        171375956623872000,
+        5484386299392000000,
+        186475536553033728000,
+        6713240961009623040000,
+        255105589420373852160000,
+        10204274667757125795840000
+    ],
+    "references": [
+        "EIS A052650"
+    ],
+    "gf": "-1/(-1+2*_x)/(-1+_x)^2",
+    "rec": "{(2*_n^2+8*_n+6)*_f(_n)+(-3*_n-7)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 4}",
+    "closedform": "(-3-_n+4*2^_n)*_n!",
+    "equiv": "4*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs05/ecs_0598.json

@@ -0,0 +1,38 @@
+{
+    "id": 598,
+    "name": "E.g.f. (1-x)/(1-x-x^3-x^4+x^5)",
+    "description": "E.g.f. (1-x)/(1-x-x^3-x^4+x^5)",
+    "specification": "{S = Sequence(Prod(Z,Z,Z,Union(Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        6,
+        48,
+        120,
+        1440,
+        25200,
+        282240,
+        2903040,
+        50803200,
+        958003200,
+        16286054400,
+        305124019200,
+        6887085004800,
+        160843947264000,
+        3807947759616000,
+        98169730154496000,
+        2746618319757312000,
+        79677540767784960000,
+        2408572988094873600000
+    ],
+    "references": [
+        "EIS A052651"
+    ],
+    "gf": "-(-1+_x)/(_x^5-_x^4-_x^3-_x+1)",
+    "rec": "{(_n^5+15*_n^4+85*_n^3+225*_n^2+274*_n+120)*_f(_n)+(-_n^4-14*_n^3-71*_n^2-154*_n-120)*_f(_n+1)+(-_n^3-12*_n^2-47*_n-60)*_f(_n+2)+(-_n-5)*_f(_n+4)+_f(_n+5),_f(0) = 1, _f(1) = 0, _f(2) = 0, _f(3) = 6, _f(4) = 48}",
+    "closedform": "Sum(1/8519*(11*_alpha^4-444*_alpha^3-346*_alpha^2+2003*_alpha+138)*_alpha^(-1-_n),_alpha = RootOf(_Z^5-_Z^4-_Z^3-_Z+1))*_n!",
+    "equiv": "-(-1+RootOf(_Z^5-_Z^4-_Z^3-_Z+1,.655195524259806))/(-5*RootOf(_Z^5-_Z^4-_Z^3-_Z+1,.655195524259806)^5+4*RootOf(_Z^5-_Z^4-_Z^3-_Z+1,.655195524259806)^4+3*RootOf(_Z^5-_Z^4-_Z^3-_Z+1,.655195524259806)^3+RootOf(_Z^5-_Z^4-_Z^3-_Z+1,.655195524259806))*(-RootOf(_Z^5-_Z^4-_Z^3-_Z+1,.655195524259806)^4+RootOf(_Z^5-_Z^4-_Z^3-_Z+1,.655195524259806)^3+RootOf(_Z^5-_Z^4-_Z^3-_Z+1,.655195524259806)^2+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0599.json

@@ -0,0 +1,38 @@
+{
+    "id": 599,
+    "name": "E.g.f. x^4/(1-2x)",
+    "description": "E.g.f. x^4/(1-2x)",
+    "specification": "{S = Prod(Z,Z,Z,Z,Sequence(Union(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        24,
+        240,
+        2880,
+        40320,
+        645120,
+        11612160,
+        232243200,
+        5109350400,
+        122624409600,
+        3188234649600,
+        89270570188800,
+        2678117105664000,
+        85699747381248000,
+        2913791410962432000,
+        104896490794647552000,
+        3986066650196606976000,
+        159442666007864279040000
+    ],
+    "references": [
+        "EIS A052652"
+    ],
+    "gf": "-_x^4/(-1+2*_x)",
+    "rec": "{(-2*_n-2)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3)= 0, _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_0600.json

@@ -0,0 +1,38 @@
+{
+    "id": 600,
+    "name": "E.g.f. (1-2x^2)/(1-x-2x^2)",
+    "description": "E.g.f. (1-2x^2)/(1-x-2x^2)",
+    "specification": "{S = Sequence(Prod(Z,Sequence(Prod(Z,Union(Z,Z)))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        18,
+        120,
+        1320,
+        15120,
+        216720,
+        3427200,
+        62052480,
+        1237420800,
+        27263174400,
+        653837184000,
+        17005993804800,
+        476080648243200,
+        14283727121664000,
+        457058345103360000,
+        15540339420942336000,
+        559445816780218368000,
+        21259062682748706816000,
+        850360074407940096000000
+    ],
+    "references": [
+        "EIS A052653"
+    ],
+    "gf": "(2*_x^2-1)/(2*_x^2+_x-1)",
+    "rec": "{(-2*_n^2-6*_n-4)*_f(_n)+(-_n-2)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 1, _f(2) = 2}",
+    "closedform": "(Sum(-1/9*(_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^2+_Z-1))+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "1/3*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs06/ecs_0601.json

@@ -0,0 +1,38 @@
+{
+    "id": 601,
+    "name": "E.g.f. 1/((1-x)(1-4x))",
+    "description": "E.g.f. 1/((1-x)(1-4x))",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Union(Z,Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        5,
+        42,
+        510,
+        8184,
+        163800,
+        3931920,
+        110098800,
+        3523201920,
+        126835632000,
+        5073428908800,
+        223230911904000,
+        10715084250393600,
+        557184387247488000,
+        31202325773037619200,
+        1872139547689931520000,
+        119816931073078407168000,
+        8147551313325019115520000,
+        586623694565803750023168000,
+        44583400787122730102169600000,
+        3566672062972251310181744640000
+    ],
+    "references": [
+        "EIS A052654"
+    ],
+    "gf": "1/(-1+_x)/(-1+4*_x)",
+    "rec": "{(4*_n^2+12*_n+8)*_f(_n)+(-5*_n-10)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 5}",
+    "closedform": "(-1/3+1/3*2^(2+2*_n))*_n!",
+    "equiv": "4/3*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0602.json

@@ -0,0 +1,38 @@
+{
+    "id": 602,
+    "name": "a(2) = 6, otherwise a(n) = n*n!",
+    "description": "a(2) = 6, otherwise a(n) = n*n!",
+    "specification": "{S = Prod(Z,Union(Z,Prod(Sequence(Z),Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        6,
+        18,
+        96,
+        600,
+        4320,
+        35280,
+        322560,
+        3265920,
+        36288000,
+        439084800,
+        5748019200,
+        80951270400,
+        1220496076800,
+        19615115520000,
+        334764638208000,
+        6046686277632000,
+        115242726703104000,
+        2311256907767808000,
+        48658040163532800000
+    ],
+    "references": [
+        "EIS A052655"
+    ],
+    "gf": "_x*(_x^3-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) = 1, _f(2) = 6, _f(3) = 18,_f(4) = 96, _f(5) = 600}",
+    "closedform": "(_n+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "_n"
+}

combstruct/data/ecs06/ecs_0603.json

@@ -0,0 +1,38 @@
+{
+    "id": 603,
+    "name": "E.g.f. x*(1+2x-4x^2)/(1-2x)",
+    "description": "E.g.f. x*(1+2x-4x^2)/(1-2x)",
+    "specification": "{S = Prod(Z,Union(Z,Z,Sequence(Union(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        8,
+        24,
+        192,
+        1920,
+        23040,
+        322560,
+        5160960,
+        92897280,
+        1857945600,
+        40874803200,
+        980995276800,
+        25505877196800,
+        714164561510400,
+        21424936845312000,
+        685597979049984000,
+        23310331287699456000,
+        839171926357180416000,
+        31888533201572855808000,
+        1275541328062914232320000
+    ],
+    "references": [
+        "EIS A052656"
+    ],
+    "gf": "_x*(4*_x^2-2*_x-1)/(-1+2*_x)",
+    "rec": "{(-2*_n-2)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 1, _f(2) = 8, _f(3) = 24}",
+    "closedform": "(2^(_n-1)+piecewise(_n = 0,-1/2,_n = 2,2,0))*_n!",
+    "equiv": "1/2*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs06/ecs_0604.json

@@ -0,0 +1,38 @@
+{
+    "id": 604,
+    "name": "Expansion of e.g.f. x^2/((1-x)^2*(1+x))",
+    "description": "Expansion of e.g.f. x^2/((1-x)^2*(1+x))",
+    "specification": "{S = Prod(Z,Z,Sequence(Z),Sequence(Prod(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        6,
+        48,
+        240,
+        2160,
+        15120,
+        161280,
+        1451520,
+        18144000,
+        199584000,
+        2874009600,
+        37362124800,
+        610248038400,
+        9153720576000,
+        167382319104000,
+        2845499424768000,
+        57621363351552000,
+        1094805903679488000,
+        24329020081766400000
+    ],
+    "references": [
+        "EIS A052657"
+    ],
+    "gf": "_x^2/(_x^2-1)/(-1+_x)",
+    "rec": "{(-_n^3-4*_n^2-5*_n-2)*_f(_n)+(-_n-2)*_f(_n+1)+_f(_n+2)*_n, _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3) = 6}",
+    "closedform": "(-1/4+1/2*_n+1/4*(-1)^(-_n))*_n!",
+    "equiv": "1/2*_n"
+}

combstruct/data/ecs06/ecs_0605.json

@@ -0,0 +1,38 @@
+{
+    "id": 605,
+    "name": "Expansion of e.g.f. (1-x^2)*(1-x)/(1-2x-x^2+x^3)",
+    "description": "Expansion of e.g.f. (1-x^2)*(1-x)/(1-2x-x^2+x^3)",
+    "specification": "{S = Sequence(Prod(Z,Sequence(Z),Sequence(Prod(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        30,
+        264,
+        3000,
+        40320,
+        635040,
+        11410560,
+        230791680,
+        5185555200,
+        128172844800,
+        3455996544000,
+        100952461209600,
+        3175730791833600,
+        107037070043904000,
+        3848161361780736000,
+        146994587721805824000,
+        5945289039754960896000,
+        253819922354152906752000,
+        11406563749255849574400000
+    ],
+    "references": [
+        "EIS A052658"
+    ],
+    "gf": "(_x^2-1)*(-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) = 1, _f(1) = 1, _f(2) = 4, _f(3) = 30}",
+    "closedform": "(Sum(-1/7*(_alpha^2+_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-_Z^2-2*_Z+1))+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "(RootOf(_Z^3-_Z^2-2*_Z+1,.445041867912627)^2-1)*(-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/ecs06/ecs_0606.json

@@ -0,0 +1,38 @@
+{
+    "id": 606,
+    "name": "Expansion of e.g.f. (1-2x)(1-x)/(1-4x+2x^2)",
+    "description": "Expansion of e.g.f. (1-2x)(1-x)/(1-4x+2x^2)",
+    "specification": "{S = Sequence(Prod(Z,Sequence(Z),Sequence(Union(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        8,
+        84,
+        1152,
+        19680,
+        403200,
+        9636480,
+        263208960,
+        8087869440,
+        276137164800,
+        10370703974400,
+        424893579264000,
+        18858806481715200,
+        901431900123955200,
+        46165215285116928000,
+        2521886466187984896000,
+        146374402585679364096000,
+        8995562468861867458560000,
+        583542656264897241808896000,
+        39846785024856760076206080000
+    ],
+    "references": [
+        "EIS A052659"
+    ],
+    "gf": "(-1+2*_x)*(-1+_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) = 1, _f(2) = 8}",
+    "closedform": "(Sum(-1/4*(-1+2*_alpha)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^2-4*_Z+1))+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "-1/2*(-2^(1/2)+1)*2^(1/2)/(-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_0607.json

@@ -0,0 +1,38 @@
+{
+    "id": 607,
+    "name": "E.g.f. (2-2x-x^2)/((1-x)(1-x-x^2))",
+    "description": "E.g.f. (2-2x-x^2)/((1-x)(1-x-x^2))",
+    "specification": "{S = Union(Sequence(Z),Sequence(Union(Z,Prod(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        2,
+        6,
+        24,
+        144,
+        1080,
+        10080,
+        110880,
+        1411200,
+        20321280,
+        326592000,
+        5787936000,
+        112086374400,
+        2353813862400,
+        53265935923200,
+        1291982275584000,
+        33434618241024000,
+        919452001628160000,
+        26774726837354496000,
+        823050749366157312000,
+        26632978283509678080000
+    ],
+    "references": [
+        "EIS A052660"
+    ],
+    "gf": "-(_x^2+2*_x-2)/(-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) = 2, _f(1) = 2, _f(2) = 6, _f(3) = 24}",
+    "closedform": "(1+Sum(1/5*(1+2*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z-1)))*_n!",
+    "equiv": "-(RootOf(_Z^2+_Z-1,.6180339887)^2+2*RootOf(_Z^2+_Z-1,.6180339887)-2)/(-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/ecs06/ecs_0608.json

@@ -0,0 +1,38 @@
+{
+    "id": 608,
+    "name": "E.g.f. (2-3x)/((1-x)(1-x-x^2))",
+    "description": "E.g.f. (2-3x)/((1-x)(1-x-x^2))",
+    "specification": "{S = Union(Sequence(Z),Sequence(Prod(Z,Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        1,
+        4,
+        12,
+        72,
+        480,
+        4320,
+        45360,
+        564480,
+        7983360,
+        127008000,
+        2235340800,
+        43110144000,
+        902918016000,
+        20399720140800,
+        494300911104000,
+        12783824621568000,
+        351419178958848000,
+        10230993181753344000,
+        314452584556830720000,
+        10174396198194708480000
+    ],
+    "references": [
+        "EIS A052661"
+    ],
+    "gf": "-(-2+3*_x)/(_x^2+_x-1)/(-1+_x)",
+    "rec": "{(_n^3+6*_n^2+11*_n+6)*_f(_n)+(-2*_n-6)*_f(_n+2)+_f(_n+3), _f(0) = 2, _f(1) = 1, _f(2) = 4}",
+    "closedform": "(1+Sum(1/5*(-1+3*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z-1)))*_n!",
+    "equiv": "-(-2+3*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))*(1+RootOf(_Z^2+_Z-1,.6180339887))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0609.json

@@ -0,0 +1,38 @@
+{
+    "id": 609,
+    "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(Union(Z,Prod(Z,Sequence(Prod(Z,Z)))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        8,
+        54,
+        480,
+        5400,
+        72720,
+        1144080,
+        20563200,
+        415860480,
+        9344160000,
+        230958604800,
+        6227499801600,
+        181909958630400,
+        5722470212659200,
+        192874123233792000,
+        6934147333521408000,
+        264875092391669760000,
+        10713040702805016576000,
+        457367695707448221696000,
+        20553917663404814008320000
+    ],
+    "references": [
+        "EIS A052662"
+    ],
+    "gf": "-(_x^2-1)/(_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) = 2, _f(2) = 8}",
+    "closedform": "Sum(1/7*(_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-_Z^2-2*_Z+1))*_n!",
+    "equiv": "-(RootOf(_Z^3-_Z^2-2*_Z+1,.445041867912627)^2-1)/(-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/ecs06/ecs_0610.json

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

combstruct/data/ecs06/ecs_0611.json

@@ -0,0 +1,38 @@
+{
+    "id": 611,
+    "name": "E.g.f. (1-x)/(1-2x-3x^2+3x^3)",
+    "description": "E.g.f. (1-x)/(1-2x-3x^2+3x^3)",
+    "specification": "{S = Sequence(Prod(Z,Union(Z,Z,Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        10,
+        60,
+        768,
+        9480,
+        161280,
+        2968560,
+        65036160,
+        1568004480,
+        42507763200,
+        1259454873600,
+        40850693452800,
+        1432712945664000,
+        54168492771993600,
+        2193096759549696000,
+        94738664609132544000,
+        4347659200973856768000,
+        211273620141976584192000,
+        10836664117481797410816000,
+        585104524857141661532160000
+    ],
+    "references": [
+        "EIS A052664"
+    ],
+    "gf": "-(-1+_x)/(3*_x^3-3*_x^2-2*_x+1)",
+    "rec": "{(3*_n^3+18*_n^2+33*_n+18)*_f(_n)+(-3*_n^2-15*_n-18)*_f(_n+1)+(-2*_n-6)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2) = 10}",
+    "closedform": "Sum(-1/107*(33*_alpha^2-38*_alpha-13)*_alpha^(-1-_n),_alpha = RootOf(3*_Z^3-3*_Z^2-2*_Z+1))*_n!",
+    "equiv": "-(-1+RootOf(3*_Z^3-3*_Z^2-2*_Z+1,.370421385863405))/(-9*RootOf(3*_Z^3-3*_Z^2-2*_Z+1,.370421385863405)^3+6*RootOf(3*_Z^3-3*_Z^2-2*_Z+1,.370421385863405)^2+2*RootOf(3*_Z^3-3*_Z^2-2*_Z+1,.370421385863405))*(-3*RootOf(3*_Z^3-3*_Z^2-2*_Z+1,.370421385863405)^2+3*RootOf(3*_Z^3-3*_Z^2-2*_Z+1,.370421385863405)+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0612.json

@@ -0,0 +1,38 @@
+{
+    "id": 612,
+    "name": "a(0)=0, for n >= 1, a(n) = (2^(n-1)-1)*n!",
+    "description": "a(0)=0, for n >= 1, a(n) = (2^(n-1)-1)*n!",
+    "specification": "{S = Prod(Z,Z,Sequence(Z),Sequence(Union(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        18,
+        168,
+        1800,
+        22320,
+        317520,
+        5120640,
+        92534400,
+        1854316800,
+        40834886400,
+        980516275200,
+        25499650176000,
+        714077383219200,
+        21423629170944000,
+        685577056260096000,
+        23309975600271360000,
+        839165523983474688000,
+        31888411556472446976000,
+        1275538895160906055680000
+    ],
+    "references": [
+        "EIS A052665"
+    ],
+    "gf": "_x^2/(-1+_x)/(-1+2*_x)",
+    "rec": "{(2*_n^2+6*_n+4)*_f(_n)+(-3*_n-6)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3) = 18}",
+    "closedform": "(-1+2^(_n-1)+piecewise(_n = 0,1/2,0))*_n!",
+    "equiv": "1/2*exp(-_n)^(-ln(2))"
+}