combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs10/ecs_1036.json

@@ -0,0 +1,38 @@
+{
+    "id": 1036,
+    "name": "Expansion of (1-x)/(1-3x-4x^2+4x^3)",
+    "description": "Expansion of (1-x)/(1-3x-4x^2+4x^3)",
+    "specification": "{S = Sequence(Prod(Union(Z,Z,Sequence(Z)),Union(Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        10,
+        34,
+        134,
+        498,
+        1894,
+        7138,
+        26998,
+        101970,
+        385350,
+        1455938,
+        5501334,
+        20786354,
+        78540646,
+        296762018,
+        1121303222,
+        4236795154,
+        16008550278,
+        60487618562,
+        228549876182
+    ],
+    "references": [
+        "EIS A052965"
+    ],
+    "gf": "-(-1+_x)/(4*_x^3-4*_x^2-3*_x+1)",
+    "rec": "{4*_f(_n)-4*_f(_n+1)-3*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 2, _f(2) = 10}",
+    "closedform": "Sum(-1/158*(40*_alpha^2-49*_alpha-17)*_alpha^(-1-_n),_alpha = RootOf(4*_Z^3-4*_Z^2-3*_Z+1))",
+    "equiv": "-(-1+RootOf(4*_Z^3-4*_Z^2-3*_Z+1,.26465829006442))/(-12*RootOf(4*_Z^3-4*_Z^2-3*_Z+1,.26465829006442)^3+8*RootOf(4*_Z^3-4*_Z^2-3*_Z+1,.26465829006442)^2+3*RootOf(4*_Z^3-4*_Z^2-3*_Z+1,.26465829006442))*(-4*RootOf(4*_Z^3-4*_Z^2-3*_Z+1,.26465829006442)^2+4*RootOf(4*_Z^3-4*_Z^2-3*_Z+1,.26465829006442)+3)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1037.json

@@ -0,0 +1,38 @@
+{
+    "id": 1037,
+    "name": "Expansion of (1-3*x)/(1-5*x)",
+    "description": "Expansion of (1-3*x)/(1-5*x)",
+    "specification": "{S = Sequence(Prod(Sequence(Union(Z,Z,Z)),Union(Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        10,
+        50,
+        250,
+        1250,
+        6250,
+        31250,
+        156250,
+        781250,
+        3906250,
+        19531250,
+        97656250,
+        488281250,
+        2441406250,
+        12207031250,
+        61035156250,
+        305175781250,
+        1525878906250,
+        7629394531250,
+        38146972656250
+    ],
+    "references": [
+        "EIS A020699"
+    ],
+    "gf": "(-1+3*_x)/(-1+5*_x)",
+    "rec": "{5*_f(_n)-_f(_n+1), _f(0) = 1, _f(1) = 2}",
+    "closedform": "2*5^(_n-1)+piecewise(_n = 0,3/5,0)",
+    "equiv": "2/5*exp(-_n)^(-ln(5))"
+}

combstruct/data/ecs10/ecs_1038.json

@@ -0,0 +1,38 @@
+{
+    "id": 1038,
+    "name": "Expansion of (1-x)/(1-x-4x^2+2x^3)",
+    "description": "Expansion of (1-x)/(1-x-4x^2+2x^3)",
+    "specification": "{S = Sequence(Prod(Union(Prod(Sequence(Z),Z),Z),Union(Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        4,
+        2,
+        18,
+        18,
+        86,
+        122,
+        430,
+        746,
+        2222,
+        4346,
+        11742,
+        24682,
+        62958,
+        138202,
+        340670,
+        767562,
+        1853838,
+        4242746,
+        10122974
+    ],
+    "references": [
+        "EIS A052966"
+    ],
+    "gf": "-(-1+_x)/(2*_x^3-4*_x^2-_x+1)",
+    "rec": "{2*_f(_n)-4*_f(_n+1)-_f(_n+2)+_f(_n+3), _f(0) =1, _f(1) = 0, _f(2) = 4}",
+    "closedform": "Sum(-1/79*(15*_alpha^2-36*_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^3-4*_Z^2-_Z+1))",
+    "equiv": "-(-1+RootOf(2*_Z^3-4*_Z^2-_Z+1,.426817255483546))/(-6*RootOf(2*_Z^3-4*_Z^2-_Z+1,.426817255483546)^3+8*RootOf(2*_Z^3-4*_Z^2-_Z+1,.426817255483546)^2+RootOf(2*_Z^3-4*_Z^2-_Z+1,.426817255483546))*(-2*RootOf(2*_Z^3-4*_Z^2-_Z+1,.426817255483546)^2+4*RootOf(2*_Z^3-4*_Z^2-_Z+1,.426817255483546)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1039.json

@@ -0,0 +1,38 @@
+{
+    "id": 1039,
+    "name": "Expansion of (1 - x)/(1 - 2*x - x^2 + x^4)",
+    "description": "Expansion of (1 - x)/(1 - 2*x - x^2 + x^4)",
+    "specification": "{S = Sequence(Prod(Union(Prod(Z,Z),Z,Sequence(Z)),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        3,
+        7,
+        16,
+        38,
+        89,
+        209,
+        491,
+        1153,
+        2708,
+        6360,
+        14937,
+        35081,
+        82391,
+        193503,
+        454460,
+        1067342,
+        2506753,
+        5887345,
+        13826983
+    ],
+    "references": [
+        "EIS A052967"
+    ],
+    "gf": "-(-1+_x)/(_x^4-_x^2-2*_x+1)",
+    "rec": "{_f(_n)-_f(_n+2)-2*_f(_n+3)+_f(_n+4), _f(0) = 1,_f(1) = 1, _f(2) = 3, _f(3) = 7}",
+    "closedform": "Sum(-1/106*(8*_alpha^3+10*_alpha^2-22*_alpha-17)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-_Z^2-2*_Z+1))",
+    "equiv": "-(-1+RootOf(_Z^4-_Z^2-2*_Z+1,.425786666318445))/(-4*RootOf(_Z^4-_Z^2-2*_Z+1,.425786666318445)^4+2*RootOf(_Z^4-_Z^2-2*_Z+1,.425786666318445)^2+2*RootOf(_Z^4-_Z^2-2*_Z+1,.425786666318445))*(-RootOf(_Z^4-_Z^2-2*_Z+1,.425786666318445)^3+RootOf(_Z^4-_Z^2-2*_Z+1,.425786666318445)+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1040.json

@@ -0,0 +1,38 @@
+{
+    "id": 1040,
+    "name": "a(n) = 1 + 2^(n-1) + n for n > 0, a(0) = 2",
+    "description": "a(n) = 1 + 2^(n-1) + n for n > 0, a(0) = 2",
+    "specification": "{S = Union(Sequence(Prod(Sequence(Z),Z)),Prod(Sequence(Z),Sequence(Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        2,
+        3,
+        5,
+        8,
+        13,
+        22,
+        39,
+        72,
+        137,
+        266,
+        523,
+        1036,
+        2061,
+        4110,
+        8207,
+        16400,
+        32785,
+        65554,
+        131091,
+        262164,
+        524309
+    ],
+    "references": [
+        "EIS A052968"
+    ],
+    "gf": "(_x^3-3*_x^2+5*_x-2)/(-1+_x)^2/(-1+2*_x)",
+    "rec": "{2*_f(_n)-_f(_n+1)-_n, _f(0) = 2, _f(1) = 3, _f(2) = 5, _f(3) = 8}",
+    "closedform": "2^(_n-1)+_n+1+piecewise(_n = 0,1/2,0)",
+    "equiv": "1/2*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs10/ecs_1041.json

@@ -0,0 +1,38 @@
+{
+    "id": 1041,
+    "name": "Expansion of (1-x)/(1-x-2x^2+x^4)",
+    "description": "Expansion of (1-x)/(1-x-2x^2+x^4)",
+    "specification": "{S = Sequence(Prod(Union(Prod(Union(Sequence(Z),Z),Z),Z),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        2,
+        2,
+        5,
+        9,
+        17,
+        33,
+        62,
+        119,
+        226,
+        431,
+        821,
+        1564,
+        2980,
+        5677,
+        10816,
+        20606,
+        39258,
+        74793,
+        142493
+    ],
+    "references": [
+        "EIS A052969"
+    ],
+    "gf": "-(-1+_x)/(_x^4-2*_x^2-_x+1)",
+    "rec": "{_f(_n)-2*_f(_n+2)-_f(_n+3)+_f(_n+4), _f(0) = 1, _f(1) = 0, _f(2) = 2, _f(3) = 2}",
+    "closedform": "Sum(1/283*(28*_alpha^3-76*_alpha^2+29*_alpha+55)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-2*_Z^2-_Z+1))",
+    "equiv": "-(-1+RootOf(_Z^4-2*_Z^2-_Z+1,.524888598656405))/(-4*RootOf(_Z^4-2*_Z^2-_Z+1,.524888598656405)^4+4*RootOf(_Z^4-2*_Z^2-_Z+1,.524888598656405)^2+RootOf(_Z^4-2*_Z^2-_Z+1,.524888598656405))*(-RootOf(_Z^4-2*_Z^2-_Z+1,.524888598656405)^3+2*RootOf(_Z^4-2*_Z^2-_Z+1,.524888598656405)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1042.json

@@ -0,0 +1,38 @@
+{
+    "id": 1042,
+    "name": "Expansion of (1-2x)/(1-2x-2x^2+2x^3)",
+    "description": "Expansion of (1-2x)/(1-2x-2x^2+2x^3)",
+    "specification": "{S = Sequence(Prod(Union(Prod(Sequence(Union(Z,Z)),Z),Z),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        2,
+        2,
+        8,
+        16,
+        44,
+        104,
+        264,
+        648,
+        1616,
+        4000,
+        9936,
+        24640,
+        61152,
+        151712,
+        376448,
+        934016,
+        2317504,
+        5750144,
+        14267264
+    ],
+    "references": [
+        "EIS A052970"
+    ],
+    "gf": "-(-1+2*_x)/(2*_x^3-2*_x^2-2*_x+1)",
+    "rec": "{2*_f(_n)-2*_f(_n+1)-2*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) = 2}",
+    "closedform": "Sum(-1/37*(2*_alpha^2-15*_alpha+3)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^3-2*_Z^2-2*_Z+1))",
+    "equiv": "-(-1+2*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685))/(-6*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)^3+4*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)^2+2*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685))*(-2*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)^2+2*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1043.json

@@ -0,0 +1,38 @@
+{
+    "id": 1043,
+    "name": "Expansion of (1-x)/(1-2*x-2*x^3+2*x^4)",
+    "description": "Expansion of (1-x)/(1-2*x-2*x^3+2*x^4)",
+    "specification": "{S = Sequence(Prod(Union(Prod(Union(Z,Z),Z),Sequence(Z)),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        6,
+        12,
+        26,
+        60,
+        132,
+        292,
+        652,
+        1448,
+        3216,
+        7152,
+        15896,
+        35328,
+        78528,
+        174544,
+        387952,
+        862304,
+        1916640,
+        4260096
+    ],
+    "references": [
+        "EIS A052971"
+    ],
+    "gf": "-(-1+_x)/(2*_x^4-2*_x^3-2*_x+1)",
+    "rec": "{2*_f(_n)-2*_f(_n+1)-2*_f(_n+3)+_f(_n+4), _f(0) =1, _f(1) = 1, _f(2) = 2, _f(3) = 6}",
+    "closedform": "Sum(-1/227*(45*_alpha^3-14*_alpha^2-50*_alpha-29)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^4-2*_Z^3-2*_Z+1))",
+    "equiv": "-(-1+RootOf(2*_Z^4-2*_Z^3-2*_Z+1,.449904464012181))/(-8*RootOf(2*_Z^4-2*_Z^3-2*_Z+1,.449904464012181)^4+6*RootOf(2*_Z^4-2*_Z^3-2*_Z+1,.449904464012181)^3+2*RootOf(2*_Z^4-2*_Z^3-2*_Z+1,.449904464012181))*(-2*RootOf(2*_Z^4-2*_Z^3-2*_Z+1,.449904464012181)^3+2*RootOf(2*_Z^4-2*_Z^3-2*_Z+1,.449904464012181)^2+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1044.json

@@ -0,0 +1,38 @@
+{
+    "id": 1044,
+    "name": "Expansion of (1-x^3)/(1-x-x^2-x^3+x^5)",
+    "description": "Expansion of (1-x^3)/(1-x-x^2-x^3+x^5)",
+    "specification": "{S = Sequence(Prod(Union(Sequence(Prod(Z,Z,Z)),Z),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        6,
+        10,
+        18,
+        32,
+        57,
+        101,
+        180,
+        320,
+        569,
+        1012,
+        1800,
+        3201,
+        5693,
+        10125,
+        18007,
+        32025,
+        56956
+    ],
+    "references": [
+        "EIS A052972"
+    ],
+    "gf": "-(_x^3-1)/(_x^5-_x^3-_x^2-_x+1)",
+    "rec": "{_f(_n)-_f(_n+2)-_f(_n+3)-_f(_n+4)+_f(_n+5), _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 3, _f(4) = 6}",
+    "closedform": "Sum(-1/7031*(1187*_alpha^4-95*_alpha^3-901*_alpha^2-1879*_alpha-1007)*_alpha^(-1-_n),_alpha = RootOf(_Z^5-_Z^3-_Z^2-_Z+1))",
+    "equiv": "-(RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)^3-1)/(-5*RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)^5+3*RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)^3+2*RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)^2+RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175))*(-RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)^4+RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)^2+RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1045.json

@@ -0,0 +1,38 @@
+{
+    "id": 1045,
+    "name": "Expansion of ( 1-x ) / ( 1-x-3*x^2+x^3 )",
+    "description": "Expansion of ( 1-x ) / ( 1-x-3*x^2+x^3 )",
+    "specification": "{S = Sequence(Prod(Union(Prod(Union(Z,Z),Sequence(Z)),Z),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        3,
+        2,
+        11,
+        14,
+        45,
+        76,
+        197,
+        380,
+        895,
+        1838,
+        4143,
+        8762,
+        19353,
+        41496,
+        90793,
+        195928,
+        426811,
+        923802,
+        2008307
+    ],
+    "references": [
+        "EIS A052973"
+    ],
+    "gf": "-(-1+_x)/(_x^3-3*_x^2-_x+1)",
+    "rec": "{_f(_n)-3*_f(_n+1)-_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) = 3}",
+    "closedform": "Sum(-1/74*(9*_alpha^2-34*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-3*_Z^2-_Z+1))",
+    "equiv": "-(-1+RootOf(_Z^3-3*_Z^2-_Z+1,.460811127189111))/(-3*RootOf(_Z^3-3*_Z^2-_Z+1,.460811127189111)^3+6*RootOf(_Z^3-3*_Z^2-_Z+1,.460811127189111)^2+RootOf(_Z^3-3*_Z^2-_Z+1,.460811127189111))*(-RootOf(_Z^3-3*_Z^2-_Z+1,.460811127189111)^2+3*RootOf(_Z^3-3*_Z^2-_Z+1,.460811127189111)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1046.json

@@ -0,0 +1,38 @@
+{
+    "id": 1046,
+    "name": "Expansion of (1 - 2x)/(1 - 2x - x^2 - x^3 + 2x^4)",
+    "description": "Expansion of (1 - 2x)/(1 - 2x - x^2 - x^3 + 2x^4)",
+    "specification": "{S = Sequence(Prod(Union(Sequence(Union(Z,Z)),Z),Z,Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        3,
+        5,
+        14,
+        34,
+        81,
+        200,
+        487,
+        1187,
+        2899,
+        7072,
+        17256,
+        42109,
+        102748,
+        250717,
+        611779,
+        1492805,
+        3642610,
+        8888370
+    ],
+    "references": [
+        "EIS A052974"
+    ],
+    "gf": "-(-1+2*_x)/(2*_x^4-_x^3-_x^2-2*_x+1)",
+    "rec": "{2*_f(_n)-_f(_n+1)-_f(_n+2)-2*_f(_n+3)+_f(_n+4), _f(0) = 1, _f(1) = 0, _f(2) = 1, _f(3) = 3}",
+    "closedform": "Sum(1/4999*(136*_alpha^3-450*_alpha^2+1343*_alpha-159)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^4-_Z^3-_Z^2-2*_Z+1))",
+    "equiv": "-(-1+2*RootOf(2*_Z^4-_Z^3-_Z^2-2*_Z+1,.409817598450391))/(-8*RootOf(2*_Z^4-_Z^3-_Z^2-2*_Z+1,.409817598450391)^4+3*RootOf(2*_Z^4-_Z^3-_Z^2-2*_Z+1,.409817598450391)^3+2*RootOf(2*_Z^4-_Z^3-_Z^2-2*_Z+1,.409817598450391)^2+2*RootOf(2*_Z^4-_Z^3-_Z^2-2*_Z+1,.409817598450391))*(-2*RootOf(2*_Z^4-_Z^3-_Z^2-2*_Z+1,.409817598450391)^3+RootOf(2*_Z^4-_Z^3-_Z^2-2*_Z+1,.409817598450391)^2+RootOf(2*_Z^4-_Z^3-_Z^2-2*_Z+1,.409817598450391)+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1047.json

@@ -0,0 +1,38 @@
+{
+    "id": 1047,
+    "name": "Expansion of (1-2*x)*(1-x)/(1-5*x+6*x^2-x^3)",
+    "description": "Expansion of (1-2*x)*(1-x)/(1-5*x+6*x^2-x^3)",
+    "specification": "{S = Sequence(Prod(Union(Sequence(Prod(Sequence(Z),Z)),Sequence(Z)),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        6,
+        19,
+        61,
+        197,
+        638,
+        2069,
+        6714,
+        21794,
+        70755,
+        229725,
+        745889,
+        2421850,
+        7863641,
+        25532994,
+        82904974,
+        269190547,
+        874055885,
+        2838041117,
+        9215060822
+    ],
+    "references": [
+        "EIS A052975"
+    ],
+    "gf": "-(-1+_x)*(-1+2*_x)/(_x^3-6*_x^2+5*_x-1)",
+    "rec": "{_f(_n)-6*_f(_n+1)+5*_f(_n+2)-_f(_n+3), _f(0) = 1, _f(1) = 2, _f(2) = 6}",
+    "closedform": "Sum(1/7*(_alpha^2-3*_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-6*_Z^2+5*_Z-1))",
+    "equiv": "-(-1+RootOf(_Z^3-6*_Z^2+5*_Z-1,.307978528369903))*(-1+2*RootOf(_Z^3-6*_Z^2+5*_Z-1,.307978528369903))/(-3*RootOf(_Z^3-6*_Z^2+5*_Z-1,.307978528369903)^3+12*RootOf(_Z^3-6*_Z^2+5*_Z-1,.307978528369903)^2-5*RootOf(_Z^3-6*_Z^2+5*_Z-1,.307978528369903))*(RootOf(_Z^3-6*_Z^2+5*_Z-1,.307978528369903)^2-6*RootOf(_Z^3-6*_Z^2+5*_Z-1,.307978528369903)+5)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1048.json

@@ -0,0 +1,38 @@
+{
+    "id": 1048,
+    "name": "Expansion of (1-2x)/(1-3x-x^3+2x^4)",
+    "description": "Expansion of (1-2x)/(1-3x-x^3+2x^4)",
+    "specification": "{S = Sequence(Prod(Union(Sequence(Union(Z,Z)),Prod(Z,Z)),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        3,
+        10,
+        29,
+        88,
+        268,
+        813,
+        2469,
+        7499,
+        22774,
+        69165,
+        210056,
+        637944,
+        1937449,
+        5884073,
+        17870051,
+        54271714,
+        164824317,
+        500574856,
+        1520256180
+    ],
+    "references": [
+        "EIS A052976"
+    ],
+    "gf": "-(-1+2*_x)/(2*_x^4-_x^3-3*_x+1)",
+    "rec": "{2*_f(_n)-_f(_n+1)-3*_f(_n+3)+_f(_n+4), _f(0) = 1, _f(1) = 1, _f(2) = 3, _f(3) = 10}",
+    "closedform": "Sum(-1/9247*(552*_alpha^3+26*_alpha^2-2063*_alpha-382)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^4-_Z^3-3*_Z+1))",
+    "equiv": "-(-1+2*RootOf(2*_Z^4-_Z^3-3*_Z+1,.329270068134277))/(-8*RootOf(2*_Z^4-_Z^3-3*_Z+1,.329270068134277)^4+3*RootOf(2*_Z^4-_Z^3-3*_Z+1,.329270068134277)^3+3*RootOf(2*_Z^4-_Z^3-3*_Z+1,.329270068134277))*(-2*RootOf(2*_Z^4-_Z^3-3*_Z+1,.329270068134277)^3+RootOf(2*_Z^4-_Z^3-3*_Z+1,.329270068134277)^2+3)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1049.json

@@ -0,0 +1,38 @@
+{
+    "id": 1049,
+    "name": "Expansion of (1-x)(1+x)/(1 - x - x^2 - x^3 + x^5)",
+    "description": "Expansion of (1-x)(1+x)/(1 - x - x^2 - x^3 + x^5)",
+    "specification": "{S = Sequence(Prod(Union(Sequence(Prod(Z,Z)),Prod(Z,Z)),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        1,
+        3,
+        5,
+        8,
+        15,
+        27,
+        47,
+        84,
+        150,
+        266,
+        473,
+        842,
+        1497,
+        2662,
+        4735,
+        8421,
+        14976,
+        26635,
+        47370
+    ],
+    "references": [
+        "EIS A052977"
+    ],
+    "gf": "-(_x^2-1)/(_x^5-_x^3-_x^2-_x+1)",
+    "rec": "{_f(_n)-_f(_n+2)-_f(_n+3)-_f(_n+4)+_f(_n+5), _f(0) = 1, _f(1) = 1, _f(2) = 1, _f(3) = 3, _f(4) = 5}",
+    "closedform": "Sum(-1/7031*(410*_alpha^4+986*_alpha^3-714*_alpha^2-1887*_alpha-798)*_alpha^(-1-_n),_alpha = RootOf(_Z^5-_Z^3-_Z^2-_Z+1))",
+    "equiv": "-(RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)^2-1)/(-5*RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)^5+3*RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)^3+2*RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)^2+RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175))*(-RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)^4+RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)^2+RootOf(_Z^5-_Z^3-_Z^2-_Z+1,.562278021588175)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1050.json

@@ -0,0 +1,38 @@
+{
+    "id": 1050,
+    "name": "Expansion of (1-2*x)/(1-4*x-2*x^2+4*x^3)",
+    "description": "Expansion of (1-2*x)/(1-4*x-2*x^2+4*x^3)",
+    "specification": "{S = Sequence(Prod(Union(Sequence(Union(Z,Z)),Z),Union(Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        10,
+        40,
+        172,
+        728,
+        3096,
+        13152,
+        55888,
+        237472,
+        1009056,
+        4287616,
+        18218688,
+        77413760,
+        328941952,
+        1397720576,
+        5939111168,
+        25236118016,
+        107231812096,
+        455643039744,
+        1936091311104
+    ],
+    "references": [
+        "EIS A052978"
+    ],
+    "gf": "-(-1+2*_x)/(4*_x^3-2*_x^2-4*_x+1)",
+    "rec": "{4*_f(_n)-2*_f(_n+1)-4*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 2, _f(2) = 10}",
+    "closedform": "Sum(-1/158*(24*_alpha^2-42*_alpha-11)*_alpha^(-1-_n),_alpha = RootOf(4*_Z^3-2*_Z^2-4*_Z+1))",
+    "equiv": "-(-1+2*RootOf(4*_Z^3-2*_Z^2-4*_Z+1,.23534170993558))/(-12*RootOf(4*_Z^3-2*_Z^2-4*_Z+1,.23534170993558)^3+4*RootOf(4*_Z^3-2*_Z^2-4*_Z+1,.23534170993558)^2+4*RootOf(4*_Z^3-2*_Z^2-4*_Z+1,.23534170993558))*(-4*RootOf(4*_Z^3-2*_Z^2-4*_Z+1,.23534170993558)^2+2*RootOf(4*_Z^3-2*_Z^2-4*_Z+1,.23534170993558)+4)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1051.json

@@ -0,0 +1,38 @@
+{
+    "id": 1051,
+    "name": "Expansion of (1-x)(1+x)/(1-2*x-3*x^2+2*x^4)",
+    "description": "Expansion of (1-x)(1+x)/(1-2*x-3*x^2+2*x^4)",
+    "specification": "{S = Sequence(Prod(Union(Sequence(Prod(Z,Z)),Z),Union(Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        6,
+        18,
+        52,
+        154,
+        452,
+        1330,
+        3912,
+        11506,
+        33844,
+        99546,
+        292800,
+        861226,
+        2533164,
+        7450914,
+        21915720,
+        64461730,
+        189604292,
+        557691946,
+        1640365328
+    ],
+    "references": [
+        "EIS A052979"
+    ],
+    "gf": "-(_x^2-1)/(2*_x^4-3*_x^2-2*_x+1)",
+    "rec": "{2*_f(_n)-3*_f(_n+2)-2*_f(_n+3)+_f(_n+4), _f(0) = 1, _f(1) = 2, _f(2) = 6, _f(3) = 18}",
+    "closedform": "Sum(-1/22*(4*_alpha^3-7*_alpha-3)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^4-3*_Z^2-2*_Z+1))",
+    "equiv": "-(RootOf(2*_Z^4-3*_Z^2-2*_Z+1,.339980330348552)^2-1)/(-8*RootOf(2*_Z^4-3*_Z^2-2*_Z+1,.339980330348552)^4+6*RootOf(2*_Z^4-3*_Z^2-2*_Z+1,.339980330348552)^2+2*RootOf(2*_Z^4-3*_Z^2-2*_Z+1,.339980330348552))*(-2*RootOf(2*_Z^4-3*_Z^2-2*_Z+1,.339980330348552)^3+3*RootOf(2*_Z^4-3*_Z^2-2*_Z+1,.339980330348552)+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1052.json

@@ -0,0 +1,38 @@
+{
+    "id": 1052,
+    "name": "a(0) = a(1) = 1; a(n+2) = 2*a(n+1) + 2*a(n)",
+    "description": "a(0) = a(1) = 1; a(n+2) = 2*a(n+1) + 2*a(n)",
+    "specification": "{S = Sequence(Prod(Union(Prod(Union(Z,Z),Z),Z),Sequence(Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        10,
+        28,
+        76,
+        208,
+        568,
+        1552,
+        4240,
+        11584,
+        31648,
+        86464,
+        236224,
+        645376,
+        1763200,
+        4817152,
+        13160704,
+        35955712,
+        98232832,
+        268377088
+    ],
+    "references": [
+        "EIS A026150"
+    ],
+    "gf": "(-1+_x)/(2*_x^2+2*_x-1)",
+    "rec": "{2*_f(_n)+2*_f(_n+1)-_f(_n+2), _f(0) = 1, _f(1) = 1}",
+    "closedform": "Sum(1/2*_alpha^(-_n),_alpha = RootOf(2*_Z^2+2*_Z-1))",
+    "equiv": "(-3/2+1/2*3^(1/2))/(-4*(1/2*3^(1/2)-1/2)^2-3^(1/2)+1)*exp(-_n)^(-ln(2)+ln(3^(1/2)-1))"
+}