combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs08/ecs_0862.json

@@ -0,0 +1,34 @@
+{
+    "id": 862,
+    "name": "Number of sets of rooted connected graphs where every block is a complete graph",
+    "description": "Number of sets of rooted connected graphs where every block is a complete graph",
+    "specification": "{B = Set(S), C = Prod(Z,B), S = Set(C,1 <= card)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        5,
+        14,
+        42,
+        134,
+        444,
+        1518,
+        5318,
+        18989,
+        68856,
+        252901,
+        938847,
+        3517082,
+        13278844,
+        50475876,
+        193014868,
+        741963015,
+        2865552848,
+        11113696421
+    ],
+    "references": [
+        "EIS A035052"
+    ]
+}

combstruct/data/ecs08/ecs_0863.json

@@ -0,0 +1,36 @@
+{
+    "id": 863,
+    "name": "E.g.f. is series reversion of log(1+x)*exp(-x)",
+    "description": "E.g.f. is series reversion of log(1+x)*exp(-x)",
+    "specification": "{B = Set(S), C = Prod(Z,B), S = Set(C,1 <= card)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        19,
+        189,
+        2576,
+        44683,
+        941977,
+        23388025,
+        668520163,
+        21622993111,
+        780789908240,
+        31135480907413,
+        1358965445353621,
+        64440211018897379,
+        3298807094967155971,
+        181322497435007616497,
+        10651131815012588324380,
+        665881649529214120845679,
+        44144097851022253967955749,
+        3093244677277056439737072141
+    ],
+    "references": [
+        "EIS A052888"
+    ],
+    "gf": "RootOf(_Z-exp(exp(_Z)*_x)+1)",
+    "equiv": "-1/2/Pi^(1/2)*(-exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))+1)*(exp(1/LambertW(1)*(-1+LambertW(1)))*LambertW(1)*exp(exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))-1)/(1/2*exp(1/LambertW(1)*(-1+LambertW(1)))*LambertW(1)*exp(exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))-1)*(-exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))+1)^2+1/2/exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))^2*(-exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))+1)^2))^(1/2)*(1/_n)^(3/2)*(1/LambertW(1)*exp((1-LambertW(1))/LambertW(1)))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs08/ecs_0864.json

@@ -0,0 +1,36 @@
+{
+    "id": 864,
+    "name": "Number of labeled rooted connected graphs where every block is a complete graph",
+    "description": "Number of labeled rooted connected graphs where every block is a complete graph",
+    "specification": "{B = Set(S,1 <= card),C = Set(B), S = Prod(Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        12,
+        116,
+        1555,
+        26682,
+        558215,
+        13781448,
+        392209380,
+        12641850510,
+        455198725025,
+        18109373455164,
+        788854833679549,
+        37343190699472322,
+        1908871649888004240,
+        104789417805394595600,
+        6148562290130009617619,
+        384009458372082378549270,
+        25434942283949342232090739,
+        1780839523247012361249665220
+    ],
+    "references": [
+        "EIS A035051"
+    ],
+    "gf": "exp(RootOf(_Z-exp(exp(_Z)*_x)+1))*_x",
+    "equiv": "-1/2/Pi^(1/2)*exp(1/LambertW(1)*(-1+LambertW(1)))*LambertW(1)*exp(exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))-1)*(-exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))+1)*(exp(1/LambertW(1)*(-1+LambertW(1)))*LambertW(1)*exp(exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))-1)/(1/2*exp(1/LambertW(1)*(-1+LambertW(1)))*LambertW(1)*exp(exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))-1)*(-exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))+1)^2+1/2/exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))^2*(-exp(LambertW(1)*exp(RootOf(_Z-exp(exp((_Z*LambertW(1)+LambertW(1)-1)/LambertW(1))*LambertW(1))+1)-1/LambertW(1)+1))+1)^2))^(1/2)*(1/_n)^(3/2)*(1/LambertW(1)*exp((1-LambertW(1))/LambertW(1)))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs08/ecs_0865.json

@@ -0,0 +1,35 @@
+{
+    "id": 865,
+    "name": "Rooted set partitions",
+    "description": "rooted set partitions",
+    "specification": "{B = Set(C), C = Set(Z,1 <= card), S = Prod(Z,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        6,
+        20,
+        75,
+        312,
+        1421,
+        7016,
+        37260,
+        211470,
+        1275725,
+        8142840,
+        54776761,
+        387022118,
+        2863489830,
+        22127336720,
+        178162416499,
+        1491567656472,
+        12959459317021,
+        116654844101140
+    ],
+    "references": [
+        "EIS A052889"
+    ],
+    "gf": "exp(exp(_x)-1)*_x"
+}

combstruct/data/ecs08/ecs_0866.json

@@ -0,0 +1,34 @@
+{
+    "id": 866,
+    "name": "Power sets of nonempty sets of rooted power sets",
+    "description": "A simple grammar",
+    "specification": "{B = Set(C,1 <= card), C = Prod(Z,S), S = PowerSet(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        6,
+        16,
+        49,
+        153,
+        493,
+        1623,
+        5460,
+        18625,
+        64373,
+        224843,
+        792546,
+        2815443,
+        10070115,
+        36233440,
+        131063713,
+        476320360,
+        1738401482,
+        6368750019
+    ],
+    "references": [
+        "EIS A052890"
+    ]
+}

combstruct/data/ecs08/ecs_0867.json

@@ -0,0 +1,34 @@
+{
+    "id": 867,
+    "name": "Nonempty sets of rooted sequences",
+    "description": "Number of objects generated by the Combstruct grammar defined in the Maple program. See the link for the grammar specification",
+    "specification": "{B = Sequence(S), C = Prod(Z,B), S =Set(C,1 <= card)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        5,
+        16,
+        56,
+        217,
+        876,
+        3686,
+        15903,
+        70103,
+        314042,
+        1426076,
+        6548060,
+        30352695,
+        141837086,
+        667469159,
+        3160370217,
+        15045244375,
+        71970393570,
+        345766441537
+    ],
+    "references": [
+        "EIS A052891"
+    ]
+}

combstruct/data/ecs08/ecs_0868.json

@@ -0,0 +1,36 @@
+{
+    "id": 868,
+    "name": "E.g.f. is series reversion of log(1+x)*(1-x)",
+    "description": "E.g.f. is series reversion of log(1+x)*(1-x)",
+    "specification": "{B = Sequence(S), C = Prod(Z,B), S = Set(C,1 <= card)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        22,
+        269,
+        4606,
+        101407,
+        2728818,
+        86783769,
+        3184595686,
+        132443395091,
+        6156200036746,
+        316272966462565,
+        17795937622944846,
+        1088410048965734055,
+        71893314170319604066,
+        5100574859506418167601,
+        386824334429004242804086,
+        31229208329663841200670619,
+        2674006753623089888383955898,
+        242045993996438391558263442621
+    ],
+    "references": [
+        "EIS A052892"
+    ],
+    "gf": "exp(RootOf(_Z*exp(_Z*_x)-2*_Z+1)*_x)-1",
+    "equiv": "1/Pi^(1/2)*exp(2/LambertW(2*exp(1))*(LambertW(2*exp(1))-1)^2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))/LambertW(2*exp(1))*(LambertW(2*exp(1))-1)^2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1)*2^(1/2)*((LambertW(2*exp(1))^2-2*LambertW(2*exp(1))+1)*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1)/LambertW(2*exp(1))/(1/2/(-1+2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))^2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1)^2*(-2+(-1+2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))/RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))^2+1/(-1+2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))))^(1/2)*(1/_n)^(3/2)*exp(-_n)^(2*ln(LambertW(2*exp(1))-1)-1+LambertW(2*exp(1)))"
+}

combstruct/data/ecs08/ecs_0869.json

@@ -0,0 +1,34 @@
+{
+    "id": 869,
+    "name": "Sequences of nonempty sets of rooted sequences",
+    "description": "Number of objects generated by the Combstruct grammar defined in the Maple program. See the link for the grammar specification",
+    "specification": "{B = Prod(Z,S), C = Set(B,1 <= card), S =Sequence(C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        3,
+        10,
+        37,
+        144,
+        589,
+        2483,
+        10746,
+        47420,
+        212668,
+        966324,
+        4439540,
+        20587286,
+        96237484,
+        453012296,
+        2145478716,
+        10215922013,
+        48877938369,
+        234862013473,
+        1132902329028
+    ],
+    "references": [
+        "EIS A052893"
+    ]
+}

combstruct/data/ecs08/ecs_0870.json

@@ -0,0 +1,36 @@
+{
+    "id": 870,
+    "name": "a(n) is the number of Schr\u00f6der trees on n vertices with a prescribed root",
+    "description": "a(n) is the number of Schr\u00f6der trees on n vertices with a prescribed root",
+    "specification": "{B = Prod(Z,S),C = Set(B,1 <= card), S = Sequence(C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        5,
+        46,
+        631,
+        11586,
+        267369,
+        7442758,
+        242833091,
+        9090987610,
+        384209125453,
+        18096001098462,
+        939991769248239,
+        53388611049236386,
+        3291647968944928337,
+        218948960832551848438,
+        15629052780600654123739,
+        1191728692751208814306986,
+        96675526164560545405689141,
+        8313659739004791689038376206,
+        755468531016551135104649316935
+    ],
+    "references": [
+        "EIS A052894"
+    ],
+    "gf": "RootOf(_Z*exp(_Z*_x)-2*_Z+1)",
+    "equiv": "1/2/Pi^(1/2)*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1)*2^(1/2)*((LambertW(2*exp(1))^2-2*LambertW(2*exp(1))+1)*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1)/LambertW(2*exp(1))/(1/2/(-1+2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))^2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1)^2*(-2+(-1+2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))/RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))^2+1/(-1+2*RootOf(_Z*exp(2*(LambertW(2*exp(1))-1)^2*_Z/LambertW(2*exp(1)))-2*_Z+1))))^(1/2)*(1/_n)^(3/2)*exp(-_n)^(2*ln(LambertW(2*exp(1))-1)-1+LambertW(2*exp(1)))"
+}

combstruct/data/ecs08/ecs_0871.json

@@ -0,0 +1,36 @@
+{
+    "id": 871,
+    "name": "E.g.f.: (1/2)/(exp(x) - 1) * (1 - (5 - 4*exp(x))^(1/2))",
+    "description": "E.g.f.: (1/2)/(exp(x) - 1) * (1 - (5 - 4*exp(x))^(1/2))",
+    "specification": "{B = Prod(C,S), C = Set(Z,1 <= card), S = Sequence(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        5,
+        43,
+        545,
+        9211,
+        195305,
+        4990483,
+        149371745,
+        5128125451,
+        198696086105,
+        8578228640323,
+        408387804764945,
+        21256203702751291,
+        1200890923560864905,
+        73191086773679576563,
+        4786857909878612350145,
+        334410103752029126714731,
+        24853489022020200940811705,
+        1958028830955159317959127203,
+        163000295631778250600197247345
+    ],
+    "references": [
+        "EIS A052895"
+    ],
+    "gf": "-1/2*(-1+(5-4*exp(_x))^(1/2))/(exp(_x)-1)",
+    "equiv": "1/Pi^(1/2)*5^(1/2)*ln(5/4)^(1/2)*(1/_n)^(3/2)*exp(-_n)^ln(ln(5)-2*ln(2))"
+}

combstruct/data/ecs08/ecs_0872.json

@@ -0,0 +1,35 @@
+{
+    "id": 872,
+    "name": "E.g.f.: (exp(exp(x)-1)-1)^2",
+    "description": "E.g.f.: (exp(exp(x)-1)-1)^2",
+    "specification": "{B = Set(Z,1 <= card),C = Set(B,1 <= card), S = Prod(C,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        12,
+        64,
+        350,
+        2024,
+        12460,
+        81638,
+        567888,
+        4180848,
+        32470834,
+        265219332,
+        2271692124,
+        20350705418,
+        190216812260,
+        1850993707960,
+        18714559108142,
+        196237054861920,
+        2130518566431620,
+        23912733627261670
+    ],
+    "references": [
+        "EIS A052896"
+    ],
+    "gf": "exp(exp(_x)-1)^2-2*exp(exp(_x)-1)+1"
+}

combstruct/data/ecs08/ecs_0873.json

@@ -0,0 +1,37 @@
+{
+    "id": 873,
+    "name": "Expansion of e.g.f.: exp(2*x/(1-x))",
+    "description": "Expansion of e.g.f.: exp(2*x/(1-x))",
+    "specification": "{B = Set(C), C = Sequence(Z,1 <= card), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        8,
+        44,
+        304,
+        2512,
+        24064,
+        261536,
+        3173888,
+        42483968,
+        621159424,
+        9841950208,
+        167879268352,
+        3065723549696,
+        59651093528576,
+        1231571119812608,
+        26883546193002496,
+        618463501807058944,
+        14952361500557443072,
+        378939905468222799872,
+        10043888585538266464256
+    ],
+    "references": [
+        "EIS A052897"
+    ],
+    "gf": "exp(-_x/(-1+_x))^2",
+    "rec": "{(_n^2+_n)*_f(_n)+(-2*_n-4)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 2}",
+    "equiv": "1/2/Pi^(1/2)*exp(-1/2)^2*2^(1/4)*(1/_n)^(3/4)*exp(-1/(1/_n)^(1/2))^(-2*2^(1/2))"
+}

combstruct/data/ecs08/ecs_0874.json

@@ -0,0 +1,38 @@
+{
+    "id": 874,
+    "name": "a(n) = 2*n! + 1",
+    "description": "a(n) = 2*n! + 1",
+    "specification": "{S = Union(Sequence(Z),Sequence(Z),Set(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        3,
+        3,
+        5,
+        13,
+        49,
+        241,
+        1441,
+        10081,
+        80641,
+        725761,
+        7257601,
+        79833601,
+        958003201,
+        12454041601,
+        174356582401,
+        2615348736001,
+        41845579776001,
+        711374856192001,
+        12804747411456001,
+        243290200817664001,
+        4865804016353280001
+    ],
+    "references": [
+        "EIS A052898"
+    ],
+    "gf": "(_x*exp(_x)-exp(_x)-2)/(-1+_x)",
+    "rec": "{(_n^2+2*_n+1)*_f(_n)+(-_n^2-3*_n-1)*_f(_n+1)+_f(_n+2)*_n, _f(0) = 3, _f(1) = 3, _f(2) = 5, _f(3) = 13}",
+    "closedform": "1+2*GAMMA(_n+1)",
+    "equiv": "2"
+}

combstruct/data/ecs08/ecs_0875.json

@@ -0,0 +1,38 @@
+{
+    "id": 875,
+    "name": "Expansion of g.f.: (1-2*x) / ((x-1)*(4*x^2+2*x-1))",
+    "description": "Expansion of g.f.: (1-2*x) / ((x-1)*(4*x^2+2*x-1))",
+    "specification": "{S = Sequence(Prod(Union(Sequence(Union(Z,Z)),Z,Z),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        5,
+        13,
+        45,
+        141,
+        461,
+        1485,
+        4813,
+        15565,
+        50381,
+        163021,
+        527565,
+        1707213,
+        5524685,
+        17878221,
+        57855181,
+        187223245,
+        605867213,
+        1960627405,
+        6344723661
+    ],
+    "references": [
+        "EIS A052899"
+    ],
+    "gf": "-(-1+2*_x)/(4*_x^3-2*_x^2-3*_x+1)",
+    "rec": "{-4*_f(_n)-2*_f(_n+1)+_f(_n+2)+1, _f(0) = 1, _f(1) = 1}",
+    "closedform": "Sum(-1/25*(4*_alpha^2-8*_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(4*_Z^3-2*_Z^2-3*_Z+1))",
+    "equiv": "-(-1+2*RootOf(4*_Z^2+2*_Z-1,.309016994374947))/(-12*RootOf(4*_Z^2+2*_Z-1,.309016994374947)^3+4*RootOf(4*_Z^2+2*_Z-1,.309016994374947)^2+3*RootOf(4*_Z^2+2*_Z-1,.309016994374947))*(2+4*RootOf(4*_Z^2+2*_Z-1,.309016994374947))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs08/ecs_0876.json

@@ -0,0 +1,38 @@
+{
+    "id": 876,
+    "name": "Expansion of (1-x)/(1-x-3x^3)",
+    "description": "Expansion of (1-x)/(1-x-3x^3)",
+    "specification": "{S = Sequence(Prod(Union(Z,Z,Z),Sequence(Z),Z,Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        3,
+        3,
+        3,
+        12,
+        21,
+        30,
+        66,
+        129,
+        219,
+        417,
+        804,
+        1461,
+        2712,
+        5124,
+        9507,
+        17643,
+        33015,
+        61536
+    ],
+    "references": [
+        "EIS A052900"
+    ],
+    "gf": "(-1+_x)/(3*_x^3+_x-1)",
+    "rec": "{3*_f(_n)+_f(_n+2)-_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) = 0}",
+    "closedform": "Sum(-1/85*(9*_alpha^2-29*_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(3*_Z^3+_Z-1))",
+    "equiv": "(-1+RootOf(3*_Z^3+_Z-1,.536565164672223))/(-9*RootOf(3*_Z^3+_Z-1,.536565164672223)^3-RootOf(3*_Z^3+_Z-1,.536565164672223))*(3*RootOf(3*_Z^3+_Z-1,.536565164672223)^2+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs08/ecs_0877.json

@@ -0,0 +1,38 @@
+{
+    "id": 877,
+    "name": "Pisot sequence T(3,5)",
+    "description": "Pisot sequence T(3,5)",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Union(Z,Prod(Z,Z,Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        3,
+        5,
+        8,
+        12,
+        18,
+        27,
+        40,
+        59,
+        87,
+        128,
+        188,
+        276,
+        405,
+        594,
+        871,
+        1277,
+        1872,
+        2744,
+        4022
+    ],
+    "references": [
+        "EIS A020745"
+    ],
+    "gf": "1/(-1+_x)/(_x^3+_x-1)",
+    "rec": "{-_f(_n)-_f(_n+2)+_f(_n+3)-1, _f(0) = 1, _f(1) = 2, _f(2) = 3}",
+    "closedform": "-1+Sum(1/31*(19*_alpha^2+13*_alpha+23)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+_Z-1))",
+    "equiv": "1/(-1+RootOf(_Z^3+_Z-1,.682327803828019))/(-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/ecs08/ecs_0878.json

@@ -0,0 +1,38 @@
+{
+    "id": 878,
+    "name": "Periodic with period 3: a(3n)=3, a(3n+1)=a(3n+2)=2",
+    "description": "Periodic with period 3: a(3n)=3, a(3n+1)=a(3n+2)=2",
+    "specification": "{S = Union(Sequence(Z),Sequence(Z),Sequence(Prod(Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        3,
+        2,
+        2,
+        3,
+        2,
+        2,
+        3,
+        2,
+        2,
+        3,
+        2,
+        2,
+        3,
+        2,
+        2,
+        3,
+        2,
+        2,
+        3,
+        2,
+        2
+    ],
+    "references": [
+        "EIS A052901"
+    ],
+    "gf": "-(2*_x^2+2*_x+3)/(_x^3-1)",
+    "rec": "{-_f(_n)-_f(_n+1)-_f(_n+2)+7, _f(0) = 3, _f(1) = 2, _f(2) = 2}",
+    "closedform": "Sum(1/3*(2*_alpha^2+3*_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-1))",
+    "equiv": "7/3+exp(Complex(2/3)*Pi*_n)/(-3/2+Complex(3/2)*3^(1/2))+exp(Complex(-2/3)*Pi*_n)/(-3/2+Complex(-3/2)*3^(1/2))"
+}

combstruct/data/ecs08/ecs_0879.json

@@ -0,0 +1,38 @@
+{
+    "id": 879,
+    "name": "Define the sequence S(a(0),a(1)) by a(n+2) is the least integer such that a(n+2)/a(n+1) > a(n+1)/a(n) for n >= 0. This is S(1,5)",
+    "description": "Define the sequence S(a(0),a(1)) by a(n+2) is the least integer such that a(n+2)/a(n+1) > a(n+1)/a(n) for n >= 0. This is S(1,5)",
+    "specification": "{S = Sequence(Union(Prod(Sequence(Z),Z),Z,Z,Z,Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        5,
+        26,
+        136,
+        712,
+        3728,
+        19520,
+        102208,
+        535168,
+        2802176,
+        14672384,
+        76825600,
+        402264064,
+        2106281984,
+        11028635648,
+        57746685952,
+        302365573120,
+        1583206694912,
+        8289777876992,
+        43405840482304,
+        227275931385856
+    ],
+    "references": [
+        "EIS A018903"
+    ],
+    "gf": "-(-1+_x)/(4*_x^2-6*_x+1)",
+    "rec": "{4*_f(_n)-6*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 5}",
+    "closedform": "Sum(-1/10*(_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(4*_Z^2-6*_Z+1))",
+    "equiv": "-(-1/4*5^(1/2)-1/4)/(-8*(3/4-1/4*5^(1/2))^2+9/2-3/2*5^(1/2))*exp(-_n)^(-2*ln(2)+ln(3-5^(1/2)))"
+}