combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs03/ecs_0390.json

@@ -0,0 +1,35 @@
+{
+    "id": 390,
+    "name": "EULER transform of 3, 2, 2, 2, 2, 2, 2, 2, ",
+    "description": "EULER transform of 3, 2, 2, 2, 2, 2, 2, 2, ",
+    "specification": "{B = Set(C), C = Sequence(Z,1 <=card), S = Prod(C,B,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        3,
+        8,
+        18,
+        38,
+        74,
+        139,
+        249,
+        434,
+        734,
+        1215,
+        1967,
+        3132,
+        4902,
+        7567,
+        11523,
+        17345,
+        25815,
+        38045,
+        55535
+    ],
+    "references": [
+        "EIS A000713"
+    ],
+    "gf": "-_x/(-1+_x)*exp(Sum(-_x^j[1]/(_x^j[1]-1)/j[1],j[1] = 1 .. infinity))^2"
+}

combstruct/data/ecs03/ecs_0391.json

@@ -0,0 +1,35 @@
+{
+    "id": 391,
+    "name": "Number of partitions of n into parts of 3 kinds",
+    "description": "Number of partitions of n into parts of 3 kinds",
+    "specification": "{B = Set(C), C = Sequence(Z,1 <= card), S = Prod(B,B,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        9,
+        22,
+        51,
+        108,
+        221,
+        429,
+        810,
+        1479,
+        2640,
+        4599,
+        7868,
+        13209,
+        21843,
+        35581,
+        57222,
+        90882,
+        142769,
+        221910,
+        341649
+    ],
+    "references": [
+        "EIS A000716"
+    ],
+    "gf": "exp(Sum(-_x^j[1]/(_x^j[1]-1)/j[1],j[1] = 1 .. infinity))^3"
+}

combstruct/data/ecs03/ecs_0392.json

@@ -0,0 +1,38 @@
+{
+    "id": 392,
+    "name": "a(n) = (n+1)!/2 + (n-1)(n-1)!",
+    "description": "a(n) = (n+1)!/2 + (n-1)(n-1)!",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Z),Union(Z,Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        16,
+        78,
+        456,
+        3120,
+        24480,
+        216720,
+        2136960,
+        23224320,
+        275788800,
+        3552595200,
+        49337164800,
+        734788454400,
+        11681891020800,
+        197458829568000,
+        3535951491072000,
+        66869236482048000,
+        1331693730791424000,
+        27856727993622528000,
+        610658404052336640000
+    ],
+    "references": [
+        "EIS A000780"
+    ],
+    "gf": "(_x^2-_x-1)/(-1+_x)^3",
+    "rec": "{(-_n^3-8*_n^2-15*_n-8)*_f(_n)+(_n^2+5*_n+2)*_f(_n+1), _f(0) = 1, _f(1) = 4, _f(2) = 16, _f(3) = 78}",
+    "closedform": "(1/2*_n^2+5/2*_n+1)*_n!",
+    "equiv": "1/2*_n^2"
+}

combstruct/data/ecs03/ecs_0393.json

@@ -0,0 +1,38 @@
+{
+    "id": 393,
+    "name": "Padovan sequence (or Padovan numbers): a(n) = a(n-2) + a(n-3) with a(0) = 1, a(1) = a(2) = 0",
+    "description": "Padovan sequence (or Padovan numbers): a(n) = a(n-2) + a(n-3) with a(0) = 1, a(1) = a(2) = 0",
+    "specification": "{S = Sequence(Prod(Z,Union(Z,Prod(Z,Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        1,
+        1,
+        2,
+        2,
+        3,
+        4,
+        5,
+        7,
+        9,
+        12,
+        16,
+        21,
+        28,
+        37,
+        49,
+        65,
+        86,
+        114
+    ],
+    "references": [
+        "EIS A000931"
+    ],
+    "gf": "-1/(_x^3+_x^2-1)",
+    "rec": "{_f(_n)+_f(_n+1)-_f(_n+3), _f(0) = 1, _f(1)= 0, _f(2) = 1}",
+    "closedform": "Sum(-1/23*(2*_alpha^2-7*_alpha-3)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+_Z^2-1))",
+    "equiv": "-1/(-3*RootOf(_Z^3+_Z^2-1,.754877666246693)^3-2*RootOf(_Z^3+_Z^2-1,.754877666246693)^2)*(RootOf(_Z^3+_Z^2-1,.754877666246693)^2+RootOf(_Z^3+_Z^2-1,.754877666246693))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs03/ecs_0394.json

@@ -0,0 +1,38 @@
+{
+    "id": 394,
+    "name": "a(2n) = 2*a(2n-1), a(2n+1) = 2*a(2n)+1 (also a(n) is the n-th number without consecutive equal binary digits)",
+    "description": "a(2n) = 2*a(2n-1), a(2n+1) = 2*a(2n)+1 (also a(n) is the n-th number without consecutive equal binary digits)",
+    "specification": "{S = Prod(Sequence(Union(Z,Z)),Sequence(Prod(Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        5,
+        10,
+        21,
+        42,
+        85,
+        170,
+        341,
+        682,
+        1365,
+        2730,
+        5461,
+        10922,
+        21845,
+        43690,
+        87381,
+        174762,
+        349525,
+        699050,
+        1398101
+    ],
+    "references": [
+        "EIS A000975"
+    ],
+    "gf": "1/(-1+2*_x)/(_x^2-1)",
+    "rec": "{-2*_f(_n)-_f(_n+1)+_f(_n+2)-1, _f(0) = 1, _f(1) = 2}",
+    "closedform": "Sum(-1/6*(_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-1))+4/3*2^_n",
+    "equiv": "4/3*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs03/ecs_0395.json

@@ -0,0 +1,37 @@
+{
+    "id": 395,
+    "name": "Number of dissections of a convex (n+2)-gon into triangles and quadrilaterals by nonintersecting diagonals",
+    "description": "Number of dissections of a convex (n+2)-gon into triangles and quadrilaterals by nonintersecting diagonals",
+    "specification": "{B = Prod(S,S), C = Prod(S,B), S =Union(B,C,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        1,
+        3,
+        10,
+        38,
+        154,
+        654,
+        2871,
+        12925,
+        59345,
+        276835,
+        1308320,
+        6250832,
+        30142360,
+        146510216,
+        717061938,
+        3530808798,
+        17478955570,
+        86941210950,
+        434299921440
+    ],
+    "references": [
+        "EIS A001002"
+    ],
+    "gf": "RootOf(_Z^3+_Z^2-_Z+_x)",
+    "rec": "{(27*_n^2-3)*_f(_n)+(22*_n^2+33*_n+11)*_f(_n+1)+(-5*_n^2-15*_n-10)*_f(_n+2), _f(0) = 0, _f(1) = 1, _f(2) = 1}",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(54*_Z^2-5)*(1/_n)^(3/2)*exp(-_n)^(-3*ln(3)+ln(5))"
+}

combstruct/data/ecs03/ecs_0396.json

@@ -0,0 +1,37 @@
+{
+    "id": 396,
+    "name": "Number of ways of partitioning n points on a circle into subsets only of sizes 2 and 3",
+    "description": "Number of ways of partitioning n points on a circle into subsets only of sizes 2 and 3",
+    "specification": "{B = Prod(S,C), C = Prod(S,S,Z), S = Union(Z,C,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        0,
+        1,
+        1,
+        2,
+        5,
+        8,
+        21,
+        42,
+        96,
+        222,
+        495,
+        1177,
+        2717,
+        6435,
+        15288,
+        36374,
+        87516,
+        210494,
+        509694
+    ],
+    "references": [
+        "EIS A001005"
+    ],
+    "gf": "RootOf(_Z^3*_x+_Z^2*_x-_Z+_x)",
+    "rec": "{(279*_n^2+279*_n)*_f(_n)+(193*_n^2+529*_n+336)*_f(_n+1)+(9*_n^2+63*_n+96)*_f(_n+2)+(-37*_n^2-205*_n-264)*_f(_n+3)+(-4*_n^2-34*_n-72)*_f(_n+4), _f(0) = 0, _f(1) = 1, _f(2) = 0, _f(3) = 1}",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(-28*RootOf(2*_Z^3+_Z^2-1,.657298106138376)^2+26*_Z^2-9*RootOf(2*_Z^3+_Z^2-1,.657298106138376)+3)*(1/_n)^(3/2)*(3*RootOf(2*_Z^3+_Z^2-1,.657298106138376)^2+2*RootOf(2*_Z^3+_Z^2-1,.657298106138376))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs03/ecs_0397.json

@@ -0,0 +1,38 @@
+{
+    "id": 397,
+    "name": "a(n) = 3^n - 2^n",
+    "description": "a(n) = 3^n - 2^n",
+    "specification": "{B = Set(Z), C = Set(Z,1 <= card), S = Prod(C,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        5,
+        19,
+        65,
+        211,
+        665,
+        2059,
+        6305,
+        19171,
+        58025,
+        175099,
+        527345,
+        1586131,
+        4766585,
+        14316139,
+        42981185,
+        129009091,
+        387158345,
+        1161737179,
+        3485735825
+    ],
+    "references": [
+        "EIS A001047"
+    ],
+    "gf": "exp(_x)^3-exp(_x)^2",
+    "rec": "{6*_f(_n)-5*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 1}",
+    "closedform": "-2^_n+3^_n",
+    "equiv": "1/2*2^(1/2)/Pi^(1/2)*(1/_n)^(1/2)*exp(-_n)^(-1-ln(3))*_n^(-_n)"
+}

combstruct/data/ecs03/ecs_0398.json

@@ -0,0 +1,38 @@
+{
+    "id": 398,
+    "name": "Denominators of continued fraction convergents to sqrt(5)",
+    "description": "Denominators of continued fraction convergents to sqrt(5)",
+    "specification": "{S = Sequence(Union(Z,Z,Z,Z,Prod(Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        17,
+        72,
+        305,
+        1292,
+        5473,
+        23184,
+        98209,
+        416020,
+        1762289,
+        7465176,
+        31622993,
+        133957148,
+        567451585,
+        2403763488,
+        10182505537,
+        43133785636,
+        182717648081,
+        774004377960,
+        3278735159921
+    ],
+    "references": [
+        "EIS A001076"
+    ],
+    "gf": "-1/(_x^2+4*_x-1)",
+    "rec": "{_f(_n)+4*_f(_n+1)-_f(_n+2), _f(0) = 1, _f(1)= 4}",
+    "closedform": "Sum(1/10*(_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+4*_Z-1))",
+    "equiv": "-1/(-2*(-2+5^(1/2))^2+8-4*5^(1/2))*exp(-_n)^ln(-2+5^(1/2))"
+}

combstruct/data/ecs03/ecs_0399.json

@@ -0,0 +1,38 @@
+{
+    "id": 399,
+    "name": "Lah numbers: a(n) = (n-1)*n!/2",
+    "description": "Lah numbers: a(n) = (n-1)*n!/2",
+    "specification": "{B = Sequence(Z,1 <= card), C = Sequence(Z), S = Prod(C,C,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        6,
+        36,
+        240,
+        1800,
+        15120,
+        141120,
+        1451520,
+        16329600,
+        199584000,
+        2634508800,
+        37362124800,
+        566658892800,
+        9153720576000,
+        156920924160000,
+        2845499424768000,
+        54420176498688000,
+        1094805903679488000,
+        23112569077678080000,
+        510909421717094400000
+    ],
+    "references": [
+        "EIS A001286"
+    ],
+    "gf": "-1/(-1+_x)^3*_x",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+_f(_n+1)*_n, _f(0) = 0, _f(1) = 1, _f(2) = 6}",
+    "closedform": "(1/2*_n^2+1/2*_n)*_n!",
+    "equiv": "1/2*_n^2"
+}

combstruct/data/ecs04/ecs_0400.json

@@ -0,0 +1,37 @@
+{
+    "id": 400,
+    "name": "a(n) = Sum_{k=0..n} (k+1)! binomial(n,k)",
+    "description": "a(n) = Sum_{k=0..n} (k+1)! binomial(n,k)",
+    "specification": "{B = Sequence(Z), C = Set(Z), S = Prod(C,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        3,
+        11,
+        49,
+        261,
+        1631,
+        11743,
+        95901,
+        876809,
+        8877691,
+        98641011,
+        1193556233,
+        15624736141,
+        220048367319,
+        3317652307271,
+        53319412081141,
+        909984632851473,
+        16436597430879731,
+        313262209859119579,
+        6282647653285676001,
+        132266266384961600021
+    ],
+    "references": [
+        "EIS A001339"
+    ],
+    "gf": "exp(_x)/(-1+_x)^2",
+    "rec": "{(_n+1)*_f(_n)+(-_n-4)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 3}",
+    "equiv": "exp(1)*_n"
+}

combstruct/data/ecs04/ecs_0401.json

@@ -0,0 +1,38 @@
+{
+    "id": 401,
+    "name": "Tribonacci numbers: a(n) = a(n-1) + a(n-2) + a(n-3) with a(0)=0, a(1)=1, a(2)=0",
+    "description": "Tribonacci numbers: a(n) = a(n-1) + a(n-2) + a(n-3) with a(0)=0, a(1)=1, a(2)=0",
+    "specification": "{S = Sequence(Prod(Z,Sequence(Z),Union(Z,Prod(Z,Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        2,
+        3,
+        6,
+        11,
+        20,
+        37,
+        68,
+        125,
+        230,
+        423,
+        778,
+        1431,
+        2632,
+        4841,
+        8904,
+        16377,
+        30122,
+        55403
+    ],
+    "references": [
+        "EIS A001590"
+    ],
+    "gf": "(-1+_x)/(_x^3+_x^2+_x-1)",
+    "rec": "{_f(_n)+_f(_n+1)+_f(_n+2)-_f(_n+3), _f(0) = 1, _f(1) = 0, _f(2) = 1}",
+    "closedform": "Sum(-1/22*(3*_alpha^2-6*_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+_Z^2+_Z-1))",
+    "equiv": "(-1+RootOf(_Z^3+_Z^2+_Z-1,.543689012692078))/(-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/ecs04/ecs_0402.json

@@ -0,0 +1,38 @@
+{
+    "id": 402,
+    "name": "a(n) = Fibonacci(n) + 1",
+    "description": "a(n) = Fibonacci(n) + 1",
+    "specification": "{S = Union(Sequence(Prod(Z,Z,Sequence(Z))),Sequence(Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        2,
+        1,
+        2,
+        2,
+        3,
+        4,
+        6,
+        9,
+        14,
+        22,
+        35,
+        56,
+        90,
+        145,
+        234,
+        378,
+        611,
+        988,
+        1598,
+        2585,
+        4182
+    ],
+    "references": [
+        "EIS A001611"
+    ],
+    "gf": "-(-2+3*_x)/(_x^2+_x-1)/(-1+_x)",
+    "rec": "{-_f(_n)-_f(_n+1)+_f(_n+2)+1, _f(0) = 2, _f(1) = 1}",
+    "closedform": "1+Sum(1/5*(-1+3*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z-1))",
+    "equiv": "-(-2+3*RootOf(_Z^2+_Z-1,.6180339887))/(-2*RootOf(_Z^2+_Z-1,.6180339887)^2-RootOf(_Z^2+_Z-1,.6180339887))/(-1+RootOf(_Z^2+_Z-1,.6180339887))*(1+RootOf(_Z^2+_Z-1,.6180339887))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs04/ecs_0403.json

@@ -0,0 +1,38 @@
+{
+    "id": 403,
+    "name": "Numbers k such that 2*k^2 - 1 is a square",
+    "description": "Numbers k such that 2*k^2 - 1 is a square",
+    "specification": "{S = Sequence(Union(Z,Prod(Union(Z,Z,Z,Z),Sequence(Z))))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        5,
+        29,
+        169,
+        985,
+        5741,
+        33461,
+        195025,
+        1136689,
+        6625109,
+        38613965,
+        225058681,
+        1311738121,
+        7645370045,
+        44560482149,
+        259717522849,
+        1513744654945,
+        8822750406821,
+        51422757785981,
+        299713796309065,
+        1746860020068409
+    ],
+    "references": [
+        "EIS A001653"
+    ],
+    "gf": "-(-1+_x)/(_x^2-6*_x+1)",
+    "rec": "{_f(_n)-6*_f(_n+1)+_f(_n+2), _f(0) =1, _f(1) = 5}",
+    "closedform": "Sum(1/8*(1+_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-6*_Z+1))",
+    "equiv": "-(2-2*2^(1/2))/(-2*(3-2*2^(1/2))^2+18-12*2^(1/2))*exp(-_n)^ln(3-2*2^(1/2))"
+}

combstruct/data/ecs04/ecs_0404.json

@@ -0,0 +1,34 @@
+{
+    "id": 404,
+    "name": "Number of series-reduced planted trees with n nodes",
+    "description": "Number of series-reduced planted trees with n nodes",
+    "specification": "{B = Prod(C,Z), C = Union(Z,S), S = Set(B,1 <= card)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        1,
+        1,
+        2,
+        3,
+        6,
+        10,
+        19,
+        35,
+        67,
+        127,
+        248,
+        482,
+        952,
+        1885,
+        3765,
+        7546,
+        15221,
+        30802,
+        62620
+    ],
+    "references": [
+        "EIS A001678"
+    ]
+}

combstruct/data/ecs04/ecs_0405.json

@@ -0,0 +1,38 @@
+{
+    "id": 405,
+    "name": "a(n) = a(n-2) + a(n-5)",
+    "description": "a(n) = a(n-2) + a(n-5)",
+    "specification": "{S = Sequence(Prod(Union(Z,Prod(Z,Z,Z,Z)),Z))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        0,
+        1,
+        1,
+        1,
+        2,
+        1,
+        3,
+        2,
+        4,
+        4,
+        5,
+        7,
+        7,
+        11,
+        11,
+        16,
+        18,
+        23
+    ],
+    "references": [
+        "EIS A001687"
+    ],
+    "gf": "-1/(_x^5+_x^2-1)",
+    "rec": "{_f(_n)+_f(_n+3)-_f(_n+5), _f(0) = 1, _f(1) = 0, _f(2) = 1, _f(3) = 0, _f(4) = 1}",
+    "closedform": "Sum(-1/3017*(54*_alpha^4-375*_alpha^3+90*_alpha^2-571*_alpha-225)*_alpha^(-1-_n),_alpha = RootOf(_Z^5+_Z^2-1))",
+    "equiv": "-1/(-5*RootOf(_Z^5+_Z^2-1,.808730600479392)^5-2*RootOf(_Z^5+_Z^2-1,.808730600479392)^2)*(RootOf(_Z^5+_Z^2-1,.808730600479392)^4+RootOf(_Z^5+_Z^2-1,.808730600479392))^(-ln(exp(-_n)))"
+}

combstruct/data/ecs04/ecs_0406.json

@@ -0,0 +1,38 @@
+{
+    "id": 406,
+    "name": "Generalized Stirling numbers: a(n) = n! * Sum_{k=0..n-1} (k+1)/(n-k)",
+    "description": "Generalized Stirling numbers: a(n) = n! * Sum_{k=0..n-1} (k+1)/(n-k)",
+    "specification": "{B = Set(C), C = Cycle(Z), S = Prod(C,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        5,
+        26,
+        154,
+        1044,
+        8028,
+        69264,
+        663696,
+        6999840,
+        80627040,
+        1007441280,
+        13575738240,
+        196287356160,
+        3031488633600,
+        49811492505600,
+        867718162483200,
+        15974614352793600,
+        309920046408806400,
+        6320046028584960000,
+        135153868608460800000
+    ],
+    "references": [
+        "EIS A001705"
+    ],
+    "gf": "ln(-1/(-1+_x))/(-1+_x)^2",
+    "rec": "{(_n^2+4*_n+4)*_f(_n)+(-2*_n-5)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 1, _f(2) = 5}",
+    "closedform": "GAMMA(_n+2)*(-1+Psi(_n+2)+gamma)",
+    "equiv": "ln(_n)*_n"
+}

combstruct/data/ecs04/ecs_0407.json

@@ -0,0 +1,38 @@
+{
+    "id": 407,
+    "name": "a(n) = (3n+3)!/(2n+3)!",
+    "description": "a(n) = (3n+3)!/(2n+3)!",
+    "specification": "{B = Prod(Z,S,S), S = Sequence(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        6,
+        72,
+        1320,
+        32760,
+        1028160,
+        39070080,
+        1744364160,
+        89513424000,
+        5191778592000,
+        335885501952000,
+        23982224839372800,
+        1873278229119897600,
+        158905670470170624000,
+        14547557832075620352000,
+        1429628183315795054592000,
+        150110959248158480732160000,
+        16771856906267220522885120000,
+        1986819971973193815787929600000,
+        248740168686302533083888844800000
+    ],
+    "references": [
+        "EIS A001763"
+    ],
+    "gf": "RootOf(_Z^3*_x-_Z+1)",
+    "rec": "{(-27*_n^2-27*_n-6)*_f(_n)+(4*_n+6)*_f(_n+1), _f(0) = 1}",
+    "closedform": "2^(-2*_n-2)/Pi^(1/2)*3^(1/2)*GAMMA(_n+2/3)*GAMMA(_n+1/3)/GAMMA(_n+3/2)*27^_n",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(4*_Z^2-3)*(1/_n)^(3/2)*exp(-_n)^(-3*ln(3)+2*ln(2))"
+}