combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs07/ecs_0770.json

@@ -0,0 +1,36 @@
+{
+    "id": 770,
+    "name": "E.g.f.: -log(1-x+log(1-x))",
+    "description": "E.g.f.: -log(1-x+log(1-x))",
+    "specification": "{B = Union(C,Z), C = Cycle(Z), S = Cycle(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        2,
+        5,
+        24,
+        169,
+        1572,
+        18208,
+        252676,
+        4088138,
+        75571648,
+        1571427096,
+        36304942704,
+        922615912656,
+        25577663099232,
+        768176940800592,
+        24845381066244288,
+        860979848497650768,
+        31825036424306681088,
+        1249895536243141292544,
+        51975908060575367916288,
+        2281453072059115362220416
+    ],
+    "references": [
+        "EIS A052808"
+    ],
+    "gf": "ln(-1/(-1+_x+ln(-1/(-1+_x))))",
+    "equiv": "1/_n*(-1/(-1+LambertW(0,1)))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs07/ecs_0771.json

@@ -0,0 +1,36 @@
+{
+    "id": 771,
+    "name": "Rooted cycles of cycles",
+    "description": "Cycles of Cycles",
+    "specification": "{B = Cycle(C), C = Cycle(Z), S = Prod(B,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        6,
+        28,
+        175,
+        1368,
+        12838,
+        140656,
+        1762794,
+        24878320,
+        390495336,
+        6748280064,
+        127324033824,
+        2604355096224,
+        57404425654080,
+        1356401049662208,
+        34202807058719568,
+        916723959720053760,
+        26024916472410048384,
+        780101666637796339200
+    ],
+    "references": [
+        "EIS A052809"
+    ],
+    "gf": "ln(-1/(-1+ln(-1/(-1+_x))))*_x",
+    "equiv": "(exp(1)-1)/exp(1)/_n*exp(-_n)^(ln(exp(1)-1)-1)"
+}

combstruct/data/ecs07/ecs_0772.json

@@ -0,0 +1,35 @@
+{
+    "id": 772,
+    "name": "a(n) = 1 + (number of partitions of n, n>0)",
+    "description": "a(n) = 1 + (number of partitions of n, n>0)",
+    "specification": "{B = Set(C), C= Sequence(Z,1 <= card), S = Union(C,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        3,
+        4,
+        6,
+        8,
+        12,
+        16,
+        23,
+        31,
+        43,
+        57,
+        78,
+        102,
+        136,
+        177,
+        232,
+        298,
+        386,
+        491,
+        628
+    ],
+    "references": [
+        "EIS A052810"
+    ],
+    "gf": "(exp(Sum(-_x^j[1]/(_x^j[1]-1)/j[1],j[1] = 1 .. infinity))*_x-exp(Sum(-_x^j[1]/(_x^j[1]-1)/j[1],j[1] = 1 .. infinity))-_x)/(-1+_x)"
+}

combstruct/data/ecs07/ecs_0773.json

@@ -0,0 +1,34 @@
+{
+    "id": 773,
+    "name": "Permutation rooted trees with n nodes",
+    "description": "Permutation rooted trees with n nodes",
+    "specification": "{B = Cycle(S), C = Set(B), S = Prod(C,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        1,
+        3,
+        8,
+        25,
+        77,
+        262,
+        897,
+        3208,
+        11658,
+        43243,
+        162477,
+        618219,
+        2374699,
+        9200541,
+        35903017,
+        140997527,
+        556798525,
+        2209685939,
+        8807924914
+    ],
+    "references": [
+        "EIS A050383"
+    ]
+}

combstruct/data/ecs07/ecs_0774.json

@@ -0,0 +1,35 @@
+{
+    "id": 774,
+    "name": "Partial sums of A000009 (partitions into distinct parts)",
+    "description": "Partial sums of A000009 (partitions into distinct parts)",
+    "specification": "{B = PowerSet(C), C = Sequence(Z,1 <= card), S = Prod(C,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        3,
+        5,
+        7,
+        10,
+        14,
+        19,
+        25,
+        33,
+        43,
+        55,
+        70,
+        88,
+        110,
+        137,
+        169,
+        207,
+        253,
+        307
+    ],
+    "references": [
+        "EIS A036469"
+    ],
+    "gf": "-exp(Sum((-1)^j[1]*_x^j[1]/(_x^j[1]-1)/j[1],j[1] = 1 .. infinity))*_x/(-1+_x)"
+}

combstruct/data/ecs07/ecs_0775.json

@@ -0,0 +1,36 @@
+{
+    "id": 775,
+    "name": "Sequences of pairs of cycles",
+    "description": "Sequences of pairs of Cycles",
+    "specification": "{B = Cycle(Z), C = Prod(B,B), S = Sequence(C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        2,
+        6,
+        46,
+        340,
+        3308,
+        36288,
+        460752,
+        6551424,
+        103685232,
+        1803956880,
+        34247483664,
+        704301934752,
+        15598712592864,
+        370149922235520,
+        9369093828260736,
+        251968378971718656,
+        7174943434198029312,
+        215661198768739670016,
+        6823418820339354706944
+    ],
+    "references": [
+        "EIS A052811"
+    ],
+    "gf": "-1/(ln(-1/(-1+_x))^2-1)",
+    "equiv": "1/2/(1-(exp(1)-1)*exp(-1))*(exp(1)*exp(-1)-exp(-1)-1)/(exp(1)-1)/exp(-1)*(-1+(exp(1)-1)*exp(-1))/ln(-1/(-1+(exp(1)-1)*exp(-1)))*exp(-_n)^(ln(exp(1)-1)-1)"
+}

combstruct/data/ecs07/ecs_0776.json

@@ -0,0 +1,35 @@
+{
+    "id": 776,
+    "name": "Power sets of pairs of sequences",
+    "description": "PowerSet of pairs of Sequences",
+    "specification": "{B = Sequence(Z,1 <= card), C = Prod(B,B), S = PowerSet(C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        2,
+        3,
+        6,
+        9,
+        16,
+        24,
+        42,
+        63,
+        102,
+        157,
+        244,
+        373,
+        570,
+        858,
+        1290,
+        1930,
+        2858,
+        4228
+    ],
+    "references": [
+        "EIS A052812"
+    ],
+    "gf": "exp(Sum(-(-1)^j[1]*(_x^j[1])^2/(_x^j[1]-1)^2/j[1],j[1] = 1 .. infinity))"
+}

combstruct/data/ecs07/ecs_0777.json

@@ -0,0 +1,38 @@
+{
+    "id": 777,
+    "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": "{B = Prod(C,Z), C = Sequence(Z), S = Cycle(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        14,
+        90,
+        744,
+        7560,
+        91440,
+        1285200,
+        20603520,
+        371226240,
+        7428153600,
+        163459296000,
+        3923502105600,
+        102017281766400,
+        2856571067750400,
+        85698439706880000,
+        2742370993410048000,
+        93240969463369728000,
+        3356681303055015936000,
+        127554011161191014400000
+    ],
+    "references": [
+        "EIS A029767"
+    ],
+    "gf": "ln((-1+_x)/(-1+2*_x))",
+    "rec": "{(2*_n^2+2*_n)*_f(_n)+(-3*_n-3)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 1, _f(2) = 3}",
+    "closedform": "(-1+2^_n)*GAMMA(_n)",
+    "equiv": "1/_n*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs07/ecs_0778.json

@@ -0,0 +1,36 @@
+{
+    "id": 778,
+    "name": "Expansion of e.g.f.: LambertW(log(1-x))/log(1-x)",
+    "description": "Expansion of e.g.f.: LambertW(log(1-x))/log(1-x)",
+    "specification": "{B = Prod(C,S), C = Cycle(Z), S = Set(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        27,
+        260,
+        3280,
+        51414,
+        965762,
+        21175496,
+        531317520,
+        15021531840,
+        472654558992,
+        16385500397496,
+        620612495460048,
+        25500923655523848,
+        1129909190812470840,
+        53705490284841870144,
+        2725878142900911376896,
+        147153254902344624394944,
+        8419180061374141208832576,
+        508900678412974836361678080
+    ],
+    "references": [
+        "EIS A052813"
+    ],
+    "gf": "-1/ln(-1/(-1+_x))*LambertW(-ln(-1/(-1+_x)))",
+    "equiv": "1/2/Pi^(1/2)/ln(-1/(-1+(exp(1/exp(1))-1)/exp(1/exp(1))))*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))"
+}

combstruct/data/ecs07/ecs_0779.json

@@ -0,0 +1,34 @@
+{
+    "id": 779,
+    "name": "Rooted power sets of cycles",
+    "description": "A simple grammar",
+    "specification": "{B = PowerSet(C), C = Cycle(S), S = Prod(B,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        1,
+        2,
+        6,
+        16,
+        49,
+        156,
+        511,
+        1723,
+        5942,
+        20817,
+        73938,
+        265611,
+        963225,
+        3521667,
+        12966696,
+        48037862,
+        178936340,
+        669748197,
+        2517688316
+    ],
+    "references": [
+        "EIS A052814"
+    ]
+}

combstruct/data/ecs07/ecs_0780.json

@@ -0,0 +1,34 @@
+{
+    "id": 780,
+    "name": "Cycles of rooted sequences",
+    "description": "Number of objects generated by the Combstruct grammar defined in the Maple program. See the link for the grammar specification",
+    "specification": "{B = Prod(C,Z), C = Sequence(S), S = Cycle(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        5,
+        16,
+        56,
+        221,
+        900,
+        3839,
+        16752,
+        74701,
+        338327,
+        1553181,
+        7208191,
+        33768389,
+        159463655,
+        758291989,
+        3627890869,
+        17450572584,
+        84342086908,
+        409394388458
+    ],
+    "references": [
+        "EIS A052815"
+    ]
+}

combstruct/data/ecs07/ecs_0781.json

@@ -0,0 +1,35 @@
+{
+    "id": 781,
+    "name": "Expansion of g.f. (1+x)*Product_{m>0} (1 + x^m)",
+    "description": "Expansion of g.f. (1+x)*Product_{m>0} (1 + x^m)",
+    "specification": "{B =Sequence(Z,1 <= card), C = Union(B,Z), S = PowerSet(C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        2,
+        3,
+        4,
+        5,
+        7,
+        9,
+        11,
+        14,
+        18,
+        22,
+        27,
+        33,
+        40,
+        49,
+        59,
+        70,
+        84,
+        100,
+        118
+    ],
+    "references": [
+        "EIS A052816"
+    ],
+    "gf": "exp(Sum(-(-1)^j[1]*_x^j[1]*(_x^j[1]-2)/(_x^j[1]-1)/j[1],j[1] = 1 .. infinity))"
+}

combstruct/data/ecs07/ecs_0782.json

@@ -0,0 +1,34 @@
+{
+    "id": 782,
+    "name": "Cycles of rooted trees t where for each t all subtrees at root are distinct. n is total number of nodes",
+    "description": "Cycles of rooted trees t where for each t all subtrees at root are distinct. n is total number of nodes",
+    "specification": "{B = PowerSet(C), C =Prod(B,Z), S = Cycle(C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        3,
+        6,
+        10,
+        22,
+        43,
+        97,
+        211,
+        481,
+        1090,
+        2535,
+        5870,
+        13774,
+        32383,
+        76607,
+        181709,
+        432865,
+        1033657,
+        2475869
+    ],
+    "references": [
+        "EIS A052817"
+    ]
+}

combstruct/data/ecs07/ecs_0783.json

@@ -0,0 +1,34 @@
+{
+    "id": 783,
+    "name": "Rooted sequences of recursively defined cycles",
+    "description": "Number of objects generated by the Combstruct grammar defined in the Maple program. See the link for the grammar specification",
+    "specification": "{B = Cycle(S), C = Sequence(B), S = Prod(C,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        1,
+        3,
+        10,
+        37,
+        144,
+        593,
+        2515,
+        10975,
+        48847,
+        221071,
+        1013886,
+        4702530,
+        22017327,
+        103925505,
+        494000139,
+        2362666375,
+        11361442399,
+        54898445359,
+        266417109839
+    ],
+    "references": [
+        "EIS A052818"
+    ]
+}

combstruct/data/ecs07/ecs_0784.json

@@ -0,0 +1,34 @@
+{
+    "id": 784,
+    "name": "E.g.f. equals the series reversion of x + x*log(1-x)",
+    "description": "E.g.f. equals the series reversion of x + x*log(1-x)",
+    "specification": "{B = Cycle(S), C = Sequence(B), S = Prod(C,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        15,
+        188,
+        3300,
+        74484,
+        2054864,
+        66998448,
+        2520581400,
+        107472778320,
+        5121576763512,
+        269759385873504,
+        15561785854196400,
+        975788232119245440,
+        66080957140527828480,
+        4806533577745476290304,
+        373724762062131412853760,
+        30933171969400105723169280,
+        2715510636986341567627941120,
+        252006966413400503079341683200
+    ],
+    "references": [
+        "EIS A052819"
+    ]
+}

combstruct/data/ecs07/ecs_0785.json

@@ -0,0 +1,36 @@
+{
+    "id": 785,
+    "name": "Expansion of e.g.f. 1/(1 - x + log(1 - x))",
+    "description": "Expansion of e.g.f. 1/(1 - x + log(1 - x))",
+    "specification": "{B = Union(C,Z), C = Cycle(Z), S = Sequence(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        9,
+        62,
+        572,
+        6604,
+        91526,
+        1480044,
+        27353448,
+        568731648,
+        13138994112,
+        333895239072,
+        9256507508112,
+        278000959058016,
+        8991458660924112,
+        311585506208924064,
+        11517363473843526912,
+        452332548042633835776,
+        18809887136483116847232,
+        825649337250681295954176,
+        38148852438971184434943744
+    ],
+    "references": [
+        "EIS A052820"
+    ],
+    "gf": "-1/(-1+_x+ln(-1/(-1+_x)))",
+    "equiv": "-1/(-1+LambertW(1)+1/LambertW(1)*(-1+LambertW(1)))*(-1/(-1+LambertW(0,1)))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs07/ecs_0786.json

@@ -0,0 +1,35 @@
+{
+    "id": 786,
+    "name": "Pairs of cycles of sequences",
+    "description": "pairs of Cycles of Sequences",
+    "specification": "{B = Sequence(Z,1 <= card), C = Cycle(B), S = Prod(C,C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        1,
+        4,
+        10,
+        22,
+        43,
+        84,
+        157,
+        294,
+        551,
+        1032,
+        1941,
+        3666,
+        6955,
+        13224,
+        25269,
+        48362,
+        92875,
+        178640,
+        344453
+    ],
+    "references": [
+        "EIS A052821"
+    ],
+    "gf": "Sum(numtheory:-phi(j[1])/j[1]*ln((_x^j[1]-1)/(2*_x^j[1]-1)),j[1] = 1 .. infinity)^2"
+}

combstruct/data/ecs07/ecs_0787.json

@@ -0,0 +1,36 @@
+{
+    "id": 787,
+    "name": "Pairs of cycles of cycles",
+    "description": "pairs of Cycles of Cycles",
+    "specification": "{B = Cycle(Z), C = Cycle(B), S = Prod(C,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        12,
+        80,
+        630,
+        5816,
+        61978,
+        751222,
+        10225140,
+        154610048,
+        2573280820,
+        46775427860,
+        922374085984,
+        19616567407368,
+        447666534959528,
+        10913339500879576,
+        283081184691349600,
+        7785415448640271232,
+        226306589802176060640,
+        6933002797216545295968
+    ],
+    "references": [
+        "EIS A052822"
+    ],
+    "gf": "ln(-1/(-1+ln(-1/(-1+_x))))^2",
+    "equiv": "2*ln(_n)/_n*exp(-_n)^(ln(exp(1)-1)-1)"
+}

combstruct/data/ecs07/ecs_0788.json

@@ -0,0 +1,35 @@
+{
+    "id": 788,
+    "name": "Cycles of pairs of sequences",
+    "description": "Cycles of pairs of Sequences",
+    "specification": "{B = Sequence(Z,1 <= card), C = Prod(B,B), S =Cycle(C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        1,
+        2,
+        4,
+        6,
+        12,
+        18,
+        34,
+        58,
+        106,
+        186,
+        350,
+        630,
+        1180,
+        2190,
+        4114,
+        7710,
+        14600,
+        27594,
+        52486
+    ],
+    "references": [
+        "EIS A052823"
+    ],
+    "gf": "Sum(numtheory:-phi(j[1])/j[1]*ln(-(_x^j[1]-1)^2/(2*_x^j[1]-1)),j[1] = 1 .. infinity)"
+}