combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs00/ecs_0080.json

@@ -0,0 +1,38 @@
+{
+    "id": 80,
+    "name": "a(n) = (2*n)!/(n+1)!",
+    "description": "a(n) = (2*n)!/(n+1)!",
+    "specification": "{B = Prod(S,Z), S = Sequence(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        30,
+        336,
+        5040,
+        95040,
+        2162160,
+        57657600,
+        1764322560,
+        60949324800,
+        2346549004800,
+        99638080819200,
+        4626053752320000,
+        233153109116928000,
+        12677700308232960000,
+        739781100339240960000,
+        46113021921146019840000,
+        3058021453718104473600000,
+        214978908196382744494080000,
+        15969861751731289590988800000
+    ],
+    "references": [
+        "EIS A001761"
+    ],
+    "gf": "-1/2*(-1+(1-4*_x)^(1/2))/_x",
+    "rec": "{(-4*_n^2-6*_n-2)*_f(_n)+(_n+2)*_f(_n+1), _f(0) = 1}",
+    "closedform": "1/Pi^(1/2)*4^_n*GAMMA(_n+1/2)/(_n+1)",
+    "equiv": "1/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs00/ecs_0081.json

@@ -0,0 +1,38 @@
+{
+    "id": 81,
+    "name": "Pairs of sets of cardinality at least 2",
+    "description": "Pairs of sets of cardinality at least 2",
+    "specification": "{B = Set(Z,2 <= card), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        6,
+        20,
+        50,
+        112,
+        238,
+        492,
+        1002,
+        2024,
+        4070,
+        8164,
+        16354,
+        32736,
+        65502,
+        131036,
+        262106,
+        524248,
+        1048534
+    ],
+    "references": [
+        "EIS A052515"
+    ],
+    "gf": "exp(_x)^2-2*_x*exp(_x)+_x^2-2*exp(_x)+2*_x+1",
+    "rec": "{(2+2*_n)*_f(_n)+(-1-3*_n)*_f(_n+1)+_f(_n+2)*_n, _f(0) = 0, _f(1) = 0, _f(2) = _C[0], _f(3) = 4*_C[0], _f(4) = 11*_C[0]+6}",
+    "closedform": "(8*_C[0]+8)*2^(_n-3)-(_C[0]+2)*(_n+1)",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-ln(2))*_n^(-_n)"
+}

combstruct/data/ecs00/ecs_0082.json

@@ -0,0 +1,38 @@
+{
+    "id": 82,
+    "name": "Pairs of sets of cardinality at least 3",
+    "description": "Pairs of sets of cardinality at least 3",
+    "specification": "{B= Set(Z,3 <= card), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        20,
+        70,
+        182,
+        420,
+        912,
+        1914,
+        3938,
+        8008,
+        16172,
+        32526,
+        65262,
+        130764,
+        261800,
+        523906,
+        1048154
+    ],
+    "references": [
+        "EIS A052516"
+    ],
+    "gf": "1/4*_x^4-exp(_x)*_x^2+_x^3+exp(_x)^2-2*_x*exp(_x)+2*_x^2-2*exp(_x)+2*_x+1",
+    "rec": "{(2+2*_n)*_f(_n)+(-3*_n+1)*_f(_n+1)+(_n-1)*_f(_n+2), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = _C[0], _f(4) = 5*_C[0], _f(5) = 16*_C[0], _f(6) = 42*_C[0]+20}",
+    "closedform": "1/2*(64*_C[0]+64)*2^(_n-5)-1/2*(_n^2+_n+2)*(_C[0]+2)",
+    "equiv": "0"
+}

combstruct/data/ecs00/ecs_0083.json

@@ -0,0 +1,38 @@
+{
+    "id": 83,
+    "name": "Pairs of cycles of cardinality at least 1",
+    "description": "Pairs of cycles of cardinality at least 1",
+    "specification": "{B = Cycle(Z), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        6,
+        22,
+        100,
+        548,
+        3528,
+        26136,
+        219168,
+        2053152,
+        21257280,
+        241087680,
+        2972885760,
+        39605518080,
+        566931294720,
+        8678326003200,
+        141468564787200,
+        2446811181158400,
+        44753976117043200,
+        863130293635276800
+    ],
+    "references": [
+        "EIS A052517"
+    ],
+    "gf": "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) = 2, _f(3) = 6}",
+    "closedform": "2*GAMMA(_n)*(Psi(_n)+gamma)",
+    "equiv": "2*ln(_n)/_n"
+}

combstruct/data/ecs00/ecs_0084.json

@@ -0,0 +1,38 @@
+{
+    "id": 84,
+    "name": "Pairs of cycles of cardinality at least 2",
+    "description": "Pairs of cycles of cardinality at least 2",
+    "specification": "{B = Cycle(Z,2 <= card),S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        6,
+        40,
+        260,
+        1848,
+        14616,
+        128448,
+        1246752,
+        13273920,
+        153996480,
+        1935048960,
+        26193473280,
+        380120670720,
+        5888620684800,
+        97007636275200,
+        1693590745190400,
+        31237853849395200,
+        607035345406156800
+    ],
+    "references": [
+        "EIS A052518"
+    ],
+    "gf": "ln(-1/(-1+_x))^2-2*ln(-1/(-1+_x))*_x+_x^2",
+    "rec": "{(_n^3-_n)*_f(_n)+(-2*_n^2-_n+1)*_f(_n+1)+_f(_n+2)*_n, _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3)= 0, _f(4) = 6, _f(5) = 40}",
+    "closedform": "2*GAMMA(_n-1)*(_n-1)*(-1+Psi(_n-1)+gamma)",
+    "equiv": "2*ln(_n)/_n"
+}

combstruct/data/ecs00/ecs_0085.json

@@ -0,0 +1,38 @@
+{
+    "id": 85,
+    "name": "Pairs of cycles of cardinality at least 3",
+    "description": "Pairs of cycles of cardinality at least 3",
+    "specification": "{B = Cycle(Z,3 <= card), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        80,
+        840,
+        7896,
+        76608,
+        793152,
+        8838720,
+        106096320,
+        1368956160,
+        18928615680,
+        279530334720,
+        4394135692800,
+        73295141068800,
+        1293442388582400,
+        24082259707699200,
+        471874122729676800
+    ],
+    "references": [
+        "EIS A052519"
+    ],
+    "gf": "1/4*_x^4-ln(-1/(-1+_x))*_x^2+_x^3+ln(-1/(-1+_x))^2-2*ln(-1/(-1+_x))*_x+_x^2",
+    "rec": "{(_n^3-_n^2-2*_n)*_f(_n)+(-2*_n^2+_n+3)*_f(_n+1)+(_n-1)*_f(_n+2), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) =0, _f(5) = 0, _f(6) = 80, _f(7) = 840}",
+    "closedform": "GAMMA(_n-2)*(_n-1)*(_n-2)*(-3+2*Psi(_n-2)+2*gamma)",
+    "equiv": "2*ln(_n)/_n"
+}

combstruct/data/ecs00/ecs_0086.json

@@ -0,0 +1,38 @@
+{
+    "id": 86,
+    "name": "Pairs of sequences of cardinality at least 1",
+    "description": "Pairs of sequences of cardinality at least 1",
+    "specification": "{B = Sequence(Z,1 <=card), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        12,
+        72,
+        480,
+        3600,
+        30240,
+        282240,
+        2903040,
+        32659200,
+        399168000,
+        5269017600,
+        74724249600,
+        1133317785600,
+        18307441152000,
+        313841848320000,
+        5690998849536000,
+        108840352997376000,
+        2189611807358976000,
+        46225138155356160000
+    ],
+    "references": [
+        "EIS A062119"
+    ],
+    "gf": "_x^2/(-1+_x)^2",
+    "rec": "{(-_n^2-_n)*_f(_n)+_f(_n+1)*(_n-1), _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3) = 12}",
+    "closedform": "(_n-1+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "_n"
+}

combstruct/data/ecs00/ecs_0087.json

@@ -0,0 +1,38 @@
+{
+    "id": 87,
+    "name": "Pairs of sequences of cardinality at least 2",
+    "description": "Pairs of sequences of cardinality at least 2",
+    "specification": "{B = Sequence(Z,2 <= card), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        24,
+        240,
+        2160,
+        20160,
+        201600,
+        2177280,
+        25401600,
+        319334400,
+        4311014400,
+        62270208000,
+        958961203200,
+        15692092416000,
+        271996268544000,
+        4979623993344000,
+        96035605585920000,
+        1946321606541312000,
+        41359334139002880000
+    ],
+    "references": [
+        "EIS A052520"
+    ],
+    "gf": "_x^4/(-1+_x)^2",
+    "rec": "{(-_n^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, _f(5) = 240}",
+    "closedform": "(_n-3+piecewise(_n = 2,1,_n = 1,2,_n = 0,3,0))*_n!",
+    "equiv": "_n"
+}

combstruct/data/ecs00/ecs_0088.json

@@ -0,0 +1,38 @@
+{
+    "id": 88,
+    "name": "Pairs of sequences of cardinality at least 3",
+    "description": "Pairs of sequences of cardinality at least 3",
+    "specification": "{B = Sequence(Z,3 <= card), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        10080,
+        120960,
+        1451520,
+        18144000,
+        239500800,
+        3353011200,
+        49816166400,
+        784604620800,
+        13076743680000,
+        230150688768000,
+        4268249137152000,
+        83230858174464000,
+        1703031405723648000,
+        36493530122649600000
+    ],
+    "references": [
+        "EIS A052521"
+    ],
+    "gf": "_x^6/(-1+_x)^2",
+    "rec": "{(-_n^2+3*_n+4)*_f(_n)+(_n-5)*_f(_n+1), _f(0) = 0, _f(1) = 0,_f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 0, _f(6) = 720, _f(7) = 10080}",
+    "closedform": "(_n-5+piecewise(_n = 4,1,_n = 3,2,_n = 2,3,_n = 1,4,_n = 0,5,0))*_n!",
+    "equiv": "_n"
+}

combstruct/data/ecs00/ecs_0089.json

@@ -0,0 +1,35 @@
+{
+    "id": 89,
+    "name": "Labelled mobile with cycles of length at least 2",
+    "description": "Labelled mobile with cycles of length at least 2",
+    "specification": "{B = Cycle(S,2 <= card), S = Union(B,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        1,
+        5,
+        41,
+        469,
+        6889,
+        123605,
+        2620169,
+        64074901,
+        1775623081,
+        54989743445,
+        1882140936521,
+        70552399533589,
+        2874543652787689,
+        126484802362553045,
+        5977683917752887689,
+        301983995802099667861,
+        16239818347465293071401,
+        926248570498763547197525,
+        55847464116157184894240201
+    ],
+    "references": [
+        "EIS A032188"
+    ],
+    "gf": "log(1-A(x))+2*A(x)-x = 0"
+}

combstruct/data/ecs00/ecs_0090.json

@@ -0,0 +1,35 @@
+{
+    "id": 90,
+    "name": "Labelled mobile with cycles of length at least 3",
+    "description": "Labelled mobile with cycles of length at least 3",
+    "specification": "{B = Cycle(S,3 <= card), S = Union(B,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        0,
+        2,
+        6,
+        64,
+        540,
+        6908,
+        93744,
+        1542616,
+        28057800,
+        576840032,
+        13029824016,
+        323152349584,
+        8698499671680,
+        252998272144928,
+        7900336700736864,
+        263731233726459136,
+        9370598887948893120,
+        353114271843930110912,
+        14065897924340889129216
+    ],
+    "references": [
+        "EIS A052522"
+    ],
+    "gf": "(exp(RootOf(2*_Z*exp(_Z)^2+2*_x*exp(_Z)^2-5*exp(_Z)^2+6*exp(_Z)-1))-1)/exp(RootOf(2*_Z*exp(_Z)^2+2*_x*exp(_Z)^2-5*exp(_Z)^2+6*exp(_Z)-1))"
+}

combstruct/data/ecs00/ecs_0091.json

@@ -0,0 +1,35 @@
+{
+    "id": 91,
+    "name": "Unlabelled mobile",
+    "description": "Unlabelled mobile with cycles of length at least 3",
+    "specification": "{B = Cycle(S,3 <= card), S = Union(B,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        0,
+        1,
+        1,
+        2,
+        3,
+        6,
+        12,
+        25,
+        53,
+        114,
+        257,
+        567,
+        1294,
+        2944,
+        6790,
+        15693,
+        36598,
+        85578,
+        201299
+    ],
+    "references": [
+        "EIS A052523"
+    ],
+    "gf": "S(x) = (1/2)*(x - ln(1-S(x)) - (S(x))^2/2)"
+}

combstruct/data/ecs00/ecs_0092.json

@@ -0,0 +1,37 @@
+{
+    "id": 92,
+    "name": "Planar labelled trees with no unary node",
+    "description": "Planar labelled trees with no unary node",
+    "specification": "{B = Sequence(S,2<= card), S = Union(B,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        18,
+        264,
+        5400,
+        141840,
+        4551120,
+        172529280,
+        7545363840,
+        373944211200,
+        20711190931200,
+        1267784551756800,
+        84991791159475200,
+        6193091146059417600,
+        487361761916020992000,
+        41192820513212239872000,
+        3721763273059549605888000,
+        357950394802026289815552000,
+        36512923631571610144137216000,
+        3937316545583394234388807680000
+    ],
+    "references": [
+        "EIS A032037"
+    ],
+    "gf": "1/4+1/4*_x-1/4*(_x^2-6*_x+1)^(1/2)",
+    "rec": "{(_n^2-1)*_f(_n)+(-3-6*_n)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 1, _f(2) = 2}",
+    "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_0093.json

@@ -0,0 +1,37 @@
+{
+    "id": 93,
+    "name": "Planar unlabelled trees with neither unary nor binary nodes",
+    "description": "Planar unlabelled trees with neither unary nor binary nodes",
+    "specification": "{B = Sequence(S,3 <= card),S = Union(B,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        0,
+        1,
+        1,
+        4,
+        8,
+        25,
+        64,
+        191,
+        540,
+        1616,
+        4785,
+        14512,
+        44084,
+        135545,
+        418609,
+        1302340,
+        4070124,
+        12785859,
+        40325828
+    ],
+    "references": [
+        "EIS A046736"
+    ],
+    "gf": "RootOf(_Z^3+_Z^2+(-1-_x)*_Z+_x)",
+    "rec": "{(16*_n^2-8*_n)*_f(_n)+(-156*_n^2-198*_n-60)*_f(_n+1)+(192*_n^2+816*_n+840)*_f(_n+2)+(76*_n^2+388*_n+480)*_f(_n+3)+(-35*_n^2-245*_n-420)*_f(_n+4), _f(0) = 0, _f(1) = 1, _f(2) = 0, _f(3) = 1}",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(5*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)^2+37*_Z^2+18*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)-11)*(1/_n)^(3/2)*(-16/5*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)^2+14/5*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)+14/5)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs00/ecs_0094.json

@@ -0,0 +1,37 @@
+{
+    "id": 94,
+    "name": "Planar labelled trees with neither unary nor binary nodes",
+    "description": "Planar labelled trees with neither unary nor binary nodes",
+    "specification": "{B = Sequence(S,3 <= card), S = Union(B,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        0,
+        6,
+        24,
+        480,
+        5760,
+        126000,
+        2580480,
+        69310080,
+        1959552000,
+        64505548800,
+        2292022656000,
+        90366525849600,
+        3843167789260800,
+        177248722210560000,
+        8758468152225792000,
+        463225965106544640000,
+        26058454876652470272000,
+        1555337101868168306688000,
+        98108787922585778257920000
+    ],
+    "references": [
+        "EIS A052524"
+    ],
+    "gf": "RootOf(_Z^3+_Z^2+(-1-_x)*_Z+_x)",
+    "rec": "{(-16*_n^4-40*_n^3-8*_n^2+16*_n)*_f(_n)+(156*_n^3+510*_n^2+456*_n+120)*_f(_n+1)+(-192*_n^2-816*_n-840)*_f(_n+2)+(-76*_n-160)*_f(_n+3)+35*_f(_n+4), _f(0) = 0, _f(1) = 1, _f(2) = 0, _f(3) = 6}",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(5*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)^2+37*_Z^2+18*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)-11)*(1/_n)^(3/2)*(-16/5*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)^2+14/5*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)+14/5)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs00/ecs_0095.json

@@ -0,0 +1,35 @@
+{
+    "id": 95,
+    "name": "Non-planar unlabelled trees with neither unary nor binary nodes",
+    "description": "Non-planar unlabelled trees with neither unary nor binary nodes",
+    "specification": "{B = Union(S,Z), S = Set(B,3 <= card)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        1,
+        1,
+        2,
+        3,
+        6,
+        10,
+        20,
+        36,
+        71,
+        136,
+        270,
+        531,
+        1070,
+        2147,
+        4367,
+        8895,
+        18262,
+        37588
+    ],
+    "references": [
+        "EIS A052525"
+    ],
+    "gf": "S(x) = exp(Sum_{j>2} (x^j + S(x^j))/j)"
+}

combstruct/data/ecs00/ecs_0096.json

@@ -0,0 +1,35 @@
+{
+    "id": 96,
+    "name": "Non-planar labelled trees with neither unary nor binary nodes",
+    "description": "Non-planar labelled trees with neither unary nor binary nodes",
+    "specification": "{B = Union(S,Z), S = Set(B,3 <= card)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        1,
+        1,
+        11,
+        36,
+        372,
+        2311,
+        26252,
+        243893,
+        3173281,
+        38916879,
+        583922418,
+        8808814262,
+        151530476047,
+        2694658394356,
+        52607648010035,
+        1072975736368359,
+        23516009286474813,
+        539838208864165036
+    ],
+    "references": [
+        "EIS A052526"
+    ],
+    "gf": "RootOf(-_Z^2+2*exp(_Z)-4*_Z+2*_x-2)-_x"
+}

combstruct/data/ecs00/ecs_0097.json

@@ -0,0 +1,38 @@
+{
+    "id": 97,
+    "name": "Centered cycles",
+    "description": "Centered labelled cycles",
+    "specification": "{B = Cycle(Z), S = Prod(B,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        3,
+        8,
+        30,
+        144,
+        840,
+        5760,
+        45360,
+        403200,
+        3991680,
+        43545600,
+        518918400,
+        6706022400,
+        93405312000,
+        1394852659200,
+        22230464256000,
+        376610217984000,
+        6758061133824000,
+        128047474114560000
+    ],
+    "references": [
+        "EIS A001048"
+    ],
+    "gf": "ln(-1/(-1+_x))*_x",
+    "rec": "{(-_n^2+1)*_f(_n)+_f(_n+1)*_n, _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3) = 3}",
+    "closedform": "1/(_n-1)*GAMMA(_n+1)",
+    "equiv": "1/_n"
+}