{"id":"n-a34da8080d75981c","revision":1,"first_index":1,"fingerprint":"f6-96b8deba61407ebd","name":"basis_map_A013610 of Riordan array (1, 3+x).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":-1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["3","9"],["10","57","81"],["33","279","783","729"],["109","1221","5112","9477","6561"],["360","5022","27945","77517","107163","59049"],["1189","19854","137808","508869","1054134","1161297","531441"],["3927","76365","635121","2928231","8081937","13351635","12223143","4782969"],["12970","287859","2790018","15423075","53180631","117116037","160849476","125951517","43046721"],["42837","1068453","11825001","76212981","315216198","867571236","1588870809","1866952233","1277052723","387420489"],["141481","3917661","48744675","358857081","1731015279","5716317420","13086951138","20509193925","21054629538","12784876137","3486784401"],["467280","14223276","196523334","1626961302","8966614707","34541309601","94899294711","185943706677","254624543361","232064872911","126686499903","31381059609"],["1543321","51217452","778077144","7154685018","44350082361","195232824423","625805573940","1471694819769","2519949201489","3063764273733","2510484768720","1244782031157","282429536481"],["5097243","183167361","3034381662","30683280654","211289910858","1046290368240","3833035365141","10517976215577","21617556645780","32866774137594","35928213888393","26740149571269","12144470068683","2541865828329"],["16835050","651224685","11683380735","128848193370","975833395875","5368763373948","22127223456792","69400358474589","166449489538329","303781944103002","415287386493444","412350610046661","281111531977422","117773116712577","22876792454961"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","12","148","1824","22480","277056","3414592","42083328","518658304","6392232960","78781428736","970946076672","11966478635008","147481527926784","1817644249661440"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1"],["3","9"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","3"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["3","9"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":167167,"position":0,"claim":"real_rooted","from_index":1,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-c6fadefda20cf4de"]},{"id":167168,"position":1,"claim":"one_signed_coefficients","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":1},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 1: the coefficients of P_n have one sign","region_exact":null,"edges":["e-c6fadefda20cf4de"]},{"id":167169,"position":2,"claim":"hadamard_kernel","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":1},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 1, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-c6fadefda20cf4de"]}],"region_exact":{},"incoming_edges":[{"id":"e-c6fadefda20cf4de","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-a34da8080d75981c","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":"3f6d33e7a4c3ca19ecc958a6b861900989afe8958ccee88a1d0c8876c305d337","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-5d39164c4108e043","role":"sequence","name":"Riordan array (1, 3+x).","uses":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[],"oeis":[],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":1,"oeis_offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n   1:     1;\n   2:     3,       9;\n   3:    10,      57,       81;\n   4:    33,     279,      783,      729;\n   5:   109,    1221,     5112,     9477,      6561;\n   6:   360,    5022,    27945,    77517,    107163,     59049;\n   7:  1189,   19854,   137808,   508869,   1054134,   1161297,     531441;\n   8:  3927,   76365,   635121,  2928231,   8081937,  13351635,   12223143,    4782969;\n   9: 12970,  287859,  2790018, 15423075,  53180631, 117116037,  160849476,  125951517,   43046721;\n  10: 42837, 1068453, 11825001, 76212981, 315216198, 867571236, 1588870809, 1866952233, 1277052723, 387420489;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (1+3*x)*P(n-2,x) + (3+9*x)*P(n-1,x) for n >= 3, with P(1,x) = 1, P(2,x) = 3 + 9*x.","mathematica":"P[1, x_] := 1;\nP[2, x_] := 3 + 9*x;\nP[n_, x_] := P[n, x] = Expand[(1 + 3*x)*P[n - 2, x] + (3 + 9*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 1; v[2] = 3 + 9*x; for(n = 3, N, my(i = n); v[i] = (1 + 3*x)*v[i - 2] + (3 + 9*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, v[i])))};\nT(10)","reading":{"first_row":1,"offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-5d39164c4108e043","steps":["basis A013610"],"edges":["e-c6fadefda20cf4de"],"text":"A099097 \u2192 basis A013610"},"headline":"A099097 \u2192 basis A013610","chain":null}