{"id":"n-3de3dd57fdba145b","revision":0,"first_index":0,"fingerprint":"f6-4f2c8cb4b6021dc1","name":"basis_map_A013609 of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*5^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":[["1369","2960","1600"],["50653","164280","177600","64000"],["1874161","8104480","13142400","9472000","2560000"],["69343957","374832200","810448000","876160000","473600000","102400000"],["2565726409","16642549680","44979864000","64835840000","52569600000","22732800000","4096000000"],["94931877133","718403394520","2329956955200","4198120640000","4538508800000","2943897600000","1060864000000","163840000000"],["3512479453921","30378200682560","114944543123200","248528741888000","335849651200000","290464563200000","157007872000000","48496640000000","6553600000000"],["129961739795077","1264492603411560","5468076122860800","13793345174784000","22367586769920000","24181174886400000","17427873792000000","8074690560000000","2182348800000000","262144000000000"],["4808584372417849","51984695918030800","252898520682312000","729076816381440000","1379334517478400000","1789406941593600000","1612078325760000000","995878502400000000","403734528000000000","96993280000000000","10485760000000000"],["177917621779460413","2115777123863853560","11436633101966776000","37091783033405760000","80198449801958400000","121381437538099200000","131223175716864000000","101330637619200000000","54773317632000000000","19738132480000000000","4267704320000000000","419430400000000000"],["6582952005840035281","85400458454140998240","507786509727324854400","1829861296314684160000","4451013964008691200000","7699051180988006400000","9710515003047936000000","8998160620584960000000","6079838257152000000000","2921243607040000000000","947430359040000000000","186227097600000000000","16777216000000000000"],["243569224216081305397","3423135043036818346120","22204119198076659542400","88016328352736308096000","237881968520908940800000","462905452256903884800000","667251102352293888000000","721352543083560960000000","584880440338022400000000","351279543746560000000000","151904667566080000000000","44787616972800000000000","8069840896000000000000","671088640000000000000"],["9012061295995008299689","136398765561005531022320","958477812050309136913600","4144768916974309781248000","12322285969383083133440000","26642780474341801369600000","43204508877311029248000000","53380088188183511040000000","50494678015849267200000000","36392560732143616000000000","19671654449807360000000000","7733328530636800000000000","2090088792064000000000000","347623915520000000000000","26843545600000000000000"],["333446267951815307088493","5407236777597004979813400","40919629668301659306696000","191695562410061827382720000","621715337546146467187200000","1478674316325969976012800000","2664278047434180136960000000","3703243618055231078400000000","4003506614113763328000000000","3366311867723284480000000000","2183553643928616960000000000","1072999333625856000000000000","386666426531840000000000000","96465636556800000000000000","14898167808000000000000000","1073741824000000000000000"],["12337511914217166362274241","213405611489161796536635520","1730315768831041593540288000","8729520995904353985428480000","30671289985609892381235200000","79579563205906747799961600000","157725260408103464108032000000","243591135765410755379200000000","296259489444418486272000000000","284693803670312058880000000000","215443959534290206720000000000","127043121101301350400000000000","57226631126712320000000000000","19035885613875200000000000000","4409857671168000000000000000","635655159808000000000000000","42949672960000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["5929","456533","35153041","2706784157","208422380089","16048523266853","1235736291547681","95151694449171437","7326680472586200649","564154396389137449973","43439888521963583647921","3344871416191195940889917","257555099046722087448523609","19831742626597600733536317893","1527044182248015256482296477761"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1369","2960","1600"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["37","40"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":201195,"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-4f307c9ee7bfdb0a"]},{"id":201196,"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-4f307c9ee7bfdb0a"]},{"id":201197,"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-4f307c9ee7bfdb0a"]}],"region_exact":{},"incoming_edges":[{"id":"e-4f307c9ee7bfdb0a","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-3de3dd57fdba145b","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":"07614ff3bf0cd1e0e9f22211c41c0041bcffd36c3a01e1a99e6ab4bb1b5bb774","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-21ab4a5c6132df39","role":"sequence","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*5^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":[],"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:               1369,                2960,                 1600;\n  1:              50653,              164280,               177600,                64000;\n  2:            1874161,             8104480,             13142400,              9472000,              2560000;\n  3:           69343957,           374832200,            810448000,            876160000,            473600000,             102400000;\n  4:         2565726409,         16642549680,          44979864000,          64835840000,          52569600000,           22732800000,            4096000000;\n  5:        94931877133,        718403394520,        2329956955200,        4198120640000,        4538508800000,         2943897600000,         1060864000000,          163840000000;\n  6:      3512479453921,      30378200682560,      114944543123200,      248528741888000,      335849651200000,       290464563200000,       157007872000000,        48496640000000,        6553600000000;\n  7:    129961739795077,    1264492603411560,     5468076122860800,    13793345174784000,    22367586769920000,     24181174886400000,     17427873792000000,      8074690560000000,     2182348800000000,      262144000000000;\n  8:   4808584372417849,   51984695918030800,   252898520682312000,   729076816381440000,  1379334517478400000,   1789406941593600000,   1612078325760000000,    995878502400000000,   403734528000000000,    96993280000000000,   10485760000000000;\n  9: 177917621779460413, 2115777123863853560, 11436633101966776000, 37091783033405760000, 80198449801958400000, 121381437538099200000, 131223175716864000000, 101330637619200000000, 54773317632000000000, 19738132480000000000, 4267704320000000000, 419430400000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (37+40*x)*P(n-1,x) for n >= 1, with P(0,x) = 1369 + 2960*x + 1600*x^2.","mathematica":"P[0, x_] := 1369 + 2960*x + 1600*x^2;\nP[n_, x_] := P[n, x] = Expand[(37 + 40*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] = 1369 + 2960*x + 1600*x^2; for(n = 1, N, my(i = n + 1); v[i] = (37 + 40*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-a5302200d285579d","steps":["basis A013611","basis A013609"],"edges":["e-df900b884626232f","e-4f307c9ee7bfdb0a"],"text":"A038331 \u2192 basis A013611 \u2192 basis A013609"},"headline":"A038331 \u2192 basis A013611 \u2192 basis A013609","chain":null}