{"id":"n-2e899f466825f70c","revision":1,"first_index":0,"fingerprint":"f6-01d13d5eb225b288","name":"basis_map_A013610 of Pascal-(1,6,1) array.","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","3"],["10","30","9"],["32","144","162","27"],["124","744","1350","702","81"],["440","3300","8496","8532","2754","243"],["1624","14616","48384","71064","44226","10206","729"],["5888","61824","250992","491400","471744","204120","36450","2187"],["21520","258240","1240848","3033072","3962196","2680776","873342","126846","6561"],["78368","1057968","5875200","17254944","28699272","26964252","13681872","3542940","433026","19683"],["285856","4287840","27017712","92669184","187531848","227430504","161750520","64612728","13817466","1456542","59049"],["1041920","17191680","121193568","475674768","1135855872","1695828960","1573240320","882008352","287844192","52278048","4842018","177147"],["3798976","68381568","533249568","2357264160","6491972448","11539381824","13298219712","9782923392","4467647340","1225542312","193090230","15943230","531441"],["13849472","270064704","2308255488","11349809856","35433018432","73175060448","101178948096","93070881792","55887280344","21348890388","5032864368","699376356","52081218","1594323"],["50492800","1060348800","9857070720","53366463360","186298056000","438740971200","709381268640","787744103040","593885711160","298130527800","97330702896","20068629336","2492458290","168998238","4782969"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","5","49","365","3001","23765","190849","1524605","12203401","97607525","780919249","6247176845","49977946201","399821975285","3198580585249"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["2","3"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["6","18"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","3"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":167221,"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-e032744ce789618e"]},{"id":167222,"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-e032744ce789618e"]},{"id":167223,"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-e032744ce789618e"]},{"id":167224,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1","region_exact":null,"edges":["e-e032744ce789618e"]}],"region_exact":{},"incoming_edges":[{"id":"e-e032744ce789618e","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-2e899f466825f70c","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":"c718455f6c914f28b756270ac883d00fa7ffd2249a0c6f1ccfb01b659de369ae","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-212fa067c32397af","role":"sequence","name":"Pascal-(1,6,1) array.","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":[],"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:     2,       3;\n  2:    10,      30,       9;\n  3:    32,     144,     162,       27;\n  4:   124,     744,    1350,      702,       81;\n  5:   440,    3300,    8496,     8532,     2754,      243;\n  6:  1624,   14616,   48384,    71064,    44226,    10206,      729;\n  7:  5888,   61824,  250992,   491400,   471744,   204120,    36450,    2187;\n  8: 21520,  258240, 1240848,  3033072,  3962196,  2680776,   873342,  126846,   6561;\n  9: 78368, 1057968, 5875200, 17254944, 28699272, 26964252, 13681872, 3542940, 433026, 19683;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (6+18*x)*P(n-2,x) + (2+3*x)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 2 + 3*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 2 + 3*x;\nP[n_, x_] := P[n, x] = Expand[(6 + 18*x)*P[n - 2, x] + (2 + 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] = 1; v[2] = 2 + 3*x; for(n = 2, N, my(i = n + 1); v[i] = (6 + 18*x)*v[i - 2] + (2 + 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-212fa067c32397af","steps":["basis A013610"],"edges":["e-e032744ce789618e"],"text":"A081581 \u2192 basis A013610"},"headline":"A081581 \u2192 basis A013610","chain":null}