combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs00/ecs_0026.json

@@ -0,0 +1,37 @@
+{
+    "id": 26,
+    "name": "Permutations of order dividing 5",
+    "description": "permutations Sigma such that Sigma^5=Id; degree n permutations of order dividing 5",
+    "specification": "{S = Set(Union(Cycle(Z,card = 1),Cycle(Z,card = 5)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        1,
+        1,
+        1,
+        25,
+        145,
+        505,
+        1345,
+        3025,
+        78625,
+        809425,
+        4809025,
+        20787625,
+        72696625,
+        1961583625,
+        28478346625,
+        238536558625,
+        1425925698625,
+        6764765838625,
+        189239120970625
+    ],
+    "references": [
+        "EIS A052501"
+    ],
+    "gf": "exp(_x+1/5*_x^5)",
+    "rec": "{(-_n^4-10*_n^3-35*_n^2-50*_n-24)*_f(_n)-_f(_n+4)+_f(_n+5), _f(0) = 1, _f(1) = 1, _f(2) = 1, _f(3) = 1, _f(4) = 1}",
+    "equiv": "1/10*2^(1/2)/Pi^(1/2)*5^(1/2)*(1/_n)^(1/2)*exp(1/(1/_n)^(1/5))/exp(-_n)^(1/5)*(_n^(-_n))^(1/5)"
+}

combstruct/data/ecs00/ecs_0027.json

@@ -0,0 +1,38 @@
+{
+    "id": 27,
+    "name": "Fixed-point-free permutations of order dividing 3",
+    "description": "permutations Sigma without fixed point such that Sigma^3=Id",
+    "specification": "{S = Set(Union(Cycle(Z,card = 3)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        2,
+        0,
+        0,
+        40,
+        0,
+        0,
+        2240,
+        0,
+        0,
+        246400,
+        0,
+        0,
+        44844800,
+        0,
+        0,
+        12197785600,
+        0,
+        0
+    ],
+    "references": [
+        "EIS A052502"
+    ],
+    "gf": "exp(1/3*_x^3)",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) = 0}",
+    "closedform": "piecewise(irem(_n,3) = 0,1/2/Pi*3^(1/2+2/3*_n)*GAMMA(1/3*_n+2/3)*GAMMA(1/3*_n+1/3),irem(_n-1,3) = 0,0,irem(_n-2,3) = 0,0)",
+    "equiv": "1/6*2^(1/2)/Pi^(1/2)*3^(1/2)*(1/_n)^(1/2)/exp(-_n)^(1/3)*(_n^(-_n))^(1/3)"
+}

combstruct/data/ecs00/ecs_0028.json

@@ -0,0 +1,37 @@
+{
+    "id": 28,
+    "name": "Fixed-point-free permutations of order dividing 4",
+    "description": "permutations Sigma without fixed point such that Sigma^4=Id",
+    "specification": "{S = Set(Union(Cycle(Z,card = 2),Cycle(Z,card = 4)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        0,
+        9,
+        0,
+        105,
+        0,
+        2625,
+        0,
+        76545,
+        0,
+        3440745,
+        0,
+        176080905,
+        0,
+        12034447425,
+        0,
+        922995698625,
+        0,
+        87505195602825
+    ],
+    "references": [
+        "EIS A052503"
+    ],
+    "gf": "exp(1/2*_x^2+1/4*_x^4)",
+    "rec": "{(-_n^3-6*_n^2-11*_n-6)*_f(_n)+(-_n-3)*_f(_n+2)+_f(_n+4), _f(0) = 1, _f(1) = 0, _f(2) = 1, _f(3) = 0}",
+    "equiv": "1/8/Pi^(1/2)*2^(1/2)*exp(-1/8)*4^(1/2)*(1/_n)^(1/2)/exp(-1/(1/_n)^(1/2))^(1/2)/exp(-_n)^(1/4)*(_n^(-_n))^(1/4)"
+}

combstruct/data/ecs00/ecs_0029.json

@@ -0,0 +1,38 @@
+{
+    "id": 29,
+    "name": "Fixed-point-free permutations of order dividing 5",
+    "description": "permutations Sigma without fixed point such that Sigma^5=Id",
+    "specification": "{S = Set(Union(Cycle(Z,card = 5)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        0,
+        0,
+        24,
+        0,
+        0,
+        0,
+        0,
+        72576,
+        0,
+        0,
+        0,
+        0,
+        1743565824,
+        0,
+        0,
+        0,
+        0,
+        162193467211776
+    ],
+    "references": [
+        "EIS A052504"
+    ],
+    "gf": "exp(1/5*_x^5)",
+    "rec": "{(-_n^4-10*_n^3-35*_n^2-50*_n-24)*_f(_n)+_f(_n+5), _f(0) = 1, _f(1) = 0, _f(2) = 0, _f(3)= 0, _f(4) = 0}",
+    "closedform": "piecewise(irem(_n,5) = 0,1/2*5^(4/5*_n)*GAMMA(1/5*_n+1/5)*GAMMA(1/5*_n+2/5)*GAMMA(1/5*_n+3/5)*GAMMA(1/5*_n+4/5)*(cos(1/5*Pi)+cos(2/5*Pi))/Pi^2,irem(_n-1,5) = 0,0,irem(_n-2,5) = 0,0,irem(_n-3,5) = 0,0,irem(_n-4,5) =0,0)",
+    "equiv": "1/10*2^(1/2)/Pi^(1/2)*5^(1/2)*(1/_n)^(1/2)/exp(-_n)^(1/5)*(_n^(-_n))^(1/5)"
+}

combstruct/data/ecs00/ecs_0030.json

@@ -0,0 +1,38 @@
+{
+    "id": 30,
+    "name": "Permutations with at least two cycles",
+    "description": "Permutation with at least two cycles",
+    "specification": "{S = Set(Cycle(Z),2 <= card)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        1,
+        4,
+        18,
+        96,
+        600,
+        4320,
+        35280,
+        322560,
+        3265920,
+        36288000,
+        439084800,
+        5748019200,
+        80951270400,
+        1220496076800,
+        19615115520000,
+        334764638208000,
+        6046686277632000,
+        115242726703104000,
+        2311256907767808000
+    ],
+    "references": [
+        "EIS A001563"
+    ],
+    "gf": "-(ln(1/(1-_x))*_x-ln(1/(1-_x))+_x)/(-1+_x)",
+    "rec": "{(-_n^2-2*_n-1)*_f(_n+1)+_f(_n+2)*_n, _f(0) = 0, _f(1) = 0, _f(2) = 1, _f(3) = 4}",
+    "closedform": "GAMMA(_n)*(_n-1)",
+    "equiv": "1"
+}

combstruct/data/ecs00/ecs_0031.json

@@ -0,0 +1,38 @@
+{
+    "id": 31,
+    "name": "Permutations with exactly two cycles",
+    "description": "Permutation with exactly two cycles; Stirling numbers of first kind",
+    "specification": "{S = Set(Cycle(Z),card = 2)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        1,
+        3,
+        11,
+        50,
+        274,
+        1764,
+        13068,
+        109584,
+        1026576,
+        10628640,
+        120543840,
+        1486442880,
+        19802759040,
+        283465647360,
+        4339163001600,
+        70734282393600,
+        1223405590579200,
+        22376988058521600,
+        431565146817638400
+    ],
+    "references": [
+        "EIS A000254"
+    ],
+    "gf": "1/2*ln(1/(1-_x))^2",
+    "rec": "{(_n^2+2*_n+1)*_f(_n+1)+(-2*_n-3)*_f(_n+2)+_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2)= 1, _f(3) = 3}",
+    "closedform": "GAMMA(_n)*(Psi(_n)+gamma)",
+    "equiv": "ln(_n)/_n"
+}

combstruct/data/ecs00/ecs_0032.json

@@ -0,0 +1,38 @@
+{
+    "id": 32,
+    "name": "Permutations with exactly three cycles",
+    "description": "Permutation with exactly 3 cycles; Stirling numbers of first kind",
+    "specification": "{S = Set(Cycle(Z),card = 3)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        1,
+        6,
+        35,
+        225,
+        1624,
+        13132,
+        118124,
+        1172700,
+        12753576,
+        150917976,
+        1931559552,
+        26596717056,
+        392156797824,
+        6165817614720,
+        102992244837120,
+        1821602444624640,
+        34012249593822720,
+        668609730341153280
+    ],
+    "references": [
+        "EIS A000399"
+    ],
+    "gf": "1/6*ln(1/(1-_x))^3",
+    "rec": "{(-_n^3-3*_n^2-3*_n-1)*_f(_n+1)+(3*_n^2+9*_n+7)*_f(_n+2)+(-3*_n-6)*_f(_n+3)+_f(_n+4), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 1, _f(4) = 6}",
+    "closedform": "(sum(1/(_n0+2)*Psi(_n0+2),_n0 = 0 .. _n-3)+gamma*(gamma+Psi(_n)-1))*GAMMA(_n)",
+    "equiv": "1/2*ln(_n)^2/_n"
+}

combstruct/data/ecs00/ecs_0033.json

@@ -0,0 +1,37 @@
+{
+    "id": 33,
+    "name": "Permutations with exactly four cycles",
+    "description": "Permutation with exactly 4 cycles; Stirling numbers of first kind",
+    "specification": "{S = Set(Cycle(Z),card = 4)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        1,
+        10,
+        85,
+        735,
+        6769,
+        67284,
+        723680,
+        8409500,
+        105258076,
+        1414014888,
+        20313753096,
+        310989260400,
+        5056995703824,
+        87077748875904,
+        1583313975727488,
+        30321254007719424,
+        610116075740491776
+    ],
+    "references": [
+        "EIS A000454"
+    ],
+    "gf": "1/24*ln(1/(1-_x))^4",
+    "rec": "{(_n^4+4*_n^3+6*_n^2+4*_n+1)*_f(_n+1)+(-4*_n^3-18*_n^2-28*_n-15)*_f(_n+2)+(6*_n^2+24*_n+25)*_f(_n+3)+(-4*_n-10)*_f(_n+4)+_f(_n+5), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 1, _f(5) =10}",
+    "equiv": "1/6*ln(_n)^3/_n"
+}

combstruct/data/ecs00/ecs_0034.json

@@ -0,0 +1,37 @@
+{
+    "id": 34,
+    "name": "Cycles of cycles",
+    "description": "Cycles of cycles",
+    "specification": "{S = Cycle(Cycle(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        7,
+        35,
+        228,
+        1834,
+        17582,
+        195866,
+        2487832,
+        35499576,
+        562356672,
+        9794156448,
+        186025364016,
+        3826961710272,
+        84775065603888,
+        2011929826983504,
+        50929108873336320,
+        1369732445916318336,
+        39005083331889816960,
+        1172419218038422659456
+    ],
+    "references": [
+        "EIS A003713",
+        "Same terms as ECS 298"
+    ],
+    "gf": "ln(1/(1-ln(1/(1-_x))))",
+    "equiv": "1/_n*exp(-_n)^(ln(exp(1)-1)-1)"
+}

combstruct/data/ecs00/ecs_0035.json

@@ -0,0 +1,38 @@
+{
+    "id": 35,
+    "name": "Partial permutations (arrangements)",
+    "description": "Arrangements; partial permutations (Permutations of n thing)",
+    "specification": "{S = Prod(Sequence(Z),Set(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        5,
+        16,
+        65,
+        326,
+        1957,
+        13700,
+        109601,
+        986410,
+        9864101,
+        108505112,
+        1302061345,
+        16926797486,
+        236975164805,
+        3554627472076,
+        56874039553217,
+        966858672404690,
+        17403456103284421,
+        330665665962404000,
+        6613313319248080001
+    ],
+    "references": [
+        "EIS A000522"
+    ],
+    "gf": "-exp(_x)/(-1+_x)",
+    "rec": "{(_n+1)*_f(_n)+(-_n-3)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 2}",
+    "closedform": "exp(1)*GAMMA(_n+1,1)",
+    "equiv": "exp(1)"
+}

combstruct/data/ecs00/ecs_0036.json

@@ -0,0 +1,36 @@
+{
+    "id": 36,
+    "name": "Functional graphs",
+    "description": "Functional graphs",
+    "specification": "{K = Cycle(Tree), S = Set(K), Tree = Prod(Z,Set(Tree))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        27,
+        256,
+        3125,
+        46656,
+        823543,
+        16777216,
+        387420489,
+        10000000000,
+        285311670611,
+        8916100448256,
+        302875106592253,
+        11112006825558016,
+        437893890380859375,
+        18446744073709551616,
+        827240261886336764177,
+        39346408075296537575424,
+        1978419655660313589123979,
+        104857600000000000000000000
+    ],
+    "references": [
+        "EIS A000312"
+    ],
+    "gf": "1/(1+LambertW(-_x))",
+    "equiv": "1/2/Pi^(1/2)*2^(1/2)/exp(1)^(1/2)/(1/exp(1))^(1/2)*(1/_n)^(1/2)*exp(_n)"
+}

combstruct/data/ecs00/ecs_0037.json

@@ -0,0 +1,36 @@
+{
+    "id": 37,
+    "name": "Connected functional graphs",
+    "description": "Connected Functional graphs; Connected graphs by points",
+    "specification": "{K = Cycle(Tree), S = Set(K,card = 1), Tree = Prod(Z,Set(Tree))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        17,
+        142,
+        1569,
+        21576,
+        355081,
+        6805296,
+        148869153,
+        3660215680,
+        99920609601,
+        2998836525312,
+        98139640241473,
+        3478081490967552,
+        132705415800984825,
+        5423640496274200576,
+        236389784118231290049,
+        10944997108429625524224,
+        536484538620663729658993,
+        27753628754252398927872000
+    ],
+    "references": [
+        "EIS A001865"
+    ],
+    "gf": "ln(1/(1+LambertW(-_x)))",
+    "equiv": "1/2/_n*exp(_n)"
+}

combstruct/data/ecs00/ecs_0038.json

@@ -0,0 +1,38 @@
+{
+    "id": 38,
+    "name": "Labelled 3-constrained functional graphs",
+    "description": "Labelled 3-constrained functional graphs",
+    "specification": "{S = Set(Cycle(Prod(Z,Set(g,card = 2)))), g = Union(Z,Prod(Z,Set(g,card = 3)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        3,
+        0,
+        0,
+        300,
+        0,
+        0,
+        141120,
+        0,
+        0,
+        182952000,
+        0,
+        0,
+        505008504000,
+        0,
+        0,
+        2547446533632000,
+        0,
+        0
+    ],
+    "references": [
+        "EIS A052505"
+    ],
+    "gf": "-2/(_x*RootOf(_Z^3*_x-6*_Z+6*_x)^2-2)",
+    "rec": "{(-9*_n^4-54*_n^3-117*_n^2-108*_n-36)*_f(_n)+(8*_n+12)*_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) =0}",
+    "closedform": "piecewise(irem(_n,3) = 0,1/4*3^(1+5/3*_n)/Pi^(3/2)*GAMMA(1/3*_n+2/3)^2*GAMMA(1/3*_n+1/3)^2/GAMMA(1/3*_n+1/2)*2^(-_n),irem(_n-1,3) = 0,0,irem(_n-2,3)= 0,0)",
+    "equiv": "(-3/8/Pi^(1/2)*RootOf(9*_Z^3-8,.961499713538272)^2*RootOf(-9*RootOf(9*_Z^3-8,.961499713538272)^2+4*_Z^2)-1/6*exp(Complex(1)*(arctan(2*RootOf(8*_Z^6-21*_Z^3-9,-.721124785153704)*RootOf(64*_Z^6-243,-1.24902476648341)/(-RootOf(64*_Z^6-243,-1.24902476648341)^2+RootOf(8*_Z^6-21*_Z^3-9,-.721124785153704)^2))+Pi)*_n)/Pi^(1/2)*RootOf(_Z^3-3,Complex(-.721124785153704,-1.24902476648341))^2*RootOf(-RootOf(_Z^3-3,Complex(-.721124785153704,-1.24902476648341))^2+_Z^2)-1/6*exp(Complex(1)*(arctan(2*RootOf(8*_Z^6-21*_Z^3-9,-.721124785153704)*RootOf(64*_Z^6-243,1.24902476648341)/(-RootOf(64*_Z^6-243,1.24902476648341)^2+RootOf(8*_Z^6-21*_Z^3-9,-.721124785153704)^2))-Pi)*_n)/Pi^(1/2)*RootOf(_Z^3-3,Complex(-.721124785153704,1.24902476648341))^2*RootOf(-RootOf(_Z^3-3,Complex(-.721124785153704,1.24902476648341))^2+_Z^2))*(1/_n)^(1/2)*exp(-_n)^(-2*ln(3)+3*ln(2)-ln(RootOf(9*_Z^3-8,.961499713538272)^2))"
+}

combstruct/data/ecs00/ecs_0039.json

@@ -0,0 +1,35 @@
+{
+    "id": 39,
+    "name": "Idempotent maps (trees of height at most 1)",
+    "description": "Maps of f^2=f;Trees of height at most 1",
+    "specification": "{S = Set(Tree), Tree = Prod(Z,Set(Z,0 < card))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        2,
+        3,
+        16,
+        65,
+        336,
+        1897,
+        11824,
+        80145,
+        586000,
+        4588001,
+        38239224,
+        337611001,
+        3144297352,
+        30779387745,
+        315689119456,
+        3383159052833,
+        37790736663456,
+        439036039824193,
+        5294386116882280
+    ],
+    "references": [
+        "EIS A052506"
+    ],
+    "gf": "exp(_x*exp(_x)-_x)"
+}

combstruct/data/ecs00/ecs_0040.json

@@ -0,0 +1,37 @@
+{
+    "id": 40,
+    "name": "Sets of segments",
+    "description": "Sets of segments; Forest of greatest height; Acyclic injective partial maps",
+    "specification": "{S =Set(Prod(Z,Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        3,
+        13,
+        73,
+        501,
+        4051,
+        37633,
+        394353,
+        4596553,
+        58941091,
+        824073141,
+        12470162233,
+        202976401213,
+        3535017524403,
+        65573803186921,
+        1290434218669921,
+        26846616451246353,
+        588633468315403843,
+        13564373693588558173,
+        327697927886085654441
+    ],
+    "references": [
+        "EIS A000262"
+    ],
+    "gf": "exp(_x/(1-_x))",
+    "rec": "{(_n^2+_n)*_f(_n)+(-2*_n-3)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 1}",
+    "equiv": "1/2/Pi^(1/2)*exp(-1/2)*(1/_n)^(3/4)*exp(2/(1/_n)^(1/2))"
+}

combstruct/data/ecs00/ecs_0041.json

@@ -0,0 +1,36 @@
+{
+    "id": 41,
+    "name": "Ordered set partitions, Balls and Urns",
+    "description": "Ordered set partitions; surjections (Preferential arrangements);Ways to place balls into urns: distinguishable balls and distinguishable urns",
+    "specification": "{S = Sequence(Set(Z,1 <= card))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        3,
+        13,
+        75,
+        541,
+        4683,
+        47293,
+        545835,
+        7087261,
+        102247563,
+        1622632573,
+        28091567595,
+        526858348381,
+        10641342970443,
+        230283190977853,
+        5315654681981355,
+        130370767029135901,
+        3385534663256845323,
+        92801587319328411133,
+        2677687796244384203115
+    ],
+    "references": [
+        "EIS A000670"
+    ],
+    "gf": "-1/(-2+exp(_x))",
+    "equiv": "1/2/ln(2)*exp(-_n)^ln(ln(2))"
+}

combstruct/data/ecs00/ecs_0042.json

@@ -0,0 +1,37 @@
+{
+    "id": 42,
+    "name": "Schroeder's problem",
+    "description": "Schroeder's problem. Dissections of a polygon or parenthesizing a product",
+    "specification": "{S =Union(Z,Sequence(S,2 <= card))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        1,
+        3,
+        11,
+        45,
+        197,
+        903,
+        4279,
+        20793,
+        103049,
+        518859,
+        2646723,
+        13648869,
+        71039373,
+        372693519,
+        1968801519,
+        10463578353,
+        55909013009,
+        300159426963,
+        1618362158587
+    ],
+    "references": [
+        "EIS A001003"
+    ],
+    "gf": "1/4+1/4*_x-1/4*(_x^2-6*_x+1)^(1/2)",
+    "rec": "{(_n-1)*_f(_n)+(-3-6*_n)*_f(_n+1)+(_n+2)*_f(_n+2), _f(0) = 0, _f(1) = 1, _f(2) = 1}",
+    "equiv": "1/8/Pi^(1/2)*(-2*(3-2*2^(1/2))^2+18-12*2^(1/2))^(1/2)*(1/_n)^(3/2)*exp(-_n)^ln(3-2*2^(1/2))"
+}

combstruct/data/ecs00/ecs_0043.json

@@ -0,0 +1,35 @@
+{
+    "id": 43,
+    "name": "Non plane rooted binary trees",
+    "description": "unlabelled binary rooted trees with n endpoints inequivalent under reflections in vertical axes. (Wedderburn-Etherington numbers)",
+    "specification": "{S = Union(Z,Set(S,card = 2))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        1,
+        1,
+        2,
+        3,
+        6,
+        11,
+        23,
+        46,
+        98,
+        207,
+        451,
+        983,
+        2179,
+        4850,
+        10905,
+        24631,
+        56011,
+        127912,
+        293547
+    ],
+    "references": [
+        "EIS A001190"
+    ],
+    "gf": "A(x) = x + (1/2)*(A(x)^2 + A(x^2))"
+}