combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs06/ecs_0630.json

@@ -0,0 +1,38 @@
+{
+    "id": 630,
+    "name": "Expansion of e.g.f. (1-x)/(1-x-3*x^2)",
+    "description": "Expansion of e.g.f. (1-x)/(1-x-3*x^2)",
+    "specification": "{S = Sequence(Prod(Z,Sequence(Z),Union(Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        6,
+        18,
+        288,
+        2520,
+        41040,
+        604800,
+        11733120,
+        236234880,
+        5530291200,
+        138790713600,
+        3855483878400,
+        115075344384000,
+        3716149018982400,
+        128239702246656000,
+        4727462529613824000,
+        185010460036706304000,
+        7669998882846203904000,
+        335550710771738542080000,
+        15454812941879443292160000
+    ],
+    "references": [
+        "EIS A052682"
+    ],
+    "gf": "(-1+_x)/(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) = 0}",
+    "closedform": "Sum(1/13*(-1+7*_alpha)*_alpha^(-1-_n),_alpha = RootOf(3*_Z^2+_Z-1))*_n!",
+    "equiv": "(-7/6+1/6*13^(1/2))/(-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_0631.json

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

combstruct/data/ecs06/ecs_0632.json

@@ -0,0 +1,38 @@
+{
+    "id": 632,
+    "name": "Expansion of e.g.f. 1/(1-2*x^2-x^3)",
+    "description": "Expansion of e.g.f. 1/(1-2*x^2-x^3)",
+    "specification": "{S = Sequence(Prod(Z,Union(Z,Z,Prod(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        4,
+        6,
+        96,
+        480,
+        6480,
+        60480,
+        887040,
+        11975040,
+        203212800,
+        3512678400,
+        69455232000,
+        1444668825600,
+        32953394073600,
+        796373690112000,
+        20671716409344000,
+        567677135241216000,
+        16550136029306880000,
+        508476519708917760000,
+        16461014987323146240000
+    ],
+    "references": [
+        "EIS A052684"
+    ],
+    "gf": "-1/(_x^3+2*_x^2-1)",
+    "rec": "{(-_n^3-6*_n^2-11*_n-6)*_f(_n)+(-2*_n^2-10*_n-12)*_f(_n+1)+_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) = 4}",
+    "closedform": "Sum(1/5*(8*_alpha^2+7*_alpha-6)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+2*_Z^2-1))*_n!",
+    "equiv": "-1/(-3*RootOf(_Z^2+_Z-1,.618033988749895)^3-4*RootOf(_Z^2+_Z-1,.618033988749895)^2)*(1+RootOf(_Z^2+_Z-1,.618033988749895))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0633.json

@@ -0,0 +1,38 @@
+{
+    "id": 633,
+    "name": "Expansion of e.g.f. (1-x^2)/(1-x-2*x^2+x^4)",
+    "description": "Expansion of e.g.f. (1-x^2)/(1-x-2*x^2+x^4)",
+    "specification": "{S = Sequence(Prod(Z,Union(Z,Sequence(Prod(Z,Z)))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        24,
+        168,
+        1680,
+        18720,
+        252000,
+        3830400,
+        65681280,
+        1251936000,
+        26225337600,
+        599710003200,
+        14851444608000,
+        396138155212800,
+        11320537003776000,
+        345079573622784000,
+        11176410365632512000,
+        383271699519700992000,
+        13873745346727698432000,
+        528635545748669399040000
+    ],
+    "references": [
+        "EIS A052685"
+    ],
+    "gf": "-(_x^2-1)/(_x^4-2*_x^2-_x+1)",
+    "rec": "{(_n^4+10*_n^3+35*_n^2+50*_n+24)*_f(_n)+(-2*_n^2-14*_n-24)*_f(_n+2)+(-_n-4)*_f(_n+3)+_f(_n+4), _f(0)= 1, _f(1) = 1, _f(2) = 4, _f(3) = 24}",
+    "closedform": "Sum(-1/283*(48*_alpha^3-9*_alpha^2-112*_alpha-27)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-2*_Z^2-_Z+1))*_n!",
+    "equiv": "-(RootOf(_Z^4-2*_Z^2-_Z+1,.524888598656405)^2-1)/(-4*RootOf(_Z^4-2*_Z^2-_Z+1,.524888598656405)^4+4*RootOf(_Z^4-2*_Z^2-_Z+1,.524888598656405)^2+RootOf(_Z^4-2*_Z^2-_Z+1,.524888598656405))*(-RootOf(_Z^4-2*_Z^2-_Z+1,.524888598656405)^3+2*RootOf(_Z^4-2*_Z^2-_Z+1,.524888598656405)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0634.json

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

combstruct/data/ecs06/ecs_0635.json

@@ -0,0 +1,38 @@
+{
+    "id": 635,
+    "name": "Expansion of e.g.f. (1+x-x^3)/((1-x)*(1-x^2))",
+    "description": "Expansion of e.g.f. (1+x-x^3)/((1-x)*(1-x^2))",
+    "specification": "{S = Prod(Sequence(Z),Union(Z,Sequence(Prod(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        6,
+        18,
+        96,
+        480,
+        3600,
+        25200,
+        241920,
+        2177280,
+        25401600,
+        279417600,
+        3832012800,
+        49816166400,
+        784604620800,
+        11769069312000,
+        209227898880000,
+        3556874280960000,
+        70426110763008000,
+        1338096104497152000,
+        29194824098119680000
+    ],
+    "references": [
+        "EIS A052687"
+    ],
+    "gf": "-(_x^3-_x-1)/(-1+_x)/(_x^2-1)",
+    "rec": "{(-_n^3-8*_n^2-17*_n-10)*_f(_n)+(-_n-2)*_f(_n+1)+(_n+4)*_f(_n+2), _f(0) = 1, _f(1)= 2, _f(2) = 6, _f(3) = 18, _f(4) = 96}",
+    "closedform": "(7/4+1/2*_n+1/4*(-1)^(-_n)+piecewise(_n = 0,-1,0))*_n!",
+    "equiv": "1/2*_n"
+}

combstruct/data/ecs06/ecs_0636.json

@@ -0,0 +1,38 @@
+{
+    "id": 636,
+    "name": "Expansion of e.g.f. x/((1-x)*(1-x^3))",
+    "description": "Expansion of e.g.f. x/((1-x)*(1-x^3))",
+    "specification": "{S = Prod(Z,Sequence(Z),Sequence(Prod(Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        6,
+        48,
+        240,
+        1440,
+        15120,
+        120960,
+        1088640,
+        14515200,
+        159667200,
+        1916006400,
+        31135104000,
+        435891456000,
+        6538371840000,
+        125536739328000,
+        2134124568576000,
+        38414242234368000,
+        851515702861824000,
+        17030314057236480000
+    ],
+    "references": [
+        "EIS A052688"
+    ],
+    "gf": "_x/(-1+_x)/(_x^3-1)",
+    "rec": "{(-_n^4-9*_n^3-29*_n^2-39*_n-18)*_f(_n)+(-_n^2-5*_n-6)*_f(_n+1)+(-_n-3)*_f(_n+2)+(_n+2)*_f(_n+3), _f(0) = 0, _f(1) = 1, _f(2) = 2}",
+    "closedform": "(Sum(-1/9*(1+2*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+1/3*_n+1/3)*_n!",
+    "equiv": "(-1/3*exp(Complex(1)*(-arctan(RootOf(4*_Z^2-3,-.866025403784439)/(-1-RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)))+Pi)*_n)/RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2/(-1+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439)))-1/3*exp(Complex(-1)*(-arctan(RootOf(4*_Z^2-3,-.866025403784439)/(-1-RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)))+Pi)*conjugate(_n))/RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2/(-1+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))))*(RootOf(4*_Z^2-3,-.866025403784439)^2+RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)^2+2*RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0637.json

@@ -0,0 +1,38 @@
+{
+    "id": 637,
+    "name": "Expansion of e.g.f. (1+x-x^2)/((1-x)*(1-x^2))",
+    "description": "Expansion of e.g.f. (1+x-x^2)/((1-x)*(1-x^2))",
+    "specification": "{S = Prod(Union(Z,Sequence(Z)),Sequence(Prod(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        4,
+        18,
+        72,
+        480,
+        2880,
+        25200,
+        201600,
+        2177280,
+        21772800,
+        279417600,
+        3353011200,
+        49816166400,
+        697426329600,
+        11769069312000,
+        188305108992000,
+        3556874280960000,
+        64023737057280000,
+        1338096104497152000,
+        26761922089943040000
+    ],
+    "references": [
+        "EIS A052689"
+    ],
+    "gf": "-(_x^2-_x-1)/(-1+_x)/(_x^2-1)",
+    "rec": "{(-_n^3-7*_n^2-14*_n-8)*_f(_n)+(-_n-2)*_f(_n+1)+(_n+3)*_f(_n+2),_f(0) = 1, _f(1) = 2, _f(2) = 4, _f(3) = 18}",
+    "closedform": "(5/4+1/2*_n+1/4*(-1)^(1-_n))*_n!",
+    "equiv": "1/2*_n"
+}

combstruct/data/ecs06/ecs_0638.json

@@ -0,0 +1,38 @@
+{
+    "id": 638,
+    "name": "Expansion of e.g.f. x*(1+x-3*x^2)/(1-3*x)",
+    "description": "Expansion of e.g.f. x*(1+x-3*x^2)/(1-3*x)",
+    "specification": "{S= Prod(Z,Union(Z,Sequence(Union(Z,Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        8,
+        54,
+        648,
+        9720,
+        174960,
+        3674160,
+        88179840,
+        2380855680,
+        71425670400,
+        2357047123200,
+        84853696435200,
+        3309294160972800,
+        138990354760857600,
+        6254565964238592000,
+        300219166283452416000,
+        15311177480456073216000,
+        826803583944627953664000,
+        47127804284843793358848000,
+        2827668257090627601530880000
+    ],
+    "references": [
+        "EIS A052690"
+    ],
+    "gf": "_x*(3*_x^2-_x-1)/(-1+3*_x)",
+    "rec": "{(-3*_n-3)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 1, _f(2) = 8, _f(3) = 54}",
+    "closedform": "(3^(_n-1)+piecewise(_n = 0,-1/3,_n = 2,1,0))*_n!",
+    "equiv": "1/3*exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs06/ecs_0639.json

@@ -0,0 +1,38 @@
+{
+    "id": 639,
+    "name": "Expansion of e.g.f. (1-x)/(1-2*x+x^2-x^3)",
+    "description": "Expansion of e.g.f. (1-x)/(1-2*x+x^2-x^3)",
+    "specification": "{S = Sequence(Union(Z,Prod(Z,Z,Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        12,
+        96,
+        840,
+        8640,
+        105840,
+        1491840,
+        23587200,
+        413683200,
+        7983360000,
+        168129561600,
+        3835844812800,
+        94239732787200,
+        2480658276096000,
+        69651967537152000,
+        2077925954936832000,
+        65637135231123456000,
+        2188517001455296512000,
+        76811582202152878080000
+    ],
+    "references": [
+        "EIS A052691"
+    ],
+    "gf": "(-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) = 2}",
+    "closedform": "Sum(1/23*(3*_alpha^2+6*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-_Z^2+2*_Z-1))*_n!",
+    "equiv": "(-1+RootOf(_Z^3-_Z^2+2*_Z-1,.569840290998053))/(-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/ecs06/ecs_0640.json

@@ -0,0 +1,38 @@
+{
+    "id": 640,
+    "name": "Expansion of e.g.f. (1-x^4)/(1-x-x^4)",
+    "description": "Expansion of e.g.f. (1-x^4)/(1-x-x^4)",
+    "specification": "{S = Sequence(Prod(Z,Sequence(Prod(Z,Z,Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        6,
+        24,
+        240,
+        2160,
+        20160,
+        201600,
+        2540160,
+        36288000,
+        558835200,
+        9101030400,
+        161902540800,
+        3138418483200,
+        65383718400000,
+        1443672502272000,
+        33790305669120000,
+        838710955450368000,
+        22017763173998592000,
+        608225502044160000000
+    ],
+    "references": [
+        "EIS A052692"
+    ],
+    "gf": "(_x^4-1)/(_x^4+_x-1)",
+    "rec": "{(-_n^4-10*_n^3-35*_n^2-50*_n-24)*_f(_n)+(-_n-4)*_f(_n+3)+_f(_n+4), _f(0) = 1, _f(1) = 1,_f(2) = 2, _f(3) = 6, _f(4) = 24}",
+    "closedform": "(Sum(1/283*(48*_alpha^3+64*_alpha^2-9*_alpha+36)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z-1))+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "(RootOf(_Z^4+_Z-1,.724491959000516)^4-1)/(-4*RootOf(_Z^4+_Z-1,.724491959000516)^4-RootOf(_Z^4+_Z-1,.724491959000516))*(RootOf(_Z^4+_Z-1,.724491959000516)^3+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0641.json

@@ -0,0 +1,38 @@
+{
+    "id": 641,
+    "name": "a(n) = n! + (n-1)!",
+    "description": "a(n) = n! + (n-1)!",
+    "specification": "{S = Prod(Sequence(Z),Union(Sequence(Z),Prod(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        8,
+        30,
+        144,
+        840,
+        5760,
+        45360,
+        403200,
+        3991680,
+        43545600,
+        518918400,
+        6706022400,
+        93405312000,
+        1394852659200,
+        22230464256000,
+        376610217984000,
+        6758061133824000,
+        128047474114560000,
+        2554547108585472000,
+        53523844179886080000
+    ],
+    "references": [
+        "EIS A001048"
+    ],
+    "gf": "-(_x^3-_x^2-1)/(-1+_x)^2",
+    "rec": "{(-_n^2-4*_n-3)*_f(_n)+(_n+2)*_f(_n+1), _f(0) = 1, _f(1) = 2, _f(2) = 8, _f(3) = 30, _f(4) = 144}",
+    "closedform": "(_n+2+piecewise(_n = 0,-1,_n = 1,-1,0))*_n!",
+    "equiv": "_n"
+}

combstruct/data/ecs06/ecs_0642.json

@@ -0,0 +1,38 @@
+{
+    "id": 642,
+    "name": "Expansion of e.g.f. (1-x)/(1-3*x+x^3)",
+    "description": "Expansion of e.g.f. (1-x)/(1-3*x+x^3)",
+    "specification": "{S = Sequence(Union(Z,Prod(Z,Union(Z,Sequence(Z)))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        12,
+        102,
+        1176,
+        16920,
+        292320,
+        5891760,
+        135717120,
+        3517032960,
+        101268921600,
+        3207514464000,
+        110828037196800,
+        4148515981209600,
+        167232459621427200,
+        7222900141416960000,
+        332760193091149824000,
+        16288461412393218048000,
+        844213597176856338432000,
+        46185507276448866213888000,
+        2659717360526162361384960000
+    ],
+    "references": [
+        "EIS A052693"
+    ],
+    "gf": "-(-1+_x)/(_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)= 2, _f(2) = 12}",
+    "closedform": "Sum(-1/9*(_alpha^2-_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-3*_Z+1))*_n!",
+    "equiv": "-(-1+RootOf(_Z^3-3*_Z+1,.347296355333861))/(-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/ecs06/ecs_0643.json

@@ -0,0 +1,38 @@
+{
+    "id": 643,
+    "name": "Expansion of e.g.f. (1 + x^3 - 2*x^4)/(1-2*x)",
+    "description": "Expansion of e.g.f. (1 + x^3 - 2*x^4)/(1-2*x)",
+    "specification": "{S = Union(Sequence(Union(Z,Z)),Prod(Z,Z,Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        8,
+        54,
+        384,
+        3840,
+        46080,
+        645120,
+        10321920,
+        185794560,
+        3715891200,
+        81749606400,
+        1961990553600,
+        51011754393600,
+        1428329123020800,
+        42849873690624000,
+        1371195958099968000,
+        46620662575398912000,
+        1678343852714360832000,
+        63777066403145711616000,
+        2551082656125828464640000
+    ],
+    "references": [
+        "EIS A052694"
+    ],
+    "gf": "(2*_x^4-_x^3-1)/(-1+2*_x)",
+    "rec": "{(-2*_n-2)*_f(_n)+_f(_n+1), _f(0) = 1, _f(1) = 2, _f(2) = 8, _f(3) = 54, _f(4) = 384}",
+    "closedform": "(2^_n+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs06/ecs_0644.json

@@ -0,0 +1,38 @@
+{
+    "id": 644,
+    "name": "Expansion of e.g.f. (2-5*x)/((1-x)*(1-4*x))",
+    "description": "Expansion of e.g.f. (2-5*x)/((1-x)*(1-4*x))",
+    "specification": "{S = Union(Sequence(Z),Sequence(Union(Z,Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        5,
+        34,
+        390,
+        6168,
+        123000,
+        2949840,
+        82580400,
+        2642451840,
+        95127177600,
+        3805076217600,
+        167423233824000,
+        8036313786547200,
+        417888298219392000,
+        23401744438751078400,
+        1404104662402041600000,
+        89862698330962292736000,
+        6110663485438373621760000,
+        439967770932355779649536000,
+        33437550590494103952138240000,
+        2675004047232229610146529280000
+    ],
+    "references": [
+        "EIS A052695"
+    ],
+    "gf": "-(-2+5*_x)/(-1+4*_x)/(-1+_x)",
+    "rec": "{(4*_n^2+12*_n+8)*_f(_n)+(-5*_n-10)*_f(_n+1)+_f(_n+2), _f(0) = 2, _f(1) = 5, _f(2) = 34}",
+    "closedform": "(1+4^_n)*_n!",
+    "equiv": "exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0645.json

@@ -0,0 +1,38 @@
+{
+    "id": 645,
+    "name": "Expansion of e.g.f. (1-x)^2/(1-4*x+3*x^2-x^3)",
+    "description": "Expansion of e.g.f. (1-x)^2/(1-4*x+3*x^2-x^3)",
+    "specification": "{S = Sequence(Union(Z,Prod(Z,Sequence(Z),Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        12,
+        114,
+        1440,
+        22680,
+        428400,
+        9439920,
+        237726720,
+        6735052800,
+        212012640000,
+        7341338188800,
+        277317497318400,
+        11348577278438400,
+        500138456661043200,
+        23615780481925632000,
+        1189441481702842368000,
+        63652108785719021568000,
+        3606667413608068153344000,
+        215715072594685789052928000,
+        13580985380155983536947200000
+    ],
+    "references": [
+        "EIS A052696"
+    ],
+    "gf": "-(-1+_x)^2/(_x^3-3*_x^2+4*_x-1)",
+    "rec": "{(-_n^3-6*_n^2-11*_n-6)*_f(_n)+(3*_n^2+15*_n+18)*_f(_n+1)+(-4*_n-12)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 2, _f(2) = 12}",
+    "closedform": "Sum(-1/31*(2*_alpha^2-7*_alpha-4)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-3*_Z^2+4*_Z-1))*_n!",
+    "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/ecs06/ecs_0646.json

@@ -0,0 +1,38 @@
+{
+    "id": 646,
+    "name": "Expansion of e.g.f. 1/(1-x^3-x^4)",
+    "description": "Expansion of e.g.f. 1/(1-x^3-x^4)",
+    "specification": "{S = Sequence(Prod(Z,Z,Union(Z,Prod(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        6,
+        24,
+        0,
+        720,
+        10080,
+        40320,
+        362880,
+        10886400,
+        119750400,
+        958003200,
+        24908083200,
+        523069747200,
+        6538371840000,
+        125536739328000,
+        3556874280960000,
+        70426110763008000,
+        1338096104497152000,
+        38926432130826240000
+    ],
+    "references": [
+        "EIS A052697"
+    ],
+    "gf": "-1/(_x^4+_x^3-1)",
+    "rec": "{(-_n^4-10*_n^3-35*_n^2-50*_n-24)*_f(_n)+(-_n^3-9*_n^2-26*_n-24)*_f(_n+1)+_f(_n+4), _f(0) = 1, _f(1) = 0, _f(2) = 0, _f(3) = 6}",
+    "closedform": "Sum(-1/283*(12*_alpha^3+3*_alpha^2-73*_alpha-16)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3-1))*_n!",
+    "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)))"
+}