combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs02/ecs_0288.json

@@ -0,0 +1,38 @@
+{
+    "id": 288,
+    "name": "Planar trees with arity 5",
+    "description": "Planar trees with arity 5",
+    "specification": "{B = Prod(Z,S,S,S,S,S), S = Sequence(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        6,
+        51,
+        506,
+        5481,
+        62832,
+        749398,
+        9203634,
+        115607310,
+        1478314266,
+        19180049928,
+        251857119696,
+        3340843549855,
+        44700485049720,
+        602574657427116,
+        8175951659117794,
+        111572030260242090,
+        1530312970340384580,
+        21085148778264281865,
+        291705220704719165526
+    ],
+    "references": [
+        "EIS A002295"
+    ],
+    "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^5-12500*_n^4-19375*_n^3-14500*_n^2-5220*_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)/GAMMA(_n+1)",
+    "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/ecs02/ecs_0289.json

@@ -0,0 +1,38 @@
+{
+    "id": 289,
+    "name": "Planar trees with arity 6",
+    "description": "Planar trees with arity 6",
+    "specification": "{B = Prod(Z,S,S,S,S,S,S), S = Sequence(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        7,
+        70,
+        819,
+        10472,
+        141778,
+        1997688,
+        28989675,
+        430321633,
+        6503352856,
+        99726673130,
+        1547847846090,
+        24269405074740,
+        383846168712104,
+        6116574500860880,
+        98106248306858715,
+        1582638261961640247,
+        25661404527790252375,
+        417980115131315136400,
+        6836064539925118356600
+    ],
+    "references": [
+        "EIS A002296"
+    ],
+    "gf": "RootOf(_Z^7*_x-_Z+1)",
+    "rec": "{(823543*_n^6+2470629*_n^5+2941225*_n^4+1764735*_n^3+557032*_n^2+86436*_n+5040)*_f(_n)+(-46656*_n^6-209952*_n^5-382320*_n^4-359640*_n^3-183744*_n^2-48168*_n-5040)*_f(_n+1), _f(0) = 1}",
+    "closedform": "-1/18*3^(1/2)*GAMMA(_n+6/7)*GAMMA(_n+5/7)*GAMMA(_n+4/7)*GAMMA(_n+3/7)*GAMMA(_n+2/7)*GAMMA(_n+1/7)*(-sin(3/7*Pi)-sin(2/7*Pi)+sin(1/7*Pi))/Pi^(3/2)/GAMMA(2*_n+2/3)/GAMMA(2*_n+4/3)/GAMMA(_n+1/2)*823543^_n*2916^(-_n)/GAMMA(_n+1)",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(108*_Z^2-7)*(1/_n)^(3/2)*exp(-_n)^(-7*ln(7)+6*ln(2)+6*ln(3))"
+}

combstruct/data/ecs02/ecs_0290.json

@@ -0,0 +1,38 @@
+{
+    "id": 290,
+    "name": "Planar trees with arity 7",
+    "description": "Planar trees with arity 7",
+    "specification": "{B = Prod(Z,S,S,S,S,S,S,S), S = Sequence(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        8,
+        92,
+        1240,
+        18278,
+        285384,
+        4638348,
+        77652024,
+        1329890705,
+        23190029720,
+        410333440536,
+        7349042994488,
+        132969010888280,
+        2426870706415800,
+        44627576949364104,
+        826044435409399800,
+        15378186970730687400,
+        287756293703544823872,
+        5409093674555090316300,
+        102094541350737142767560
+    ],
+    "references": [
+        "EIS A007556"
+    ],
+    "gf": "RootOf(_Z^8*_x-_Z+1)",
+    "rec": "{(16777216*_n^7+58720256*_n^6+84410368*_n^5+64225280*_n^4+27725824*_n^3+6723584*_n^2+836352*_n+40320)*_f(_n)+(-823543*_n^7-4117715*_n^6-8588377*_n^5-9664025*_n^4-6319432*_n^3-2394140*_n^2-484848*_n-40320)*_f(_n+1), _f(0) = 1}",
+    "closedform": "1/7*Pi^(3/2)*GAMMA(2*_n+1/2)*GAMMA(4*_n+1/2)*GAMMA(_n+1/2)*16384^_n*823543^(-_n)/GAMMA(_n+3/7)/sin(1/7*Pi)/GAMMA(_n+4/7)/(cos(1/7*Pi)-1/2)/GAMMA(_n+6/7)/GAMMA(_n+2/7)/(cos(1/7*Pi)+1)/GAMMA(_n+1)/GAMMA(_n+5/7)/GAMMA(_n+8/7)",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(343*_Z^2-16)*(1/_n)^(3/2)*exp(-_n)^(-24*ln(2)+7*ln(7))"
+}

combstruct/data/ecs02/ecs_0291.json

@@ -0,0 +1,35 @@
+{
+    "id": 291,
+    "name": "Hierarchies of height 2",
+    "description": "Hierarchies of height 2",
+    "specification": "{S = Set(A[1],1 <= card), A[1] = Set(A[2],1 <= card), A[2] = Z}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        5,
+        15,
+        52,
+        203,
+        877,
+        4140,
+        21147,
+        115975,
+        678570,
+        4213597,
+        27644437,
+        190899322,
+        1382958545,
+        10480142147,
+        82864869804,
+        682076806159,
+        5832742205057,
+        51724158235372
+    ],
+    "references": [
+        "EIS A000110"
+    ],
+    "gf": "exp(exp(_x)-1)-1"
+}

combstruct/data/ecs02/ecs_0292.json

@@ -0,0 +1,35 @@
+{
+    "id": 292,
+    "name": "Hierarchies of height 3",
+    "description": "Hierarchies of height 3",
+    "specification": "{S = Set(A[1],1 <= card), A[1] = Set(A[2],1 <= card), A[2] = Set(A[3],1 <= card), A[3] =Z}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        12,
+        60,
+        358,
+        2471,
+        19302,
+        167894,
+        1606137,
+        16733779,
+        188378402,
+        2276423485,
+        29367807524,
+        402577243425,
+        5840190914957,
+        89345001017415,
+        1436904211547895,
+        24227076487779802,
+        427187837301557598,
+        7859930038606521508
+    ],
+    "references": [
+        "EIS A000258"
+    ],
+    "gf": "exp(exp(exp(_x)-1)-1)-1"
+}

combstruct/data/ecs02/ecs_0293.json

@@ -0,0 +1,35 @@
+{
+    "id": 293,
+    "name": "Hierarchies of height 4",
+    "description": "Hierarchies of height 4",
+    "specification": "{S = Set(A[1],1 <= card), A[1] = Set(A[2],1 <= card), A[2] = Set(A[3],1 <= card), A[3] = Set(A[4],1 <= card), A[4] = Z}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        22,
+        154,
+        1304,
+        12915,
+        146115,
+        1855570,
+        26097835,
+        402215465,
+        6734414075,
+        121629173423,
+        2355470737637,
+        48664218965021,
+        1067895971109199,
+        24795678053493443,
+        607144847919796830,
+        15630954703539323090,
+        421990078975569031642,
+        11918095123121138408128
+    ],
+    "references": [
+        "EIS A000307"
+    ],
+    "gf": "exp(exp(exp(exp(_x)-1)-1)-1)-1"
+}

combstruct/data/ecs02/ecs_0294.json

@@ -0,0 +1,35 @@
+{
+    "id": 294,
+    "name": "Hierarchies of height 5",
+    "description": "Hierarchies of height 5",
+    "specification": "{S = Set(A[1],1 <= card), A[1] = Set(A[2],1 <= card), A[2] =Set(A[3],1 <= card), A[3] = Set(A[4],1 <= card), A[4] = Set(A[5],1 <= card), A[5] = Z}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        5,
+        35,
+        315,
+        3455,
+        44590,
+        660665,
+        11035095,
+        204904830,
+        4183174520,
+        93055783320,
+        2238954627848,
+        57903797748386,
+        1601122732128779,
+        47120734323344439,
+        1470076408565099152,
+        48449426629560437576,
+        1681560512531504058350,
+        61293054886119796799892,
+        2340495383889150212466948
+    ],
+    "references": [
+        "EIS A000357"
+    ],
+    "gf": "exp(exp(exp(exp(exp(_x)-1)-1)-1)-1)-1"
+}

combstruct/data/ecs02/ecs_0295.json

@@ -0,0 +1,35 @@
+{
+    "id": 295,
+    "name": "Hierarchies of height 6",
+    "description": "Hierarchies of height 6",
+    "specification": "{S = Set(A[1],1 <= card), A[1] = Set(A[2],1 <= card), A[2] =Set(A[3],1 <= card), A[3] = Set(A[4],1 <= card), A[4] = Set(A[5],1 <= card), A[5] = Set(A[6],1 <= card), A[6] = Z}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        6,
+        51,
+        561,
+        7556,
+        120196,
+        2201856,
+        45592666,
+        1051951026,
+        26740775306,
+        742069051906,
+        22310563733864,
+        722108667742546,
+        25024187820786357,
+        924161461265888370,
+        36223781285638309482,
+        1501552062016443881514,
+        65615806216647567704054,
+        3014172185130478508636024,
+        145182909448358007294714590
+    ],
+    "references": [
+        "EIS A000405"
+    ],
+    "gf": "exp(exp(exp(exp(exp(exp(_x)-1)-1)-1)-1)-1)-1"
+}

combstruct/data/ecs02/ecs_0296.json

@@ -0,0 +1,35 @@
+{
+    "id": 296,
+    "name": "Hierarchies of height 7",
+    "description": "Hierarchies of height 7",
+    "specification": "{S = Set(A[1],1 <= card), A[1] = Set(A[2],1 <= card), A[2] = Set(A[3],1 <= card), A[3] = Set(A[4],1 <= card), A[4] = Set(A[5],1 <= card), A[5] = Set(A[6],1 <= card), A[6] = Set(A[7],1 <= card), A[7] = Z}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        7,
+        70,
+        910,
+        14532,
+        274778,
+        5995892,
+        148154860,
+        4085619622,
+        124304629050,
+        4133867297490,
+        149114120602860,
+        5796433459664946,
+        241482353893283349,
+        10730629952953517859,
+        506500241174366575122,
+        25302666611855946733140,
+        1333471119612688471631328,
+        73923363837227520623765352,
+        4299708620818860783778474398
+    ],
+    "references": [
+        "EIS A001669"
+    ],
+    "gf": "exp(exp(exp(exp(exp(exp(exp(_x)-1)-1)-1)-1)-1)-1)-1"
+}

combstruct/data/ecs02/ecs_0297.json

@@ -0,0 +1,38 @@
+{
+    "id": 297,
+    "name": "Mobiles of height 1",
+    "description": "Mobiles of height 1",
+    "specification": "{S = Cycle(A[1]), A[1] = Z}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        1,
+        2,
+        6,
+        24,
+        120,
+        720,
+        5040,
+        40320,
+        362880,
+        3628800,
+        39916800,
+        479001600,
+        6227020800,
+        87178291200,
+        1307674368000,
+        20922789888000,
+        355687428096000,
+        6402373705728000,
+        121645100408832000
+    ],
+    "references": [
+        "EIS A000142"
+    ],
+    "gf": "ln(-1/(-1+_x))",
+    "rec": "{(-1-_n)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 1, _f(2) = 1}",
+    "closedform": "GAMMA(_n)",
+    "equiv": "1/_n"
+}

combstruct/data/ecs02/ecs_0298.json

@@ -0,0 +1,37 @@
+{
+    "id": 298,
+    "name": "Mobiles of height 2",
+    "description": "Mobiles of height 2",
+    "specification": "{S = Cycle(A[1]), A[1] = Cycle(A[2]), A[2] =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 34"
+    ],
+    "gf": "ln(-1/(-1+ln(-1/(-1+_x))))",
+    "equiv": "1/_n*exp(-_n)^(ln(exp(1)-1)-1)"
+}

combstruct/data/ecs02/ecs_0299.json

@@ -0,0 +1,36 @@
+{
+    "id": 299,
+    "name": "Mobiles of height 3",
+    "description": "Mobiles of height 3",
+    "specification": "{S = Cycle(A[1]), A[1] = Cycle(A[2]), A[2] = Cycle(A[3]), A[3] = Z}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        15,
+        105,
+        947,
+        10472,
+        137337,
+        2085605,
+        36017472,
+        697407850,
+        14969626900,
+        352877606716,
+        9064191508018,
+        252024567201300,
+        7542036496650006,
+        241721880399970938,
+        8261159383595659128,
+        299916384730043070880,
+        11526945327529620432872,
+        467583770376898192016104
+    ],
+    "references": [
+        "EIS A000268"
+    ],
+    "gf": "ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+_x))))))",
+    "equiv": "1/_n*exp(-_n)^(-1+ln(exp(1-exp(-1))-1)+exp(-1))"
+}

combstruct/data/ecs03/ecs_0300.json

@@ -0,0 +1,36 @@
+{
+    "id": 300,
+    "name": "Mobiles of height 4",
+    "description": "Mobiles of height 4",
+    "specification": "{S = Cycle(A[1]), A[1] = Cycle(A[2]), A[2] = Cycle(A[3]), A[3] = Cycle(A[4]), A[4] = Z}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        26,
+        234,
+        2696,
+        37919,
+        630521,
+        12111114,
+        264051201,
+        6445170229,
+        174183891471,
+        5164718385337,
+        166737090160871,
+        5822980248613990,
+        218756388226681557,
+        8797723991458469015,
+        377159237609540937788,
+        17170729962232112834302,
+        827382365085791968518198,
+        42070004707327023844695198
+    ],
+    "references": [
+        "EIS A000310"
+    ],
+    "gf": "ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+_x))))))))",
+    "equiv": "1/_n*exp(-_n)^(-1+exp(exp(-1)-1)+ln(exp((exp(1-exp(-1))-1)*exp(exp(-1)-1))-1))"
+}

combstruct/data/ecs03/ecs_0301.json

@@ -0,0 +1,36 @@
+{
+    "id": 301,
+    "name": "Mobiles of height 5",
+    "description": "Mobiles of height 5",
+    "specification": "{S = Cycle(A[1]), A[1] = Cycle(A[2]), A[2] = Cycle(A[3]), A[3] =Cycle(A[4]), A[4] = Cycle(A[5]), A[5] = Z}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        5,
+        40,
+        440,
+        6170,
+        105315,
+        2120610,
+        49242470,
+        1296133195,
+        38152216495,
+        1242274374380,
+        44345089721923,
+        1722416374173854,
+        72330102999829054,
+        3265871028909088036,
+        157797437377747327987,
+        8124524883679977475839,
+        444098724261935142753430,
+        25686620182635742154482138,
+        1567441612942183018305827618
+    ],
+    "references": [
+        "EIS A000359"
+    ],
+    "gf": "ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+_x))))))))))",
+    "equiv": "1/_n*exp(-_n)^(-1+exp(-(exp(1-exp(-1))-1)*exp(exp(-1)-1))+ln(exp(1-exp(-(exp(1-exp(-1))-1)*exp(exp(-1)-1)))-1))"
+}

combstruct/data/ecs03/ecs_0302.json

@@ -0,0 +1,36 @@
+{
+    "id": 302,
+    "name": "Mobiles of height 6",
+    "description": "Mobiles of height 6",
+    "specification": "{S = Cycle(A[1]), A[1] = Cycle(A[2]), A[2] = Cycle(A[3]), A[3] =Cycle(A[4]), A[4] = Cycle(A[5]), A[5] = Cycle(A[6]), A[6] = Z}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        6,
+        57,
+        741,
+        12244,
+        245755,
+        5809875,
+        158198200,
+        4877852505,
+        168055077875,
+        6400217406500,
+        267058149580823,
+        12118701719205803,
+        594291742526530761,
+        31323687504696772151,
+        1766116437541895988303,
+        106080070002238888908150,
+        6762678693433293430855775,
+        456089950304946700613289273,
+        32445336399389998905087025058
+    ],
+    "references": [
+        "EIS A000406"
+    ],
+    "gf": "ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+_x))))))))))))",
+    "equiv": "1/_n*exp(-_n)^(-1+exp(-1+exp(-(exp(1-exp(-1))-1)*exp(exp(-1)-1)))+ln(exp((exp(1-exp(-(exp(1-exp(-1))-1)*exp(exp(-1)-1)))-1)*exp(-1+exp(-(exp(1-exp(-1))-1)*exp(exp(-1)-1))))-1))"
+}

combstruct/data/ecs03/ecs_0303.json

@@ -0,0 +1,36 @@
+{
+    "id": 303,
+    "name": "Mobiles of height 7",
+    "description": "Mobiles of height 7",
+    "specification": "{S = Cycle(A[1]), A[1] = Cycle(A[2]), A[2] = Cycle(A[3]), A[3] = Cycle(A[4]), A[4] = Cycle(A[5]), A[5] = Cycle(A[6]), A[6] = Cycle(A[7]), A[7] = Z}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        7,
+        77,
+        1155,
+        21973,
+        506989,
+        13761937,
+        429853851,
+        15192078027,
+        599551077881,
+        26140497946017,
+        1248134313062231,
+        64783855286002573,
+        3632510833677434324,
+        218845138322691595694,
+        14099918095287618382033,
+        967508237903439910445565,
+        70447525748137979196484589,
+        5425461926437298984197741397,
+        440656493700770851119310401035
+    ],
+    "references": [
+        "EIS A001765"
+    ],
+    "gf": "ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+ln(-1/(-1+_x))))))))))))))",
+    "equiv": "1/_n*exp(-_n)^(-1+ln(exp(1-exp(-(exp(1-exp(-(exp(1-exp(-1))-1)*exp(exp(-1)-1)))-1)*exp(-1+exp(-(exp(1-exp(-1))-1)*exp(exp(-1)-1)))))-1)+exp(-(exp(1-exp(-(exp(1-exp(-1))-1)*exp(exp(-1)-1)))-1)*exp(-1+exp(-(exp(1-exp(-1))-1)*exp(exp(-1)-1)))))"
+}

combstruct/data/ecs03/ecs_0304.json

@@ -0,0 +1,38 @@
+{
+    "id": 304,
+    "name": "Expansion of g.f. (1+x)/(1-2*x)",
+    "description": "Expansion of g.f. (1+x)/(1-2*x)",
+    "specification": "{S = Prod(Union(Epsilon,Z),Sequence(Union(Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        6,
+        12,
+        24,
+        48,
+        96,
+        192,
+        384,
+        768,
+        1536,
+        3072,
+        6144,
+        12288,
+        24576,
+        49152,
+        98304,
+        196608,
+        393216,
+        786432,
+        1572864
+    ],
+    "references": [
+        "EIS A003945"
+    ],
+    "gf": "-(1+_x)/(-1+2*_x)",
+    "rec": "{2*_f(_n)-_f(_n+1), _f(0) = 1, _f(1) = 3}",
+    "closedform": "3*2^(_n-1)+piecewise(_n = 0,-1/2,0)",
+    "equiv": "3/2*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs03/ecs_0305.json

@@ -0,0 +1,38 @@
+{
+    "id": 305,
+    "name": "Expansion of (1+x)/(1-3*x)",
+    "description": "Expansion of (1+x)/(1-3*x)",
+    "specification": "{S = Prod(Union(Epsilon,Z),Sequence(Union(Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        12,
+        36,
+        108,
+        324,
+        972,
+        2916,
+        8748,
+        26244,
+        78732,
+        236196,
+        708588,
+        2125764,
+        6377292,
+        19131876,
+        57395628,
+        172186884,
+        516560652,
+        1549681956,
+        4649045868
+    ],
+    "references": [
+        "EIS A003946"
+    ],
+    "gf": "-(1+_x)/(-1+3*_x)",
+    "rec": "{3*_f(_n)-_f(_n+1), _f(0) = 1, _f(1) = 4}",
+    "closedform": "4*3^(_n-1)+piecewise(_n = 0,-1/3,0)",
+    "equiv": "4/3*exp(-_n)^(-ln(3))"
+}