combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs00/ecs_0009.json

@@ -0,0 +1,40 @@
+{
+    "id": 9,
+    "name": "Words with at most 1 consecutive b-letters",
+    "description": "Words with at most 1 consecutive b-letters; Fibonacci numbers; integer F(n) such that F(n)=F(n-1)+F(n-2), F(0)=F(1)=1",
+    "specification": "{S = Prod(X,Sequence(Prod(a,X))), X = Sequence(b,card <= 1), a = Atom, b = Atom}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        3,
+        5,
+        8,
+        13,
+        21,
+        34,
+        55,
+        89,
+        144,
+        233,
+        377,
+        610,
+        987,
+        1597,
+        2584,
+        4181,
+        6765,
+        10946,
+        17711
+    ],
+    "references": [
+        "Fibonacci",
+        "EIS A000045",
+        "http://www.ee.surrey.ac.uk/Personal/R.Knott/Fibonacci/fib.html"
+    ],
+    "gf": "-(1+_x)/(_x^2+_x-1)",
+    "rec": "{_f(_n)+_f(_n+1)-_f(_n+2), _f(0) = 1, _f(1) = 2}",
+    "closedform": "Sum(1/5*(_alpha+3)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z-1))",
+    "equiv": "-(1/2+1/2*5^(1/2))/(-2*(1/2*5^(1/2)-1/2)^2-1/2*5^(1/2)+1/2)*exp(-_n)^(-ln(2)+ln(5^(1/2)-1))"
+}

combstruct/data/ecs00/ecs_0010.json

@@ -0,0 +1,38 @@
+{
+    "id": 10,
+    "name": "Words with at most 2 consecutive b-letters",
+    "description": "Words with at most 2 consecutive b-letters; Tribonacci numbers",
+    "specification": "{S = Prod(X,Sequence(Prod(a,X))), X = Sequence(b,card <= 2), a = Atom, b =Atom}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        4,
+        7,
+        13,
+        24,
+        44,
+        81,
+        149,
+        274,
+        504,
+        927,
+        1705,
+        3136,
+        5768,
+        10609,
+        19513,
+        35890,
+        66012,
+        121415,
+        223317
+    ],
+    "references": [
+        "EIS A000073"
+    ],
+    "gf": "-(_x^2+_x+1)/(_x^3+_x^2+_x-1)",
+    "rec": "{_f(_n)+_f(_n+1)+_f(_n+2)-_f(_n+3), _f(0) = 1, _f(1) = 2, _f(2) = 4}",
+    "closedform": "Sum(1/22*(3*_alpha^2+5*_alpha+10)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+_Z^2+_Z-1))",
+    "equiv": "-(RootOf(_Z^3+_Z^2+_Z-1,.543689012692078)^2+RootOf(_Z^3+_Z^2+_Z-1,.543689012692078)+1)/(-3*RootOf(_Z^3+_Z^2+_Z-1,.543689012692078)^3-2*RootOf(_Z^3+_Z^2+_Z-1,.543689012692078)^2-RootOf(_Z^3+_Z^2+_Z-1,.543689012692078))*(RootOf(_Z^3+_Z^2+_Z-1,.543689012692078)^2+RootOf(_Z^3+_Z^2+_Z-1,.543689012692078)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs00/ecs_0011.json

@@ -0,0 +1,38 @@
+{
+    "id": 11,
+    "name": "Words with at most 3 consecutive b-letters",
+    "description": "Words with at most 3 consecutive b-letters; Tetranacci numbers",
+    "specification": "{S = Prod(X,Sequence(Prod(a,X))), X = Sequence(b,card <= 3), a = Atom, b = Atom}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        4,
+        8,
+        15,
+        29,
+        56,
+        108,
+        208,
+        401,
+        773,
+        1490,
+        2872,
+        5536,
+        10671,
+        20569,
+        39648,
+        76424,
+        147312,
+        283953,
+        547337
+    ],
+    "references": [
+        "EIS A000078"
+    ],
+    "gf": "-(_x^3+_x^2+_x+1)/(_x^4+_x^3+_x^2+_x-1)",
+    "rec": "{_f(_n)+_f(_n+1)+_f(_n+2)+_f(_n+3)-_f(_n+4), _f(0) = 1, _f(1) = 2, _f(2) = 4, _f(3) = 8}",
+    "closedform": "Sum(1/563*(64*_alpha^3+104*_alpha^2+129*_alpha+215)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z-1))",
+    "equiv": "-(RootOf(_Z^4+_Z^3+_Z^2+_Z-1,.518790063675884)^3+RootOf(_Z^4+_Z^3+_Z^2+_Z-1,.518790063675884)^2+RootOf(_Z^4+_Z^3+_Z^2+_Z-1,.518790063675884)+1)/(-4*RootOf(_Z^4+_Z^3+_Z^2+_Z-1,.518790063675884)^4-3*RootOf(_Z^4+_Z^3+_Z^2+_Z-1,.518790063675884)^3-2*RootOf(_Z^4+_Z^3+_Z^2+_Z-1,.518790063675884)^2-RootOf(_Z^4+_Z^3+_Z^2+_Z-1,.518790063675884))*(RootOf(_Z^4+_Z^3+_Z^2+_Z-1,.518790063675884)^3+RootOf(_Z^4+_Z^3+_Z^2+_Z-1,.518790063675884)^2+RootOf(_Z^4+_Z^3+_Z^2+_Z-1,.518790063675884)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs00/ecs_0012.json

@@ -0,0 +1,38 @@
+{
+    "id": 12,
+    "name": "Words with at most 4 consecutive b-letters",
+    "description": "Words with at most 4 consecutive b-letters; Pentanacci numbers",
+    "specification": "{S = Prod(X,Sequence(Prod(a,X))), X = Sequence(b,card <= 4), a = Atom, b = Atom}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        4,
+        8,
+        16,
+        31,
+        61,
+        120,
+        236,
+        464,
+        912,
+        1793,
+        3525,
+        6930,
+        13624,
+        26784,
+        52656,
+        103519,
+        203513,
+        400096,
+        786568
+    ],
+    "references": [
+        "EIS A001591"
+    ],
+    "gf": "-(_x^4+_x^3+_x^2+_x+1)/(_x^5+_x^4+_x^3+_x^2+_x-1)",
+    "rec": "{_f(_n)+_f(_n+1)+_f(_n+2)+_f(_n+3)+_f(_n+4)-_f(_n+5), _f(0) = 1, _f(1) = 2, _f(2) = 4, _f(3) = 8, _f(4) = 16}",
+    "closedform": "Sum(1/1198*(125*_alpha^4+200*_alpha^3+245*_alpha^2+272*_alpha+408)*_alpha^(-1-_n),_alpha = RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1))",
+    "equiv": "-(RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004)^4+RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004)^3+RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004)^2+RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004)+1)/(-5*RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004)^5-4*RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004)^4-3*RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004)^3-2*RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004)^2-RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004))*(RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004)^4+RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004)^3+RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004)^2+RootOf(_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.508660391642004)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs00/ecs_0013.json

@@ -0,0 +1,38 @@
+{
+    "id": 13,
+    "name": "Words with at most 5 consecutive b-letters",
+    "description": "Words with at most 5 consecutive b-letters; Hexanacci numbers",
+    "specification": "{S = Prod(X,Sequence(Prod(a,X))), X = Sequence(b,card <= 5), a = Atom, b = Atom}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        4,
+        8,
+        16,
+        32,
+        63,
+        125,
+        248,
+        492,
+        976,
+        1936,
+        3840,
+        7617,
+        15109,
+        29970,
+        59448,
+        117920,
+        233904,
+        463968,
+        920319
+    ],
+    "references": [
+        "EIS A001592"
+    ],
+    "gf": "-(_x^5+_x^4+_x^3+_x^2+_x+1)/(_x^6+_x^5+_x^4+_x^3+_x^2+_x-1)",
+    "rec": "{_f(_n)+_f(_n+1)+_f(_n+2)+_f(_n+3)+_f(_n+4)+_f(_n+5)-_f(_n+6),_f(0) = 1, _f(1) = 2, _f(2) = 4, _f(3) = 8, _f(4) = 16, _f(5) = 32}",
+    "closedform": "Sum(1/205937*(20736*_alpha^5+32832*_alpha^4+39888*_alpha^3+44004*_alpha^2+46405*_alpha+64967)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1))",
+    "equiv": "-(RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^5+RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^4+RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^3+RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^2+RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)+1)/(-6*RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^6-5*RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^5-4*RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^4-3*RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^3-2*RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^2-RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655))*(RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^5+RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^4+RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^3+RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)^2+RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z-1,.504138258361655)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs00/ecs_0014.json

@@ -0,0 +1,38 @@
+{
+    "id": 14,
+    "name": "Words with at least 2 consecutive b-letters",
+    "description": "Words with at least 2 consecutive b-letters",
+    "specification": "{S = Prod(X,Sequence(Prod(a,X))), X = Sequence(b,2 <= card), a = Atom, b = Atom}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        1,
+        1,
+        1,
+        2,
+        3,
+        4,
+        6,
+        9,
+        13,
+        19,
+        28,
+        41,
+        60,
+        88,
+        129,
+        189,
+        277,
+        406,
+        595
+    ],
+    "references": [
+        "EIS A000930"
+    ],
+    "gf": "-_x^2/(_x^3+_x-1)",
+    "rec": "{_f(_n)+_f(_n+2)-_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 1}",
+    "closedform": "Sum(-1/31*(2*_alpha^2+3*_alpha-9)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+_Z-1))",
+    "equiv": "-RootOf(_Z^3+_Z-1,.682327803828019)^2/(-3*RootOf(_Z^3+_Z-1,.682327803828019)^3-RootOf(_Z^3+_Z-1,.682327803828019))*(RootOf(_Z^3+_Z-1,.682327803828019)^2+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs00/ecs_0015.json

@@ -0,0 +1,37 @@
+{
+    "id": 15,
+    "name": "Set partitions with nonempty blocks (Bell numbers)",
+    "description": "Set partitions with all blocks of size >=1; Bell numbers",
+    "specification": "{S = Set(Set(Z,1 <= card))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        5,
+        15,
+        52,
+        203,
+        877,
+        4140,
+        21147,
+        115975,
+        678570,
+        4213597,
+        27644437,
+        190899322,
+        1382958545,
+        10480142147,
+        82864869804,
+        682076806159,
+        5832742205057,
+        51724158235372
+    ],
+    "references": [
+        "Bell",
+        "EIS A000110",
+        "Same terms as ECS 65 and ECS 73"
+    ],
+    "gf": "exp(exp(_x)-1)"
+}

combstruct/data/ecs00/ecs_0016.json

@@ -0,0 +1,35 @@
+{
+    "id": 16,
+    "name": "Set partitions with blocks of size at least 2",
+    "description": "Set partitions with all blocks of size >=2; expansion of exp(exp(x)-1-x)",
+    "specification": "{S = Set(Set(Z,2 <= card))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        1,
+        4,
+        11,
+        41,
+        162,
+        715,
+        3425,
+        17722,
+        98253,
+        580317,
+        3633280,
+        24011157,
+        166888165,
+        1216070380,
+        9264071767,
+        73600798037,
+        608476008122,
+        5224266196935
+    ],
+    "references": [
+        "EIS A000296"
+    ],
+    "gf": "exp(exp(_x)-1-_x)"
+}

combstruct/data/ecs00/ecs_0017.json

@@ -0,0 +1,38 @@
+{
+    "id": 17,
+    "name": "Set partitions with blocks of size at most 2 (involutions)",
+    "description": "Set partitions with all blocks of size <=2; self-conjugate permutations on n letters; involution numbers a(n)=a(n-1)+(n-1)a(n-2)",
+    "specification": "{S = Set(Union(Set(Z,card = 1),Set(Z,card = 2)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        4,
+        10,
+        26,
+        76,
+        232,
+        764,
+        2620,
+        9496,
+        35696,
+        140152,
+        568504,
+        2390480,
+        10349536,
+        46206736,
+        211799312,
+        997313824,
+        4809701440,
+        23758664096
+    ],
+    "references": [
+        "EIS A000085",
+        "Same terms as ECS 22"
+    ],
+    "gf": "exp(_x+1/2*_x^2)",
+    "rec": "{(-1-_n)*_f(_n)-_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 1}",
+    "equiv": "1/2/Pi^(1/2)*exp(-1/4)*(1/_n)^(1/2)*exp(1/(1/_n)^(1/2))/exp(-_n)^(1/2)*(_n^(-_n))^(1/2)"
+}

combstruct/data/ecs00/ecs_0018.json

@@ -0,0 +1,37 @@
+{
+    "id": 18,
+    "name": "Set partitions with blocks of size at most 3",
+    "description": "Set partitions with all blocks of size <=3; the partition function G(n,3)",
+    "specification": "{S = Set(Union(Set(Z,card = 1),Set(Z,card = 2),Set(Z,card = 3)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        5,
+        14,
+        46,
+        166,
+        652,
+        2780,
+        12644,
+        61136,
+        312676,
+        1680592,
+        9467680,
+        55704104,
+        341185496,
+        2170853456,
+        14314313872,
+        97620050080,
+        687418278544,
+        4989946902176
+    ],
+    "references": [
+        "EIS A001680"
+    ],
+    "gf": "exp(_x+1/2*_x^2+1/6*_x^3)",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+(-2*_n-4)*_f(_n+1)-2*_f(_n+2)+2*_f(_n+3), _f(0) = 1,_f(1) = 1, _f(2) = 2}",
+    "equiv": "1/6/Pi^(1/2)*2^(1/2)*exp(-4/9)*3^(1/2)*(1/_n)^(1/2)*exp(-1/(1/_n)^(1/3))^(-2/3*2^(1/3))*exp(-1/(1/_n)^(2/3))^(-1/2*2^(2/3))*exp(-_n)^(-1/3+1/3*ln(2))*(_n^(-_n))^(1/3)"
+}

combstruct/data/ecs00/ecs_0019.json

@@ -0,0 +1,37 @@
+{
+    "id": 19,
+    "name": "Set partitions with blocks of size at most 4",
+    "description": "Set partitions with all blocks of size <=4; the partition function G(n,4)",
+    "specification": "{S = Set(Union(Set(Z,card = 1),Set(Z,card = 2),Set(Z,card = 3),Set(Z,card = 4)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        5,
+        15,
+        51,
+        196,
+        827,
+        3795,
+        18755,
+        99146,
+        556711,
+        3305017,
+        20655285,
+        135399720,
+        927973061,
+        6631556521,
+        49294051497,
+        380306658250,
+        3039453750685,
+        25120541332271
+    ],
+    "references": [
+        "EIS A001681"
+    ],
+    "gf": "exp(_x+1/2*_x^2+1/6*_x^3+1/24*_x^4)",
+    "rec": "{(-_n^3-6*_n^2-11*_n-6)*_f(_n)+(-3*_n^2-15*_n-18)*_f(_n+1)+(-6*_n-18)*_f(_n+2)-6*_f(_n+3)+6*_f(_n+4), _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 5}",
+    "equiv": "1/8/Pi^(1/2)*2^(1/2)*exp(-21/32)*4^(1/2)*(1/_n)^(1/2)*exp(-1/(1/_n)^(1/4))^(-31/64*6^(1/4))*exp(-1/(1/_n)^(1/2))^(-5/16*6^(1/2))*exp(-1/(1/_n)^(3/4))^(-1/6*6^(3/4))*exp(-_n)^(-1/4+1/4*ln(2)+1/4*ln(3))*(_n^(-_n))^(1/4)"
+}

combstruct/data/ecs00/ecs_0020.json

@@ -0,0 +1,40 @@
+{
+    "id": 20,
+    "name": "Permutations",
+    "description": "Permutations of n elements",
+    "specification": "{S = Set(Cycle(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        6,
+        24,
+        120,
+        720,
+        5040,
+        40320,
+        362880,
+        3628800,
+        39916800,
+        479001600,
+        6227020800,
+        87178291200,
+        1307674368000,
+        20922789888000,
+        355687428096000,
+        6402373705728000,
+        121645100408832000,
+        2432902008176640000
+    ],
+    "references": [
+        "Euler, 1741",
+        "Stirling, 1730",
+        "EIS A000142"
+    ],
+    "gf": "-1/(-1+_x)",
+    "rec": "{(-1-_n)*_f(_n)+_f(_n+1), _f(0) = 1, _f(1) = 1}",
+    "closedform": "_n!",
+    "equiv": "1"
+}

combstruct/data/ecs00/ecs_0021.json

@@ -0,0 +1,38 @@
+{
+    "id": 21,
+    "name": "derangements",
+    "description": "Cycles >=2, permutations of n element with no fixed points; derangements (subfactorial or rencontre numbers)",
+    "specification": "{S = Set(Cycle(Z,2 <= card))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        2,
+        9,
+        44,
+        265,
+        1854,
+        14833,
+        133496,
+        1334961,
+        14684570,
+        176214841,
+        2290792932,
+        32071101049,
+        481066515734,
+        7697064251745,
+        130850092279664,
+        2355301661033953,
+        44750731559645106,
+        895014631192902121
+    ],
+    "references": [
+        "EIS A000166"
+    ],
+    "gf": "exp(ln(1/(1-_x))-_x)",
+    "rec": "{(-1-_n)*_f(_n)+(-1-_n)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 0}",
+    "closedform": "-exp(1)*exp(-1)*GAMMA(_n)*_n+exp(-1)*GAMMA(_n+1,-1)+GAMMA(_n+1)",
+    "equiv": "exp(-1)"
+}

combstruct/data/ecs00/ecs_0022.json

@@ -0,0 +1,38 @@
+{
+    "id": 22,
+    "name": "Involutions",
+    "description": "involution of n elements",
+    "specification": "{S = Set(Cycle(Z,card <= 2))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        4,
+        10,
+        26,
+        76,
+        232,
+        764,
+        2620,
+        9496,
+        35696,
+        140152,
+        568504,
+        2390480,
+        10349536,
+        46206736,
+        211799312,
+        997313824,
+        4809701440,
+        23758664096
+    ],
+    "references": [
+        "EIS A000085",
+        "Same terms as ECS 17"
+    ],
+    "gf": "exp(_x+1/2*_x^2)",
+    "rec": "{(-1-_n)*_f(_n)-_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 1}",
+    "equiv": "1/2/Pi^(1/2)*exp(-1/4)*(1/_n)^(1/2)*exp(1/(1/_n)^(1/2))/exp(-_n)^(1/2)*(_n^(-_n))^(1/2)"
+}

combstruct/data/ecs00/ecs_0023.json

@@ -0,0 +1,39 @@
+{
+    "id": 23,
+    "name": "Fixed-point-free involutions",
+    "description": "involution without fixed points of n elements even numbers are double factorials",
+    "specification": "{S = Set(Cycle(Z,card = 2))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        0,
+        3,
+        0,
+        15,
+        0,
+        105,
+        0,
+        945,
+        0,
+        10395,
+        0,
+        135135,
+        0,
+        2027025,
+        0,
+        34459425,
+        0,
+        654729075
+    ],
+    "references": [
+        "even number",
+        "EIS A001147"
+    ],
+    "gf": "exp(1/2*_x^2)",
+    "rec": "{(-1-_n)*_f(_n)+_f(_n+2), _f(0) = 1, _f(1) = 0}",
+    "closedform": "piecewise(_n::even,1/Pi^(1/2)*2^(1/2*_n)*GAMMA(1/2*_n+1/2),_n::odd,0)",
+    "equiv": "1/2/Pi^(1/2)*(1/_n)^(1/2)/exp(-_n)^(1/2)*(_n^(-_n))^(1/2)"
+}

combstruct/data/ecs00/ecs_0024.json

@@ -0,0 +1,37 @@
+{
+    "id": 24,
+    "name": "Permutations of order dividing 3",
+    "description": "permutations Sigma such that Sigma^3=Id; degree n permutations of order dividing 3",
+    "specification": "{S = Set(Union(Cycle(Z,card = 1),Cycle(Z,card = 3)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        1,
+        3,
+        9,
+        21,
+        81,
+        351,
+        1233,
+        5769,
+        31041,
+        142011,
+        776601,
+        4874013,
+        27027729,
+        168369111,
+        1191911841,
+        7678566801,
+        53474964993,
+        418199988339,
+        3044269834281
+    ],
+    "references": [
+        "EIS A001470"
+    ],
+    "gf": "exp(_x+1/3*_x^3)",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+_f(_n+3)-_f(_n+2), _f(0) = 1, _f(1) = 1, _f(2) = 1}",
+    "equiv": "1/6*2^(1/2)/Pi^(1/2)*3^(1/2)*(1/_n)^(1/2)*exp(1/(1/_n)^(1/3))/exp(-_n)^(1/3)*(_n^(-_n))^(1/3)"
+}

combstruct/data/ecs00/ecs_0025.json

@@ -0,0 +1,37 @@
+{
+    "id": 25,
+    "name": "Permutations of order dividing 4",
+    "description": "permutations Sigma such that Sigma^4=Id; degree n permutations of order dividing 4",
+    "specification": "{S = Set(Union(Cycle(Z,card =1),Cycle(Z,card = 2),Cycle(Z,card = 4)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        4,
+        16,
+        56,
+        256,
+        1072,
+        6224,
+        33616,
+        218656,
+        1326656,
+        9893632,
+        70186624,
+        574017536,
+        4454046976,
+        40073925376,
+        347165733632,
+        3370414011904,
+        31426411211776,
+        328454079574016
+    ],
+    "references": [
+        "EIS A001472"
+    ],
+    "gf": "exp(_x+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+3)+_f(_n+4), _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 4}",
+    "equiv": "1/8/Pi^(1/2)*2^(1/2)*exp(-1/8)*4^(1/2)*(1/_n)^(1/2)*exp(1/(1/_n)^(1/4))/exp(-1/(1/_n)^(1/2))^(1/2)/exp(-_n)^(1/4)*(_n^(-_n))^(1/4)"
+}