combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs02/ecs_0271.json

@@ -0,0 +1,38 @@
+{
+    "id": 271,
+    "name": "Powers of 6",
+    "description": "Arrangement of n distinguishable objects in 6distinguishable urns",
+    "specification": "{B = Set(Z),S = Prod(B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        6,
+        36,
+        216,
+        1296,
+        7776,
+        46656,
+        279936,
+        1679616,
+        10077696,
+        60466176,
+        362797056,
+        2176782336,
+        13060694016,
+        78364164096,
+        470184984576,
+        2821109907456,
+        16926659444736,
+        101559956668416,
+        609359740010496,
+        3656158440062976
+    ],
+    "references": [
+        "EIS A000400"
+    ],
+    "gf": "exp(_x)^6",
+    "rec": "{_f(_n+1)-6*_f(_n), _f(0) = 1}",
+    "closedform": "6^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-ln(2)-ln(3))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0272.json

@@ -0,0 +1,38 @@
+{
+    "id": 272,
+    "name": "Powers of 7",
+    "description": "Arrangement of n distinguishable objects in 7distinguishable urns",
+    "specification": "{B = Set(Z), S = Prod(B,B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        7,
+        49,
+        343,
+        2401,
+        16807,
+        117649,
+        823543,
+        5764801,
+        40353607,
+        282475249,
+        1977326743,
+        13841287201,
+        96889010407,
+        678223072849,
+        4747561509943,
+        33232930569601,
+        232630513987207,
+        1628413597910449,
+        11398895185373143,
+        79792266297612001
+    ],
+    "references": [
+        "EIS A000420"
+    ],
+    "gf": "exp(_x)^7",
+    "rec": "{_f(_n+1)-7*_f(_n), _f(0) = 1}",
+    "closedform": "7^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-ln(7))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0273.json

@@ -0,0 +1,38 @@
+{
+    "id": 273,
+    "name": "Powers of 8",
+    "description": "Arrangement of n distinguishable objects in 8distinguishable urns",
+    "specification": "{B = Set(Z), S = Prod(B,B,B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        8,
+        64,
+        512,
+        4096,
+        32768,
+        262144,
+        2097152,
+        16777216,
+        134217728,
+        1073741824,
+        8589934592,
+        68719476736,
+        549755813888,
+        4398046511104,
+        35184372088832,
+        281474976710656,
+        2251799813685248,
+        18014398509481984,
+        144115188075855872,
+        1152921504606846976
+    ],
+    "references": [
+        "EIS A001018"
+    ],
+    "gf": "exp(_x)^8",
+    "rec": "{_f(_n+1)-8*_f(_n), _f(0) =1}",
+    "closedform": "8^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-3*ln(2))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0274.json

@@ -0,0 +1,38 @@
+{
+    "id": 274,
+    "name": "Powers of 9",
+    "description": "Arrangement of n distinguishable objects in 9distinguishable urns",
+    "specification": "{B = Set(Z), S = Prod(B,B,B,B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        9,
+        81,
+        729,
+        6561,
+        59049,
+        531441,
+        4782969,
+        43046721,
+        387420489,
+        3486784401,
+        31381059609,
+        282429536481,
+        2541865828329,
+        22876792454961,
+        205891132094649,
+        1853020188851841,
+        16677181699666569,
+        150094635296999121,
+        1350851717672992089,
+        12157665459056928801
+    ],
+    "references": [
+        "EIS A001019"
+    ],
+    "gf": "exp(_x)^9",
+    "rec": "{_f(_n+1)-9*_f(_n), _f(0) = 1}",
+    "closedform": "9^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-2*ln(3))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0275.json

@@ -0,0 +1,38 @@
+{
+    "id": 275,
+    "name": "Powers of 11",
+    "description": "Arrangement of n distinguishable objects in 11distinguishable urns",
+    "specification": "{B = Set(Z), S = Prod(B,B,B,B,B,B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        11,
+        121,
+        1331,
+        14641,
+        161051,
+        1771561,
+        19487171,
+        214358881,
+        2357947691,
+        25937424601,
+        285311670611,
+        3138428376721,
+        34522712143931,
+        379749833583241,
+        4177248169415651,
+        45949729863572161,
+        505447028499293771,
+        5559917313492231481,
+        61159090448414546291,
+        672749994932560009201
+    ],
+    "references": [
+        "EIS A001020"
+    ],
+    "gf": "exp(_x)^11",
+    "rec": "{_f(_n+1)-11*_f(_n), _f(0) = 1}",
+    "closedform": "11^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-ln(11))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0276.json

@@ -0,0 +1,38 @@
+{
+    "id": 276,
+    "name": "Powers of 12",
+    "description": "Arrangement of n distinguishable objects in 12distinguishable urns",
+    "specification": "{B = Set(Z), S = Prod(B,B,B,B,B,B,B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        12,
+        144,
+        1728,
+        20736,
+        248832,
+        2985984,
+        35831808,
+        429981696,
+        5159780352,
+        61917364224,
+        743008370688,
+        8916100448256,
+        106993205379072,
+        1283918464548864,
+        15407021574586368,
+        184884258895036416,
+        2218611106740436992,
+        26623333280885243904,
+        319479999370622926848,
+        3833759992447475122176
+    ],
+    "references": [
+        "EIS A001021"
+    ],
+    "gf": "exp(_x)^12",
+    "rec": "{_f(_n+1)-12*_f(_n),_f(0) = 1}",
+    "closedform": "12^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-2*ln(2)-ln(3))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0277.json

@@ -0,0 +1,38 @@
+{
+    "id": 277,
+    "name": "Powers of 13",
+    "description": "Arrangement of n distinguishable objects in 13distinguishable urns",
+    "specification": "{B = Set(Z), S = Prod(B,B,B,B,B,B,B,B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        13,
+        169,
+        2197,
+        28561,
+        371293,
+        4826809,
+        62748517,
+        815730721,
+        10604499373,
+        137858491849,
+        1792160394037,
+        23298085122481,
+        302875106592253,
+        3937376385699289,
+        51185893014090757,
+        665416609183179841,
+        8650415919381337933,
+        112455406951957393129,
+        1461920290375446110677,
+        19004963774880799438801
+    ],
+    "references": [
+        "EIS A001022"
+    ],
+    "gf": "exp(_x)^13",
+    "rec": "{_f(_n+1)-13*_f(_n), _f(0) = 1}",
+    "closedform": "13^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-ln(13))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0278.json

@@ -0,0 +1,38 @@
+{
+    "id": 278,
+    "name": "Powers of 14",
+    "description": "Arrangement of n distinguishable objects in 14distinguishable urns",
+    "specification": "{B = Set(Z), S = Prod(B,B,B,B,B,B,B,B,B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        14,
+        196,
+        2744,
+        38416,
+        537824,
+        7529536,
+        105413504,
+        1475789056,
+        20661046784,
+        289254654976,
+        4049565169664,
+        56693912375296,
+        793714773254144,
+        11112006825558016,
+        155568095557812224,
+        2177953337809371136,
+        30491346729331195904,
+        426878854210636742656,
+        5976303958948914397184,
+        83668255425284801560576
+    ],
+    "references": [
+        "EIS A001023"
+    ],
+    "gf": "exp(_x)^14",
+    "rec": "{_f(_n+1)-14*_f(_n), _f(0) = 1}",
+    "closedform": "14^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-ln(2)-ln(7))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0279.json

@@ -0,0 +1,38 @@
+{
+    "id": 279,
+    "name": "Powers of 15",
+    "description": "Arrangement of n distinguishable objects in 15distinguishable urns",
+    "specification": "{B = Set(Z), S = Prod(B,B,B,B,B,B,B,B,B,B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        15,
+        225,
+        3375,
+        50625,
+        759375,
+        11390625,
+        170859375,
+        2562890625,
+        38443359375,
+        576650390625,
+        8649755859375,
+        129746337890625,
+        1946195068359375,
+        29192926025390625,
+        437893890380859375,
+        6568408355712890625,
+        98526125335693359375,
+        1477891880035400390625,
+        22168378200531005859375,
+        332525673007965087890625
+    ],
+    "references": [
+        "EIS A001024"
+    ],
+    "gf": "exp(_x)^15",
+    "rec": "{_f(_n+1)-15*_f(_n), _f(0) = 1}",
+    "closedform": "15^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-ln(3)-ln(5))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0280.json

@@ -0,0 +1,38 @@
+{
+    "id": 280,
+    "name": "Powers of 16",
+    "description": "Arrangement of n distinguishable objects in 16distinguishable urns",
+    "specification": "{B = Set(Z), S = Prod(B,B,B,B,B,B,B,B,B,B,B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        16,
+        256,
+        4096,
+        65536,
+        1048576,
+        16777216,
+        268435456,
+        4294967296,
+        68719476736,
+        1099511627776,
+        17592186044416,
+        281474976710656,
+        4503599627370496,
+        72057594037927936,
+        1152921504606846976,
+        18446744073709551616,
+        295147905179352825856,
+        4722366482869645213696,
+        75557863725914323419136,
+        1208925819614629174706176
+    ],
+    "references": [
+        "EIS A001025"
+    ],
+    "gf": "exp(_x)^16",
+    "rec": "{_f(_n+1)-16*_f(_n), _f(0) = 1}",
+    "closedform": "16^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-4*ln(2))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0281.json

@@ -0,0 +1,38 @@
+{
+    "id": 281,
+    "name": "Powers of 17",
+    "description": "Arrangement of n distinguishable objects in 17distinguishable urns",
+    "specification": "{B = Set(Z), S = Prod(B,B,B,B,B,B,B,B,B,B,B,B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        17,
+        289,
+        4913,
+        83521,
+        1419857,
+        24137569,
+        410338673,
+        6975757441,
+        118587876497,
+        2015993900449,
+        34271896307633,
+        582622237229761,
+        9904578032905937,
+        168377826559400929,
+        2862423051509815793,
+        48661191875666868481,
+        827240261886336764177,
+        14063084452067724991009,
+        239072435685151324847153,
+        4064231406647572522401601
+    ],
+    "references": [
+        "EIS A001026"
+    ],
+    "gf": "exp(_x)^17",
+    "rec": "{_f(_n+1)-17*_f(_n), _f(0) = 1}",
+    "closedform": "17^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-ln(17))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0282.json

@@ -0,0 +1,38 @@
+{
+    "id": 282,
+    "name": "Powers of 18",
+    "description": "Arrangement of n distinguishable objects in 18distinguishable urns",
+    "specification": "{B = Set(Z), S = Prod(B,B,B,B,B,B,B,B,B,B,B,B,B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        18,
+        324,
+        5832,
+        104976,
+        1889568,
+        34012224,
+        612220032,
+        11019960576,
+        198359290368,
+        3570467226624,
+        64268410079232,
+        1156831381426176,
+        20822964865671168,
+        374813367582081024,
+        6746640616477458432,
+        121439531096594251776,
+        2185911559738696531968,
+        39346408075296537575424,
+        708235345355337676357632,
+        12748236216396078174437376
+    ],
+    "references": [
+        "EIS A001027"
+    ],
+    "gf": "exp(_x)^18",
+    "rec": "{_f(_n+1)-18*_f(_n), _f(0) = 1}",
+    "closedform": "18^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-ln(2)-2*ln(3))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0283.json

@@ -0,0 +1,38 @@
+{
+    "id": 283,
+    "name": "Powers of 19",
+    "description": "Arrangement of n distinguishable objects in 19distinguishable urns",
+    "specification": "{B = Set(Z), S = Prod(B,B,B,B,B,B,B,B,B,B,B,B,B,B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        19,
+        361,
+        6859,
+        130321,
+        2476099,
+        47045881,
+        893871739,
+        16983563041,
+        322687697779,
+        6131066257801,
+        116490258898219,
+        2213314919066161,
+        42052983462257059,
+        799006685782884121,
+        15181127029874798299,
+        288441413567621167681,
+        5480386857784802185939,
+        104127350297911241532841,
+        1978419655660313589123979,
+        37589973457545958193355601
+    ],
+    "references": [
+        "EIS A001029"
+    ],
+    "gf": "exp(_x)^19",
+    "rec": "{_f(_n+1)-19*_f(_n), _f(0) = 1}",
+    "closedform": "19^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-ln(19))*_n^(-_n)"
+}

combstruct/data/ecs02/ecs_0284.json

@@ -0,0 +1,38 @@
+{
+    "id": 284,
+    "name": "Planar trees with arity 1",
+    "description": "Planar trees with arity 1",
+    "specification": "{B = Prod(Z,S), S = Sequence(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        5,
+        14,
+        42,
+        132,
+        429,
+        1430,
+        4862,
+        16796,
+        58786,
+        208012,
+        742900,
+        2674440,
+        9694845,
+        35357670,
+        129644790,
+        477638700,
+        1767263190,
+        6564120420
+    ],
+    "references": [
+        "EIS A000108"
+    ],
+    "gf": "-1/2*(-1+(1-4*_x)^(1/2))/_x",
+    "rec": "{(2+4*_n)*_f(_n)+(-_n-2)*_f(_n+1), _f(0) = 1}",
+    "closedform": "1/Pi^(1/2)*4^_n*GAMMA(_n+1/2)/GAMMA(_n+2)",
+    "equiv": "1/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs02/ecs_0285.json

@@ -0,0 +1,38 @@
+{
+    "id": 285,
+    "name": "Planar trees with arity 2",
+    "description": "Planar trees with arity 2",
+    "specification": "{B = Prod(Z,S,S), S = Sequence(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        3,
+        12,
+        55,
+        273,
+        1428,
+        7752,
+        43263,
+        246675,
+        1430715,
+        8414640,
+        50067108,
+        300830572,
+        1822766520,
+        11124755664,
+        68328754959,
+        422030545335,
+        2619631042665,
+        16332922290300,
+        102240109897695
+    ],
+    "references": [
+        "EIS A001764"
+    ],
+    "gf": "RootOf(_Z^3*_x-_Z+1)",
+    "rec": "{(27*_n^2+27*_n+6)*_f(_n)+(-4*_n^2-10*_n-6)*_f(_n+1), _f(0) = 1}",
+    "closedform": "1/2*3^(1/2)*27^_n/Pi/GAMMA(2+2*_n)*GAMMA(_n+2/3)*GAMMA(_n+1/3)",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(4*_Z^2-3)*(1/_n)^(3/2)*exp(-_n)^(-3*ln(3)+2*ln(2))"
+}

combstruct/data/ecs02/ecs_0286.json

@@ -0,0 +1,38 @@
+{
+    "id": 286,
+    "name": "Planar trees with arity 3",
+    "description": "Planar trees with arity 3",
+    "specification": "{B = Prod(Z,S,S,S), S = Sequence(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        22,
+        140,
+        969,
+        7084,
+        53820,
+        420732,
+        3362260,
+        27343888,
+        225568798,
+        1882933364,
+        15875338990,
+        134993766600,
+        1156393243320,
+        9969937491420,
+        86445222719724,
+        753310723010608,
+        6594154339031800,
+        57956002331347120
+    ],
+    "references": [
+        "EIS A002293"
+    ],
+    "gf": "RootOf(_Z^4*_x-_Z+1)",
+    "rec": "{(256*_n^3+384*_n^2+176*_n+24)*_f(_n)+(-27*_n^3-81*_n^2-78*_n-24)*_f(_n+1), _f(0) = 1}",
+    "closedform": "2/9*3^(1/2)*GAMMA(2*_n+1/2)*GAMMA(_n+1/2)/GAMMA(_n+4/3)/GAMMA(_n+2/3)*64^_n*27^(-_n)/GAMMA(_n+1)",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(27*_Z^2-8)*(1/_n)^(3/2)*exp(-_n)^(-8*ln(2)+3*ln(3))"
+}

combstruct/data/ecs02/ecs_0287.json

@@ -0,0 +1,38 @@
+{
+    "id": 287,
+    "name": "Planar trees with arity 4",
+    "description": "Planar trees with arity 4",
+    "specification": "{B = Prod(Z,S,S,S,S),S = Sequence(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        5,
+        35,
+        285,
+        2530,
+        23751,
+        231880,
+        2330445,
+        23950355,
+        250543370,
+        2658968130,
+        28558343775,
+        309831575760,
+        3390416787880,
+        37377257159280,
+        414741863546285,
+        4628362722856425,
+        51912988256282175,
+        584909606696793885,
+        6617078646960613370
+    ],
+    "references": [
+        "EIS A002294"
+    ],
+    "gf": "RootOf(_Z^5*_x-_Z+1)",
+    "rec": "{(3125*_n^4+6250*_n^3+4375*_n^2+1250*_n+120)*_f(_n)+(-256*_n^4-896*_n^3-1136*_n^2-616*_n-120)*_f(_n+1), _f(0) = 1}",
+    "closedform": "1/4*GAMMA(_n+1/5)*GAMMA(_n+2/5)*GAMMA(_n+3/5)*GAMMA(_n+4/5)*(cos(1/5*Pi)+cos(2/5*Pi))/Pi/GAMMA(3/2+2*_n)/GAMMA(_n+1/2)*3125^_n*64^(-_n)/GAMMA(_n+1)",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(32*_Z^2-5)*(1/_n)^(3/2)*exp(-_n)^(-5*ln(5)+8*ln(2))"
+}