{"id":"n-dcd6be200625a597","revision":1,"first_index":0,"fingerprint":"f6-21d4cbc8ebff768c","name":"basis_map_A013611 of Triangle of coefficients in expansion of (x+1)*(x+3)*...*(x + 2n - 1) in rising powers of x.","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":true,"rows":[["1"],["2","4"],["8","24","16"],["48","176","192","64"],["384","1600","2240","1280","256"],["3840","17536","28800","21760","7680","1024"],["46080","225792","415744","376320","179200","43008","4096"],["645120","3345408","6723584","6931456","4014080","1318912","229376","16384"],["10321920","56107008","120958976","137797632","91951104","37158912","8945664","1179648","65536"],["185794560","1051213824","2401689600","2964193280","2206310400","1036664832","309657600","57016320","5898240","262144"],["3715891200","21767454720","52238647296","68890624000","55982981120","29558538240","10339811328","2378956800","346030080","28835840","1048576"],["81749606400","493747568640","1236320059392","1724548317184","1507188080640","874219765760","345710002176","93696294912","17128488960","2018508800","138412032","4194304"],["1961990553600","12176940072960","31646671699968","46334439849984","43070707204096","27010026700800","11793919115264","3631551086592","785868914688","116958167040","11395923968","654311424","16777216"],["51011754393600","324448404111360","871521224491008","1331282122899456","1305176146706432","874543523037184","414682003800064","141596004712448","34958796128256","6184388001792","764126691328","62595792896","3053453312","67108864"],["1428329123020800","9288602332692480","25700387902193664","40761984339148800","41870060599377920","29707923231866880","15109270198550528","5623416147148800","1545230310440960","312998048563200","46133099364352","4809188966400","335879864320","14092861440","268435456"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","6","48","480","5760","80640","1290240","23224320","464486400","10218700800","245248819200","6376469299200","178541140377600","5356234211328000","171399494762496000"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["0","4"],["2","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":168107,"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-38e97daa1f393e3a"]},{"id":168108,"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-38e97daa1f393e3a"]},{"id":168109,"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-38e97daa1f393e3a"]}],"region_exact":{},"incoming_edges":[{"id":"e-38e97daa1f393e3a","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-dcd6be200625a597","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":"05f5899c24f3bc19962524767705398f64ddbb93fbc8866dc1e2653d32727561","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-4f6e747b794bcc2e","role":"sequence","name":"Triangle of coefficients in expansion of (x+1)*(x+3)*...*(x + 2n - 1) in rising powers of x.","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-43144724f58e8c48","kind":"fingerprint_related","node_a_id":"n-60c7e36cbe887b7e","node_b_id":"n-dcd6be200625a597","fingerprint":"f6-21d4cbc8ebff768c","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-21d4cbc8ebff768c"},"other_id":"n-60c7e36cbe887b7e","other":{"id":"n-60c7e36cbe887b7e","name":"Coefficients of raising factorial polynomials, T(n,k) = [x^k] p(x, n) where p(x, n) = (m*x + n - 1)*p(x, n - 1) with p[x, 0] = 1, p[x, -1] = 0, p[x, 1] = m*x and m = 2. Triangle read by rows, for n >= 0 and 0 <= k <= n.","first_index":0,"fingerprint":"f6-21d4cbc8ebff768c","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["0","2"],["0","2","4"]],"card_rows":[["1"],["0","2"],["0","2","4"],["0","4","12","8"]],"row_sums_preview":["1","2","6","24","120","720","5040","40320"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":["A137320"],"derivation":{"root":"n-60c7e36cbe887b7e","steps":[],"edges":[],"text":"A137320"},"headline":"A137320: Coefficients of raising factorial polynomials, T(n,k) = [x^k] p(x, n) where p(x, n) = (m*x + n - 1)*p(x, n - 1) with p[x, 0] = 1, p[x, -1] = 0, p[x, 1] = m*x and m = 2. Triangle read by rows, for n >= 0 and 0 <= k <= n.","chain":null}},{"id":"l-48b06476cc750f2d","kind":"fingerprint_related","node_a_id":"n-3df3926aefc1fd76","node_b_id":"n-dcd6be200625a597","fingerprint":"f6-21d4cbc8ebff768c","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-21d4cbc8ebff768c"},"other_id":"n-3df3926aefc1fd76","other":{"id":"n-3df3926aefc1fd76","name":"reversal of Coefficients of raising factorial polynomials, T(n,k) = [x^k] p(x, n) where p(x, n) = (m*x + n - 1)*p(x, n - 1) with p[x, 0] = 1, p[x, -1] = 0, p[x, 1] = m*x and m = 2. Triangle read by rows, for n >= 0 and 0 <= k <= n.","first_index":0,"fingerprint":"f6-21d4cbc8ebff768c","polytool_family":null,"degree_pattern":"irregular","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["2"],["4","2"]],"card_rows":[["1"],["2"],["4","2"],["8","12","4"]],"row_sums_preview":["1","2","6","24","120","720","5040","40320"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-60c7e36cbe887b7e","steps":["reverse"],"edges":["e-a28ae8b138b0cf1e"],"text":"A137320 \u2192 reverse"},"headline":"A137320 \u2192 reverse","chain":null}},{"id":"l-50082be03b5125f1","kind":"fingerprint_related","node_a_id":"n-306852163f00b660","node_b_id":"n-dcd6be200625a597","fingerprint":"f6-21d4cbc8ebff768c","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-21d4cbc8ebff768c"},"other_id":"n-306852163f00b660","other":{"id":"n-306852163f00b660","name":"basis_map_A013609 of Triangle of unsigned Stirling numbers of the first kind (see A048994), read by rows, T(n,k) for 0 <= k <= n.","first_index":0,"fingerprint":"f6-21d4cbc8ebff768c","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["1","2"],["2","6","4"]],"card_rows":[["1"],["1","2"],["2","6","4"],["6","22","24","8"]],"row_sums_preview":["1","3","12","60","360","2520","20160","181440"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b9fbfb57d9269e2f","steps":["basis A013609"],"edges":["e-5d127e92ec7ea44a"],"text":"A132393 \u2192 basis A013609"},"headline":"A132393 \u2192 basis A013609","chain":null}},{"id":"l-33a681166e07adde","kind":"oeis_match","node_a_id":"n-dcd6be200625a597","node_b_id":null,"fingerprint":null,"oeis_id":"A052587","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":1,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":14},"in_catalog":false,"oeis_id":"A052587","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-e7eb5cca8fe77596","kind":"oeis_match","node_a_id":"n-dcd6be200625a597","node_b_id":null,"fingerprint":null,"oeis_id":"A051578","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A051578","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A051578","relation":"match_row_sums"},{"oeis_id":"A052587","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-dcd6be200625a597","oeis_id":"A051578","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":19,"oeis_terms_available":19,"term_count":200,"raw_size":40741}],"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:         2,          4;\n  2:         8,         24,         16;\n  3:        48,        176,        192,         64;\n  4:       384,       1600,       2240,       1280,        256;\n  5:      3840,      17536,      28800,      21760,       7680,       1024;\n  6:     46080,     225792,     415744,     376320,     179200,      43008,      4096;\n  7:    645120,    3345408,    6723584,    6931456,    4014080,    1318912,    229376,    16384;\n  8:  10321920,   56107008,  120958976,  137797632,   91951104,   37158912,   8945664,  1179648,   65536;\n  9: 185794560, 1051213824, 2401689600, 2964193280, 2206310400, 1036664832, 309657600, 57016320, 5898240, 262144;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (2*n+4*x)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(2*n + 4*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; for(n = 1, N, my(i = n + 1); v[i] = (2*n + 4*x)*v[i - 1]); 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-4f6e747b794bcc2e","steps":["basis A013611"],"edges":["e-38e97daa1f393e3a"],"text":"A028338 \u2192 basis A013611"},"headline":"A028338 \u2192 basis A013611","chain":null}