{"id":"n-4382590f97f7a0e0","revision":0,"first_index":0,"fingerprint":"f6-5b5479335e540f4e","name":"basis_map_A008277 of basis_map_A013611 of Triangle of coefficients in expansion of (1+5x)^n.","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":false,"rows":[["676","1440","400"],["17576","79760","55200","8000"],["456976","4020480","5238400","1792000","160000"],["11881376","194081600","426144000","258880000","52800000","3200000"],["308915776","9165381120","32007136000","30786560000","10774400000","1459200000","64000000"],["8031810176","427785847040","2295778598400","3287786880000","1757817600000","399347200000","38528000000","1280000000"],["208827064576","19838785167360","160077104435200","328665243648000","252084403200000","85474099200000","13612032000000","983040000000","25600000000"],["5429503678976","916760658990080","10961864596070400","31466753042432000","33294251612160000","15811424563200000","3696838656000000","435425280000000","24422400000000","512000000000"],["141167095653376","42279580387123200","741818276520448000","2925378053570560000","4158525731737600000","2658124527206400000","855966935040000000","146217369600000000","13251072000000000","593920000000000","10240000000000"],["3670344486987776","1947684039720734720","49805597858092032000","266418878137477120000","499311288635596800000","418094205062758400000","178133663059968000000","41391422054400000000","5389046784000000000","387368960000000000","14192640000000000","204800000000000"],["95428956661682176","89666872716893552640","3326123139428488806400","23908135476984872960000","58255374158122803200000","62666095610619494400000","34369398908010496000000","10433649322229760000000","1830191142912000000000","187578941440000000000","10954915840000000000","334233600000000000","4096000000000000"],["2481152873203736576","4126584724110337064960","221317464656618132275200","2122622113809268850688000","6653232370300714598400000","9061035530100512358400000","6271254152781922304000000","2419373765650350080000000","549088539026227200000000","75245084794880000000000","6227389808640000000000","301319782400000000000","7774208000000000000","81920000000000000"],["64509974703297150976","189872520366539579719680","14689484361819003471462400","186971851080729483804672000","747695073528061124444160000","1274755124198678849126400000","1096823816908170903552000000","527041128153596559360000000","150517943571885260800000000","26482258248269824000000000","2912291792650240000000000","198672462643200000000000","8094334976000000000000","178913280000000000000","1638400000000000000"],["1677259342285725925376","8735426136354886610124800","973303418287385020710912000","16373368880179115676631040000","82995114815589068867174400000","175573047119594757478809600000","185631379752566528901120000000","109425303611660446924800000000","38537160067442589696000000000","8465704070581288960000000000","1187823110104350720000000000","107119261663232000000000000","6126542356480000000000000","213055897600000000000000","4079616000000000000000","32768000000000000000"],["43608742899428874059776","401863147459170498584248320","64412734129694509099122688000","1427575792061151648604487680000","9124949548056023613453107200000","23782106233380720819673497600000","30613642386266608369139712000000","21877227994586964767539200000000","9356417844777530621952000000000","2514678239888597319680000000000","437762104295209041920000000000","50107800571242086400000000000","3772045500088320000000000000","183464833843200000000000000","5509480448000000000000000","92274688000000000000000","655360000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["2516","160536","11667856","946986976","84565592896","8216355935616","860969134715136","96613682312531456","11542306873157784576","1460897222376500074496","195077602246861470601216","27383834652716517064564736","4028285856223501691435565056","619284404921702541417582002176","99253243697514372387388585476096"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A008277","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["676","1440","400"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["26","20"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","20"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":198142,"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-453bbb6f4006a863"]},{"id":198143,"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-453bbb6f4006a863"]},{"id":198144,"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-453bbb6f4006a863"]}],"region_exact":{},"incoming_edges":[{"id":"e-453bbb6f4006a863","operation":{"map":"A008277","operation":"basis_map"},"operation_detail":"A008277","conclusion_id":"n-4382590f97f7a0e0","premise_count":1,"theorem":"ray basis maps: for L f = (a + b t) f + kappa (t - h) f', b > 0, kappa >= 0, and g real-rooted with every root <= h, of multiplicity m at h, T(u^k) = L^k g sends every real polynomial with all roots in S to one with all roots in (-inf, h] if and only if S lies in (-inf, a + b h + kappa m] (RealRooted rayBasisMap_maps_realRootedIn_iff; the step is Ma and Wang, EJC 15 (2008) R17, Theorem 2)","lean_route":null,"lean_declarations":[],"certificate_hash":"78e6b7307ba581304696f8fa0fce3a17609a47333821dd7576d2c50012d14087","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-a2769223501d377d","role":"sequence","name":"basis_map_A013611 of Triangle of coefficients in expansion of (1+5x)^n.","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:              676,                1440,                  400;\n  1:            17576,               79760,                55200,                  8000;\n  2:           456976,             4020480,              5238400,               1792000,                160000;\n  3:         11881376,           194081600,            426144000,             258880000,              52800000,               3200000;\n  4:        308915776,          9165381120,          32007136000,           30786560000,           10774400000,            1459200000,              64000000;\n  5:       8031810176,        427785847040,        2295778598400,         3287786880000,         1757817600000,          399347200000,           38528000000,           1280000000;\n  6:     208827064576,      19838785167360,      160077104435200,       328665243648000,       252084403200000,        85474099200000,        13612032000000,         983040000000,         25600000000;\n  7:    5429503678976,     916760658990080,    10961864596070400,     31466753042432000,     33294251612160000,     15811424563200000,      3696838656000000,      435425280000000,      24422400000000,       512000000000;\n  8:  141167095653376,   42279580387123200,   741818276520448000,   2925378053570560000,   4158525731737600000,   2658124527206400000,    855966935040000000,   146217369600000000,   13251072000000000,    593920000000000,    10240000000000;\n  9: 3670344486987776, 1947684039720734720, 49805597858092032000, 266418878137477120000, 499311288635596800000, 418094205062758400000, 178133663059968000000, 41391422054400000000, 5389046784000000000, 387368960000000000, 14192640000000000, 204800000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (26+20*x)*P(n-1,x) + 20*x*d/dx P(n-1,x) for n >= 1, with P(0,x) = 676 + 1440*x + 400*x^2.","mathematica":"P[0, x_] := 676 + 1440*x + 400*x^2;\nP[n_, x_] := P[n, x] = Expand[(26 + 20*x)*P[n - 1, x] + 20*x*D[P[n - 1, x], x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 676 + 1440*x + 400*x^2; for(n = 1, N, my(i = n + 1); v[i] = (26 + 20*x)*v[i - 1] + 20*x*deriv(v[i - 1], x)); 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-bbfc5a54ff13a785","steps":["basis A013611","basis A008277"],"edges":["e-db3287eb465d1cf9","e-453bbb6f4006a863"],"text":"A013612 \u2192 basis A013611 \u2192 basis A008277"},"headline":"A013612 \u2192 basis A013611 \u2192 basis A008277","chain":null}