combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs08/ecs_0844.json

@@ -0,0 +1,35 @@
+{
+    "id": 844,
+    "name": "E.g.f. A(x) satisfies A(x) = exp(x*A(x)/(1 - x*A(x)))",
+    "description": "E.g.f. A(x) satisfies A(x) = exp(x*A(x)/(1 - x*A(x)))",
+    "specification": "{B = Prod(Z,S), C = Sequence(B,1 <= card), S = Set(C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        5,
+        46,
+        629,
+        11496,
+        263857,
+        7301680,
+        236748969,
+        8806142080,
+        369714769181,
+        17296339048704,
+        892335712777885,
+        50333180563864576,
+        3081739132775658825,
+        203555129140352505856,
+        14428195498061848405073,
+        1092403962489972428144640,
+        87990832863810814525250869,
+        7513086554071292292308992000,
+        677859124940962756951314951621
+    ],
+    "references": [
+        "EIS A052873"
+    ],
+    "gf": "exp(RootOf(exp(_Z)*_Z*_x+exp(_Z)*_x-_Z))"
+}

combstruct/data/ecs08/ecs_0845.json

@@ -0,0 +1,37 @@
+{
+    "id": 845,
+    "name": "E.g.f.: -x/(-1+x)*(exp(-x/(-1+x))-1)",
+    "description": "E.g.f.: -x/(-1+x)*(exp(-x/(-1+x))-1)",
+    "specification": "{B = Set(C,1 <= card), C = Sequence(Z,1 <= card), S = Prod(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        15,
+        112,
+        925,
+        8556,
+        88249,
+        1007056,
+        12612681,
+        172092340,
+        2541367741,
+        40385290584,
+        687120886621,
+        12461362029676,
+        239945693311185,
+        4888311943969696,
+        105038684764873489,
+        2373935421890157156,
+        56288808913905658981,
+        1397063652149884343080
+    ],
+    "references": [
+        "EIS A052874"
+    ],
+    "gf": "-(exp(-_x/(-1+_x))-1)*_x/(-1+_x)",
+    "rec": "{(-_n^4-6*_n^3-11*_n^2-6*_n)*_f(_n)+(3*_n^3+18*_n^2+33*_n+18)*_f(_n+1)+(-3*_n^2-14*_n-15)*_f(_n+2)+(_n+2)*_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3)= 15}",
+    "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_0846.json

@@ -0,0 +1,36 @@
+{
+    "id": 846,
+    "name": "E.g.f.: (exp(x)-1)^2/(2-exp(x))",
+    "description": "E.g.f.: (exp(x)-1)^2/(2-exp(x))",
+    "specification": "{B = Set(Z,1 <=card), C = Sequence(B,1 <= card), S = Prod(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        12,
+        74,
+        540,
+        4682,
+        47292,
+        545834,
+        7087260,
+        102247562,
+        1622632572,
+        28091567594,
+        526858348380,
+        10641342970442,
+        230283190977852,
+        5315654681981354,
+        130370767029135900,
+        3385534663256845322,
+        92801587319328411132,
+        2677687796244384203114
+    ],
+    "references": [
+        "EIS A052875"
+    ],
+    "gf": "-(exp(_x)^2-2*exp(_x)+1)/(-2+exp(_x))",
+    "equiv": "1/2/ln(2)*exp(-_n)^ln(ln(2))"
+}

combstruct/data/ecs08/ecs_0847.json

@@ -0,0 +1,36 @@
+{
+    "id": 847,
+    "name": "Expansion of e.g.f. (exp(x)-1)^2/(-2+exp(x))^2",
+    "description": "Expansion of e.g.f. (exp(x)-1)^2/(-2+exp(x))^2",
+    "specification": "{B = Set(Z,1 <= card), C = Sequence(B,1<= card), S = Prod(C,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        18,
+        158,
+        1530,
+        16622,
+        201978,
+        2724878,
+        40492890,
+        657944942,
+        11611834938,
+        221291822798,
+        4530383962650,
+        99179581033262,
+        2312402554523898,
+        57211901491595918,
+        1497211181084718810,
+        41322491664778937582,
+        1199641517143199484858,
+        36545880804885460636238
+    ],
+    "references": [
+        "EIS A052876"
+    ],
+    "gf": "(exp(_x)-1)^2/(-2+exp(_x))^2",
+    "equiv": "1/4/ln(2)^2*_n*exp(-_n)^ln(ln(2))"
+}

combstruct/data/ecs08/ecs_0848.json

@@ -0,0 +1,36 @@
+{
+    "id": 848,
+    "name": "E.g.f.: exp(x)-1+log(-1/(-2+exp(x)))",
+    "description": "E.g.f.: exp(x)-1+log(-1/(-2+exp(x)))",
+    "specification": "{B = Set(Z,1 <= card), C = Cycle(B), S = Union(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        2,
+        3,
+        7,
+        27,
+        151,
+        1083,
+        9367,
+        94587,
+        1091671,
+        14174523,
+        204495127,
+        3245265147,
+        56183135191,
+        1053716696763,
+        21282685940887,
+        460566381955707,
+        10631309363962711,
+        260741534058271803,
+        6771069326513690647,
+        185603174638656822267
+    ],
+    "references": [
+        "EIS A052877"
+    ],
+    "gf": "exp(_x)-1+ln(-1/(-2+exp(_x)))",
+    "equiv": "1/_n*exp(-_n)^ln(ln(2))"
+}

combstruct/data/ecs08/ecs_0849.json

@@ -0,0 +1,38 @@
+{
+    "id": 849,
+    "name": "E.g.f.: log((1-x)/(1-3*x+x^2))",
+    "description": "E.g.f.: log((1-x)/(1-3*x+x^2))",
+    "specification": "{B= Sequence(Z,1 <= card), C = Union(Z,B), S = Cycle(C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        2,
+        6,
+        34,
+        276,
+        2928,
+        38520,
+        606240,
+        11118240,
+        232928640,
+        5488922880,
+        143707737600,
+        4138613740800,
+        130021152307200,
+        4425207423436800,
+        162194949242726400,
+        6369480464675328000,
+        266808295408951296000,
+        11874724735152254976000,
+        559591803705456377856000,
+        27835577073434042744832000
+    ],
+    "references": [
+        "EIS A052878"
+    ],
+    "gf": "ln(-(-1+_x)/(_x^2-3*_x+1))",
+    "rec": "{(-_n^3-3*_n^2-2*_n)*_f(_n)+(4*_n^2+12*_n+8)*_f(_n+1)+(-4*_n-8)*_f(_n+2)+_f(_n+3), _f(0) = 0, _f(1) = 2, _f(2) = 6, _f(3) = 34, _f(4) = 276}",
+    "closedform": "-1/2*GAMMA(_n)*(3*(3/2-1/2*5^(1/2))^(_n-2)*5^(1/2)-3*(1/2*5^(1/2)+3/2)^(_n-2)*5^(1/2)-7*(3/2-1/2*5^(1/2))^(_n-2)-7*(1/2*5^(1/2)+3/2)^(_n-2)+2)",
+    "equiv": "1/_n*exp(-_n)^(-ln(2)+ln(3-5^(1/2)))"
+}

combstruct/data/ecs08/ecs_0850.json

@@ -0,0 +1,34 @@
+{
+    "id": 850,
+    "name": "Power sets of nonempty sequences of rooted power sets",
+    "description": "Number of objects generated by the Combstruct grammar defined in the Maple program. See the link for the grammar specification",
+    "specification": "{B = Sequence(C,1 <= card), C = Prod(Z,S), S =PowerSet(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        7,
+        22,
+        81,
+        303,
+        1178,
+        4675,
+        18951,
+        77925,
+        324642,
+        1366718,
+        5806575,
+        24861979,
+        107178994,
+        464805955,
+        2026418389,
+        8876266930,
+        39045009419,
+        172406753611
+    ],
+    "references": [
+        "EIS A052879"
+    ]
+}

combstruct/data/ecs08/ecs_0851.json

@@ -0,0 +1,36 @@
+{
+    "id": 851,
+    "name": "Expansion of e.g.f.: LambertW(1-exp(x))/(1-exp(x))",
+    "description": "Expansion of e.g.f.: LambertW(1-exp(x))/(1-exp(x))",
+    "specification": "{B = Set(Z,1 <= card),C = Prod(B,S), S = Set(C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        26,
+        243,
+        2992,
+        45906,
+        845287,
+        18182926,
+        447797646,
+        12429760889,
+        384055045002,
+        13075708703910,
+        486430792977001,
+        19632714343389296,
+        854503410602781782,
+        39898063449977239323,
+        1989371798838577172796,
+        105503454201101084456182,
+        5930110732782743218645271,
+        352151559724679309663946754
+    ],
+    "references": [
+        "EIS A052880"
+    ],
+    "gf": "-1/(exp(_x)-1)*LambertW(-exp(_x)+1)",
+    "equiv": "1/2/Pi^(1/2)*exp(1)^(3/2)*2^(1/2)*((1/exp(1)+1)*ln(1/exp(1)+1))^(1/2)*(1/_n)^(3/2)*exp(-_n)^ln(ln(1+exp(1))-1)"
+}

combstruct/data/ecs08/ecs_0852.json

@@ -0,0 +1,35 @@
+{
+    "id": 852,
+    "name": "Expansion of Product_{m>=1} (1+x^m)^2",
+    "description": "Expansion of Product_{m>=1} (1+x^m)^2",
+    "specification": "{B = Sequence(Z,1 <= card), C = PowerSet(B), S = Prod(C,C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        3,
+        6,
+        9,
+        14,
+        22,
+        32,
+        46,
+        66,
+        93,
+        128,
+        176,
+        238,
+        319,
+        426,
+        562,
+        736,
+        960,
+        1242,
+        1598
+    ],
+    "references": [
+        "EIS A022567"
+    ],
+    "gf": "exp(Sum((-1)^j[1]*_x^j[1]/(_x^j[1]-1)/j[1],j[1] = 1 .. infinity))^2"
+}

combstruct/data/ecs08/ecs_0853.json

@@ -0,0 +1,38 @@
+{
+    "id": 853,
+    "name": "Expansion of e.g.f. log(1/(1-x))*x/(1-x)",
+    "description": "Expansion of e.g.f. log(1/(1-x))*x/(1-x)",
+    "specification": "{B = Sequence(Z,1 <= card), C = Cycle(Z),S = Prod(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        9,
+        44,
+        250,
+        1644,
+        12348,
+        104544,
+        986256,
+        10265760,
+        116915040,
+        1446526080,
+        19323757440,
+        277238626560,
+        4251984710400,
+        69426608025600,
+        1202482800691200,
+        22021300630425600,
+        425162773111910400,
+        8631302936352768000
+    ],
+    "references": [
+        "EIS A052881"
+    ],
+    "gf": "-_x/(-1+_x)*ln(-1/(-1+_x))",
+    "rec": "{(_n^3+3*_n^2+2*_n)*_f(_n)+(-2*_n^2-5*_n-2)*_f(_n+1)+(_n+1)*_f(_n+2), _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3)= 9}",
+    "closedform": "GAMMA(_n)*_n*(Psi(_n)+gamma)",
+    "equiv": "ln(_n)"
+}

combstruct/data/ecs08/ecs_0854.json

@@ -0,0 +1,36 @@
+{
+    "id": 854,
+    "name": "REVEGF transform of [1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, ...]",
+    "description": "REVEGF transform of [1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, ...]",
+    "specification": "{B = Set(S,1 <= card),C = Sequence(B), S = Prod(Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        15,
+        184,
+        3155,
+        69516,
+        1871583,
+        59542064,
+        2185497819,
+        90909876100,
+        4226300379983,
+        217152013181544,
+        12219893000227107,
+        747440554689309404,
+        49374719534173925055,
+        3503183373320829575008,
+        265693897270211120103563,
+        21451116469521758657525748,
+        1836834997126650362708093679,
+        166273194780095833780767524120
+    ],
+    "references": [
+        "EIS A053492"
+    ],
+    "gf": "RootOf(_Z*exp(_Z*_x)-2*_Z+1)*_x",
+    "equiv": "1/Pi^(1/2)/LambertW(2*exp(1))*(LambertW(2*exp(1))-1)^2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1)*2^(1/2)*((LambertW(2*exp(1))^2-2*LambertW(2*exp(1))+1)*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1)/LambertW(2*exp(1))/(1/2/(-1+2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))^2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1)^2*(-2+(-1+2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))/RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))^2+1/(-1+2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))))^(1/2)*(1/_n)^(3/2)*exp(-_n)^(2*ln(LambertW(2*exp(1))-1)-1+LambertW(2*exp(1)))"
+}

combstruct/data/ecs08/ecs_0855.json

@@ -0,0 +1,36 @@
+{
+    "id": 855,
+    "name": "Rooted ordered set partitions",
+    "description": "rooted ordered set partitions",
+    "specification": "{B = Set(Z,1 <= card), C = Sequence(B), S = Prod(Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        9,
+        52,
+        375,
+        3246,
+        32781,
+        378344,
+        4912515,
+        70872610,
+        1124723193,
+        19471590876,
+        365190378735,
+        7376016877334,
+        159620144556645,
+        3684531055645648,
+        90366129593683035,
+        2346673806524446218,
+        64325158601880061137,
+        1856031746386568222660
+    ],
+    "references": [
+        "EIS A052882"
+    ],
+    "gf": "-1/(-2+exp(_x))*_x",
+    "equiv": "1/2*exp(-_n)^ln(ln(2))"
+}

combstruct/data/ecs08/ecs_0856.json

@@ -0,0 +1,37 @@
+{
+    "id": 856,
+    "name": "Expansion of e.g.f.: log((-1+x)/(-1+2*x))^2",
+    "description": "Expansion of e.g.f.: log((-1+x)/(-1+2*x))^2",
+    "specification": "{B = Cycle(C), C = Sequence(Z,1 <= card),S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        18,
+        166,
+        1740,
+        20948,
+        287784,
+        4466712,
+        77539680,
+        1491571872,
+        31532466240,
+        727281881280,
+        18184495230720,
+        490130371249920,
+        14170353892047360,
+        437524311352665600,
+        14370793956158976000,
+        500382008375077785600,
+        18412184490011646566400,
+        713946584808220680806400
+    ],
+    "references": [
+        "EIS A052883"
+    ],
+    "gf": "ln((-1+_x)/(-1+2*_x))^2",
+    "rec": "{(4*_n^4+16*_n^3+20*_n^2+8*_n)*_f(_n)+(-12*_n^3-54*_n^2-78*_n-36)*_f(_n+1)+(13*_n^2+52*_n+52)*_f(_n+2)+(-6*_n-15)*_f(_n+3)+_f(_n+4), _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3) = 18}",
+    "equiv": "2*ln(_n)/_n*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs08/ecs_0857.json

@@ -0,0 +1,34 @@
+{
+    "id": 857,
+    "name": "Nonempty sequences of rooted sets",
+    "description": "Number of objects generated by the Combstruct grammar defined in the Maple program. See the link for the grammar specification",
+    "specification": "{B= Prod(Z,C), C = Set(S), S = Sequence(B,1 <= card)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        6,
+        20,
+        73,
+        278,
+        1106,
+        4519,
+        18908,
+        80530,
+        348144,
+        1523492,
+        6736163,
+        30046395,
+        135041458,
+        610954709,
+        2780185203,
+        12716659506,
+        58434130086,
+        269618874220
+    ],
+    "references": [
+        "EIS A052884"
+    ]
+}

combstruct/data/ecs08/ecs_0858.json

@@ -0,0 +1,35 @@
+{
+    "id": 858,
+    "name": "E.g.f. A(x) is inverse to F(x) = x*exp(-x)/(1+x)",
+    "description": "E.g.f. A(x) is inverse to F(x) = x*exp(-x)/(1+x)",
+    "specification": "{B = Prod(Z,C), C = Set(S), S = Sequence(B,1 <= card)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        33,
+        424,
+        7445,
+        166176,
+        4505053,
+        143787904,
+        5282091081,
+        219531404800,
+        10184792907641,
+        521761503753216,
+        29254578504622237,
+        1781920872844693504,
+        117169936148978011125,
+        8272258025961978167296,
+        624121588298172211564817,
+        50114289007200431132246016,
+        4266972876474677154696855121,
+        384005224601954021508874240000
+    ],
+    "references": [
+        "EIS A052885"
+    ],
+    "gf": "RootOf(exp(_Z)*_Z*_x+exp(_Z)*_x-_Z)"
+}

combstruct/data/ecs08/ecs_0859.json

@@ -0,0 +1,36 @@
+{
+    "id": 859,
+    "name": "Expansion of e.g.f.: (1/2) - (1/2)*(5 - 4*exp(x))^(1/2)",
+    "description": "Expansion of e.g.f.: (1/2) - (1/2)*(5 - 4*exp(x))^(1/2)",
+    "specification": "{B = Sequence(S), C = Set(Z,1 <= card), S = Prod(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        19,
+        207,
+        3211,
+        64383,
+        1581259,
+        45948927,
+        1541641771,
+        58645296063,
+        2494091717899,
+        117258952478847,
+        6038838138717931,
+        338082244882740543,
+        20443414320405268939,
+        1327850160592214291967,
+        92200405122521276427691,
+        6815359767190023358085823,
+        534337135055010788022858379,
+        44288342379983148877427260287
+    ],
+    "references": [
+        "EIS A052886"
+    ],
+    "gf": "-1/2*(-1+(5-4*exp(_x))^(1/2))/(exp(_x)-1)*exp(_x)+1/2*(-1+(5-4*exp(_x))^(1/2))/(exp(_x)-1)",
+    "equiv": "1/4/Pi^(1/2)*5^(1/2)*ln(5/4)^(1/2)*(1/_n)^(3/2)*exp(-_n)^ln(ln(5)-2*ln(2))"
+}

combstruct/data/ecs08/ecs_0860.json

@@ -0,0 +1,37 @@
+{
+    "id": 860,
+    "name": "Expansion of e.g.f.: exp(x^2/(1 - x)^2)",
+    "description": "Expansion of e.g.f.: exp(x^2/(1 - x)^2)",
+    "specification": "{B = Sequence(Z,1 <= card), C = Prod(B,B), S = Set(C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        2,
+        12,
+        84,
+        720,
+        7320,
+        85680,
+        1130640,
+        16571520,
+        266747040,
+        4673592000,
+        88476252480,
+        1798674958080,
+        39061703640960,
+        902110060051200,
+        22068313153286400,
+        569874634276147200,
+        15486794507222438400,
+        441703937156940057600,
+        13189422568491333964800
+    ],
+    "references": [
+        "EIS A052887"
+    ],
+    "gf": "exp(_x^2/(-1+_x)^2)",
+    "rec": "{(-_n^3-3*_n^2-2*_n)*_f(_n)+(3*_n^2+7*_n+2)*_f(_n+1)+(-3*_n-6)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) =2}",
+    "equiv": "1/6/Pi^(1/2)*2^(2/3)*exp(1/3)*3^(1/2)*(1/_n)^(2/3)*exp(-1/(1/_n)^(1/3))^(1/2*2^(2/3))*exp(-1/(1/_n)^(2/3))^(-3/2*2^(1/3))"
+}

combstruct/data/ecs08/ecs_0861.json

@@ -0,0 +1,36 @@
+{
+    "id": 861,
+    "name": "Number of labeled rooted trees of nonempty sets with n points. (Each node is a set of 1 or more points.)",
+    "description": "Number of labeled rooted trees of nonempty sets with n points. (Each node is a set of 1 or more points.)",
+    "specification": "{B = Set(Z,1 <=card), C = Set(S), S = Prod(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        16,
+        133,
+        1521,
+        22184,
+        393681,
+        8233803,
+        198342718,
+        5408091155,
+        164658043397,
+        5537255169582,
+        203840528337291,
+        8153112960102283,
+        352079321494938344,
+        16325961781591781401,
+        809073412162081974237,
+        42674870241038732398720,
+        2386963662244981472850709,
+        141123109528983148638323591
+    ],
+    "references": [
+        "EIS A048802"
+    ],
+    "gf": "-LambertW(-exp(_x)+1)",
+    "equiv": "1/2/Pi^(1/2)*2^(1/2)*exp(1)^(1/2)*((1/exp(1)+1)*ln(1/exp(1)+1))^(1/2)*(1/_n)^(3/2)*exp(-_n)^ln(ln(1+exp(1))-1)"
+}