combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs04/ecs_0408.json

@@ -0,0 +1,38 @@
+{
+    "id": 408,
+    "name": "a(n) = n*2^(n-1)",
+    "description": "a(n) = n*2^(n-1)",
+    "specification": "{B = Set(Z), S = Prod(Z,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        12,
+        32,
+        80,
+        192,
+        448,
+        1024,
+        2304,
+        5120,
+        11264,
+        24576,
+        53248,
+        114688,
+        245760,
+        524288,
+        1114112,
+        2359296,
+        4980736,
+        10485760
+    ],
+    "references": [
+        "EIS A001787"
+    ],
+    "gf": "exp(_x)^2*_x",
+    "rec": "{(-2*_n-2)*_f(_n)+_f(_n+1)*_n, _f(0) = 0, _f(1) = 1}",
+    "closedform": "2^(_n-1)*_n",
+    "equiv": "1/4/Pi^(1/2)*exp(-1/2)^2*2^(1/2)*exp(1)/(1/_n)^(1/2)*exp(-_n)^(-1-ln(2))*_n^(-_n)"
+}

combstruct/data/ecs04/ecs_0409.json

@@ -0,0 +1,38 @@
+{
+    "id": 409,
+    "name": "a(n) = 4*a(n-1) - a(n-2), with a(0) = 1, a(1) = 1",
+    "description": "a(n) = 4*a(n-1) - a(n-2), with a(0) = 1, a(1) = 1",
+    "specification": "{S = Sequence(Union(Z,Prod(Union(Z,Z),Sequence(Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        11,
+        41,
+        153,
+        571,
+        2131,
+        7953,
+        29681,
+        110771,
+        413403,
+        1542841,
+        5757961,
+        21489003,
+        80198051,
+        299303201,
+        1117014753,
+        4168755811,
+        15558008491,
+        58063278153,
+        216695104121
+    ],
+    "references": [
+        "EIS A001835"
+    ],
+    "gf": "-(-1+_x)/(_x^2-4*_x+1)",
+    "rec": "{_f(_n)-4*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 3}",
+    "closedform": "Sum(1/6*(1+_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-4*_Z+1))",
+    "equiv": "-(1-3^(1/2))/(-2*(2-3^(1/2))^2+8-4*3^(1/2))*exp(-_n)^ln(2-3^(1/2))"
+}

combstruct/data/ecs04/ecs_0410.json

@@ -0,0 +1,38 @@
+{
+    "id": 410,
+    "name": "Oblong (or promic, pronic, or heteromecic) numbers: a(n) = n*(n+1)",
+    "description": "Oblong (or promic, pronic, or heteromecic) numbers: a(n) = n*(n+1)",
+    "specification": "{B = Set(Z), S = Prod(Z,Z,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        6,
+        12,
+        20,
+        30,
+        42,
+        56,
+        72,
+        90,
+        110,
+        132,
+        156,
+        182,
+        210,
+        240,
+        272,
+        306,
+        342,
+        380
+    ],
+    "references": [
+        "EIS A002378"
+    ],
+    "gf": "exp(_x)*_x^2",
+    "rec": "{(-1-_n)*_f(_n)+_f(_n+1)*(_n-1), _f(0) = 0, _f(1) = 0, _f(2) = 2}",
+    "closedform": "(_n-1)*_n",
+    "equiv": "1/2/Pi^(1/2)*2^(1/2)*exp(-2)*exp(2)/(1/_n)^(3/2)*exp(_n)*_n^(-_n)"
+}

combstruct/data/ecs04/ecs_0411.json

@@ -0,0 +1,38 @@
+{
+    "id": 411,
+    "name": "Expansion of sqrt(1 - 4*x) in powers of x",
+    "description": "leaves in binary trees or pairs of binary trees",
+    "specification": "{B = Prod(C,C), C = Union(B,Z), S= Union(B,C,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        2,
+        2,
+        4,
+        10,
+        28,
+        84,
+        264,
+        858,
+        2860,
+        9724,
+        33592,
+        117572,
+        416024,
+        1485800,
+        5348880,
+        19389690,
+        70715340,
+        259289580,
+        955277400,
+        3534526380
+    ],
+    "references": [
+        "EIS A002420"
+    ],
+    "gf": "1-(1-4*_x)^(1/2)",
+    "rec": "{(-2+4*_n)*_f(_n)+(-1-_n)*_f(_n+1), _f(0) = 0, _f(1) = 2}",
+    "closedform": "2^(-1+2*_n)/Pi^(1/2)*GAMMA(_n-1/2)/GAMMA(_n+1)",
+    "equiv": "1/2/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs04/ecs_0412.json

@@ -0,0 +1,38 @@
+{
+    "id": 412,
+    "name": "Bisection of A000930",
+    "description": "Bisection of A000930",
+    "specification": "{B = Prod(C,C,Z), C = Union(Epsilon,Z), S = Sequence(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        3,
+        6,
+        13,
+        28,
+        60,
+        129,
+        277,
+        595,
+        1278,
+        2745,
+        5896,
+        12664,
+        27201,
+        58425,
+        125491,
+        269542,
+        578949,
+        1243524,
+        2670964
+    ],
+    "references": [
+        "EIS A002478"
+    ],
+    "gf": "-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) = 3}",
+    "closedform": "Sum(-1/31*(2*_alpha^2-7*_alpha-6)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+2*_Z^2+_Z-1))",
+    "equiv": "-1/(-3*RootOf(_Z^3+2*_Z^2+_Z-1,.465571231876768)^3-4*RootOf(_Z^3+2*_Z^2+_Z-1,.465571231876768)^2-RootOf(_Z^3+2*_Z^2+_Z-1,.465571231876768))*(RootOf(_Z^3+2*_Z^2+_Z-1,.465571231876768)^2+2*RootOf(_Z^3+2*_Z^2+_Z-1,.465571231876768)+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs04/ecs_0413.json

@@ -0,0 +1,39 @@
+{
+    "id": 413,
+    "name": "Expansion of 1/((1-x)^4*(1+x))",
+    "description": "Expansion of 1/((1-x)^4*(1+x))",
+    "specification": "{S = Prod(Sequence(Prod(Z,Z)),Sequence(Z),Sequence(Z),Sequence(Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        7,
+        13,
+        22,
+        34,
+        50,
+        70,
+        95,
+        125,
+        161,
+        203,
+        252,
+        308,
+        372,
+        444,
+        525,
+        615,
+        715,
+        825,
+        946
+    ],
+    "references": [
+        "EIS A002623",
+        "Same terms as ECS 203"
+    ],
+    "gf": "1/(-1+_x)^3/(_x^2-1)",
+    "rec": "{6*_f(_n)+6*_f(_n+1)-_n^3-9*_n^2-26*_n-24, _f(0) = 1}",
+    "closedform": "15/16+1/12*_n^3+5/8*_n^2+17/12*_n+1/16*(-1)^(-_n)",
+    "equiv": "1/12*_n^3"
+}

combstruct/data/ecs04/ecs_0414.json

@@ -0,0 +1,38 @@
+{
+    "id": 414,
+    "name": "a(n) = n*4^(n-1)",
+    "description": "a(n) = n*4^(n-1)",
+    "specification": "{B = Set(Z), S = Prod(Z,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        8,
+        48,
+        256,
+        1280,
+        6144,
+        28672,
+        131072,
+        589824,
+        2621440,
+        11534336,
+        50331648,
+        218103808,
+        939524096,
+        4026531840,
+        17179869184,
+        73014444032,
+        309237645312,
+        1305670057984,
+        5497558138880
+    ],
+    "references": [
+        "EIS A002697"
+    ],
+    "gf": "_x*exp(_x)^4",
+    "rec": "{(-4*_n-4)*_f(_n)+_f(_n+1)*_n, _f(0) = 0, _f(1) = 1}",
+    "closedform": "2^(2*_n-2)*_n",
+    "equiv": "1/8/Pi^(1/2)*2^(1/2)*exp(-1/4)^4*exp(1)/(1/_n)^(1/2)*exp(-_n)^(-1-2*ln(2))*_n^(-_n)"
+}

combstruct/data/ecs04/ecs_0415.json

@@ -0,0 +1,37 @@
+{
+    "id": 415,
+    "name": "Number of blobs with 2n+1 edges",
+    "description": "Number of blobs with 2n+1 edges",
+    "specification": "{B = Sequence(C,1 <= card), C = Prod(Z,S,S), S = Sequence(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        21,
+        126,
+        818,
+        5594,
+        39693,
+        289510,
+        2157150,
+        16348960,
+        125642146,
+        976789620,
+        7668465964,
+        60708178054,
+        484093913917,
+        3884724864390,
+        31348290348086,
+        254225828706248,
+        2070856216759478,
+        16936016649259364
+    ],
+    "references": [
+        "EIS A003168"
+    ],
+    "gf": "RootOf(2*_Z^3*_x-_Z^2*_x-_Z+1)",
+    "rec": "{(8*_n^2+4*_n)*_f(_n)+(-162*_n^2-354*_n-180)*_f(_n+1)+(371*_n^2+1831*_n+2250)*_f(_n+2)+(-40*_n^2-260*_n-420)*_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2) = 4}",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(68*_Z^2-33*RootOf(4*_Z^2-7*_Z+2,1.390388203)+14)*(1/_n)^(3/2)*(-3+17/2*RootOf(4*_Z^2-7*_Z+2,1.390388203))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs04/ecs_0416.json

@@ -0,0 +1,37 @@
+{
+    "id": 416,
+    "name": "Number of 2-line arrays; or number of P-graphs with 2n edges",
+    "description": "Number of 2-line arrays; or number of P-graphs with 2n edges",
+    "specification": "{B = Prod(C,C,Z), C = Sequence(S), S = Sequence(B,1 <=card)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        14,
+        79,
+        494,
+        3294,
+        22952,
+        165127,
+        1217270,
+        9146746,
+        69799476,
+        539464358,
+        4214095612,
+        33218794236,
+        263908187100,
+        2110912146295,
+        16985386737830,
+        137394914285538,
+        1116622717709012,
+        9113225693455362
+    ],
+    "references": [
+        "EIS A003169"
+    ],
+    "gf": "-(-RootOf(2*_Z^3*_x-_Z^2*_x-_Z+1)+1)/RootOf(2*_Z^3*_x-_Z^2*_x-_Z+1)",
+    "rec": "{(20*_n^2-10*_n)*_f(_n)+(-371*_n^2-395*_n-96)*_f(_n+1)+(324*_n^2+1236*_n+1152)*_f(_n+2)+(-32*_n^2-176*_n-240)*_f(_n+3), _f(0) = 0, _f(1) = 1, _f(2)= 3}",
+    "equiv": "-1/2/Pi^(1/2)*((7/2-2*RootOf(4*_Z^2-7*_Z+2,1.390388203))*RootOf(68*_Z^2-33*RootOf(4*_Z^2-7*_Z+2,1.390388203)+14)-(RootOf(4*_Z^2-7*_Z+2,1.390388203)-1)*(7/2-2*RootOf(4*_Z^2-7*_Z+2,1.390388203))^2*RootOf(68*_Z^2-33*RootOf(4*_Z^2-7*_Z+2,1.390388203)+14))*(1/_n)^(3/2)*(-3+17/2*RootOf(4*_Z^2-7*_Z+2,1.390388203))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs04/ecs_0417.json

@@ -0,0 +1,38 @@
+{
+    "id": 417,
+    "name": "a(n) = a(n-1) + 2*a(n-3) with a(0)=a(1)=1, a(2)=3",
+    "description": "a(n) = a(n-1) + 2*a(n-3) with a(0)=a(1)=1, a(2)=3",
+    "specification": "{S = Sequence(Union(Z,Prod(Z,Z,Union(Z,Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        1,
+        3,
+        5,
+        7,
+        13,
+        23,
+        37,
+        63,
+        109,
+        183,
+        309,
+        527,
+        893,
+        1511,
+        2565,
+        4351,
+        7373,
+        12503,
+        21205
+    ],
+    "references": [
+        "EIS A003229"
+    ],
+    "gf": "-1/(2*_x^3+_x-1)",
+    "rec": "{2*_f(_n)+_f(_n+2)-_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2) = 1}",
+    "closedform": "Sum(1/29*(6*_alpha^2+9*_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^3+_Z-1))",
+    "equiv": "-1/(-6*RootOf(2*_Z^3+_Z-1,.589754512301458)^3-RootOf(2*_Z^3+_Z-1,.589754512301458))*(2*RootOf(2*_Z^3+_Z-1,.589754512301458)^2+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs04/ecs_0418.json

@@ -0,0 +1,38 @@
+{
+    "id": 418,
+    "name": "a(0) = 1, a(1) = 2, for n > 1, a(n) = 4*a(n-1) - 2*a(n-2)",
+    "description": "a(0) = 1, a(1) = 2, for n > 1, a(n) = 4*a(n-1) - 2*a(n-2)",
+    "specification": "{S = Sequence(Union(Z,Prod(Z,Union(Z,Sequence(Z)),Sequence(Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        7,
+        24,
+        82,
+        280,
+        956,
+        3264,
+        11144,
+        38048,
+        129904,
+        443520,
+        1514272,
+        5170048,
+        17651648,
+        60266496,
+        205762688,
+        702517760,
+        2398545664,
+        8189147136,
+        27959497216
+    ],
+    "references": [
+        "EIS A003480"
+    ],
+    "gf": "(-1+_x)^2/(2*_x^2-4*_x+1)",
+    "rec": "{2*_f(_n)-4*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 2, _f(2) = 7}",
+    "closedform": "Sum(-1/4*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^2-4*_Z+1))+piecewise(_n = 0,1/2,0)",
+    "equiv": "1/2/(-4*(1-1/2*2^(1/2))^2+4-2*2^(1/2))*exp(-_n)^(-1/2*ln(2)+ln(2^(1/2)-1))"
+}

combstruct/data/ecs04/ecs_0419.json

@@ -0,0 +1,38 @@
+{
+    "id": 419,
+    "name": "a(n) = 3*a(n-1) + a(n-2), with a(1)=1 and a(2)=4",
+    "description": "a(n) = 3*a(n-1) + a(n-2), with a(1)=1 and a(2)=4",
+    "specification": "{S = Sequence(Prod(Sequence(Union(Z,Z)),Union(Prod(Z,Z),Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        13,
+        43,
+        142,
+        469,
+        1549,
+        5116,
+        16897,
+        55807,
+        184318,
+        608761,
+        2010601,
+        6640564,
+        21932293,
+        72437443,
+        239244622,
+        790171309,
+        2609758549,
+        8619446956
+    ],
+    "references": [
+        "EIS A003688"
+    ],
+    "gf": "(-1+2*_x)/(_x^2+3*_x-1)",
+    "rec": "{_f(_n)+3*_f(_n+1)-_f(_n+2), _f(0) = 1,_f(1) = 1}",
+    "closedform": "Sum(1/13*(-1+8*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+3*_Z-1))",
+    "equiv": "(-4+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/ecs04/ecs_0420.json

@@ -0,0 +1,38 @@
+{
+    "id": 420,
+    "name": "a(n) = floor((n^2 + 6n - 3)/4)",
+    "description": "a(n) = floor((n^2 + 6n - 3)/4)",
+    "specification": "{S = Prod(Union(Z,Sequence(Prod(Z,Z))),Sequence(Z),Sequence(Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        6,
+        9,
+        13,
+        17,
+        22,
+        27,
+        33,
+        39,
+        46,
+        53,
+        61,
+        69,
+        78,
+        87,
+        97,
+        107,
+        118,
+        129,
+        141
+    ],
+    "references": [
+        "EIS A004116"
+    ],
+    "gf": "(_x^3-_x-1)/(_x^2-1)/(-1+_x)^2",
+    "rec": "{-2*_f(_n)-2*_f(_n+1)+_n^2+9*_n+8, _f(0) = 1, _f(1) = 3, _f(2) = 6, _f(3) = 9}",
+    "closedform": "7/8+1/8*(-1)^(-_n)+1/4*_n^2+2*_n",
+    "equiv": "1/4*_n^2"
+}

combstruct/data/ecs04/ecs_0421.json

@@ -0,0 +1,37 @@
+{
+    "id": 421,
+    "name": "Generalized Catalan numbers: a(n+1) = a(n) + Sum_{k=1..n-1} a(k)*a(n-1-k)",
+    "description": "Generalized Catalan numbers: a(n+1) = a(n) + Sum_{k=1..n-1} a(k)*a(n-1-k)",
+    "specification": "{B = Prod(Z,S), C = Sequence(B,1 <= card), S = Union(C,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        1,
+        1,
+        2,
+        4,
+        8,
+        17,
+        37,
+        82,
+        185,
+        423,
+        978,
+        2283,
+        5373,
+        12735,
+        30372,
+        72832,
+        175502,
+        424748,
+        1032004
+    ],
+    "references": [
+        "EIS A004148"
+    ],
+    "gf": "_x-1/2*(_x^2+(_x^4-2*_x^3-_x^2-2*_x+1)^(1/2)+_x-1)/_x",
+    "rec": "{(_n-1)*_f(_n)+(-1-2*_n)*_f(_n+1)+(-_n-2)*_f(_n+2)+(-2*_n-7)*_f(_n+3)+(_n+5)*_f(_n+4), _f(0) = 0, _f(1) = 1, _f(2) = 1, _f(3) = 1}",
+    "equiv": "1/4/Pi^(1/2)/RootOf(_Z^2-3*_Z+1,.381966011250105)*(-4*RootOf(_Z^2-3*_Z+1,.381966011250105)^4+6*RootOf(_Z^2-3*_Z+1,.381966011250105)^3+2*RootOf(_Z^2-3*_Z+1,.381966011250105)^2+2*RootOf(_Z^2-3*_Z+1,.381966011250105))^(1/2)*(1/_n)^(3/2)*(3-RootOf(_Z^2-3*_Z+1,.381966011250105))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs04/ecs_0422.json

@@ -0,0 +1,38 @@
+{
+    "id": 422,
+    "name": "a(n) = 5*a(n-1) - a(n-2), with a(1)=1, a(2)=4",
+    "description": "a(n) = 5*a(n-1) - a(n-2), with a(1)=1, a(2)=4",
+    "specification": "{S = Sequence(Prod(Sequence(Prod(Union(Z,Z,Z),Sequence(Z))),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        19,
+        91,
+        436,
+        2089,
+        10009,
+        47956,
+        229771,
+        1100899,
+        5274724,
+        25272721,
+        121088881,
+        580171684,
+        2779769539,
+        13318676011,
+        63813610516,
+        305749376569,
+        1464933272329,
+        7018916985076
+    ],
+    "references": [
+        "EIS A004253"
+    ],
+    "gf": "-(-1+4*_x)/(_x^2-5*_x+1)",
+    "rec": "{_f(_n)-5*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 1}",
+    "closedform": "Sum(1/7*(6*_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-5*_Z+1))",
+    "equiv": "-(9-2*21^(1/2))/(-2*(5/2-1/2*21^(1/2))^2+25/2-5/2*21^(1/2))*exp(-_n)^(-ln(2)+ln(5-21^(1/2)))"
+}

combstruct/data/ecs04/ecs_0423.json

@@ -0,0 +1,37 @@
+{
+    "id": 423,
+    "name": "Riordan numbers: a(n) = (n-1)*(2*a(n-1) + 3*a(n-2))/(n+1)",
+    "description": "Riordan numbers: a(n) = (n-1)*(2*a(n-1) + 3*a(n-2))/(n+1)",
+    "specification": "{B = Prod(S,S,S), C = Prod(Z,B), S = Union(Z,C,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        0,
+        1,
+        1,
+        3,
+        6,
+        15,
+        36,
+        91,
+        232,
+        603,
+        1585,
+        4213,
+        11298,
+        30537,
+        83097,
+        227475,
+        625992,
+        1730787,
+        4805595
+    ],
+    "references": [
+        "EIS A005043"
+    ],
+    "gf": "_x-1/2*(2*_x^2+(-3*_x^2-2*_x+1)^(1/2)+_x-1)/(1+_x)",
+    "rec": "{3*_f(_n)*_n+2*_f(_n+1)*_n+(-_n-2)*_f(_n+2), _f(0) = 0, _f(1) = 1}",
+    "equiv": "1/16/Pi^(1/2)*4^(1/2)*3^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs04/ecs_0424.json

@@ -0,0 +1,38 @@
+{
+    "id": 424,
+    "name": "a(n) = Sum_{k=0..floor(n/4)} binomial(n-2k,2k)",
+    "description": "a(n) = Sum_{k=0..floor(n/4)} binomial(n-2k,2k)",
+    "specification": "{S = Sequence(Union(Z,Prod(Z,Z,Z,Z,Sequence(Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        1,
+        1,
+        2,
+        4,
+        7,
+        11,
+        17,
+        27,
+        44,
+        72,
+        117,
+        189,
+        305,
+        493,
+        798,
+        1292,
+        2091,
+        3383,
+        5473
+    ],
+    "references": [
+        "EIS A005252"
+    ],
+    "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) = 1, _f(3) = 1}",
+    "closedform": "Sum(1/30*(2*_alpha^3+4*_alpha^2+6*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-_Z^2+2*_Z-1))",
+    "equiv": "(-1+RootOf(_Z^2+_Z-1,.618033988749895))/(-4*RootOf(_Z^2+_Z-1,.618033988749895)^4+2*RootOf(_Z^2+_Z-1,.618033988749895)^2-2*RootOf(_Z^2+_Z-1,.618033988749895))*(1+RootOf(_Z^2+_Z-1,.618033988749895))^(-ln(exp(-_n)))"
+}