{"id":"n-5ae74f80fa28d4d2","revision":0,"first_index":0,"fingerprint":"f6-cb4056e025ca2479","name":"basis_map_A013610 of Triangle read by rows, n>=1, 1<=k<=n, T(n,k) = k*binomial(n,k)^2/(n-k+1).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["4","6"],["15","45","27"],["56","252","324","108"],["210","1260","2520","1890","405"],["792","5940","16200","19440","9720","1458"],["3003","27027","93555","155925","127575","45927","5103"],["11440","120120","504504","1081080","1247400","748440","204120","17496"],["43758","525096","2594592","6810804","10216206","8756748","4041576","866052","59049"],["167960","2267460","12888720","40098240","74299680","83587140","55724760","20470320","3542940","196830"],["646646","9699690","62355150","224478540","496215720","694702008","612972360","328378050","98513415","14073345","649539"],["2496144","41186376","295467480","1208730600","3108164400","5221716192","5771370528","4122407520","1818709200","454677300","54561276","2125764"],["9657700","173838600","1376801712","6310341180","18519479550","36365523480","48487364640","43638628176","25838661420","9569874600","2026561680","207261990","6908733"],["37442160","730122120","6327725040","32125373280","106013731824","238530896604","373352707728","407293862976","305470397232","152735198616","48232167984","8769485088","773778096","22320522"],["145422675","3053876175","28748558475","160170540075","587291980275","1490818103775","2683472586795","3450179040165","3150163471455","2004649481835","859135492215","234309679695","36996265215","2845866555","71744535"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","10","87","740","6285","53550","458115","3934600","33913881","293244050","2542684463","22101612780","192530903461","1680415209270","14692052109915"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["4","6"],["15","45","27"]],"recurrence":{"denominator":{"coeffs":[["2"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","-18","-27"],["0","0","18","27"]]},"deriv_order":0,"offset":3,"sign":"none"},{"coeff":{"coeffs":[["4","12","0"],["-8","-24","-27"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["6","9"],["6","9"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":202156,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-6b58a9068ba19d7f"]},{"id":202157,"position":1,"claim":"one_signed_coefficients","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":0},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 0: the coefficients of P_n have one sign","region_exact":null,"edges":["e-6b58a9068ba19d7f"]},{"id":202158,"position":2,"claim":"hadamard_kernel","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":0},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 0, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-6b58a9068ba19d7f"]}],"region_exact":{},"incoming_edges":[{"id":"e-6b58a9068ba19d7f","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-5ae74f80fa28d4d2","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"d24c5bc825816cb3fe5f5e504fcdfa47171b6ef3cdfb6231be31af21fcbcfd5e","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-984320118b653f6b","role":"sequence","name":"Triangle read by rows, n>=1, 1<=k<=n, T(n,k) = k*binomial(n,k)^2/(n-k+1).","uses":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-0aaec704795a0732","kind":"fingerprint_related","node_a_id":"n-ff1ded1f42b3b454","node_b_id":"n-5ae74f80fa28d4d2","fingerprint":"f6-cb4056e025ca2479","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-cb4056e025ca2479"},"other_id":"n-ff1ded1f42b3b454","other":{"id":"n-ff1ded1f42b3b454","name":"reversal of basis_map_A013610 of narayana","first_index":1,"fingerprint":"f6-cb4056e025ca2479","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["3","2"],["9","15","5"]],"card_rows":[["1"],["3","2"],["9","15","5"],["27","81","63","14"]],"row_sums_preview":["1","5","29","185","1257","8925","65445","491825"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2a05d8340c329b21","steps":["basis A013610","reverse"],"edges":["e-21b441a6a6a148f7","e-ac51eac6e584dd69"],"text":"narayana \u2192 basis A013610 \u2192 reverse"},"headline":"narayana \u2192 basis A013610 \u2192 reverse","chain":null}},{"id":"l-0bfc3b915669e425","kind":"fingerprint_related","node_a_id":"n-169aeabe58b22027","node_b_id":"n-5ae74f80fa28d4d2","fingerprint":"f6-cb4056e025ca2479","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-cb4056e025ca2479"},"other_id":"n-169aeabe58b22027","other":{"id":"n-169aeabe58b22027","name":"basis_map_A013610 of Triangle of Narayana numbers T(n,k) = C(n-1,k-1)*C(n,k-1)/k with 1 <= k <= n, read by rows. Also called the Catalan triangle.","first_index":0,"fingerprint":"f6-cb4056e025ca2479","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","3"],["5","15","9"]],"card_rows":[["1"],["2","3"],["5","15","9"],["14","63","81","27"]],"row_sums_preview":["1","5","29","185","1257","8925","65445","491825"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c2eaf5212a4dec13","steps":["basis A013610"],"edges":["e-9081e2b3ba0d880f"],"text":"A001263 \u2192 basis A013610"},"headline":"A001263 \u2192 basis A013610","chain":null}},{"id":"l-367805a6d0426f5b","kind":"fingerprint_related","node_a_id":"n-fe3068304e7fd353","node_b_id":"n-5ae74f80fa28d4d2","fingerprint":"f6-cb4056e025ca2479","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-cb4056e025ca2479"},"other_id":"n-fe3068304e7fd353","other":{"id":"n-fe3068304e7fd353","name":"reversal of basis_map_A013610 of Triangle of Narayana numbers T(n,k) = C(n-1,k-1)*C(n,k-1)/k with 1 <= k <= n, read by rows. Also called the Catalan triangle.","first_index":0,"fingerprint":"f6-cb4056e025ca2479","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["3","2"],["9","15","5"]],"card_rows":[["1"],["3","2"],["9","15","5"],["27","81","63","14"]],"row_sums_preview":["1","5","29","185","1257","8925","65445","491825"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c2eaf5212a4dec13","steps":["basis A013610","reverse"],"edges":["e-9081e2b3ba0d880f","e-b903cebaa627cb61"],"text":"A001263 \u2192 basis A013610 \u2192 reverse"},"headline":"A001263 \u2192 basis A013610 \u2192 reverse","chain":null}},{"id":"l-937600ab494fada1","kind":"fingerprint_related","node_a_id":"n-9c4b1c1c0d7d0597","node_b_id":"n-5ae74f80fa28d4d2","fingerprint":"f6-cb4056e025ca2479","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-cb4056e025ca2479"},"other_id":"n-9c4b1c1c0d7d0597","other":{"id":"n-9c4b1c1c0d7d0597","name":"basis_map_A013610 of narayana","first_index":1,"fingerprint":"f6-cb4056e025ca2479","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","3"],["5","15","9"]],"card_rows":[["1"],["2","3"],["5","15","9"],["14","63","81","27"]],"row_sums_preview":["1","5","29","185","1257","8925","65445","491825"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2a05d8340c329b21","steps":["basis A013610"],"edges":["e-21b441a6a6a148f7"],"text":"narayana \u2192 basis A013610"},"headline":"narayana \u2192 basis A013610","chain":null}},{"id":"l-adf46a57176e0594","kind":"fingerprint_related","node_a_id":"n-13b08de61a6cda48","node_b_id":"n-5ae74f80fa28d4d2","fingerprint":"f6-cb4056e025ca2479","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-cb4056e025ca2479"},"other_id":"n-13b08de61a6cda48","other":{"id":"n-13b08de61a6cda48","name":"derivative of basis_map_A013610 of Triangle read by rows. T(n, k) = binomial(n, k)*binomial(n - 1, n - k - 1).","first_index":0,"fingerprint":"f6-cb4056e025ca2479","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[[],[],["6"]],"card_rows":[["6"],["36","54"],["180","540","324"],["840","3780","4860","1620"]],"row_sums_preview":["0","0","6","90","1044","11100","113130","1124550"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b1b19325e0094118","steps":["basis A013610","D"],"edges":["e-59715d0ff282a908","e-e26d910ac815dfc1"],"text":"A367270 \u2192 basis A013610 \u2192 D"},"headline":"A367270 \u2192 basis A013610 \u2192 D","chain":null}}],"oeis":[],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":0,"oeis_offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n  0:      1;\n  1:      4,       6;\n  2:     15,      45,       27;\n  3:     56,     252,      324,      108;\n  4:    210,    1260,     2520,     1890,      405;\n  5:    792,    5940,    16200,    19440,     9720,     1458;\n  6:   3003,   27027,    93555,   155925,   127575,    45927,     5103;\n  7:  11440,  120120,   504504,  1081080,  1247400,   748440,   204120,    17496;\n  8:  43758,  525096,  2594592,  6810804, 10216206,  8756748,  4041576,   866052,   59049;\n  9: 167960, 2267460, 12888720, 40098240, 74299680, 83587140, 55724760, 20470320, 3542940, 196830;\n","recurrence_sentence":"The row polynomials satisfy (n+2)*P(n,x) = ((18*n-18)*x^2+(27*n-27)*x^3)*P(n-3,x) - (8*n-4+(24*n-12)*x+27*n*x^2)*P(n-2,x) + (6*n+6+(9*n+9)*x)*P(n-1,x) for n >= 3, with P(0,x) = 1, P(1,x) = 4 + 6*x, P(2,x) = 15 + 45*x + 27*x^2.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 4 + 6*x;\nP[2, x_] := 15 + 45*x + 27*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[(((18*n - 18)*x^2 + (27*n - 27)*x^3)*P[n - 3, x] - (8*n - 4 + (24*n - 12)*x + 27*n*x^2)*P[n - 2, x] + (6*n + 6 + (9*n + 9)*x)*P[n - 1, x])/(n + 2)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; v[2] = 4 + 6*x; v[3] = 15 + 45*x + 27*x^2; for(n = 3, N, my(i = n + 1); v[i] = (((18*n - 18)*x^2 + (27*n - 27)*x^3)*v[i - 3] - (8*n - 4 + (24*n - 12)*x + 27*n*x^2)*v[i - 2] + (6*n + 6 + (9*n + 9)*x)*v[i - 1])/(n + 2)); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i - 1, v[i])))};\nT(9)","reading":{"first_row":0,"offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-984320118b653f6b","steps":["basis A013610"],"edges":["e-6b58a9068ba19d7f"],"text":"A132812 \u2192 basis A013610"},"headline":"A132812 \u2192 basis A013610","chain":null}