{"id":"n-649aa8398fb69113","revision":1,"first_index":0,"fingerprint":"f6-b35a687a1de5c177","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(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":[["361","532","196"],["6859","15162","11172","2744"],["130321","384104","424536","208544","38416"],["2476099","9122470","13443640","9905840","3649520","537824"],["47045881","207992316","383143740","376421920","208022640","61311936","7529536"],["893871739","4610496338","10191623484","12516028840","9222337040","4077243744","1001428288","105413504"],["16983563041","100113634768","258187794928","380487276736","350448807520","206580349696","76108549888","16022852608","1475789056"],["322687697779","2139928943166","6307158990384","10843887386976","11985349217184","8831309949504","4338187343616","1369953897984","252359928576","20661046784"],["6131066257801","45176277689060","149795026021620","294334086217920","379536058544160","335589778081152","206063898821760","86763746872320","23974193214720","3925598888960","289254654976"],["116490258898219","944184203701354","3478573382057620","7689478002443160","11331862319389920","11689710603160128","8613470970749568","4533405774078720","1670202127292160","410225083896320","60454222889984","4049565169664"],["2213314919066161","19570363494900792","79311473110913736","194800109395226720","322958076102612720","380750573931501312","327311896888483584","206723303297989632","95201521255653120","31177106376120320","6891781409458176","923300858683392","56693912375296"],["42052983462257059","402823315270041302","1780903078035972072","4811562702062099984","8863404977482815760","11755673970135103008","11549434075922206464","8510109319100573184","4702955150029264128","1925186318725429760","567423336045389824","114027656047398912","14003396356698112","793714773254144"],["799006685782884121","8242384758602383564","39476684896464047596","116352334431683508704","235766572401042899216","347445475117326377792","384018683024413364928","323384154125821780992","208497678317964043008","102419912156192863232","37733651847018423296","10110452169536036864","1862451715440848896","211128129685602304","11112006825558016"],["15181127029874798299","167791404014405665410","865450399653250274220","2763367942752483331720","6108497557663384206960","9902196040843801767072","12160591629106423222720","11520560490732400947840","8488834045802821751040","4864945827419161003520","2150818155280050127872","720369717079442626560","176932912966880645120","30085758480198328320","3166921945284034560","155568095557812224"],["288441413567621167681","3400572454691954818976","18792637249613434525920","64620296507442687141760","154748604794139066576320","273660690583319612471808","369681985524835265970688","389138932131405543127040","322575693740507226539520","211277647362203563581440","108974786534189206478848","43798478798430111694848","13446901385482929029120","3048690192660097269760","481372135683173253120","47292701049574916096","2177953337809371136"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1089","35937","1185921","39135393","1291467969","42618442977","1406408618241","46411484401953","1531578985264449","50542106513726817","1667889514952984961","55040353993448503713","1816331681783800622529","59938945498865420543457","1977985201462558877934081"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["361","532","196"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["19","14"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166893,"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-20f4338b8f3f0a8d"]},{"id":166894,"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-20f4338b8f3f0a8d"]},{"id":166895,"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-20f4338b8f3f0a8d"]}],"region_exact":{},"incoming_edges":[{"id":"e-20f4338b8f3f0a8d","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-649aa8398fb69113","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":"8e55ca0e5a3d733f4cbd586333d4c8f47bb49bdf074a82519c24c87443bda37b","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-5cf6acfdac607d6d","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(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-2e8ce8192f4034e2","kind":"oeis_match","node_a_id":"n-649aa8398fb69113","node_b_id":null,"fingerprint":null,"oeis_id":"A009977","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":"A009977","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009977","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:             361,             532,              196;\n  1:            6859,           15162,            11172,             2744;\n  2:          130321,          384104,           424536,           208544,             38416;\n  3:         2476099,         9122470,         13443640,          9905840,           3649520,            537824;\n  4:        47045881,       207992316,        383143740,        376421920,         208022640,          61311936,          7529536;\n  5:       893871739,      4610496338,      10191623484,      12516028840,        9222337040,        4077243744,       1001428288,        105413504;\n  6:     16983563041,    100113634768,     258187794928,     380487276736,      350448807520,      206580349696,      76108549888,      16022852608,       1475789056;\n  7:    322687697779,   2139928943166,    6307158990384,   10843887386976,    11985349217184,     8831309949504,    4338187343616,    1369953897984,     252359928576,     20661046784;\n  8:   6131066257801,  45176277689060,  149795026021620,  294334086217920,   379536058544160,   335589778081152,  206063898821760,   86763746872320,   23974193214720,   3925598888960,   289254654976;\n  9: 116490258898219, 944184203701354, 3478573382057620, 7689478002443160, 11331862319389920, 11689710603160128, 8613470970749568, 4533405774078720, 1670202127292160, 410225083896320, 60454222889984, 4049565169664;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (19+14*x)*P(n-1,x) for n >= 1, with P(0,x) = 361 + 532*x + 196*x^2.","mathematica":"P[0, x_] := 361 + 532*x + 196*x^2;\nP[n_, x_] := P[n, x] = Expand[(19 + 14*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] = 361 + 532*x + 196*x^2; for(n = 1, N, my(i = n + 1); v[i] = (19 + 14*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-5cf6acfdac607d6d","steps":["basis A013609"],"edges":["e-20f4338b8f3f0a8d"],"text":"A038333 \u2192 basis A013609"},"headline":"A038333 \u2192 basis A013609","chain":null}