combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs04/ecs_0477.json

@@ -0,0 +1,38 @@
+{
+    "id": 477,
+    "name": "a(n) = 2*a(n-1) + a(n-2), with a(0) = 1, a(1) = 2, a(2) = 4",
+    "description": "a(n) = 2*a(n-1) + a(n-2), with a(0) = 1, a(1) = 2, a(2) = 4",
+    "specification": "{S = Sequence(Prod(Union(Z,Z),Sequence(Prod(Z,Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        4,
+        10,
+        24,
+        58,
+        140,
+        338,
+        816,
+        1970,
+        4756,
+        11482,
+        27720,
+        66922,
+        161564,
+        390050,
+        941664,
+        2273378,
+        5488420,
+        13250218,
+        31988856
+    ],
+    "references": [
+        "EIS A052542"
+    ],
+    "gf": "(_x^2-1)/(_x^2+2*_x-1)",
+    "rec": "{_f(_n)+2*_f(_n+1)-_f(_n+2), _f(0) = 1, _f(1) = 2, _f(2)= 4}",
+    "closedform": "Sum(-1/2*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+2*_Z-1))+piecewise(_n = 0,1,0)",
+    "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/ecs04/ecs_0478.json

@@ -0,0 +1,38 @@
+{
+    "id": 478,
+    "name": "Expansion of (1-x)/(1 - 3*x - 2*x^2 + 2*x^3)",
+    "description": "Expansion of (1-x)/(1 - 3*x - 2*x^2 + 2*x^3)",
+    "specification": "{S = Sequence(Prod(Union(Z,Z),Union(Z,Sequence(Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        8,
+        26,
+        90,
+        306,
+        1046,
+        3570,
+        12190,
+        41618,
+        142094,
+        485138,
+        1656366,
+        5655186,
+        19308014,
+        65921682,
+        225070702,
+        768439442,
+        2623616366,
+        8957586578,
+        30583113582
+    ],
+    "references": [
+        "EIS A052543"
+    ],
+    "gf": "-(-1+_x)/(2*_x^3-2*_x^2-3*_x+1)",
+    "rec": "{2*_f(_n)-2*_f(_n+1)-3*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 2, _f(2) = 8}",
+    "closedform": "Sum(-1/98*(16*_alpha^2-25*_alpha-13)*_alpha^(-1-_n),_alpha= RootOf(2*_Z^3-2*_Z^2-3*_Z+1))",
+    "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/ecs04/ecs_0479.json

@@ -0,0 +1,38 @@
+{
+    "id": 479,
+    "name": "a(n) = 2*a(n-1) + a(n-4)",
+    "description": "a(n) = 2*a(n-1) + a(n-4)",
+    "specification": "{S = Sequence(Union(Z,Z,Prod(Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        4,
+        8,
+        17,
+        36,
+        76,
+        160,
+        337,
+        710,
+        1496,
+        3152,
+        6641,
+        13992,
+        29480,
+        62112,
+        130865,
+        275722,
+        580924,
+        1223960,
+        2578785
+    ],
+    "references": [
+        "EIS A008999"
+    ],
+    "gf": "-1/(_x^4+2*_x-1)",
+    "rec": "{_f(_n)+2*_f(_n+3)-_f(_n+4), _f(0) = 1, _f(1) = 2, _f(2) = 4, _f(3) = 8}",
+    "closedform": "Sum(1/86*(18*_alpha^3+12*_alpha^2+8*_alpha+27)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+2*_Z-1))",
+    "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/ecs04/ecs_0480.json

@@ -0,0 +1,38 @@
+{
+    "id": 480,
+    "name": "Expansion of (1-x)^2/(1 - 4*x + 3*x^2 - x^3)",
+    "description": "Expansion of (1-x)^2/(1 - 4*x + 3*x^2 - x^3)",
+    "specification": "{S = Sequence(Union(Z,Prod(Z,Sequence(Z),Sequence(Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        6,
+        19,
+        60,
+        189,
+        595,
+        1873,
+        5896,
+        18560,
+        58425,
+        183916,
+        578949,
+        1822473,
+        5736961,
+        18059374,
+        56849086,
+        178955183,
+        563332848,
+        1773314929,
+        5582216355
+    ],
+    "references": [
+        "EIS A052544"
+    ],
+    "gf": "-(-1+_x)^2/(_x^3-3*_x^2+4*_x-1)",
+    "rec": "{_f(_n)-3*_f(_n+1)+4*_f(_n+2)-_f(_n+3), _f(0) = 1, _f(1) = 2, _f(2) = 6}",
+    "closedform": "Sum(-1/31*(2*_alpha^2-7*_alpha-4)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-3*_Z^2+4*_Z-1))",
+    "equiv": "-(-1+RootOf(_Z^3-3*_Z^2+4*_Z-1,.317672196171981))^2/(-3*RootOf(_Z^3-3*_Z^2+4*_Z-1,.317672196171981)^3+6*RootOf(_Z^3-3*_Z^2+4*_Z-1,.317672196171981)^2-4*RootOf(_Z^3-3*_Z^2+4*_Z-1,.317672196171981))*(RootOf(_Z^3-3*_Z^2+4*_Z-1,.317672196171981)^2-3*RootOf(_Z^3-3*_Z^2+4*_Z-1,.317672196171981)+4)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs04/ecs_0481.json

@@ -0,0 +1,38 @@
+{
+    "id": 481,
+    "name": "Expansion of (1-x)^2/(1-3*x+x^3)",
+    "description": "Expansion of (1-x)^2/(1-3*x+x^3)",
+    "specification": "{S = Sequence(Prod(Z,Union(Z,Sequence(Z)),Sequence(Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        11,
+        32,
+        92,
+        265,
+        763,
+        2197,
+        6326,
+        18215,
+        52448,
+        151018,
+        434839,
+        1252069,
+        3605189,
+        10380728,
+        29890115,
+        86065156,
+        247814740,
+        713554105
+    ],
+    "references": [
+        "EIS A052545"
+    ],
+    "gf": "(-1+_x)^2/(_x^3-3*_x+1)",
+    "rec": "{_f(_n)-3*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2) = 4}",
+    "closedform": "Sum(-1/9*(2*_alpha^2-2*_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-3*_Z+1))",
+    "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/ecs04/ecs_0482.json

@@ -0,0 +1,38 @@
+{
+    "id": 482,
+    "name": "Expansion of (1-x)/(1-x-x^2-2*x^3+2*x^4)",
+    "description": "Expansion of (1-x)/(1-x-x^2-2*x^3+2*x^4)",
+    "specification": "{S = Sequence(Prod(Z,Z,Union(Z,Z,Sequence(Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        3,
+        2,
+        7,
+        13,
+        18,
+        41,
+        71,
+        122,
+        239,
+        421,
+        762,
+        1417,
+        2543,
+        4642,
+        8495,
+        15389,
+        28082,
+        51177
+    ],
+    "references": [
+        "EIS A052546"
+    ],
+    "gf": "-(-1+_x)/(2*_x^4-2*_x^3-_x^2-_x+1)",
+    "rec": "{2*_f(_n)-2*_f(_n+1)-_f(_n+2)-_f(_n+3)+_f(_n+4), _f(0) = 1, _f(1) = 0, _f(2) = 1, _f(3) = 3}",
+    "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))",
+    "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)))"
+}

combstruct/data/ecs04/ecs_0483.json

@@ -0,0 +1,38 @@
+{
+    "id": 483,
+    "name": "Expansion of (1-x)/(1-x-2*x^2+x^3)",
+    "description": "Expansion of (1-x)/(1-x-2*x^2+x^3)",
+    "specification": "{S = Sequence(Prod(Z,Union(Z,Prod(Z,Sequence(Z)))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        2,
+        1,
+        5,
+        5,
+        14,
+        19,
+        42,
+        66,
+        131,
+        221,
+        417,
+        728,
+        1341,
+        2380,
+        4334,
+        7753,
+        14041,
+        25213,
+        45542
+    ],
+    "references": [
+        "EIS A052547"
+    ],
+    "gf": "-(-1+_x)/(_x^3-2*_x^2-_x+1)",
+    "rec": "{_f(_n)-2*_f(_n+1)-_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) = 2}",
+    "closedform": "Sum(-1/7*_alpha*(_alpha-3)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-2*_Z^2-_Z+1))",
+    "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/ecs04/ecs_0484.json

@@ -0,0 +1,38 @@
+{
+    "id": 484,
+    "name": "a(n) = a(n-3) + a(n-4), with a(0)=1, a(1)=a(2)=0, a(3)=1",
+    "description": "a(n) = a(n-3) + a(n-4), with a(0)=1, a(1)=a(2)=0, a(3)=1",
+    "specification": "{S =Sequence(Prod(Z,Z,Union(Z,Prod(Z,Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        1,
+        1,
+        0,
+        1,
+        2,
+        1,
+        1,
+        3,
+        3,
+        2,
+        4,
+        6,
+        5,
+        6,
+        10,
+        11,
+        11,
+        16
+    ],
+    "references": [
+        "EIS A017817"
+    ],
+    "gf": "-1/(_x^4+_x^3-1)",
+    "rec": "{_f(_n)+_f(_n+1)-_f(_n+4), _f(0) = 1, _f(1) = 0, _f(2) = 0, _f(3) = 1}",
+    "closedform": "Sum(-1/283*(12*_alpha^3+3*_alpha^2-73*_alpha-16)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3-1))",
+    "equiv": "-1/(-4*RootOf(_Z^4+_Z^3-1,.819172513396164)^4-3*RootOf(_Z^4+_Z^3-1,.819172513396164)^3)*(RootOf(_Z^4+_Z^3-1,.819172513396164)^3+RootOf(_Z^4+_Z^3-1,.819172513396164)^2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs04/ecs_0485.json

@@ -0,0 +1,38 @@
+{
+    "id": 485,
+    "name": "a(n) = 2^n + 2",
+    "description": "a(n) = 2^n + 2",
+    "specification": "{S = Union(Sequence(Union(Z,Z)),Sequence(Z),Sequence(Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        3,
+        4,
+        6,
+        10,
+        18,
+        34,
+        66,
+        130,
+        258,
+        514,
+        1026,
+        2050,
+        4098,
+        8194,
+        16386,
+        32770,
+        65538,
+        131074,
+        262146,
+        524290,
+        1048578
+    ],
+    "references": [
+        "EIS A052548"
+    ],
+    "gf": "-(-3+5*_x)/(-1+2*_x)/(-1+_x)",
+    "rec": "{_f(_n+1)-2*_f(_n)+2, _f(0) = 3, _f(1) =4}",
+    "closedform": "2+2^_n",
+    "equiv": "exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs04/ecs_0486.json

@@ -0,0 +1,38 @@
+{
+    "id": 486,
+    "name": "a(n) = 5*2^(n-1) - 1, n>0, with a(0)=1",
+    "description": "a(n) = 5*2^(n-1) - 1, n>0, with a(0)=1",
+    "specification": "{S = Prod(Sequence(Union(Z,Z)),Union(Z,Sequence(Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        9,
+        19,
+        39,
+        79,
+        159,
+        319,
+        639,
+        1279,
+        2559,
+        5119,
+        10239,
+        20479,
+        40959,
+        81919,
+        163839,
+        327679,
+        655359,
+        1310719,
+        2621439
+    ],
+    "references": [
+        "EIS A052549"
+    ],
+    "gf": "-(_x^2-_x-1)/(-1+2*_x)/(-1+_x)",
+    "rec": "{-2*_f(_n)+_f(_n+1)-1, _f(0) = 1, _f(1) = 4, _f(2) = 9}",
+    "closedform": "-1+5*2^(_n-1)+piecewise(_n = 0,-1/2,0)",
+    "equiv": "5/2*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs04/ecs_0487.json

@@ -0,0 +1,38 @@
+{
+    "id": 487,
+    "name": "Expansion of (1-2*x)/(1 - 3*x - x^2 + 2*x^3)",
+    "description": "Expansion of (1-2*x)/(1 - 3*x - x^2 + 2*x^3)",
+    "specification": "{S = Sequence(Prod(Z,Union(Z,Sequence(Union(Z,Z)))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        11,
+        35,
+        108,
+        337,
+        1049,
+        3268,
+        10179,
+        31707,
+        98764,
+        307641,
+        958273,
+        2984932,
+        9297787,
+        28961747,
+        90213164,
+        281005665,
+        875306665,
+        2726499332
+    ],
+    "references": [
+        "EIS A052550"
+    ],
+    "gf": "-(-1+2*_x)/(2*_x^3-_x^2-3*_x+1)",
+    "rec": "{2*_f(_n)-_f(_n+1)-3*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2) = 4}",
+    "closedform": "Sum(-1/229*(16*_alpha^2-74*_alpha-5)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^3-_Z^2-3*_Z+1))",
+    "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/ecs04/ecs_0488.json

@@ -0,0 +1,38 @@
+{
+    "id": 488,
+    "name": "Expansion of 1/((1 - x)*(1 - 2*x^2))",
+    "description": "Expansion of 1/((1 - x)*(1 - 2*x^2))",
+    "specification": "{S = Prod(Sequence(Prod(Z,Union(Z,Z))),Sequence(Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        3,
+        3,
+        7,
+        7,
+        15,
+        15,
+        31,
+        31,
+        63,
+        63,
+        127,
+        127,
+        255,
+        255,
+        511,
+        511,
+        1023,
+        1023,
+        2047
+    ],
+    "references": [
+        "EIS A052551"
+    ],
+    "gf": "1/(2*_x^2-1)/(-1+_x)",
+    "rec": "{-2*_f(_n)+_f(_n+2)-1, _f(0) = 1, _f(1) = 1}",
+    "closedform": "-1+Sum(1/2*(1+2*_alpha)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^2-1))",
+    "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/ecs04/ecs_0489.json

@@ -0,0 +1,38 @@
+{
+    "id": 489,
+    "name": "a(2*n+1) = 1, a(2*n) = 2*a(2*n-2) - 1",
+    "description": "a(2*n+1) = 1, a(2*n) = 2*a(2*n-2) - 1",
+    "specification": "{S= Union(Sequence(Prod(Z,Union(Z,Z))),Sequence(Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        2,
+        1,
+        3,
+        1,
+        5,
+        1,
+        9,
+        1,
+        17,
+        1,
+        33,
+        1,
+        65,
+        1,
+        129,
+        1,
+        257,
+        1,
+        513,
+        1,
+        1025
+    ],
+    "references": [
+        "EIS A052552"
+    ],
+    "gf": "-(2*_x^2+_x-2)/(2*_x^2-1)/(-1+_x)",
+    "rec": "{-2*_f(_n)+_f(_n+2)+1, _f(0) = 2, _f(1) = 1, _f(2) = 3}",
+    "closedform": "1+Sum(1/2*_alpha^(-_n),_alpha = RootOf(2*_Z^2-1))",
+    "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/ecs04/ecs_0490.json

@@ -0,0 +1,38 @@
+{
+    "id": 490,
+    "name": "Number of permutations of n > 1 having exactly 2 points on the boundary of their bounding square",
+    "description": "Number of permutations of n > 1 having exactly 2 points on the boundary of their bounding square",
+    "specification": "{S = Union(Sequence(Z),Sequence(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        2,
+        4,
+        12,
+        48,
+        240,
+        1440,
+        10080,
+        80640,
+        725760,
+        7257600,
+        79833600,
+        958003200,
+        12454041600,
+        174356582400,
+        2615348736000,
+        41845579776000,
+        711374856192000,
+        12804747411456000,
+        243290200817664000,
+        4865804016353280000
+    ],
+    "references": [
+        "EIS A208529"
+    ],
+    "gf": "-2/(-1+_x)",
+    "rec": "{(-1-_n)*_f(_n)+_f(_n+1),_f(0) = 2, _f(1) = 2}",
+    "closedform": "2*_n!",
+    "equiv": "2"
+}

combstruct/data/ecs04/ecs_0491.json

@@ -0,0 +1,38 @@
+{
+    "id": 491,
+    "name": "Triple factorial numbers: (3n)!!! = 3^n*n!",
+    "description": "Triple factorial numbers: (3n)!!! = 3^n*n!",
+    "specification": "{S = Sequence(Union(Z,Z,Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        18,
+        162,
+        1944,
+        29160,
+        524880,
+        11022480,
+        264539520,
+        7142567040,
+        214277011200,
+        7071141369600,
+        254561089305600,
+        9927882482918400,
+        416971064282572800,
+        18763697892715776000,
+        900657498850357248000,
+        45933532441368219648000,
+        2480410751833883860992000,
+        141383412854531380076544000,
+        8483004771271882804592640000
+    ],
+    "references": [
+        "EIS A032031"
+    ],
+    "gf": "-1/(-1+3*_x)",
+    "rec": "{(-3*_n-3)*_f(_n)+_f(_n+1), _f(0) = 1}",
+    "closedform": "3^_n*_n!",
+    "equiv": "exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs04/ecs_0492.json

@@ -0,0 +1,38 @@
+{
+    "id": 492,
+    "name": "a(n) = 4^n * n!",
+    "description": "a(n) = 4^n * n!",
+    "specification": "{S = Sequence(Union(Z,Z,Z,Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        32,
+        384,
+        6144,
+        122880,
+        2949120,
+        82575360,
+        2642411520,
+        95126814720,
+        3805072588800,
+        167423193907200,
+        8036313307545600,
+        417888291992371200,
+        23401744351572787200,
+        1404104661094367232000,
+        89862698310039502848000,
+        6110663485082686193664000,
+        439967770925953405943808000,
+        33437550590372458851729408000,
+        2675004047229796708138352640000
+    ],
+    "references": [
+        "EIS A047053"
+    ],
+    "gf": "-1/(-1+4*_x)",
+    "rec": "{(-4*_n-4)*_f(_n)+_f(_n+1), _f(0) = 1}",
+    "closedform": "4^_n*_n!",
+    "equiv": "exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs04/ecs_0493.json

@@ -0,0 +1,38 @@
+{
+    "id": 493,
+    "name": "Expansion of e.g.f.: (1-x)/(1 - x - x^2)",
+    "description": "Expansion of e.g.f.: (1-x)/(1 - x - x^2)",
+    "specification": "{S = Sequence(Prod(Z,Z,Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        2,
+        6,
+        48,
+        360,
+        3600,
+        40320,
+        524160,
+        7620480,
+        123379200,
+        2195424000,
+        42631142400,
+        896690995200,
+        20312541849600,
+        492993236736000,
+        12762901831680000,
+        351063491530752000,
+        10224590808047616000,
+        314330939456421888000,
+        10171963296186531840000
+    ],
+    "references": [
+        "EIS A052554"
+    ],
+    "gf": "(-1+_x)/(_x^2+_x-1)",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+(-_n-2)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 0}",
+    "closedform": "Sum(1/5*(-1+3*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z-1))*_n!",
+    "equiv": "(-3/2+1/2*5^(1/2))/(-2*(1/2*5^(1/2)-1/2)^2-1/2*5^(1/2)+1/2)*exp(-_n)^(-ln(2)+ln(5^(1/2)-1))"
+}