{"id":"n-69a041dde0f69154","revision":0,"first_index":0,"fingerprint":"f6-f61ab9580d43f2f7","name":"basis_map_A013610 of shift_x_plus_one of Riordan array (1-x,x/(1-x)).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["4","12","9"],["12","48","63","27"],["36","180","333","270","81"],["108","648","1539","1809","1053","243"],["324","2268","6561","10044","8586","3888","729"],["972","7776","26487","49815","55890","37422","13851","2187"],["2916","26244","102789","228906","317115","279936","153819","48114","6561"],["8748","87480","387099","995085","1638063","1791153","1301265","605799","164025","19683"],["26244","288684","1423737","4146552","7899444","10287648","9277254","5721192","2309472","551124","59049"],["78732","944784","5137263","16710867","36137988","54561276","58694706","44995338","24091992","8581788","1830519","177147"],["236196","3070548","18246141","65544390","158546565","272097792","339767946","311070132","207261990","98021340","31236921","6022998","531441"],["708588","9920232","63950067","251371593","672272865","1291933071","1835597214","1952514234","1554996366","915849990","387774783","111779757","19663317","1594323"],["2125764","31886460","221610897","945964980","2770933374","5892617808","9382590855","11364334344","10522531800","7412539068","3910874319","1498663620","394329222","63772920","4782969"],["6377292","102036672","760492071","3502727631","11150695062","25990653546","45825625989","62240775597","65660598432","53805212604","33970240161","16228613817","5678978526","1374306426","205667667","14348907"],["19131876","325241892","2587586229","12789659106","43960268079","111424045824","215448838605","324199204758","383704122087","358397433108","263326358295","150596561934","65722777029","21159854856","4739922279","660049722","43046721"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["25","150","900","5400","32400","194400","1166400","6998400","41990400","251942400","1511654400","9069926400","54419558400","326517350400","1959104102400"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["4","12","9"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["3","3"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":201956,"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-cdf1edb74bb4689f"]},{"id":201957,"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-cdf1edb74bb4689f"]},{"id":201958,"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-cdf1edb74bb4689f"]}],"region_exact":{},"incoming_edges":[{"id":"e-cdf1edb74bb4689f","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-69a041dde0f69154","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":"f6daf8f0d56a2dfa1a1bccc96b99a4c6f4b3cbf25028f0c3172927347be296ef","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-21d2f90cb223c8f5","role":"sequence","name":"shift_x_plus_one of Riordan array (1-x,x/(1-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-705c1b4041417116","kind":"fingerprint_related","node_a_id":"n-7c2c12c64b9f1f9c","node_b_id":"n-69a041dde0f69154","fingerprint":"f6-f61ab9580d43f2f7","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f61ab9580d43f2f7"},"other_id":"n-7c2c12c64b9f1f9c","other":{"id":"n-7c2c12c64b9f1f9c","name":"reversal of basis_map_A013609 of The truncated (4,4,1)-Pascal triangle, given by 4*C(n-2, k) + 4*C(n-2, k-1) + C(n-2, k-2) for n>=2.","first_index":0,"fingerprint":"f6-f61ab9580d43f2f7","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["4","12","9"],["8","32","42","18"],["16","80","148","120","36"]],"card_rows":[["4","12","9"],["8","32","42","18"],["16","80","148","120","36"],["32","192","456","536","312","72"]],"row_sums_preview":["25","100","400","1600","6400","25600","102400","409600"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-f48bed27dbc29c5f","steps":["basis A013609","reverse"],"edges":["e-8866dbf598c953fc","e-0542440b930d06ab"],"text":"A391533 \u2192 basis A013609 \u2192 reverse"},"headline":"A391533 \u2192 basis A013609 \u2192 reverse","chain":null}},{"id":"l-c3cd568f2c46a960","kind":"fingerprint_related","node_a_id":"n-2fe6a26f73f75da6","node_b_id":"n-69a041dde0f69154","fingerprint":"f6-f61ab9580d43f2f7","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f61ab9580d43f2f7"},"other_id":"n-2fe6a26f73f75da6","other":{"id":"n-2fe6a26f73f75da6","name":"basis_map_A013609 of The truncated (4,4,1)-Pascal triangle, given by 4*C(n-2, k) + 4*C(n-2, k-1) + C(n-2, k-2) for n>=2.","first_index":0,"fingerprint":"f6-f61ab9580d43f2f7","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["9","12","4"],["18","42","32","8"],["36","120","148","80","16"]],"card_rows":[["9","12","4"],["18","42","32","8"],["36","120","148","80","16"],["72","312","536","456","192","32"]],"row_sums_preview":["25","100","400","1600","6400","25600","102400","409600"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-f48bed27dbc29c5f","steps":["basis A013609"],"edges":["e-8866dbf598c953fc"],"text":"A391533 \u2192 basis A013609"},"headline":"A391533 \u2192 basis A013609","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:     4,     12,       9;\n  1:    12,     48,      63,       27;\n  2:    36,    180,     333,      270,       81;\n  3:   108,    648,    1539,     1809,     1053,      243;\n  4:   324,   2268,    6561,    10044,     8586,     3888,      729;\n  5:   972,   7776,   26487,    49815,    55890,    37422,    13851,     2187;\n  6:  2916,  26244,  102789,   228906,   317115,   279936,   153819,    48114,     6561;\n  7:  8748,  87480,  387099,   995085,  1638063,  1791153,  1301265,   605799,   164025,   19683;\n  8: 26244, 288684, 1423737,  4146552,  7899444, 10287648,  9277254,  5721192,  2309472,  551124,   59049;\n  9: 78732, 944784, 5137263, 16710867, 36137988, 54561276, 58694706, 44995338, 24091992, 8581788, 1830519, 177147;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (3+3*x)*P(n-1,x) for n >= 1, with P(0,x) = 4 + 12*x + 9*x^2.","mathematica":"P[0, x_] := 4 + 12*x + 9*x^2;\nP[n_, x_] := P[n, x] = Expand[(3 + 3*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] = 4 + 12*x + 9*x^2; for(n = 1, N, my(i = n + 1); v[i] = (3 + 3*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-7717563017cb9e5f","steps":["x \u21a6 x+1","basis A013610"],"edges":["e-34caf7309ed0b453","e-cdf1edb74bb4689f"],"text":"A159854 \u2192 x \u21a6 x+1 \u2192 basis A013610"},"headline":"A159854 \u2192 x \u21a6 x+1 \u2192 basis A013610","chain":null}