combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs04/ecs_0494.json

@@ -0,0 +1,38 @@
+{
+    "id": 494,
+    "name": "a(n) = n!*Fibonacci(n+1)",
+    "description": "a(n) = n!*Fibonacci(n+1)",
+    "specification": "{S = Sequence(Union(Z,Prod(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        18,
+        120,
+        960,
+        9360,
+        105840,
+        1370880,
+        19958400,
+        322963200,
+        5748019200,
+        111607372800,
+        2347586841600,
+        53178757632000,
+        1290674601216000,
+        33413695451136000,
+        919096314200064000,
+        26768324463648768000,
+        822929104265748480000,
+        26630545381501501440000
+    ],
+    "references": [
+        "EIS A005442"
+    ],
+    "gf": "-1/(_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) = 1}",
+    "closedform": "Sum(1/5*(1+2*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z-1))*_n!",
+    "equiv": "-1/(-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))"
+}

combstruct/data/ecs04/ecs_0495.json

@@ -0,0 +1,38 @@
+{
+    "id": 495,
+    "name": "One third of triple factorial numbers",
+    "description": "One third of triple factorial numbers",
+    "specification": "{S = Sequence(Prod(Z,Sequence(Union(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        6,
+        54,
+        648,
+        9720,
+        174960,
+        3674160,
+        88179840,
+        2380855680,
+        71425670400,
+        2357047123200,
+        84853696435200,
+        3309294160972800,
+        138990354760857600,
+        6254565964238592000,
+        300219166283452416000,
+        15311177480456073216000,
+        826803583944627953664000,
+        47127804284843793358848000,
+        2827668257090627601530880000
+    ],
+    "references": [
+        "EIS A034001"
+    ],
+    "gf": "(-1+2*_x)/(-1+3*_x)",
+    "rec": "{(-3*_n-3)*_f(_n)+_f(_n+1), _f(0) = 1, _f(1) = 1}",
+    "closedform": "(3^(_n-1)+piecewise(_n = 0,2/3,0))*_n!",
+    "equiv": "1/3*exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs04/ecs_0496.json

@@ -0,0 +1,38 @@
+{
+    "id": 496,
+    "name": "Expansion of e.g.f. 1/(1-2*x-x^2)",
+    "description": "Expansion of e.g.f. 1/(1-2*x-x^2)",
+    "specification": "{S = Sequence(Union(Z,Z,Prod(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        10,
+        72,
+        696,
+        8400,
+        121680,
+        2056320,
+        39715200,
+        862928640,
+        20832940800,
+        553246848000,
+        16027872537600,
+        503031194265600,
+        17001946241280000,
+        615694938034176000,
+        23782705115000832000,
+        976080997055324160000,
+        42416423659181924352000,
+        1945643800041833988096000,
+        93943992992162490777600000
+    ],
+    "references": [
+        "EIS A052555"
+    ],
+    "gf": "-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}",
+    "closedform": "Sum(1/4*(1+_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+2*_Z-1))*_n!",
+    "equiv": "-1/(-2*(2^(1/2)-1)^2-2*2^(1/2)+2)*exp(-_n)^ln(2^(1/2)-1)"
+}

combstruct/data/ecs04/ecs_0497.json

@@ -0,0 +1,38 @@
+{
+    "id": 497,
+    "name": "Expansion of e.g.f. 1/(1-x-x^3)",
+    "description": "Expansion of e.g.f. 1/(1-x-x^3)",
+    "specification": "{S = Sequence(Union(Z,Prod(Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        12,
+        72,
+        480,
+        4320,
+        45360,
+        524160,
+        6894720,
+        101606400,
+        1636588800,
+        28740096000,
+        547977830400,
+        11245999564800,
+        247150455552000,
+        5795612798976000,
+        144409095806976000,
+        3809412354908160000,
+        106074527556501504000,
+        3109248766449745920000
+    ],
+    "references": [
+        "EIS A052556"
+    ],
+    "gf": "-1/(_x^3+_x-1)",
+    "rec": "{(-_n^3-6*_n^2-11*_n-6)*_f(_n)+(-_n-3)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2) = 2}",
+    "closedform": "Sum(1/31*(6*_alpha^2+9*_alpha+4)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+_Z-1))*_n\\!",
+    "equiv": "-1/(-3*RootOf(_Z^3+_Z-1,.682327803828019)^3-RootOf(_Z^3+_Z-1,.682327803828019))*(RootOf(_Z^3+_Z-1,.682327803828019)^2+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs04/ecs_0498.json

@@ -0,0 +1,38 @@
+{
+    "id": 498,
+    "name": "a(n) = (n-1)!*(2^n-1) for n>=1, a(0)=0",
+    "description": "a(n) = (n-1)!*(2^n-1) for n>=1, a(0)=0",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Union(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        14,
+        90,
+        744,
+        7560,
+        91440,
+        1285200,
+        20603520,
+        371226240,
+        7428153600,
+        163459296000,
+        3923502105600,
+        102017281766400,
+        2856571067750400,
+        85698439706880000,
+        2742370993410048000,
+        93240969463369728000,
+        3356681303055015936000,
+        127554011161191014400000,
+        5102162879349648752640000
+    ],
+    "references": [
+        "EIS A029767"
+    ],
+    "gf": "1/(-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) = 1, _f(1) = 3}",
+    "closedform": "(-1+2^(_n+1))*_n!",
+    "equiv": "2*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs04/ecs_0499.json

@@ -0,0 +1,38 @@
+{
+    "id": 499,
+    "name": "Expansion of e.g.f. (1-x)/(1-x-x^3)",
+    "description": "Expansion of e.g.f. (1-x)/(1-x-x^3)",
+    "specification": "{S = Sequence(Prod(Z,Z,Z,Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        6,
+        24,
+        120,
+        1440,
+        15120,
+        161280,
+        2177280,
+        32659200,
+        518918400,
+        9101030400,
+        174356582400,
+        3574309939200,
+        78460462080000,
+        1841205510144000,
+        45883678224384000,
+        1210048630382592000,
+        33695692813246464000,
+        987758215319715840000
+    ],
+    "references": [
+        "EIS A052557"
+    ],
+    "gf": "(-1+_x)/(_x^3+_x-1)",
+    "rec": "{(-_n^3-6*_n^2-11*_n-6)*_f(_n)+(-_n-3)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) = 0}",
+    "closedform": "Sum(-1/31*(3*_alpha^2-11*_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+_Z-1))*_n!",
+    "equiv": "(-1+RootOf(_Z^3+_Z-1,.682327803828019))/(-3*RootOf(_Z^3+_Z-1,.682327803828019)^3-RootOf(_Z^3+_Z-1,.682327803828019))*(RootOf(_Z^3+_Z-1,.682327803828019)^2+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0500.json

@@ -0,0 +1,38 @@
+{
+    "id": 500,
+    "name": "a(n) = n! *((-1)^n + 2*n + 3)/4",
+    "description": "a(n) = n! *((-1)^n + 2*n + 3)/4",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        12,
+        72,
+        360,
+        2880,
+        20160,
+        201600,
+        1814400,
+        21772800,
+        239500800,
+        3353011200,
+        43589145600,
+        697426329600,
+        10461394944000,
+        188305108992000,
+        3201186852864000,
+        64023737057280000,
+        1216451004088320000,
+        26761922089943040000
+    ],
+    "references": [
+        "EIS A052558"
+    ],
+    "gf": "1/(-1+_x)/(_x^2-1)",
+    "rec": "{(-_n^2-4*_n-3)*_f(_n)-_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 1}",
+    "closedform": "(3/4+1/4*(-1)^(-_n)+1/2*_n)*_n\\!",
+    "equiv": "1/2*_n"
+}

combstruct/data/ecs05/ecs_0501.json

@@ -0,0 +1,38 @@
+{
+    "id": 501,
+    "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(Prod(Z,Union(Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        6,
+        36,
+        336,
+        3720,
+        50400,
+        791280,
+        14232960,
+        287763840,
+        6466521600,
+        159826867200,
+        4309577395200,
+        125885452492800,
+        3960073877760000,
+        133473015067392000,
+        4798579092443136000,
+        183299247820136448000,
+        7413654242042560512000,
+        316508265108639571968000,
+        14223752361232022568960000
+    ],
+    "references": [
+        "EIS A052559"
+    ],
+    "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) = 6}",
+    "closedform": "Sum(-1/7*(_alpha^2-2*_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,.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/ecs05/ecs_0502.json

@@ -0,0 +1,38 @@
+{
+    "id": 502,
+    "name": "a(n) = 3*n!",
+    "description": "a(n) = 3*n!",
+    "specification": "{S = Union(Sequence(Z),Sequence(Z),Sequence(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        3,
+        3,
+        6,
+        18,
+        72,
+        360,
+        2160,
+        15120,
+        120960,
+        1088640,
+        10886400,
+        119750400,
+        1437004800,
+        18681062400,
+        261534873600,
+        3923023104000,
+        62768369664000,
+        1067062284288000,
+        19207121117184000,
+        364935301226496000,
+        7298706024529920000
+    ],
+    "references": [
+        "EIS A052560"
+    ],
+    "gf": "-3/(-1+_x)",
+    "rec": "{(-1-_n)*_f(_n)+_f(_n+1),_f(0) = 3, _f(1) = 3}",
+    "closedform": "3*_n!",
+    "equiv": "3"
+}

combstruct/data/ecs05/ecs_0503.json

@@ -0,0 +1,38 @@
+{
+    "id": 503,
+    "name": "a(n) = (1 + 2^n) * n!",
+    "description": "a(n) = (1 + 2^n) * n!",
+    "specification": "{S = Union(Sequence(Z),Sequence(Union(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        3,
+        10,
+        54,
+        408,
+        3960,
+        46800,
+        650160,
+        10362240,
+        186157440,
+        3719520000,
+        81789523200,
+        1962469555200,
+        51017981414400,
+        1428416301312000,
+        42851181364992000,
+        1371216880889856000,
+        46621018262827008000,
+        1678350255088066560000,
+        63777188048246120448000,
+        2551085089027836641280000
+    ],
+    "references": [
+        "EIS A052561"
+    ],
+    "gf": "-(-2+3*_x)/(-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) = 2, _f(1) = 3, _f(2) = 10}",
+    "closedform": "(1+2^_n)*_n!",
+    "equiv": "exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs05/ecs_0504.json

@@ -0,0 +1,38 @@
+{
+    "id": 504,
+    "name": "Duplicate of A052562",
+    "description": "Duplicate of A052562",
+    "specification": "{S = Sequence(Union(Z,Z,Z,Z,Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        5,
+        50,
+        750,
+        15000,
+        375000,
+        11250000,
+        393750000,
+        15750000000,
+        708750000000,
+        35437500000000,
+        1949062500000000,
+        116943750000000000,
+        7601343750000000000,
+        532094062500000000000,
+        39907054687500000000000,
+        3192564375000000000000000,
+        271367971875000000000000000,
+        24423117468750000000000000000,
+        2320196159531250000000000000000,
+        232019615953125000000000000000000
+    ],
+    "references": [
+        "EIS A047054"
+    ],
+    "gf": "-1/(-1+5*_x)",
+    "rec": "{(-5*_n-5)*_f(_n)+_f(_n+1), _f(0) = 1}",
+    "closedform": "5^_n*_n!",
+    "equiv": "exp(-_n)^(-ln(5))"
+}

combstruct/data/ecs05/ecs_0505.json

@@ -0,0 +1,38 @@
+{
+    "id": 505,
+    "name": "E.g.f.: (1-x)/(1-3*x)",
+    "description": "E.g.f.: (1-x)/(1-3*x)",
+    "specification": "{S = Sequence(Prod(Union(Z,Z),Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        12,
+        108,
+        1296,
+        19440,
+        349920,
+        7348320,
+        176359680,
+        4761711360,
+        142851340800,
+        4714094246400,
+        169707392870400,
+        6618588321945600,
+        277980709521715200,
+        12509131928477184000,
+        600438332566904832000,
+        30622354960912146432000,
+        1653607167889255907328000,
+        94255608569687586717696000,
+        5655336514181255203061760000
+    ],
+    "references": [
+        "EIS A052563"
+    ],
+    "gf": "(-1+_x)/(-1+3*_x)",
+    "rec": "{(-3*_n-3)*_f(_n)+_f(_n+1), _f(0) = 1, _f(1) = 2}",
+    "closedform": "(2*3^(_n-1)+piecewise(_n = 0,1/3,0))*_n!",
+    "equiv": "2/3*exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs05/ecs_0506.json

@@ -0,0 +1,38 @@
+{
+    "id": 506,
+    "name": "a(n) = n! * C(n+2, 2) * 2^(n+1)",
+    "description": "a(n) = n! * C(n+2, 2) * 2^(n+1)",
+    "specification": "{S = Prod(Z,Sequence(Prod(Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        12,
+        96,
+        960,
+        11520,
+        161280,
+        2580480,
+        46448640,
+        928972800,
+        20437401600,
+        490497638400,
+        12752938598400,
+        357082280755200,
+        10712468422656000,
+        342798989524992000,
+        11655165643849728000,
+        419585963178590208000,
+        15944266600786427904000,
+        637770664031457116160000
+    ],
+    "references": [
+        "EIS A014297"
+    ],
+    "gf": "_x*(-1+_x)/(-1+2*_x)",
+    "rec": "{(-2*_n-2)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 1, _f(2) = 2}",
+    "closedform": "(1/4*2^_n+piecewise(_n = 0,-1/4,_n = 1,1/2,0))*_n!",
+    "equiv": "1/4*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs05/ecs_0507.json

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

combstruct/data/ecs05/ecs_0508.json

@@ -0,0 +1,38 @@
+{
+    "id": 508,
+    "name": "Expansion of e.g.f. (2 + x)/(1 - x^2)",
+    "description": "Expansion of e.g.f. (2 + x)/(1 - x^2)",
+    "specification": "{S = Union(Sequence(Z),Sequence(Prod(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        1,
+        4,
+        6,
+        48,
+        120,
+        1440,
+        5040,
+        80640,
+        362880,
+        7257600,
+        39916800,
+        958003200,
+        6227020800,
+        174356582400,
+        1307674368000,
+        41845579776000,
+        355687428096000,
+        12804747411456000,
+        121645100408832000,
+        4865804016353280000
+    ],
+    "references": [
+        "EIS A052566"
+    ],
+    "gf": "-(_x+2)/(-1+_x)/(1+_x)",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+_f(_n+2), _f(0) = 2, _f(1) = 1, _f(2) = 4}",
+    "closedform": "(3/2+1/2*(-1)^(-_n))*_n!",
+    "equiv": "3/2-1/2*exp(Complex(1)*Pi*_n)"
+}

combstruct/data/ecs05/ecs_0509.json

@@ -0,0 +1,38 @@
+{
+    "id": 509,
+    "name": "E.g.f.: (1-x)^2/(1-3*x+x^2)",
+    "description": "E.g.f.: (1-x)^2/(1-3*x+x^2)",
+    "specification": "{S = Sequence(Prod(Z,Sequence(Z),Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        6,
+        48,
+        504,
+        6600,
+        103680,
+        1900080,
+        39795840,
+        937681920,
+        24548832000,
+        706966444800,
+        22210346188800,
+        755916735974400,
+        27706219904563200,
+        1088037381150720000,
+        45576301518139392000,
+        2028445209752113152000,
+        95589693062063456256000,
+        4754884242802394308608000,
+        248968971204559545139200000
+    ],
+    "references": [
+        "EIS A052567"
+    ],
+    "gf": "(-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) = 1, _f(1) = 1, _f(2) = 6}",
+    "closedform": "(Sum(-1/5*(-2+3*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-3*_Z+1))+piecewise(_n = 0,1,0))*_n\\!",
+    "equiv": "(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_0510.json

@@ -0,0 +1,38 @@
+{
+    "id": 510,
+    "name": "E.g.f.: (1-x)/(1-3*x+x^2)",
+    "description": "E.g.f.: (1-x)/(1-3*x+x^2)",
+    "specification": "{S= Sequence(Union(Z,Prod(Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        10,
+        78,
+        816,
+        10680,
+        167760,
+        3074400,
+        64391040,
+        1517201280,
+        39720844800,
+        1143895737600,
+        35937095040000,
+        1223098971494400,
+        44829605505484800,
+        1760481463732992000,
+        73744004937867264000,
+        3282093293695856640000,
+        154667372348588875776000,
+        7693564317425582948352000,
+        402840257553071204106240000
+    ],
+    "references": [
+        "EIS A052568"
+    ],
+    "gf": "-(-1+_x)/(_x^2-3*_x+1)",
+    "rec": "{(_n^2+3*_n+2)*_f(_n)+(-3*_n-6)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 2}",
+    "closedform": "Sum(1/5*(1+_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-3*_Z+1))*_n!",
+    "equiv": "-(1/2-1/2*5^(1/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)))"
+}