{"id":"n-718e8eb36d755083","revision":0,"first_index":0,"fingerprint":"f6-5dbcc0e32705bbae","name":"basis_map_A013611 of basis_map_A013609 of Triangle of coefficients in expansion of (1+2*x)^n.","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"],["7","16"],["49","224","256"],["343","2352","5376","4096"],["2401","21952","75264","114688","65536"],["16807","192080","878080","2007040","2293760","1048576"],["117649","1613472","9219840","28098560","48168960","44040192","16777216"],["823543","13176688","90354432","344207360","786759680","1078984704","822083584","268435456"],["5764801","105413504","843308032","3855122432","11014635520","20141047808","23018340352","15032385536","4294967296"],["40353607","830131344","7589772288","40478785536","138784407552","317221502976","483385147392","473520144384","270582939648","68719476736"],["282475249","6456577120","66410507520","404787855360","1619151421440","4441101041664","8459240079360","11048803368960","9470402887680","4810363371520","1099511627776"],["1977326743","49715643824","568178786560","3896083107840","17810665635840","56994130034688","130272297222144","212689464852480","243073674117120","185198989803520","84662395338752","17592186044416"],["13841287201","379646734656","4772701807104","36363442339840","187011989176320","683929560416256","1823812161110016","3573183009521664","5104547156459520","5185571714498560","3555820604227584","1477743627730944","281474976710656"],["96889010407","2878987737808","39483260404224","330907325292544","1890899001671680","7779698749734912","23709558094430208","54193275644411904","92902758247563264","117971756504842240","107859891661570048","67237335061757952","25614222880669696","4503599627370496"],["678223072849","21703138331168","322446626634496","2948083443515392","18530810216382464","84712275274891264","290442086656770048","758705859021766656","1517411718043533312","2312246427494907904","2642567345708466176","2196419612017426432","1255096921152815104","441352763482308608","72057594037927936"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","23","529","12167","279841","6436343","148035889","3404825447","78310985281","1801152661463","41426511213649","952809757913927","21914624432020321","504036361936467383","11592836324538749809"],"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":[["7","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":205674,"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-1f4c98973d4afd88"]},{"id":205675,"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-1f4c98973d4afd88"]},{"id":205676,"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-1f4c98973d4afd88"]}],"region_exact":{},"incoming_edges":[{"id":"e-1f4c98973d4afd88","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-718e8eb36d755083","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":"828e3c0616842168f9950a9709df778cb0027d56781fdc64c9d866b6bc53056d","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-026074a09c74735a","role":"sequence","name":"basis_map_A013609 of Triangle of coefficients in expansion of (1+2*x)^n.","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-188893b749f597bc","kind":"fingerprint_related","node_a_id":"n-718e8eb36d755083","node_b_id":"n-fbe82ef48b3f7905","fingerprint":"f6-5dbcc0e32705bbae","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5dbcc0e32705bbae"},"other_id":"n-fbe82ef48b3f7905","other":{"id":"n-fbe82ef48b3f7905","name":"basis_map_A013611 of basis_map_A013609 of Triangle read by rows: T(n,k) is the number of ternary words of length n having k runs (i.e., subwords of maximal length) of identical letters (1 <= k <= n).","first_index":0,"fingerprint":"f6-5dbcc0e32705bbae","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["3"],["21","48"],["147","672","768"]],"card_rows":[["3"],["21","48"],["147","672","768"],["1029","7056","16128","12288"]],"row_sums_preview":["3","69","1587","36501","839523","19309029","444107667","10214476341"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-51b4f5e7901c2b50","steps":["basis A013611","basis A013611"],"edges":["e-1a05d30902084644","e-86ed1d9e28b1ef1d"],"text":"A120910 \u2192 basis A013611 \u2192 basis A013611"},"headline":"A120910 \u2192 basis A013611 \u2192 basis A013611","chain":null}},{"id":"l-3c2a5a5ca3f280d6","kind":"fingerprint_related","node_a_id":"n-da75ead823e98604","node_b_id":"n-718e8eb36d755083","fingerprint":"f6-5dbcc0e32705bbae","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5dbcc0e32705bbae"},"other_id":"n-da75ead823e98604","other":{"id":"n-da75ead823e98604","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*6^j.","first_index":0,"fingerprint":"f6-5dbcc0e32705bbae","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["196","896","1024"],["2744","18816","43008","32768"],["38416","351232","1204224","1835008","1048576"]],"card_rows":[["196","896","1024"],["2744","18816","43008","32768"],["38416","351232","1204224","1835008","1048576"],["537824","6146560","28098560","64225280","73400320","33554432"]],"row_sums_preview":["2116","97336","4477456","205962976","9474296896","435817657216","20047612231936","922190162669056"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c11cb6bca0e3e7dc","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-89b2e37c644537dd","e-45f9ae74a95d91f1"],"text":"A038284 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A038284 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-48ed9578ed37fb2b","kind":"fingerprint_related","node_a_id":"n-d1de13ff8d7c81cc","node_b_id":"n-718e8eb36d755083","fingerprint":"f6-5dbcc0e32705bbae","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5dbcc0e32705bbae"},"other_id":"n-d1de13ff8d7c81cc","other":{"id":"n-d1de13ff8d7c81cc","name":"basis_map_A013610 of basis_map_A013611 of Triangle of coefficients in expansion of (1+4x)^n.","first_index":0,"fingerprint":"f6-5dbcc0e32705bbae","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["21","48"],["441","2016","2304"]],"card_rows":[["1"],["21","48"],["441","2016","2304"],["9261","63504","145152","110592"]],"row_sums_preview":["1","69","4761","328509","22667121","1564031349","107918163081","7446353252589"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2e0409c0014ec240","steps":["basis A013611","basis A013610"],"edges":["e-189a8da608edbb49","e-b438234789c6be5c"],"text":"A013611 \u2192 basis A013611 \u2192 basis A013610"},"headline":"A013611 \u2192 basis A013611 \u2192 basis A013610","chain":null}},{"id":"l-c2dc51bffc8a11d3","kind":"fingerprint_related","node_a_id":"n-58b6050751882152","node_b_id":"n-718e8eb36d755083","fingerprint":"f6-5dbcc0e32705bbae","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5dbcc0e32705bbae"},"other_id":"n-58b6050751882152","other":{"id":"n-58b6050751882152","name":"shift_x_plus_one of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^j.","first_index":0,"fingerprint":"f6-5dbcc0e32705bbae","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1024","896","196"],["32768","43008","18816","2744"],["1048576","1835008","1204224","351232","38416"]],"card_rows":[["1024","896","196"],["32768","43008","18816","2744"],["1048576","1835008","1204224","351232","38416"],["33554432","73400320","64225280","28098560","6146560","537824"]],"row_sums_preview":["2116","97336","4477456","205962976","9474296896","435817657216","20047612231936","922190162669056"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-7dcf11eddf2b9a8a","steps":["basis A013609","basis A007318"],"edges":["e-322a2e4c0bbd3231","e-7c3287b068ad6d23"],"text":"A038321 \u2192 basis A013609 \u2192 basis A007318"},"headline":"A038321 \u2192 basis A013609 \u2192 basis A007318","chain":null}},{"id":"l-e79ff6f5a7ed398b","kind":"fingerprint_related","node_a_id":"n-e056d449033a10a5","node_b_id":"n-718e8eb36d755083","fingerprint":"f6-5dbcc0e32705bbae","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5dbcc0e32705bbae"},"other_id":"n-e056d449033a10a5","other":{"id":"n-e056d449033a10a5","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*9^j.","first_index":0,"fingerprint":"f6-5dbcc0e32705bbae","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["21","48"],["441","2016","2304"]],"card_rows":[["1"],["21","48"],["441","2016","2304"],["9261","63504","145152","110592"]],"row_sums_preview":["1","69","4761","328509","22667121","1564031349","107918163081","7446353252589"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-f485cd65a8f8089f","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-b7b3e04e23eb02df","e-794362033faa5298"],"text":"A038335 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A038335 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","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:        1;\n  1:        7,        16;\n  2:       49,       224,        256;\n  3:      343,      2352,       5376,        4096;\n  4:     2401,     21952,      75264,      114688,        65536;\n  5:    16807,    192080,     878080,     2007040,      2293760,      1048576;\n  6:   117649,   1613472,    9219840,    28098560,     48168960,     44040192,     16777216;\n  7:   823543,  13176688,   90354432,   344207360,    786759680,   1078984704,    822083584,    268435456;\n  8:  5764801, 105413504,  843308032,  3855122432,  11014635520,  20141047808,  23018340352,  15032385536,   4294967296;\n  9: 40353607, 830131344, 7589772288, 40478785536, 138784407552, 317221502976, 483385147392, 473520144384, 270582939648, 68719476736;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (7+16*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[(7 + 16*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] = (7 + 16*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-71965e79e47a4526","steps":["basis A013609","basis A013611"],"edges":["e-95924f9cf72f1e84","e-1f4c98973d4afd88"],"text":"A013609 \u2192 basis A013609 \u2192 basis A013611"},"headline":"A013609 \u2192 basis A013609 \u2192 basis A013611","chain":null}