{"id":"n-b69b5201d4a2fd8f","revision":1,"first_index":0,"fingerprint":"f6-8b732aeffa021ba5","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*6^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":[["289","408","144"],["4913","10404","7344","1728"],["83521","235824","249696","117504","20736"],["1419857","5011260","7074720","4993920","1762560","248832"],["24137569","102229704","180405360","169793280","89890560","25380864","2985984"],["410338673","2027555796","4293647568","5051350080","3565658880","1510161408","355332096","35831808"],["6975757441","39392512608","97322678208","137396722176","121232401920","68460650496","24162582528","4873125888","429981696"],["118587876497","753381803628","2127195680832","3503616415488","3709711498752","2618619881472","1232291708928","372794130432","65787199488","5159780352"],["2015993900449","14230545179640","45202908217680","85087827233280","105108492464640","89033075970048","52372397629440","21125000724480","5591911956480","877162659840","61917364224"],["34271896307633","266111194859268","939215981856240","1988927961577920","2807898298698240","2774864201066496","1958727671341056","987593783869440","348562511953920","82014708695040","11578547109888","743008370688"],["582622237229761","4935153068299152","19160006029867296","45082367129099520","71601406616805120","80867471002509312","66596740825595904","40293826381873152","17776688109649920","5577000191262720","1181011805208576","151573707620352","8916100448256"],["9904578032905937","90889069007842716","384941939327333856","996320313553099392","1758212318034881280","2233963886444319744","2102554246065242112","1484155938398994432","785729614446526464","308129260567265280","87001202983698432","16748894692048896","1970458199064576","106993205379072"],["168377826559400929","1663969109528197416","7634681796658788144","21556748602330695936","41845453169230174464","59075933885972011008","62550988820440952832","50461301905565810688","31167274706378883072","14666952803001827328","5176571577530056704","1328745645569212416","234484525688684544","25464382880219136","1283918464548864"],["2862423051509815793","30308008780692167220","149757219857537767440","458080907799527288640","970053687104881317120","1506436314092286280704","1772278016579160330240","1608453998239910215680","1135379292875230740480","623345494127577661440","264005150454032891904","84707534905037291520","19931184683538186240","3246708817227939840","327399208459960320","15407021574586368"],["48661191875666868481","549585225889884632256","2909568842946448053120","9584462070882417116160","21987883574377309854720","37250061584827442577408","48205962050953160982528","48611054169028397629440","38602895957757845176320","24221424914671589130240","11968233487249491099648","4608089898834028658688","1355320558480596664320","294368266095333212160","44526292350554603520","4190709868287492096","184884258895036416"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["841","24389","707281","20511149","594823321","17249876309","500246412961","14507145975869","420707233300201","12200509765705829","353814783205469041","10260628712958602189","297558232675799463481","8629188747598184440949","250246473680347348787521"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["289","408","144"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["17","12"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166875,"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-7304be3f66cc3caf"]},{"id":166876,"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-7304be3f66cc3caf"]},{"id":166877,"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-7304be3f66cc3caf"]}],"region_exact":{},"incoming_edges":[{"id":"e-7304be3f66cc3caf","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-b69b5201d4a2fd8f","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":"9ad4aa1f7636430c0f073827ef70f781d423d6e19cfd968a3ef2be011d4671ac","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-1f2dec04776afb2b","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*6^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-0ce5bbd65d8e2789","kind":"oeis_match","node_a_id":"n-b69b5201d4a2fd8f","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":2,"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":[],"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:            289,             408,             144;\n  1:           4913,           10404,            7344,             1728;\n  2:          83521,          235824,          249696,           117504,            20736;\n  3:        1419857,         5011260,         7074720,          4993920,          1762560,           248832;\n  4:       24137569,       102229704,       180405360,        169793280,         89890560,         25380864,          2985984;\n  5:      410338673,      2027555796,      4293647568,       5051350080,       3565658880,       1510161408,        355332096,        35831808;\n  6:     6975757441,     39392512608,     97322678208,     137396722176,     121232401920,      68460650496,      24162582528,      4873125888,       429981696;\n  7:   118587876497,    753381803628,   2127195680832,    3503616415488,    3709711498752,    2618619881472,    1232291708928,    372794130432,     65787199488,     5159780352;\n  8:  2015993900449,  14230545179640,  45202908217680,   85087827233280,  105108492464640,   89033075970048,   52372397629440,  21125000724480,   5591911956480,   877162659840,    61917364224;\n  9: 34271896307633, 266111194859268, 939215981856240, 1988927961577920, 2807898298698240, 2774864201066496, 1958727671341056, 987593783869440, 348562511953920, 82014708695040, 11578547109888, 743008370688;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (17+12*x)*P(n-1,x) for n >= 1, with P(0,x) = 289 + 408*x + 144*x^2.","mathematica":"P[0, x_] := 289 + 408*x + 144*x^2;\nP[n_, x_] := P[n, x] = Expand[(17 + 12*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] = 289 + 408*x + 144*x^2; for(n = 1, N, my(i = n + 1); v[i] = (17 + 12*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-1f2dec04776afb2b","steps":["basis A013609"],"edges":["e-7304be3f66cc3caf"],"text":"A038320 \u2192 basis A013609"},"headline":"A038320 \u2192 basis A013609","chain":null}