combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs07/ecs_0752.json

@@ -0,0 +1,38 @@
+{
+    "id": 752,
+    "name": "a(n) = (6*n)!/(5*n+1)!",
+    "description": "a(n) = (6*n)!/(5*n+1)!",
+    "specification": "{B = Prod(Z,S,S,S,S,S), S = Sequence(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        12,
+        306,
+        12144,
+        657720,
+        45239040,
+        3776965920,
+        371090522880,
+        41951580652800,
+        5364506808460800,
+        765606216965990400,
+        120639963305775513600,
+        20803502274492921984000,
+        3896911902445736638464000,
+        787971434323820421362688000,
+        171063718698166603304067072000,
+        39684768490714594554427760640000,
+        9797635522841790976987268874240000,
+        2564905040267119939211454383431680000,
+        709690217248121243069571369606512640000
+    ],
+    "references": [
+        "EIS A052795"
+    ],
+    "gf": "RootOf(_Z^6*_x-_Z+1)",
+    "rec": "{(-46656*_n^5-116640*_n^4-110160*_n^3-48600*_n^2-9864*_n-720)*_f(_n)+(3125*_n^4+9375*_n^3+10000*_n^2+4500*_n+720)*_f(_n+1), _f(0) = 1}",
+    "closedform": "1/5*3^(1/2)*Pi^(1/2)*GAMMA(2*_n+1/3)*GAMMA(2*_n+2/3)/GAMMA(_n+6/5)/GAMMA(_n+4/5)/GAMMA(_n+3/5)/GAMMA(_n+2/5)*GAMMA(_n+1/2)/(cos(1/5*Pi)+cos(2/5*Pi))*2916^_n*3125^(-_n)",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(125*_Z^2-12)*(1/_n)^(3/2)*exp(-_n)^(-6*ln(2)-6*ln(3)+5*ln(5))"
+}

combstruct/data/ecs07/ecs_0753.json

@@ -0,0 +1,38 @@
+{
+    "id": 753,
+    "name": "Expansion of e.g.f. x^4*exp(x)^2",
+    "description": "Expansion of e.g.f. x^4*exp(x)^2",
+    "specification": "{B = Set(Z), S = Prod(Z,Z,Z,Z,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        24,
+        240,
+        1440,
+        6720,
+        26880,
+        96768,
+        322560,
+        1013760,
+        3041280,
+        8785920,
+        24600576,
+        67092480,
+        178913280,
+        467927040,
+        1203240960,
+        3048210432,
+        7620526080
+    ],
+    "references": [
+        "EIS A052796"
+    ],
+    "gf": "exp(_x)^2*_x^4",
+    "rec": "{(-2*_n-2)*_f(_n)+(_n-3)*_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 24}",
+    "closedform": "2^(_n-4)*GAMMA(_n+1)/GAMMA(_n-3)",
+    "equiv": "1/32/Pi^(1/2)*2^(1/2)*exp(-2)^2*exp(4)/(1/_n)^(7/2)*exp(-_n)^(-1-ln(2))*_n^(-_n)"
+}

combstruct/data/ecs07/ecs_0754.json

@@ -0,0 +1,34 @@
+{
+    "id": 754,
+    "name": "Number of rooted identity trees with n nodes and 5-colored non-root nodes",
+    "description": "Number of rooted identity trees with n nodes and 5-colored non-root nodes",
+    "specification": "{B = PowerSet(S), S =Prod(Z,B,B,B,B,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        5,
+        35,
+        310,
+        2980,
+        30526,
+        325655,
+        3581200,
+        40301850,
+        461925625,
+        5373527605,
+        63281397830,
+        752962948360,
+        9038406399150,
+        109321688626100,
+        1331047556550240,
+        16300720361555725,
+        200658900798443135,
+        2481460407963908510,
+        30814094488256704650
+    ],
+    "references": [
+        "EIS A052797"
+    ]
+}

combstruct/data/ecs07/ecs_0755.json

@@ -0,0 +1,34 @@
+{
+    "id": 755,
+    "name": "G.f. A(x) satisfies: A(x) = exp( Sum_{k>=1} (-1)^(k+1) * A(x^k)^5 * x^k / k )",
+    "description": "G.f. A(x) satisfies: A(x) = exp( Sum_{k>=1} (-1)^(k+1) * A(x^k)^5 * x^k / k )",
+    "specification": "{B = Prod(Z,S,S,S,S,S), S = PowerSet(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        5,
+        40,
+        355,
+        3475,
+        35836,
+        384436,
+        4243860,
+        47905385,
+        550404336,
+        6415528666,
+        75677788275,
+        901728156490,
+        10837196405920,
+        131215506276862,
+        1599078373019073,
+        19598996116313001,
+        241433496694878595,
+        2987623179187870590,
+        37120980933699042497
+    ],
+    "references": [
+        "EIS A052798"
+    ]
+}

combstruct/data/ecs07/ecs_0756.json

@@ -0,0 +1,38 @@
+{
+    "id": 756,
+    "name": "a(n) = n*5^(n-1)",
+    "description": "a(n) = n*5^(n-1)",
+    "specification": "{B = Set(Z), S = Prod(Z,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        10,
+        75,
+        500,
+        3125,
+        18750,
+        109375,
+        625000,
+        3515625,
+        19531250,
+        107421875,
+        585937500,
+        3173828125,
+        17089843750,
+        91552734375,
+        488281250000,
+        2593994140625,
+        13732910156250,
+        72479248046875,
+        381469726562500
+    ],
+    "references": [
+        "EIS A053464"
+    ],
+    "gf": "exp(_x)^5*_x",
+    "rec": "{(-5*_n-5)*_f(_n)+_f(_n+1)*_n, _f(0) = 0, _f(1) = 1}",
+    "closedform": "5^(_n-1)*_n",
+    "equiv": "1/10/Pi^(1/2)*2^(1/2)*exp(-1/5)^5*exp(1)/(1/_n)^(1/2)*exp(-_n)^(-1-ln(5))*_n^(-_n)"
+}

combstruct/data/ecs07/ecs_0757.json

@@ -0,0 +1,38 @@
+{
+    "id": 757,
+    "name": "Expansion of e.g.f.: x^4*(log(1-x))^2",
+    "description": "Expansion of e.g.f.: x^4*(log(1-x))^2",
+    "specification": "{B = Cycle(Z), S = Prod(Z,Z,Z,Z,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        5040,
+        36960,
+        302400,
+        2761920,
+        27941760,
+        310495680,
+        3760922880,
+        49324923648,
+        696388492800,
+        10530709862400,
+        169811234611200,
+        2908629247795200,
+        52738216760033280,
+        1009115747652096000
+    ],
+    "references": [
+        "EIS A052799"
+    ],
+    "gf": "_x^4*ln(-1/(-1+_x))^2",
+    "rec": "{(_n^4-5*_n^3-6*_n^2+32*_n+32)*_f(_n)+(-2*_n^3+9*_n^2+5*_n-42)*_f(_n+1)+(_n^2-5*_n+6)*_f(_n+2), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 0, _f(6) = 720, _f(7) = 5040}",
+    "closedform": "2*GAMMA(_n-4)*_n*(_n-1)*(_n-2)*(_n-3)*(Psi(_n-4)+gamma)",
+    "equiv": "2*ln(_n)/_n"
+}

combstruct/data/ecs07/ecs_0758.json

@@ -0,0 +1,38 @@
+{
+    "id": 758,
+    "name": "E.g.f.: x^5*exp(x)-x^5",
+    "description": "E.g.f.: x^5*exp(x)-x^5",
+    "specification": "{B = Set(Z,1 <= card), S = Prod(Z,Z,Z,Z,Z,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        2520,
+        6720,
+        15120,
+        30240,
+        55440,
+        95040,
+        154440,
+        240240,
+        360360,
+        524160,
+        742560,
+        1028160,
+        1395360,
+        1860480
+    ],
+    "references": [
+        "EIS A052800"
+    ],
+    "gf": "_x^5*(exp(_x)-1)",
+    "rec": "{(-1-_n)*_f(_n)+(_n-4)*_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 0,_f(3) = 0, _f(4) = 0, _f(5) = 0, _f(6) = 720}",
+    "closedform": "GAMMA(_n+1)/GAMMA(_n-4)",
+    "equiv": "1/2/Pi^(1/2)*2^(1/2)*exp(-5)*exp(5)/(1/_n)^(9/2)*exp(_n)*_n^(-_n)"
+}

combstruct/data/ecs07/ecs_0759.json

@@ -0,0 +1,36 @@
+{
+    "id": 759,
+    "name": "Labelled pairs of sequences of cycles",
+    "description": "labelled pairs of Sequences of Cycles",
+    "specification": "{B = Sequence(C), C = Cycle(Z), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        8,
+        46,
+        342,
+        3108,
+        33324,
+        411360,
+        5741856,
+        89379120,
+        1534623936,
+        28804923024,
+        586686138384,
+        12885385945248,
+        303537419684064,
+        7633673997722496,
+        204125888803996800,
+        5782960189212871680,
+        173024447235386572800,
+        5451711816716218552320,
+        180431763062686458808320
+    ],
+    "references": [
+        "EIS A052801"
+    ],
+    "gf": "1/(-1+ln(-1/(-1+_x)))^2",
+    "equiv": "1/(1-(exp(1)-1)/exp(1))^2/(1-exp(1))^2*((exp(1)-1)/exp(1)-1)^2*_n*exp(-_n)^(ln(exp(1)-1)-1)"
+}

combstruct/data/ecs07/ecs_0760.json

@@ -0,0 +1,34 @@
+{
+    "id": 760,
+    "name": "E.g.f. satisfies A(x) = 1/(1 + log(1 - x*A(x)))",
+    "description": "E.g.f. satisfies A(x) = 1/(1 + log(1 - x*A(x)))",
+    "specification": "{B = Prod(S,Z), C = Cycle(B), S = Sequence(C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        5,
+        47,
+        660,
+        12414,
+        293552,
+        8374806,
+        280064600,
+        10747277832,
+        465597887592,
+        22479948822792,
+        1197060450322800,
+        69699159437088960,
+        4405397142701855232,
+        300408348609092268144,
+        21983809533066553697280,
+        1718509553855561429064960,
+        142921612472965345664628480,
+        12600348320670025153967084160,
+        1173863047518793475670379981824
+    ],
+    "references": [
+        "EIS A052802"
+    ]
+}

combstruct/data/ecs07/ecs_0761.json

@@ -0,0 +1,35 @@
+{
+    "id": 761,
+    "name": "Number of rooted planar trees with n non-root nodes: circularly cycling the subtrees at the root gives equivalent trees",
+    "description": "Number of rooted planar trees with n non-root nodes: circularly cycling the subtrees at the root gives equivalent trees",
+    "specification": "{B = Prod(C,Z), C = Sequence(B), S = Cycle(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        4,
+        10,
+        26,
+        80,
+        246,
+        810,
+        2704,
+        9252,
+        32066,
+        112720,
+        400024,
+        1432860,
+        5170604,
+        18784170,
+        68635478,
+        252088496,
+        930138522,
+        3446167860
+    ],
+    "references": [
+        "EIS A003239"
+    ],
+    "gf": "Sum(numtheory:-phi(j[1])/j[1]*ln(2/(1+(1-4*_x^j[1])^(1/2))),j[1] = 1 .. infinity)"
+}

combstruct/data/ecs07/ecs_0762.json

@@ -0,0 +1,36 @@
+{
+    "id": 762,
+    "name": "Expansion of e.g.f. (-1 + sqrt(1 + 4*log(1-x)))/(2*log(1-x))",
+    "description": "Expansion of e.g.f. (-1 + sqrt(1 + 4*log(1-x)))/(2*log(1-x))",
+    "specification": "{B = Prod(C,S), C = Cycle(Z), S = Sequence(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        5,
+        44,
+        566,
+        9674,
+        207166,
+        5343456,
+        161405016,
+        5591409720,
+        218592034584,
+        9521490534720,
+        457329182411856,
+        24014921905589328,
+        1368772939062117936,
+        84161443919543331840,
+        5553011951023694408064,
+        391360838810043628416384,
+        29342876851060951124158848,
+        2332113487319302053226389504,
+        195854047221894189581350331136
+    ],
+    "references": [
+        "EIS A052803"
+    ],
+    "gf": "-1/2*(-1+(1-4*ln(-1/(-1+_x)))^(1/2))/ln(-1/(-1+_x))",
+    "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)/ln(-1/(-1+(exp(1/4)-1)/exp(1/4)))*(1/_n)^(3/2)*exp(-_n)^(ln(exp(1/4)-1)-1/4)"
+}

combstruct/data/ecs07/ecs_0763.json

@@ -0,0 +1,38 @@
+{
+    "id": 763,
+    "name": "a(n) = n! + 1",
+    "description": "a(n) = n! + 1",
+    "specification": "{B = Set(Z),C = Sequence(Z), S = Union(C,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        2,
+        3,
+        7,
+        25,
+        121,
+        721,
+        5041,
+        40321,
+        362881,
+        3628801,
+        39916801,
+        479001601,
+        6227020801,
+        87178291201,
+        1307674368001,
+        20922789888001,
+        355687428096001,
+        6402373705728001,
+        121645100408832001,
+        2432902008176640001
+    ],
+    "references": [
+        "EIS A038507"
+    ],
+    "gf": "(_x*exp(_x)-exp(_x)-1)/(-1+_x)",
+    "rec": "{(_n^2+2*_n+1)*_f(_n)+(-_n^2-3*_n-1)*_f(_n+1)+_f(_n+2)*_n, _f(0) = 2, _f(1) = 2, _f(2) = 3, _f(3) = 7}",
+    "closedform": "1+GAMMA(_n+1)",
+    "equiv": "1"
+}

combstruct/data/ecs07/ecs_0764.json

@@ -0,0 +1,35 @@
+{
+    "id": 764,
+    "name": "Number of cyclic compositions of n into parts >= 2",
+    "description": "Number of cyclic compositions of n into parts >= 2",
+    "specification": "{B =Prod(C,Z), C = Sequence(Z,1 <= card), S = Cycle(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        1,
+        1,
+        2,
+        2,
+        4,
+        4,
+        7,
+        9,
+        14,
+        18,
+        30,
+        40,
+        63,
+        93,
+        142,
+        210,
+        328,
+        492,
+        765
+    ],
+    "references": [
+        "EIS A032190"
+    ],
+    "gf": "Sum(numtheory:-phi(j[1])/j[1]*ln((_x^j[1]-1)/((_x^j[1])^2+_x^j[1]-1)),j[1] = 1 ..infinity)"
+}

combstruct/data/ecs07/ecs_0765.json

@@ -0,0 +1,35 @@
+{
+    "id": 765,
+    "name": "Cycles of rooted cycles",
+    "description": "Cycles of rooted Cycles",
+    "specification": "{B = Prod(C,Z), C = Cycle(Z), S = Cycle(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        3,
+        20,
+        90,
+        714,
+        5460,
+        54704,
+        580608,
+        7214040,
+        96932880,
+        1452396912,
+        23507621280,
+        414102201408,
+        7827185489760,
+        158757800613120,
+        3429996441661440,
+        78775916315263488,
+        1914627403408320000,
+        49126748261368331520
+    ],
+    "references": [
+        "EIS A052804"
+    ],
+    "gf": "ln(-1/(-1+ln(-1/(-1+_x))*_x))"
+}

combstruct/data/ecs07/ecs_0766.json

@@ -0,0 +1,35 @@
+{
+    "id": 766,
+    "name": "If B is a collection in which there are C(n-1) [Catalan numbers, A000108] things with n points, a(n) is the number of subsets without repetition of B with a total of n points",
+    "description": "If B is a collection in which there are C(n-1) [Catalan numbers, A000108] things with n points, a(n) is the number of subsets without repetition of B with a total of n points",
+    "specification": "{B = Prod(C,Z), C = Sequence(B), S = PowerSet(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        1,
+        3,
+        7,
+        21,
+        64,
+        204,
+        666,
+        2236,
+        7625,
+        26419,
+        92644,
+        328370,
+        1174234,
+        4231898,
+        15354424,
+        56042372,
+        205626906,
+        758021598,
+        2806143522
+    ],
+    "references": [
+        "EIS A052805"
+    ],
+    "gf": "exp(Sum(1/2*(-1)^j[1]*(-1+(1-4*_x^j[1])^(1/2))/j[1],j[1] = 1 .. infinity))"
+}

combstruct/data/ecs07/ecs_0767.json

@@ -0,0 +1,34 @@
+{
+    "id": 767,
+    "name": "Number of sequences of rooted identity trees with a total of n nodes",
+    "description": "Number of sequences of rooted identity trees with a total of n nodes",
+    "specification": "{B = PowerSet(C), C = Prod(B,Z), S = Sequence(C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        4,
+        9,
+        20,
+        46,
+        107,
+        252,
+        597,
+        1425,
+        3418,
+        8235,
+        19910,
+        48287,
+        117412,
+        286150,
+        698771,
+        1709403,
+        4188258,
+        10276221
+    ],
+    "references": [
+        "EIS A052806"
+    ]
+}

combstruct/data/ecs07/ecs_0768.json

@@ -0,0 +1,34 @@
+{
+    "id": 768,
+    "name": "Number of rooted trees of nonempty sets with n points. (Each node is a set of 1 or more points.)",
+    "description": "Number 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 = Set(S), S = Prod(C,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        5,
+        13,
+        37,
+        108,
+        332,
+        1042,
+        3360,
+        11019,
+        36722,
+        123875,
+        422449,
+        1453553,
+        5040816,
+        17599468,
+        61814275,
+        218252584,
+        774226549,
+        2758043727
+    ],
+    "references": [
+        "EIS A036249"
+    ]
+}

combstruct/data/ecs07/ecs_0769.json

@@ -0,0 +1,36 @@
+{
+    "id": 769,
+    "name": "Expansion of e.g.f. -LambertW(log(1-x))",
+    "description": "Expansion of e.g.f. -LambertW(log(1-x))",
+    "specification": "{B = Cycle(Z),C = Set(S), S = Prod(C,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        17,
+        146,
+        1704,
+        25284,
+        456224,
+        9702776,
+        237711888,
+        6593032560,
+        204212077992,
+        6986942528400,
+        261700394006232,
+        10650713784774504,
+        468007296229553880,
+        22083086552247101184,
+        1113646609708909274880,
+        59774767016335654599936,
+        3402389694810511780335360,
+        204707720918439049301959680
+    ],
+    "references": [
+        "EIS A052807"
+    ],
+    "gf": "-LambertW(-ln(-1/(-1+_x)))",
+    "equiv": "1/2/Pi^(1/2)*2^(1/2)*exp(1)^(1/2)*((1-(exp(1/exp(1))-1)/exp(1/exp(1)))*(-exp(1/exp(1))+1)/(-1+(exp(1/exp(1))-1)/exp(1/exp(1))))^(1/2)*(1/_n)^(3/2)*exp(-_n)^(ln(exp(exp(-1))-1)-exp(-1))"
+}