{"id":"n-d7b6e6dc2dbf6491","revision":1,"first_index":0,"fingerprint":"f6-7d048716a74a4e37","name":"basis_map_A008277 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":false,"rows":[["1"],["2","1"],["8","7","1"],["48","57","15","1"],["384","561","207","26","1"],["3840","6555","3045","545","40","1"],["46080","89055","49185","11220","1185","57","1"],["645120","1381905","876015","239925","32550","2268","77","1"],["10321920","24137505","17150175","5434590","890925","80178","3962","100","1"],["185794560","468934515","367141005","131276565","25034940","2735019","175266","6462","126","1"],["3715891200","10033419375","8546036625","3386502000","732115125","93410415","7291935","349740","9990","155","1"],["81749606400","234484536825","215138298375","93208586625","22421495250","3254196330","297584595","17434395","649440","14795","187","1"],["1961990553600","5943863027025","5828080294575","2731770137250","721010453625","116793188820","12181734180","838050840","38216475","1137675","21153","222","1"],["51011754393600","162446292283275","169130111275125","85049414274825","24362083746000","4341599307045","506608682580","39837411900","2137410990","78035100","1899183","29367","260","1"],["1428329123020800","4761954230608575","5236349630537025","2805661953794700","864636094146825","167634860878485","21566294514765","1900918099080","116784207540","5024709690","150204054","3044496","39767","301","1"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","3","16","121","1179","14026","196783","3177861","58019356","1181098459","26515026561","650572403218","17316566815441","496889918749251","15288155067806104"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A008277","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["0","1"],["2","0"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","1"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166019,"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-760cba6118ea84eb"]},{"id":166020,"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-760cba6118ea84eb"]},{"id":166021,"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-760cba6118ea84eb"]}],"region_exact":{},"incoming_edges":[{"id":"e-760cba6118ea84eb","operation":{"map":"A008277","operation":"basis_map"},"operation_detail":"A008277","conclusion_id":"n-d7b6e6dc2dbf6491","premise_count":1,"theorem":"ray basis maps: for L f = (a + b t) f + kappa (t - h) f', b > 0, kappa >= 0, and g real-rooted with every root <= h, of multiplicity m at h, T(u^k) = L^k g sends every real polynomial with all roots in S to one with all roots in (-inf, h] if and only if S lies in (-inf, a + b h + kappa m] (RealRooted rayBasisMap_maps_realRootedIn_iff; the step is Ma and Wang, EJC 15 (2008) R17, Theorem 2)","lean_route":null,"lean_declarations":[],"certificate_hash":"1da882f9be64406c4b7d6619cdb5854cfbdb4e5a04c7cc6be30ba39286f3add6","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-3f74bceb8f673ec3","kind":"oeis_match","node_a_id":"n-d7b6e6dc2dbf6491","node_b_id":null,"fingerprint":null,"oeis_id":"A121629","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":"A121629","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A121629","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-d7b6e6dc2dbf6491","oeis_id":"A121629","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":40554}],"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,         1;\n  2:         8,         7,         1;\n  3:        48,        57,        15,         1;\n  4:       384,       561,       207,        26,        1;\n  5:      3840,      6555,      3045,       545,       40,       1;\n  6:     46080,     89055,     49185,     11220,     1185,      57,      1;\n  7:    645120,   1381905,    876015,    239925,    32550,    2268,     77,    1;\n  8:  10321920,  24137505,  17150175,   5434590,   890925,   80178,   3962,  100,   1;\n  9: 185794560, 468934515, 367141005, 131276565, 25034940, 2735019, 175266, 6462, 126, 1;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (2*n+x)*P(n-1,x) + x*d/dx 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 + x)*P[n - 1, x] + x*D[P[n - 1, x], 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 + x)*v[i - 1] + x*deriv(v[i - 1], x)); 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 A008277"],"edges":["e-760cba6118ea84eb"],"text":"A028338 \u2192 basis A008277"},"headline":"A028338 \u2192 basis A008277","chain":null}