{"id":"n-32cf9641286d8e9f","revision":1,"first_index":0,"fingerprint":"f6-c53984b4362c13dd","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^j.","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":[["324","252","49"],["5832","6804","2646","343"],["104976","163296","95256","24696","2401"],["1889568","3674160","2857680","1111320","216090","16807"],["34012224","79361856","77157360","40007520","11668860","1815156","117649"],["612220032","1666598976","1944365472","1260236880","490092120","114354828","14823774","823543"],["11019960576","34284321792","46664771328","36294822144","17643316320","5489031744","1067311728","118590192","5764801"],["198359290368","694257516288","1079956136448","979960197888","571643448768","222305785632","57634833312","9605805552","933897762","40353607"],["3570467226624","13885150325760","24299013070080","25198976517120","17149303463040","8003008282752","2593567499040","576348333120","84050798580","7263649260","282475249"],["64268410079232","274925976450048","534578287541760","623674668798720","485080297954560","264099273330816","102705272961984","28529242489440","5547352706280","719101276740","55930099302","1977326743"],["1156831381426176","5398546446655488","11546891010902016","14968192051169280","13097168044773120","8149349005636608","3697389826631424","1232463275543808","299557046139120","51775291925280","6040450724616","427102576488","13841287201"],["20822964865671168","105271655709782016","245633863322824704","350255693997361152","340526369164101120","238368458414870784","123598459918821888","48066067746208512","14019269759310816","3028854577628880","471155156520048","49971001449096","3238861205034","96889010407"],["374813367582081024","2040650556835774464","5158311129779318784","8024039535212273664","8581264502935348224","6674316835616381952","3893351487442889472","1730378438863506432","588809329891054272","152654270712495552","29682774860763024","4197564121724064","408096511834284","24416030622564","678223072849"],["6746640616477458432","39355403596118507520","107134154233878159360","180540889542276157440","210631037799322183680","180206554561642312704","116800544623286684160","58400272311643342080","22711217010083521920","6869442182062299840","1602869842481203296","283335578216374320","36728686065085560","3296164134046140","183120229669230","4747561509943"],["121439531096594251776","755623749045475344384","2203902601382636421120","3999675091398117949440","5055144907183732408320","4718135246704816914432","3363855685150656503808","1868808713972586946560","817603812363006789120","282628478347706050560","76937752439097758208","16320129305263160832","2644465396686160320","316431756868429440","26369313072369120","1367297714863584","33232930569601"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["625","15625","390625","9765625","244140625","6103515625","152587890625","3814697265625","95367431640625","2384185791015625","59604644775390625","1490116119384765625","37252902984619140625","931322574615478515625","23283064365386962890625"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A007318","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["324","252","49"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["18","7"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162054,"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-5a47242ff4b92549"]},{"id":162055,"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-5a47242ff4b92549"]},{"id":162056,"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-5a47242ff4b92549"]}],"region_exact":{},"incoming_edges":[{"id":"e-5a47242ff4b92549","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-32cf9641286d8e9f","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":"ee39e346f41a3f795e72b95e9a7405e20a4ee68b21d209d92f8b6e013325b5d7","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-7dcf11eddf2b9a8a","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^j.","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-7773031a32a8eb36","kind":"fingerprint_related","node_a_id":"n-32cf9641286d8e9f","node_b_id":"n-b4e192fec3e320c1","fingerprint":"f6-c53984b4362c13dd","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-c53984b4362c13dd"},"other_id":"n-b4e192fec3e320c1","other":{"id":"n-b4e192fec3e320c1","name":"basis_map_A013610 of Triangle of coefficients in expansion of (1+6x)^n.","first_index":0,"fingerprint":"f6-c53984b4362c13dd","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["7","18"],["49","252","324"]],"card_rows":[["1"],["7","18"],["49","252","324"],["343","2646","6804","5832"]],"row_sums_preview":["1","25","625","15625","390625","9765625","244140625","6103515625"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-efce1b6c07b70e1a","steps":["basis A013610"],"edges":["e-694953561e6f80c1"],"text":"A013613 \u2192 basis A013610"},"headline":"A013613 \u2192 basis A013610","chain":null}},{"id":"l-3163474e041fc3d4","kind":"oeis_match","node_a_id":"n-32cf9641286d8e9f","node_b_id":null,"fingerprint":null,"oeis_id":"A009969","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":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A009969","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009969","relation":"match_row_sums"}],"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:            324,             252,              49;\n  1:           5832,            6804,            2646,             343;\n  2:         104976,          163296,           95256,           24696,            2401;\n  3:        1889568,         3674160,         2857680,         1111320,          216090,           16807;\n  4:       34012224,        79361856,        77157360,        40007520,        11668860,         1815156,          117649;\n  5:      612220032,      1666598976,      1944365472,      1260236880,       490092120,       114354828,        14823774,         823543;\n  6:    11019960576,     34284321792,     46664771328,     36294822144,     17643316320,      5489031744,      1067311728,      118590192,       5764801;\n  7:   198359290368,    694257516288,   1079956136448,    979960197888,    571643448768,    222305785632,     57634833312,     9605805552,     933897762,     40353607;\n  8:  3570467226624,  13885150325760,  24299013070080,  25198976517120,  17149303463040,   8003008282752,   2593567499040,   576348333120,   84050798580,   7263649260,   282475249;\n  9: 64268410079232, 274925976450048, 534578287541760, 623674668798720, 485080297954560, 264099273330816, 102705272961984, 28529242489440, 5547352706280, 719101276740, 55930099302, 1977326743;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (18+7*x)*P(n-1,x) for n >= 1, with P(0,x) = 324 + 252*x + 49*x^2.","mathematica":"P[0, x_] := 324 + 252*x + 49*x^2;\nP[n_, x_] := P[n, x] = Expand[(18 + 7*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] = 324 + 252*x + 49*x^2; for(n = 1, N, my(i = n + 1); v[i] = (18 + 7*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-7dcf11eddf2b9a8a","steps":["basis A007318"],"edges":["e-5a47242ff4b92549"],"text":"A038321 \u2192 basis A007318"},"headline":"A038321 \u2192 basis A007318","chain":null}