combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs08/ecs_0808.json

@@ -0,0 +1,36 @@
+{
+    "id": 808,
+    "name": "Expansion of e.g.f.: 1/(exp(x)*(2-exp(x)))",
+    "description": "Expansion of e.g.f.: 1/(exp(x)*(2-exp(x)))",
+    "specification": "{B = Prod(C,C), C = Set(Z,1 <= card), S = Sequence(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        2,
+        6,
+        38,
+        270,
+        2342,
+        23646,
+        272918,
+        3543630,
+        51123782,
+        811316286,
+        14045783798,
+        263429174190,
+        5320671485222,
+        115141595488926,
+        2657827340990678,
+        65185383514567950,
+        1692767331628422662,
+        46400793659664205566,
+        1338843898122192101558
+    ],
+    "references": [
+        "EIS A052841"
+    ],
+    "gf": "-1/exp(_x)/(-2+exp(_x))",
+    "equiv": "1/4/ln(2)*exp(-_n)^ln(ln(2))"
+}

combstruct/data/ecs08/ecs_0809.json

@@ -0,0 +1,34 @@
+{
+    "id": 809,
+    "name": "E.g.f. A(x) = series reversion of (1-x)*(1-exp(-x))",
+    "description": "E.g.f. A(x) = series reversion of (1-x)*(1-exp(-x))",
+    "specification": "{B = Sequence(S), C = Prod(Z,B), S = Cycle(C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        23,
+        290,
+        5104,
+        115374,
+        3185972,
+        103946688,
+        3912527016,
+        166884627360,
+        7955159511672,
+        419106982360560,
+        24182042474691984,
+        1516563901865906880,
+        102717031449780063360,
+        7472238163167018081024,
+        581053884344390485898496,
+        48098247347589501768946560,
+        4222716897083957297502024960,
+        391908617784125878626600560640
+    ],
+    "references": [
+        "EIS A052842"
+    ]
+}

combstruct/data/ecs08/ecs_0810.json

@@ -0,0 +1,36 @@
+{
+    "id": 810,
+    "name": "Number of labeled spanning trees in the complete hypergraph on n vertices (all hyperedges having cardinality 2 or greater)",
+    "description": "Number of labeled spanning trees in the complete hypergraph on n vertices (all hyperedges having cardinality 2 or greater)",
+    "specification": "{B = Set(C,1 <=card), C = Prod(Z,S), S = Set(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        29,
+        311,
+        4447,
+        79745,
+        1722681,
+        43578820,
+        1264185051,
+        41381702275,
+        1509114454597,
+        60681141052273,
+        2667370764248023,
+        127258109992533616,
+        6549338612837162225,
+        361680134713529977507,
+        21333858798449021030515,
+        1338681172839439064846881,
+        89041976162350618062483261,
+        6258035936941300341991881112
+    ],
+    "references": [
+        "EIS A030019"
+    ],
+    "gf": "exp(RootOf(_Z-exp(exp(_Z)*_x)+1))",
+    "equiv": "-1/2/Pi^(1/2)*exp(exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))-1)*(-exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))+1)*(exp(1/LambertW(1)*(-1+LambertW(1)))*LambertW(1)*exp(exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))-1)/(1/2*exp(1/LambertW(1)*(-1+LambertW(1)))*LambertW(1)*exp(exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))-1)*(-exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))+1)^2+1/2/exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))^2*(-exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))+1)^2))^(1/2)*(1/_n)^(3/2)*(1/LambertW(1)*exp((1-LambertW(1))/LambertW(1)))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs08/ecs_0811.json

@@ -0,0 +1,34 @@
+{
+    "id": 811,
+    "name": "a(n) is the number of forests with n nodes of rooted unlabeled identity trees",
+    "description": "a(n) is the number of forests with n nodes of rooted unlabeled identity trees",
+    "specification": "{B = PowerSet(C), C = Prod(Z,B), S = Set(C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        6,
+        10,
+        20,
+        38,
+        79,
+        162,
+        348,
+        751,
+        1661,
+        3695,
+        8335,
+        18919,
+        43310,
+        99664,
+        230700,
+        536327,
+        1252298
+    ],
+    "references": [
+        "EIS A052843"
+    ]
+}

combstruct/data/ecs08/ecs_0812.json

@@ -0,0 +1,37 @@
+{
+    "id": 812,
+    "name": "E.g.f.: exp(x*(2-x)/(1-x))",
+    "description": "E.g.f.: exp(x*(2-x)/(1-x))",
+    "specification": "{B = Sequence(Z,1 <= card), C = Union(Z,B), S = Set(C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        6,
+        26,
+        148,
+        1032,
+        8464,
+        79592,
+        842832,
+        9914336,
+        128162464,
+        1804852128,
+        27489582784,
+        450089665664,
+        7880963503872,
+        146913179393408,
+        2904309329449216,
+        60677563647195648,
+        1335634021282590208,
+        30891084696208976384,
+        748854186528315687936
+    ],
+    "references": [
+        "EIS A052844"
+    ],
+    "gf": "exp(_x*(_x-2)/(-1+_x))",
+    "rec": "{(-_n^2-3*_n-2)*_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) = 6}",
+    "equiv": "1/2/Pi^(1/2)*exp(1/2)*(1/_n)^(3/4)*exp(2/(1/_n)^(1/2))"
+}

combstruct/data/ecs08/ecs_0813.json

@@ -0,0 +1,37 @@
+{
+    "id": 813,
+    "name": "Expansion of e.g.f.: exp(x^2/(1-x))",
+    "description": "Expansion of e.g.f.: exp(x^2/(1-x))",
+    "specification": "{B = Sequence(Z,1 <= card), C = Prod(Z,B), S = Set(C,1<= card)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        6,
+        36,
+        240,
+        1920,
+        17640,
+        183120,
+        2116800,
+        26943840,
+        374220000,
+        5628934080,
+        91122071040,
+        1579034096640,
+        29155689763200,
+        571308920582400,
+        11838533804697600,
+        258608278645516800,
+        5938673374272038400,
+        143003892952893772800
+    ],
+    "references": [
+        "EIS A052845"
+    ],
+    "gf": "exp(-_x^2/(-1+_x))-1",
+    "rec": "{(_n^2+3*_n+2)*_f(_n)+(_n^2+_n-2)*_f(_n+1)+(-2*_n-4)*_f(_n+2)+_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3) =6}",
+    "equiv": "1/32/Pi^(1/2)*2^(1/2)*exp(-3/2)*128^(1/2)*(1/_n)^(3/4)*exp(2/(1/_n)^(1/2))"
+}

combstruct/data/ecs08/ecs_0814.json

@@ -0,0 +1,36 @@
+{
+    "id": 814,
+    "name": "E.g.f.: (1-exp(x))*log(2-exp(x))",
+    "description": "E.g.f.: (1-exp(x))*log(2-exp(x))",
+    "specification": "{B = Set(Z,1 <= card), C = Cycle(B), S = Prod(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        9,
+        40,
+        215,
+        1446,
+        11893,
+        115844,
+        1302099,
+        16568290,
+        235237937,
+        3684998208,
+        63113398543,
+        1173013230494,
+        23509415868141,
+        505358483764732,
+        11597234229683147,
+        282970077651917658,
+        7314780938223880105,
+        199689024903394393016
+    ],
+    "references": [
+        "EIS A052846"
+    ],
+    "gf": "ln(-1/(-2+exp(_x)))*exp(_x)-ln(-1/(-2+exp(_x)))",
+    "equiv": "1/_n*exp(-_n)^ln(ln(2))"
+}

combstruct/data/ecs08/ecs_0815.json

@@ -0,0 +1,35 @@
+{
+    "id": 815,
+    "name": "G.f.: 1 / Product_{k>=1} (1-x^k)^(k-1)",
+    "description": "G.f.: 1 / Product_{k>=1} (1-x^k)^(k-1)",
+    "specification": "{B = Sequence(Z,1 <= card), C = Prod(B,B), S = Set(C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        2,
+        4,
+        6,
+        12,
+        18,
+        33,
+        52,
+        88,
+        138,
+        229,
+        354,
+        568,
+        880,
+        1378,
+        2110,
+        3260,
+        4942,
+        7527
+    ],
+    "references": [
+        "EIS A052847"
+    ],
+    "gf": "exp(Sum((_x^j[1])^2/(_x^j[1]-1)^2/j[1],j[1] = 1 .. infinity))"
+}

combstruct/data/ecs08/ecs_0816.json

@@ -0,0 +1,36 @@
+{
+    "id": 816,
+    "name": "Number of ordered set partitions with a designated element in each block and no block containing less than two elements",
+    "description": "Number of ordered set partitions with a designated element in each block and no block containing less than two elements",
+    "specification": "{B = Prod(Z,C), C = Set(Z,1 <= card), S = Sequence(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        2,
+        3,
+        28,
+        125,
+        1146,
+        8827,
+        94200,
+        1007001,
+        12814390,
+        172114151,
+        2584755636,
+        41436880069,
+        721702509906,
+        13397081295795,
+        266105607506416,
+        5605474012933169,
+        125164378600050798,
+        2948082261121889983,
+        73122068527848758700
+    ],
+    "references": [
+        "EIS A052848"
+    ],
+    "gf": "-1/(-1+_x*exp(_x)-_x)",
+    "equiv": "-exp(Complex(1)*Pi*_n)/(-RootOf(_Z*exp(_Z)-_Z-1,-1.349976485)*exp(RootOf(_Z*exp(_Z)-_Z-1,-1.349976485))-exp(RootOf(_Z*exp(_Z)-_Z-1,-1.349976485))*RootOf(_Z*exp(_Z)-_Z-1,-1.349976485)^2+RootOf(_Z*exp(_Z)-_Z-1,-1.349976485))*exp(-_n)^ln(-RootOf(_Z*exp(_Z)-_Z-1,-1.349976485))"
+}

combstruct/data/ecs08/ecs_0817.json

@@ -0,0 +1,38 @@
+{
+    "id": 817,
+    "name": "a(0) = 0; a(n) = 2*n! (n >= 1)",
+    "description": "a(0) = 0; a(n) = 2*n! (n >= 1)",
+    "specification": "{B = Cycle(Z), C = Cycle(Z), S = Union(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        2,
+        2,
+        4,
+        12,
+        48,
+        240,
+        1440,
+        10080,
+        80640,
+        725760,
+        7257600,
+        79833600,
+        958003200,
+        12454041600,
+        174356582400,
+        2615348736000,
+        41845579776000,
+        711374856192000,
+        12804747411456000,
+        243290200817664000
+    ],
+    "references": [
+        "EIS A052849"
+    ],
+    "gf": "2*ln(-1/(-1+_x))",
+    "rec": "{(-1-_n)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 2, _f(2) = 2}",
+    "closedform": "2*GAMMA(_n)",
+    "equiv": "2/_n"
+}

combstruct/data/ecs08/ecs_0818.json

@@ -0,0 +1,38 @@
+{
+    "id": 818,
+    "name": "E.g.f.: x/(1-x)+log((1-x)/(1-2*x))",
+    "description": "E.g.f.: x/(1-x)+log((1-x)/(1-2*x))",
+    "specification": "{B = Sequence(Z,1 <= card), C = Cycle(B), S = Union(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        2,
+        5,
+        20,
+        114,
+        864,
+        8280,
+        96480,
+        1325520,
+        20966400,
+        374855040,
+        7468070400,
+        163938297600,
+        3929729126400,
+        102104460057600,
+        2857878742118400,
+        85719362496768000,
+        2742726680838144000,
+        93247371837075456000,
+        3356802948155424768000,
+        127556444063199191040000
+    ],
+    "references": [
+        "EIS A052850"
+    ],
+    "gf": "(ln((-1+_x)/(-1+2*_x))*_x-ln((-1+_x)/(-1+2*_x))-_x)/(-1+_x)",
+    "rec": "{(2*_n^3-2*_n)*_f(_n)+(-3*_n^2+2*_n+5)*_f(_n+1)+(_n-2)*_f(_n+2), _f(0)= 0, _f(1) = 2, _f(2) = 5, _f(3) = 20, _f(4) = 114}",
+    "closedform": "(8*2^(_n-3)+_n-1)*GAMMA(_n)",
+    "equiv": "1/_n*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs08/ecs_0819.json

@@ -0,0 +1,36 @@
+{
+    "id": 819,
+    "name": "Expansion of e.g.f. 1/2 - (1/2)*(1+4*log(1-x))^(1/2)",
+    "description": "Expansion of e.g.f. 1/2 - (1/2)*(1+4*log(1-x))^(1/2)",
+    "specification": "{B =Cycle(Z), C = Sequence(S), S = Prod(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        20,
+        220,
+        3424,
+        69008,
+        1706256,
+        49956240,
+        1689497376,
+        64799254752,
+        2778906776832,
+        131756614920192,
+        6843405231815424,
+        386414606189283072,
+        23567401521343170048,
+        1543994621969805135360,
+        108137637714495023354880,
+        8062825821198926369725440,
+        637637813223978298927656960,
+        53310542045467484283788021760
+    ],
+    "references": [
+        "EIS A052851"
+    ],
+    "gf": "1/2-1/2*(1-4*ln(-1/(-1+_x)))^(1/2)",
+    "equiv": "1/4/Pi^(1/2)*4^(1/2)*((1-(exp(1/4)-1)/exp(1/4))*(-exp(1/4)+1)/(-1+(exp(1/4)-1)/exp(1/4)))^(1/2)*(1/_n)^(3/2)*exp(-_n)^(ln(exp(1/4)-1)-1/4)"
+}

combstruct/data/ecs08/ecs_0820.json

@@ -0,0 +1,37 @@
+{
+    "id": 820,
+    "name": "Expansion of e.g.f.: (x/(1-x))*exp(x/(1-x))",
+    "description": "Expansion of e.g.f.: (x/(1-x))*exp(x/(1-x))",
+    "specification": "{B = Set(C), C = Sequence(Z,1 <= card), S = Prod(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        21,
+        136,
+        1045,
+        9276,
+        93289,
+        1047376,
+        12975561,
+        175721140,
+        2581284541,
+        40864292184,
+        693347907421,
+        12548540320876,
+        241253367679185,
+        4909234733857696,
+        105394372192969489,
+        2380337795595885156,
+        56410454014314490981,
+        1399496554158060983080
+    ],
+    "references": [
+        "EIS A052852"
+    ],
+    "gf": "-exp(-_x/(-1+_x))*_x/(-1+_x)",
+    "rec": "{(_n^2+2*_n)*_f(_n)+(-2*_n-4)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 1}",
+    "equiv": "1/2/Pi^(1/2)*exp(-1)*exp(1/2)*(1/_n)^(1/4)*exp(2/(1/_n)^(1/2))"
+}

combstruct/data/ecs08/ecs_0821.json

@@ -0,0 +1,34 @@
+{
+    "id": 821,
+    "name": "Cycles of rooted sets",
+    "description": "A simple grammar",
+    "specification": "{B = Set(S), C = Prod(Z,B), S = Cycle(C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        5,
+        14,
+        42,
+        138,
+        466,
+        1643,
+        5919,
+        21773,
+        81279,
+        307483,
+        1175352,
+        4534161,
+        17626999,
+        68992703,
+        271641249,
+        1075144364,
+        4275274867,
+        17071822275
+    ],
+    "references": [
+        "EIS A052853"
+    ]
+}

combstruct/data/ecs08/ecs_0822.json

@@ -0,0 +1,35 @@
+{
+    "id": 822,
+    "name": "Number of forests of ordered trees on n total nodes",
+    "description": "Number of forests of ordered trees on n total nodes",
+    "specification": "{B = Sequence(C), C =Prod(Z,B), S = Set(C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        4,
+        10,
+        26,
+        77,
+        235,
+        758,
+        2504,
+        8483,
+        29203,
+        102030,
+        360442,
+        1285926,
+        4625102,
+        16754302,
+        61067430,
+        223803775,
+        824188993,
+        3048383517
+    ],
+    "references": [
+        "EIS A052854"
+    ],
+    "gf": "exp(Sum(-1/2*(-1+(1-4*_x^j[1])^(1/2))/j[1],j[1] = 1 ..infinity))"
+}

combstruct/data/ecs08/ecs_0823.json

@@ -0,0 +1,34 @@
+{
+    "id": 823,
+    "name": "Number of forests of rooted trees of nonempty sets with n points. (Each node is a set of 1 or more points.)",
+    "description": "Number of forests of rooted trees of nonempty sets with n points. (Each node is a set of 1 or more points.)",
+    "specification": "{B = Sequence(Z,1 <= card), C = Prod(B,S), S = Set(C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        3,
+        8,
+        24,
+        71,
+        224,
+        710,
+        2318,
+        7659,
+        25703,
+        87153,
+        298574,
+        1031104,
+        3587263,
+        12558652,
+        44214807,
+        156438309,
+        555973965,
+        1983817178,
+        7104313970
+    ],
+    "references": [
+        "EIS A052855"
+    ]
+}

combstruct/data/ecs08/ecs_0824.json

@@ -0,0 +1,36 @@
+{
+    "id": 824,
+    "name": "E.g.f.: (1-3*exp(x)+exp(2*x))/(exp(x)-2)",
+    "description": "E.g.f.: (1-3*exp(x)+exp(2*x))/(exp(x)-2)",
+    "specification": "{B = Sequence(C), C =Set(Z,1 <= card), S = Union(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        4,
+        14,
+        76,
+        542,
+        4684,
+        47294,
+        545836,
+        7087262,
+        102247564,
+        1622632574,
+        28091567596,
+        526858348382,
+        10641342970444,
+        230283190977854,
+        5315654681981356,
+        130370767029135902,
+        3385534663256845324,
+        92801587319328411134,
+        2677687796244384203116
+    ],
+    "references": [
+        "EIS A052856"
+    ],
+    "gf": "(exp(_x)^2-3*exp(_x)+1)/(-2+exp(_x))",
+    "equiv": "1/2/ln(2)*exp(-_n)^ln(ln(2))"
+}

combstruct/data/ecs08/ecs_0825.json

@@ -0,0 +1,35 @@
+{
+    "id": 825,
+    "name": "A simple grammar. a(n)=n*A052873(n-1)",
+    "description": "A simple grammar. a(n)=n*A052873(n-1)",
+    "specification": "{B = Sequence(S,1 <= card), C = Set(B), S = Prod(Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        15,
+        184,
+        3145,
+        68976,
+        1846999,
+        58413440,
+        2130740721,
+        88061420800,
+        4066862460991,
+        207556068584448,
+        11600364266112505,
+        704664527894104064,
+        46226086991634882375,
+        3256882066245640093696,
+        245279323467051422886241,
+        19663271324819503706603520,
+        1671825824412405475979766511,
+        150261731081425845846179840000
+    ],
+    "references": [
+        "EIS A052857"
+    ],
+    "gf": "exp(RootOf(exp(_Z)*_Z*_x+exp(_Z)*_x-_Z))*_x"
+}