combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs10/ecs_1053.json

@@ -0,0 +1,38 @@
+{
+    "id": 1053,
+    "name": "Expansion of (1 - x)/(1 - 2*x - x^3)",
+    "description": "Expansion of (1 - x)/(1 - 2*x - x^3)",
+    "specification": "{S = Sequence(Prod(Union(Prod(Z,Z,Z),Z),Sequence(Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        5,
+        11,
+        24,
+        53,
+        117,
+        258,
+        569,
+        1255,
+        2768,
+        6105,
+        13465,
+        29698,
+        65501,
+        144467,
+        318632,
+        702765,
+        1549997,
+        3418626
+    ],
+    "references": [
+        "EIS A052980"
+    ],
+    "gf": "(-1+_x)/(_x^3+2*_x-1)",
+    "rec": "{_f(_n)+2*_f(_n+2)-_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2) = 2}",
+    "closedform": "Sum(1/59*(3*_alpha^2+17*_alpha+4)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+2*_Z-1))",
+    "equiv": "(-1+RootOf(_Z^3+2*_Z-1,.453397651516404))/(-3*RootOf(_Z^3+2*_Z-1,.453397651516404)^3-2*RootOf(_Z^3+2*_Z-1,.453397651516404))*(RootOf(_Z^3+2*_Z-1,.453397651516404)^2+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1054.json

@@ -0,0 +1,38 @@
+{
+    "id": 1054,
+    "name": "Expansion of  ( 1-x ) / ( 1-4*x-3*x^2+3*x^3 )",
+    "description": "Expansion of  ( 1-x ) / ( 1-4*x-3*x^2+3*x^3 )",
+    "specification": "{S = Sequence(Prod(Union(Z,Z,Z),Union(Sequence(Z),Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        15,
+        66,
+        300,
+        1353,
+        6114,
+        27615,
+        124743,
+        563475,
+        2545284,
+        11497332,
+        51934755,
+        234595164,
+        1059692925,
+        4786752927,
+        21622304991,
+        97670399970,
+        441188256072,
+        1992897309225,
+        9002142805206
+    ],
+    "references": [
+        "EIS A052981"
+    ],
+    "gf": "-(-1+_x)/(3*_x^3-3*_x^2-4*_x+1)",
+    "rec": "{3*_f(_n)-3*_f(_n+1)-4*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 3, _f(2) = 15}",
+    "closedform": "Sum(-1/95*(15*_alpha^2-22*_alpha-11)*_alpha^(-1-_n),_alpha = RootOf(3*_Z^3-3*_Z^2-4*_Z+1))",
+    "equiv": "-(-1+RootOf(3*_Z^3-3*_Z^2-4*_Z+1,.221380326034691))/(-9*RootOf(3*_Z^3-3*_Z^2-4*_Z+1,.221380326034691)^3+6*RootOf(3*_Z^3-3*_Z^2-4*_Z+1,.221380326034691)^2+4*RootOf(3*_Z^3-3*_Z^2-4*_Z+1,.221380326034691))*(-3*RootOf(3*_Z^3-3*_Z^2-4*_Z+1,.221380326034691)^2+3*RootOf(3*_Z^3-3*_Z^2-4*_Z+1,.221380326034691)+4)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1055.json

@@ -0,0 +1,38 @@
+{
+    "id": 1055,
+    "name": "Expansion of ( 1-x ) / ( 1-2*x-2*x^2+x^4 )",
+    "description": "Expansion of ( 1-x ) / ( 1-2*x-2*x^2+x^4 )",
+    "specification": "{S = Sequence(Prod(Union(Prod(Z,Z),Z),Union(Sequence(Z),Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        10,
+        27,
+        73,
+        196,
+        528,
+        1421,
+        3825,
+        10296,
+        27714,
+        74599,
+        200801,
+        540504,
+        1454896,
+        3916201,
+        10541393,
+        28374684,
+        76377258,
+        205587683
+    ],
+    "references": [
+        "EIS A052982"
+    ],
+    "gf": "-(-1+_x)/(_x^4-2*_x^2-2*_x+1)",
+    "rec": "{_f(_n)-2*_f(_n+2)-2*_f(_n+3)+_f(_n+4), _f(0) = 1, _f(1) =1, _f(2) = 4, _f(3) = 10}",
+    "closedform": "Sum(-1/182*(2*_alpha^3+22*_alpha^2-35*_alpha-25)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-2*_Z^2-2*_Z+1))",
+    "equiv": "-(-1+RootOf(_Z^4-2*_Z^2-2*_Z+1,.371506974000075))/(-4*RootOf(_Z^4-2*_Z^2-2*_Z+1,.371506974000075)^4+4*RootOf(_Z^4-2*_Z^2-2*_Z+1,.371506974000075)^2+2*RootOf(_Z^4-2*_Z^2-2*_Z+1,.371506974000075))*(-RootOf(_Z^4-2*_Z^2-2*_Z+1,.371506974000075)^3+2*RootOf(_Z^4-2*_Z^2-2*_Z+1,.371506974000075)+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1056.json

@@ -0,0 +1,38 @@
+{
+    "id": 1056,
+    "name": "Expansion of (1-x^2)/(1-3*x-x^2+x^3)",
+    "description": "Expansion of (1-x^2)/(1-3*x-x^2+x^3)",
+    "specification": "{S = Sequence(Union(Prod(Sequence(Prod(Z,Z)),Union(Z,Z)),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        9,
+        29,
+        93,
+        299,
+        961,
+        3089,
+        9929,
+        31915,
+        102585,
+        329741,
+        1059893,
+        3406835,
+        10950657,
+        35198913,
+        113140561,
+        363669939,
+        1168951465,
+        3757383773,
+        12077432845
+    ],
+    "references": [
+        "EIS A061534"
+    ],
+    "gf": "-(_x^2-1)/(_x^3-_x^2-3*_x+1)",
+    "rec": "{_f(_n)-_f(_n+1)-3*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 3, _f(2) = 9}",
+    "closedform": "Sum(1/37*(_alpha^2+3*_alpha+9)*_alpha^(-1-_n),_alpha = RootOf(_Z^3-_Z^2-3*_Z+1))",
+    "equiv": "-(RootOf(_Z^3-_Z^2-3*_Z+1,.311107817465982)^2-1)/(-3*RootOf(_Z^3-_Z^2-3*_Z+1,.311107817465982)^3+2*RootOf(_Z^3-_Z^2-3*_Z+1,.311107817465982)^2+3*RootOf(_Z^3-_Z^2-3*_Z+1,.311107817465982))*(-RootOf(_Z^3-_Z^2-3*_Z+1,.311107817465982)^2+RootOf(_Z^3-_Z^2-3*_Z+1,.311107817465982)+3)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1057.json

@@ -0,0 +1,38 @@
+{
+    "id": 1057,
+    "name": "Expansion of g.f. (1-x^2)/(1-x-2*x^2+x^3)",
+    "description": "Expansion of g.f. (1-x^2)/(1-x-2*x^2+x^3)",
+    "specification": "{S = Sequence(Union(Prod(Sequence(Prod(Z,Z)),Z,Z),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        3,
+        6,
+        10,
+        19,
+        33,
+        61,
+        108,
+        197,
+        352,
+        638,
+        1145,
+        2069,
+        3721,
+        6714,
+        12087,
+        21794,
+        39254,
+        70755
+    ],
+    "references": [
+        "EIS A028495"
+    ],
+    "gf": "-(_x^2-1)/(_x^3-2*_x^2-_x+1)",
+    "rec": "{_f(_n)-2*_f(_n+1)-_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2) = 2}",
+    "closedform": "Sum(1/7*(1+2*_alpha)*_alpha^(-1-_n),_alpha= RootOf(_Z^3-2*_Z^2-_Z+1))",
+    "equiv": "-(RootOf(_Z^3-2*_Z^2-_Z+1,.554958132087371)^2-1)/(-3*RootOf(_Z^3-2*_Z^2-_Z+1,.554958132087371)^3+4*RootOf(_Z^3-2*_Z^2-_Z+1,.554958132087371)^2+RootOf(_Z^3-2*_Z^2-_Z+1,.554958132087371))*(-RootOf(_Z^3-2*_Z^2-_Z+1,.554958132087371)^2+2*RootOf(_Z^3-2*_Z^2-_Z+1,.554958132087371)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1058.json

@@ -0,0 +1,38 @@
+{
+    "id": 1058,
+    "name": "a(n) = 5*a(n-1) - 2*a(n-2) for n>1, with a(0) = 1, a(1) = 3",
+    "description": "a(n) = 5*a(n-1) - 2*a(n-2) for n>1, with a(0) = 1, a(1) = 3",
+    "specification": "{S = Sequence(Union(Prod(Sequence(Union(Z,Z)),Union(Z,Z)),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        13,
+        59,
+        269,
+        1227,
+        5597,
+        25531,
+        116461,
+        531243,
+        2423293,
+        11053979,
+        50423309,
+        230008587,
+        1049196317,
+        4785964411,
+        21831429421,
+        99585218283,
+        454263232573,
+        2072145726299,
+        9452202166349
+    ],
+    "references": [
+        "EIS A052984"
+    ],
+    "gf": "-(-1+2*_x)/(2*_x^2-5*_x+1)",
+    "rec": "{2*_f(_n)-5*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 3}",
+    "closedform": "Sum(1/17*(6*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^2-5*_Z+1))",
+    "equiv": "-(3/2-1/2*17^(1/2))/(-4*(5/4-1/4*17^(1/2))^2+25/4-5/4*17^(1/2))*exp(-_n)^(-2*ln(2)+ln(5-17^(1/2)))"
+}

combstruct/data/ecs10/ecs_1059.json

@@ -0,0 +1,38 @@
+{
+    "id": 1059,
+    "name": "Expansion of ( 1-x ) / ( 1-3*x+x^2-x^3+x^4 )",
+    "description": "Expansion of ( 1-x ) / ( 1-3*x+x^2-x^3+x^4 )",
+    "specification": "{S = Sequence(Union(Prod(Union(Prod(Z,Z),Sequence(Z)),Z),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        5,
+        14,
+        38,
+        103,
+        280,
+        761,
+        2068,
+        5620,
+        15273,
+        41506,
+        112797,
+        306538,
+        833050,
+        2263903,
+        6152400,
+        16719809,
+        45437880,
+        123482328,
+        335576513
+    ],
+    "references": [
+        "EIS A052985"
+    ],
+    "gf": "-(-1+_x)/(_x^4-_x^3+_x^2-3*_x+1)",
+    "rec": "{_f(_n)-_f(_n+1)+_f(_n+2)-3*_f(_n+3)+_f(_n+4), _f(0) = 1, _f(1) = 2, _f(2) = 5, _f(3) = 14}",
+    "closedform": "Sum(-1/1099*(141*_alpha^3-104*_alpha^2-11*_alpha-270)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-_Z^3+_Z^2-3*_Z+1))",
+    "equiv": "-(-1+RootOf(_Z^4-_Z^3+_Z^2-3*_Z+1,.367970710753235))/(-4*RootOf(_Z^4-_Z^3+_Z^2-3*_Z+1,.367970710753235)^4+3*RootOf(_Z^4-_Z^3+_Z^2-3*_Z+1,.367970710753235)^3-2*RootOf(_Z^4-_Z^3+_Z^2-3*_Z+1,.367970710753235)^2+3*RootOf(_Z^4-_Z^3+_Z^2-3*_Z+1,.367970710753235))*(-RootOf(_Z^4-_Z^3+_Z^2-3*_Z+1,.367970710753235)^3+RootOf(_Z^4-_Z^3+_Z^2-3*_Z+1,.367970710753235)^2-RootOf(_Z^4-_Z^3+_Z^2-3*_Z+1,.367970710753235)+3)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1060.json

@@ -0,0 +1,38 @@
+{
+    "id": 1060,
+    "name": "Expansion of ( 1-2*x ) / ( (x-1)*(2*x^2+3*x-1) )",
+    "description": "Expansion of ( 1-2*x ) / ( (x-1)*(2*x^2+3*x-1) )",
+    "specification": "{S = Sequence(Union(Prod(Union(Sequence(Union(Z,Z)),Z),Z),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        7,
+        24,
+        85,
+        302,
+        1075,
+        3828,
+        13633,
+        48554,
+        172927,
+        615888,
+        2193517,
+        7812326,
+        27824011,
+        99096684,
+        352938073,
+        1257007586,
+        4476898903,
+        15944711880,
+        56787933445
+    ],
+    "references": [
+        "EIS A052986"
+    ],
+    "gf": "-(-1+2*_x)/(2*_x^3+_x^2-4*_x+1)",
+    "rec": "{-2*_f(_n)-3*_f(_n+1)+_f(_n+2)+1, _f(0) = 1, _f(1) = 2}",
+    "closedform": "Sum(-1/136*(6*_alpha^2-27*_alpha-13)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^3+_Z^2-4*_Z+1))",
+    "equiv": "-(-1+2*RootOf(2*_Z^2+3*_Z-1,.280776406404415))/(-6*RootOf(2*_Z^2+3*_Z-1,.280776406404415)^3-2*RootOf(2*_Z^2+3*_Z-1,.280776406404415)^2+4*RootOf(2*_Z^2+3*_Z-1,.280776406404415))*(3+2*RootOf(2*_Z^2+3*_Z-1,.280776406404415))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1061.json

@@ -0,0 +1,38 @@
+{
+    "id": 1061,
+    "name": "Expansion of (1-2x^2)/(1-2x-2x^2+2x^3)",
+    "description": "Expansion of (1-2x^2)/(1-2x-2x^2+2x^3)",
+    "specification": "{S = Sequence(Union(Prod(Sequence(Prod(Union(Z,Z),Z)),Z),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        4,
+        10,
+        24,
+        60,
+        148,
+        368,
+        912,
+        2264,
+        5616,
+        13936,
+        34576,
+        85792,
+        212864,
+        528160,
+        1310464,
+        3251520,
+        8067648,
+        20017408,
+        49667072
+    ],
+    "references": [
+        "EIS A052987"
+    ],
+    "gf": "-(2*_x^2-1)/(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) = 2, _f(2) = 4}",
+    "closedform": "Sum(1/37*(4*_alpha^2+7*_alpha+6)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^3-2*_Z^2-2*_Z+1))",
+    "equiv": "-(2*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)^2-1)/(-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_1062.json

@@ -0,0 +1,38 @@
+{
+    "id": 1062,
+    "name": "Expansion of (1-x^2)/(1-2x-2x^2+x^3+x^4)",
+    "description": "Expansion of (1-x^2)/(1-2x-2x^2+x^3+x^4)",
+    "specification": "{S = Sequence(Union(Prod(Union(Sequence(Prod(Z,Z)),Z),Z),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        5,
+        13,
+        33,
+        85,
+        218,
+        560,
+        1438,
+        3693,
+        9484,
+        24356,
+        62549,
+        160633,
+        412524,
+        1059409,
+        2720684,
+        6987029,
+        17943493,
+        46080951,
+        118341175
+    ],
+    "references": [
+        "EIS A052988"
+    ],
+    "gf": "-(_x^2-1)/(_x^4+_x^3-2*_x^2-2*_x+1)",
+    "rec": "{_f(_n)+_f(_n+1)-2*_f(_n+2)-2*_f(_n+3)+_f(_n+4), _f(0) = 1, _f(1) = 2, _f(2) = 5, _f(3) = 13}",
+    "closedform": "Sum(-1/331*(76*_alpha^3+25*_alpha^2-147*_alpha-49)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3-2*_Z^2-2*_Z+1))",
+    "equiv": "-(RootOf(_Z^4+_Z^3-2*_Z^2-2*_Z+1,.389390683334934)^2-1)/(-4*RootOf(_Z^4+_Z^3-2*_Z^2-2*_Z+1,.389390683334934)^4-3*RootOf(_Z^4+_Z^3-2*_Z^2-2*_Z+1,.389390683334934)^3+4*RootOf(_Z^4+_Z^3-2*_Z^2-2*_Z+1,.389390683334934)^2+2*RootOf(_Z^4+_Z^3-2*_Z^2-2*_Z+1,.389390683334934))*(-RootOf(_Z^4+_Z^3-2*_Z^2-2*_Z+1,.389390683334934)^3-RootOf(_Z^4+_Z^3-2*_Z^2-2*_Z+1,.389390683334934)^2+2*RootOf(_Z^4+_Z^3-2*_Z^2-2*_Z+1,.389390683334934)+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1063.json

@@ -0,0 +1,38 @@
+{
+    "id": 1063,
+    "name": "Expansion of ( 1-x ) / ( 1-x-x^2-x^4+x^5 )",
+    "description": "Expansion of ( 1-x ) / ( 1-x-x^2-x^4+x^5 )",
+    "specification": "{S = Sequence(Prod(Union(Prod(Z,Z),Sequence(Z)),Z,Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        1,
+        3,
+        3,
+        7,
+        10,
+        19,
+        29,
+        52,
+        84,
+        145,
+        239,
+        407,
+        678,
+        1146,
+        1918,
+        3232,
+        5421,
+        9121
+    ],
+    "references": [
+        "EIS A052989"
+    ],
+    "gf": "-(-1+_x)/(_x^5-_x^4-_x^2-_x+1)",
+    "rec": "{_f(_n)-_f(_n+1)-_f(_n+3)-_f(_n+4)+_f(_n+5), _f(0) = 1, _f(1) = 0, _f(2) = 1, _f(3) =1, _f(4) = 3}",
+    "closedform": "Sum(-1/8519*(541*_alpha^4-358*_alpha^3+619*_alpha^2-2111*_alpha-389)*_alpha^(-1-_n),_alpha = RootOf(_Z^5-_Z^4-_Z^2-_Z+1))",
+    "equiv": "-(-1+RootOf(_Z^5-_Z^4-_Z^2-_Z+1,.595089298038327))/(-5*RootOf(_Z^5-_Z^4-_Z^2-_Z+1,.595089298038327)^5+4*RootOf(_Z^5-_Z^4-_Z^2-_Z+1,.595089298038327)^4+2*RootOf(_Z^5-_Z^4-_Z^2-_Z+1,.595089298038327)^2+RootOf(_Z^5-_Z^4-_Z^2-_Z+1,.595089298038327))*(-RootOf(_Z^5-_Z^4-_Z^2-_Z+1,.595089298038327)^4+RootOf(_Z^5-_Z^4-_Z^2-_Z+1,.595089298038327)^3+RootOf(_Z^5-_Z^4-_Z^2-_Z+1,.595089298038327)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1064.json

@@ -0,0 +1,38 @@
+{
+    "id": 1064,
+    "name": "Expansion of ( 1-x ) / ( 1-4*x-x^2+2*x^3 )",
+    "description": "Expansion of ( 1-x ) / ( 1-4*x-x^2+2*x^3 )",
+    "specification": "{S = Sequence(Union(Prod(Union(Sequence(Z),Z),Union(Z,Z)),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        13,
+        53,
+        219,
+        903,
+        3725,
+        15365,
+        63379,
+        261431,
+        1078373,
+        4448165,
+        18348171,
+        75684103,
+        312188253,
+        1287740773,
+        5311783139,
+        21910496823,
+        90378288885,
+        372800086085,
+        1537757639579
+    ],
+    "references": [
+        "EIS A052990"
+    ],
+    "gf": "-(-1+_x)/(2*_x^3-_x^2-4*_x+1)",
+    "rec": "{2*_f(_n)-_f(_n+1)-4*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 3, _f(2) = 13}",
+    "closedform": "Sum(-1/142*(18*_alpha^2-21*_alpha-22)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^3-_Z^2-4*_Z+1))",
+    "equiv": "-(-1+RootOf(2*_Z^3-_Z^2-4*_Z+1,.242430976435965))/(-6*RootOf(2*_Z^3-_Z^2-4*_Z+1,.242430976435965)^3+2*RootOf(2*_Z^3-_Z^2-4*_Z+1,.242430976435965)^2+4*RootOf(2*_Z^3-_Z^2-4*_Z+1,.242430976435965))*(-2*RootOf(2*_Z^3-_Z^2-4*_Z+1,.242430976435965)^2+RootOf(2*_Z^3-_Z^2-4*_Z+1,.242430976435965)+4)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1065.json

@@ -0,0 +1,38 @@
+{
+    "id": 1065,
+    "name": "Expansion of 1/((1 - x)*(1 - 2*x - x^2))",
+    "description": "Expansion of 1/((1 - x)*(1 - 2*x - x^2))",
+    "specification": "{S = Prod(Sequence(Union(Z,Z,Prod(Z,Z))),Sequence(Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        8,
+        20,
+        49,
+        119,
+        288,
+        696,
+        1681,
+        4059,
+        9800,
+        23660,
+        57121,
+        137903,
+        332928,
+        803760,
+        1940449,
+        4684659,
+        11309768,
+        27304196,
+        65918161
+    ],
+    "references": [
+        "EIS A048739"
+    ],
+    "gf": "1/(_x^2+2*_x-1)/(-1+_x)",
+    "rec": "{-_f(_n)-2*_f(_n+1)+_f(_n+2)-1, _f(0) = 1, _f(1) = 3}",
+    "closedform": "-1/2+Sum(1/4*(_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+2*_Z-1))",
+    "equiv": "1/(-2*RootOf(_Z^2+2*_Z-1,.4142135624)^2-2*RootOf(_Z^2+2*_Z-1,.4142135624))/(-1+RootOf(_Z^2+2*_Z-1,.4142135624))*(2+RootOf(_Z^2+2*_Z-1,.4142135624))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs10/ecs_1066.json

@@ -0,0 +1,38 @@
+{
+    "id": 1066,
+    "name": "Expansion of (1-x-x^2)/(1-3x-x^2)",
+    "description": "Expansion of (1-x-x^2)/(1-3x-x^2)",
+    "specification": "{S = Sequence(Prod(Sequence(Union(Prod(Z,Z),Z)),Union(Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        6,
+        20,
+        66,
+        218,
+        720,
+        2378,
+        7854,
+        25940,
+        85674,
+        282962,
+        934560,
+        3086642,
+        10194486,
+        33670100,
+        111204786,
+        367284458,
+        1213058160,
+        4006458938,
+        13232434974
+    ],
+    "references": [
+        "EIS A052991"
+    ],
+    "gf": "(_x^2+_x-1)/(_x^2+3*_x-1)",
+    "rec": "{_f(_n)+3*_f(_n+1)-_f(_n+2), _f(0) = 1, _f(1) = 2, _f(2) = 6}",
+    "closedform": "Sum(-2/13*(-2+3*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+3*_Z-1))+piecewise(_n = 0,1,0)",
+    "equiv": "((-3/2+1/2*13^(1/2))^2-5/2+1/2*13^(1/2))/(-2*(-3/2+1/2*13^(1/2))^2+9/2-3/2*13^(1/2))*exp(-_n)^(-ln(2)+ln(-3+13^(1/2)))"
+}

combstruct/data/ecs10/ecs_1067.json

@@ -0,0 +1,38 @@
+{
+    "id": 1067,
+    "name": "a(n) = 2^floor(n/2)",
+    "description": "a(n) = 2^floor(n/2)",
+    "specification": "{S = Prod(Union(Sequence(Prod(Union(Z,Z),Z)),Z),Sequence(Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        4,
+        4,
+        8,
+        8,
+        16,
+        16,
+        32,
+        32,
+        64,
+        64,
+        128,
+        128,
+        256,
+        256,
+        512,
+        512,
+        1024,
+        1024,
+        2048
+    ],
+    "references": [
+        "EIS A016116"
+    ],
+    "gf": "-(2*_x^2+2*_x+1)/(2*_x^2-1)",
+    "rec": "{2*_f(_n)-_f(_n+2), _f(0) = 1, _f(1) = 2, _f(2) =4}",
+    "closedform": "Sum(1/2*(1+2*_alpha)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^2-1))+piecewise(_n= 0,-1,0)",
+    "equiv": "(1+1/2*2^(1/2)+exp(Complex(1)*Pi*_n)*(1-1/2*2^(1/2)))*exp(-_n)^(-1/2*ln(2))"
+}

combstruct/data/ecs10/ecs_1068.json

@@ -0,0 +1,38 @@
+{
+    "id": 1068,
+    "name": "Expansion of 1/((1 - x)*(1 - 2*x)*(1 + 2*x))",
+    "description": "Expansion of 1/((1 - x)*(1 - 2*x)*(1 + 2*x))",
+    "specification": "{S = Prod(Sequence(Prod(Union(Z,Z),Union(Z,Z))),Sequence(Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        5,
+        5,
+        21,
+        21,
+        85,
+        85,
+        341,
+        341,
+        1365,
+        1365,
+        5461,
+        5461,
+        21845,
+        21845,
+        87381,
+        87381,
+        349525,
+        349525,
+        1398101
+    ],
+    "references": [
+        "EIS A052992"
+    ],
+    "gf": "1/(4*_x^2-1)/(-1+_x)",
+    "rec": "{-4*_f(_n)+_f(_n+2)-1, _f(0) = 1, _f(1) = 1}",
+    "closedform": "-1/3+Sum(1/6*(4*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(4*_Z^2-1))",
+    "equiv": "(1/3*exp(Complex(1)*Pi*_n)+1)*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs10/ecs_1069.json

@@ -0,0 +1,38 @@
+{
+    "id": 1069,
+    "name": "a(n) = a(n-1) + 3*a(n-2) - 3*a(n-3), with a(0)=a(1)=1, a(2)=4",
+    "description": "a(n) = a(n-1) + 3*a(n-2) - 3*a(n-3), with a(0)=a(1)=1, a(2)=4",
+    "specification": "{S = Prod(Sequence(Prod(Union(Z,Z,Z),Z)),Sequence(Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        4,
+        13,
+        13,
+        40,
+        40,
+        121,
+        121,
+        364,
+        364,
+        1093,
+        1093,
+        3280,
+        3280,
+        9841,
+        9841,
+        29524,
+        29524,
+        88573
+    ],
+    "references": [
+        "EIS A052993"
+    ],
+    "gf": "1/(3*_x^2-1)/(-1+_x)",
+    "rec": "{-3*_f(_n)+_f(_n+2)-1, _f(0) = 1, _f(1) = 1}",
+    "closedform": "-1/2+Sum(1/4*(3*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(3*_Z^2-1))",
+    "equiv": "(-1/6*exp(Complex(1)*Pi*_n)/RootOf(3*_Z^2-1,-.5773502692)^2/(-1+RootOf(3*_Z^2-1,-.5773502692))-1/6/RootOf(3*_Z^2-1,.5773502692)^2/(-1+RootOf(3*_Z^2-1,.5773502692)))*(-3*RootOf(3*_Z^2-1,-.5773502692))^(-ln(exp(-_n)))"
+}