{"id":"n-77900e9176a9461a","revision":1,"first_index":0,"fingerprint":"f6-5e3baf07c55bade9","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","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"],["18","11"],["324","396","121"],["5832","10692","6534","1331"],["104976","256608","235224","95832","14641"],["1889568","5773680","7056720","4312440","1317690","161051"],["34012224","124711488","190531440","155247840","71155260","17393508","1771561"],["612220032","2618941248","4801392288","4890306960","2988520920","1095791004","223216686","19487171"],["11019960576","53875362816","115233414912","140840840448","107586753120","52597968192","16071601392","2806152624","214358881"],["198359290368","1090976097024","2666830459392","3802702692096","3485810801088","2130217711776","867866475168","227298362544","34726138722","2357947691"],["3570467226624","21819521940480","60003685336320","97783783511040","104574324032640","76687837623936","39053991382560","13637901752640","3125352484980","424430584380","25937424601"],["64268410079232","432026534421504","1320081077399040","2420148641898240","2957959451208960","2530698641589888","1546538058749376","675076136755680","206273264008680","42018627853620","5135610070998","285311670611"],["1156831381426176","8483430130458624","28513751271819264","58083567405557760","79864905182641920","78090129511916544","55675370114977536","29163289107845376","11138756256468720","3025341205460640","554645887667784","61627320851976","3138428376721"],["20822964865671168","165426887543943168","606565254327791616","1359155477290051584","2076487534748689920","2284136288223558912","1861148086700677632","1137368275205969664","521293792802736096","176982460519447440","43262379238087152","7210396539681192","734392240152714","34522712143931"],["374813367582081024","3206736589313359872","12737870340883623936","31137016388826636288","52327485875666985984","63955816070259649536","58626164731071345408","40945257907414907904","21894339297714916032","8919916010180150976","2725529891999490576","605673309333220128","92533422259241964","8699723460270612","379749833583241"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","29","841","24389","707281","20511149","594823321","17249876309","500246412961","14507145975869","420707233300201","12200509765705829","353814783205469041","10260628712958602189","297558232675799463481"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A007318","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["18","11"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":161993,"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-c73faa2b910a081c"]},{"id":161994,"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-c73faa2b910a081c"]},{"id":161995,"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-c73faa2b910a081c"]}],"region_exact":{},"incoming_edges":[{"id":"e-c73faa2b910a081c","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-77900e9176a9461a","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":"82a7a85ffe67a18d6441c6eef6ef08f857c39fa25da3ce5c63bf9fccc834107f","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-b7cf68162d40a956","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^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-1d01c7b69691c754","kind":"fingerprint_related","node_a_id":"n-77900e9176a9461a","node_b_id":"n-d2377120f9386969","fingerprint":"f6-5e3baf07c55bade9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5e3baf07c55bade9"},"other_id":"n-d2377120f9386969","other":{"id":"n-d2377120f9386969","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^j.","first_index":0,"fingerprint":"f6-5e3baf07c55bade9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["484","1584","1296"],["10648","52272","85536","46656"],["234256","1533312","3763584","4105728","1679616"]],"card_rows":[["484","1584","1296"],["10648","52272","85536","46656"],["234256","1533312","3763584","4105728","1679616"],["5153632","42166080","137998080","225815040","184757760","60466176"]],"row_sums_preview":["3364","195112","11316496","656356768","38068692544","2207984167552","128063081718016","7427658739644928"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-29d7c5a1e19b9d74","steps":["basis A013610"],"edges":["e-0be1d4b95988d4e0"],"text":"A038314 \u2192 basis A013610"},"headline":"A038314 \u2192 basis A013610","chain":null}},{"id":"l-95562ac448c16cb0","kind":"oeis_match","node_a_id":"n-77900e9176a9461a","node_b_id":null,"fingerprint":null,"oeis_id":"A009973","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":0,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A009973","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009973","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-77900e9176a9461a","oeis_id":"A009973","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":18,"oeis_terms_available":18,"term_count":200,"raw_size":30093}],"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:           18,            11;\n  2:          324,           396,           121;\n  3:         5832,         10692,          6534,          1331;\n  4:       104976,        256608,        235224,         95832,         14641;\n  5:      1889568,       5773680,       7056720,       4312440,       1317690,        161051;\n  6:     34012224,     124711488,     190531440,     155247840,      71155260,      17393508,      1771561;\n  7:    612220032,    2618941248,    4801392288,    4890306960,    2988520920,    1095791004,    223216686,     19487171;\n  8:  11019960576,   53875362816,  115233414912,  140840840448,  107586753120,   52597968192,  16071601392,   2806152624,   214358881;\n  9: 198359290368, 1090976097024, 2666830459392, 3802702692096, 3485810801088, 2130217711776, 867866475168, 227298362544, 34726138722, 2357947691;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (18+11*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[(18 + 11*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] = (18 + 11*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-b7cf68162d40a956","steps":["basis A007318"],"edges":["e-c73faa2b910a081c"],"text":"A038277 \u2192 basis A007318"},"headline":"A038277 \u2192 basis A007318","chain":null}