{"id":"n-a8e1eaee11dec2de","revision":0,"first_index":0,"fingerprint":"f6-2f74b0bddfe64ff1","name":"derivative of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*11^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["506","242"],["17457","16698","3993"],["535348","768108","367356","58564"],["15391255","29444140","21122970","6734860","805255"],["424798638","1015822830","971656620","464705340","111125190","10629366"],["11398763453","32709495126","39109178955","24939186580","8945577795","1711327926","136410197"],["299624639336","1003091183864","1439217785544","1147202582680","548662104760","157442169192","25099476248","1714871048"],["7752787542819","29662839294264","49653013601268","47494186922952","28393263921330","10863509674248","2597795791668","354978306936","21221529219"],["198126792760930","852806629710090","1631456161184520","1820610498713160","1306090140381180","624651806269260","199164344027880","40822505297640","4880951720370","259374246010"],["5012607856851529","23973341924072530","51594801097460445","65802065167775640","55073467586073090","31607381397224556","12597144759763410","3442697946767640","617440392626805","65621684240530","3138428376721"],["125770888044638364","661664237104401828","1582240566988786980","2270171248288259580","2171468150536596120","1453939544272329576","695362390738940232","237546158326967160","56804516121666060","9055792425193140","866206231974996","37661140520652"],["3133791293778905903","17985236990383286052","47308992952964730702","75420133693132179380","81158622126305279985","62103989105346649032","34652225805157188228","14205260267952636168","4246137580094537985","902560645044249620","129497831680261902","11260681015674948","448795257871103"],["77621599738215976982","482603859241951509062","1384863248259513026004","2428528304918856176036","2903675147185588906130","2499685561490202623538","1594002387037230658488","762348967713458141016","273451260158088246234","72656131926062094410","13899433933681444148","1812969643523666628","144512073034495166","5316497670165374"],["1912817993548893718485","12807563956805636202030","39814818387460999497615","76167478654273216430220","100176792577902817261485","95821279857124433902290","68741352940980572147295","37572913408734722664360","15723447459090074158455","5013273102898284514290","1198826176780024557765","208491509005221662220","24928332598450416135","1834191696207054030","62658722541234765"],["46927801441732859226832","336655966864605294453360","1127065628198895985778640","2335802678731045303860080","3351369060788021522929680","3526223098742179167604272","2810757542475650061133840","1728354016801797242560560","826604094992163898615920","307480750311094783543120","88233606611009807451504","19181218828480392924240","3057875465409917712560","337491272102097941520","23058409895174393520","735195677817154576"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["748","38148","1729376","73498480","2998737984","118949940032","4622054812672","176793596584704","6678869204311040","249789708241232896","9264927360220274688","341258157768113451008","12495298699817077129216","455185881207622095421440","16508074625129761327284224"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["506","242"]],"recurrence":{"denominator":{"coeffs":[["1"],["1"]]},"terms":[{"coeff":{"coeffs":[["46","22"],["23","11"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194503,"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-2b959c435f9694e9"]},{"id":194504,"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-2b959c435f9694e9"]},{"id":194505,"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-2b959c435f9694e9"]},{"id":194506,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1","region_exact":null,"edges":["e-2b959c435f9694e9"]}],"region_exact":{},"incoming_edges":[{"id":"e-2b959c435f9694e9","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"0\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-a8e1eaee11dec2de","premise_count":1,"theorem":"Laguerre's theorem on differential operators: if phi is a real polynomial with only real roots, then phi(D) maps every real-rooted polynomial to a real-rooted polynomial or zero (write phi(D) = C D^j prod (1 + c_i D); D preserves real-rootedness by Rolle's theorem and p + c p' is real-rooted for every real c by Rolle's theorem applied to e^(x/c) p; Polya--Schur 1914); when the coefficients of phi have one sign, coefficients of one sign stay of one sign; applied to phi(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.splits_add_C_mul_derivative_all","RealRooted.splits_C_mul_add_derivative","Polynomial.Splits.derivative"],"certificate_hash":"fc21dff68ad3c7e8474c2b20217ba93336f785b78d9329b1af13c648bba47cf2","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-19327cf22807de6e","role":"sequence","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(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-04bcf5334ae6df1d","kind":"fingerprint_related","node_a_id":"n-a8e1eaee11dec2de","node_b_id":"n-a37c33d9776b0b38","fingerprint":"f6-2f74b0bddfe64ff1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2f74b0bddfe64ff1"},"other_id":"n-a37c33d9776b0b38","other":{"id":"n-a37c33d9776b0b38","name":"mobius_x_over_x_plus_one of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^j.","first_index":0,"fingerprint":"f6-2f74b0bddfe64ff1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["484","2024","2116"],["10648","66792","139656","97336"],["234256","1959232","6144864","8565568","4477456"]],"card_rows":[["484","2024","2116"],["10648","66792","139656","97336"],["234256","1959232","6144864","8565568","4477456"],["5153632","53878880","225311680","471106240","492520160","205962976"]],"row_sums_preview":["4624","314432","21381376","1453933568","98867482624","6722988818432","457163239653376","31087100296429568"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-29d7c5a1e19b9d74","steps":["basis A013609","x \u21a6 x/(x+1)"],"edges":["e-61350e73fec19600","e-97f227d79bca1585"],"text":"A038314 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)"},"headline":"A038314 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-2eaabcb2b2476c53","kind":"fingerprint_related","node_a_id":"n-301ed9476340747f","node_b_id":"n-a8e1eaee11dec2de","fingerprint":"f6-2f74b0bddfe64ff1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2f74b0bddfe64ff1"},"other_id":"n-301ed9476340747f","other":{"id":"n-301ed9476340747f","name":"mobius_x_over_x_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*12^j.","first_index":0,"fingerprint":"f6-2f74b0bddfe64ff1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","23"],["121","506","529"]],"card_rows":[["1"],["11","23"],["121","506","529"],["1331","8349","17457","12167"]],"row_sums_preview":["1","34","1156","39304","1336336","45435424","1544804416","52523350144"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-9e472291b944d56e","steps":["x \u21a6 x/(x+1)"],"edges":["e-44632b628424f3bb"],"text":"A038326 \u2192 x \u21a6 x/(x+1)"},"headline":"A038326 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-41e1e99a474b9c88","kind":"fingerprint_related","node_a_id":"n-a8e1eaee11dec2de","node_b_id":"n-d0113b72528c626c","fingerprint":"f6-2f74b0bddfe64ff1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2f74b0bddfe64ff1"},"other_id":"n-d0113b72528c626c","other":{"id":"n-d0113b72528c626c","name":"reversal of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*11^j.","first_index":0,"fingerprint":"f6-2f74b0bddfe64ff1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","506","529"],["1331","8349","17457","12167"],["14641","122452","384054","535348","279841"]],"card_rows":[["121","506","529"],["1331","8349","17457","12167"],["14641","122452","384054","535348","279841"],["161051","1683715","7040990","14722070","15391255","6436343"]],"row_sums_preview":["1156","39304","1336336","45435424","1544804416","52523350144","1785793904896","60716992766464"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-344e4bfa9933088a","steps":["basis A007318","reverse"],"edges":["e-347b6efdbfa5233f","e-58abdda491151f00"],"text":"A038337 \u2192 basis A007318 \u2192 reverse"},"headline":"A038337 \u2192 basis A007318 \u2192 reverse","chain":null}},{"id":"l-67422707bcca5f05","kind":"fingerprint_related","node_a_id":"n-19327cf22807de6e","node_b_id":"n-a8e1eaee11dec2de","fingerprint":"f6-2f74b0bddfe64ff1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2f74b0bddfe64ff1"},"other_id":"n-19327cf22807de6e","other":{"id":"n-19327cf22807de6e","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*11^j.","first_index":0,"fingerprint":"f6-2f74b0bddfe64ff1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["529","506","121"],["12167","17457","8349","1331"],["279841","535348","384054","122452","14641"]],"card_rows":[["529","506","121"],["12167","17457","8349","1331"],["279841","535348","384054","122452","14641"],["6436343","15391255","14722070","7040990","1683715","161051"]],"row_sums_preview":["1156","39304","1336336","45435424","1544804416","52523350144","1785793904896","60716992766464"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-344e4bfa9933088a","steps":["basis A007318"],"edges":["e-347b6efdbfa5233f"],"text":"A038337 \u2192 basis A007318"},"headline":"A038337 \u2192 basis A007318","chain":null}},{"id":"l-f0ab4290b8eb2572","kind":"fingerprint_related","node_a_id":"n-e1c5805a0cc8733d","node_b_id":"n-a8e1eaee11dec2de","fingerprint":"f6-2f74b0bddfe64ff1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2f74b0bddfe64ff1"},"other_id":"n-e1c5805a0cc8733d","other":{"id":"n-e1c5805a0cc8733d","name":"mobius_x_over_x_plus_one of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","first_index":0,"fingerprint":"f6-2f74b0bddfe64ff1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","506","529"],["1331","8349","17457","12167"],["14641","122452","384054","535348","279841"]],"card_rows":[["121","506","529"],["1331","8349","17457","12167"],["14641","122452","384054","535348","279841"],["161051","1683715","7040990","14722070","15391255","6436343"]],"row_sums_preview":["1156","39304","1336336","45435424","1544804416","52523350144","1785793904896","60716992766464"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-108b34f10b7468f4","steps":["basis A013611","x \u21a6 x/(x+1)"],"edges":["e-8f18b93eb5dfe7b3","e-458660750cd63baf"],"text":"A038281 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)"},"headline":"A038281 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)","chain":null}}],"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:              506,               242;\n  1:            17457,             16698,              3993;\n  2:           535348,            768108,            367356,             58564;\n  3:         15391255,          29444140,          21122970,           6734860,            805255;\n  4:        424798638,        1015822830,         971656620,         464705340,         111125190,          10629366;\n  5:      11398763453,       32709495126,       39109178955,       24939186580,        8945577795,        1711327926,         136410197;\n  6:     299624639336,     1003091183864,     1439217785544,     1147202582680,      548662104760,      157442169192,       25099476248,       1714871048;\n  7:    7752787542819,    29662839294264,    49653013601268,    47494186922952,    28393263921330,    10863509674248,     2597795791668,     354978306936,     21221529219;\n  8:  198126792760930,   852806629710090,  1631456161184520,  1820610498713160,  1306090140381180,   624651806269260,   199164344027880,   40822505297640,   4880951720370,   259374246010;\n  9: 5012607856851529, 23973341924072530, 51594801097460445, 65802065167775640, 55073467586073090, 31607381397224556, 12597144759763410, 3442697946767640, 617440392626805, 65621684240530, 3138428376721;\n","recurrence_sentence":"The row polynomials satisfy (n+1)*P(n,x) = (23*n+46+(11*n+22)*x)*P(n-1,x) for n >= 1, with P(0,x) = 506 + 242*x.","mathematica":"P[0, x_] := 506 + 242*x;\nP[n_, x_] := P[n, x] = Expand[Together[((23*n + 46 + (11*n + 22)*x)*P[n - 1, x])/(n + 1)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 506 + 242*x; for(n = 1, N, my(i = n + 1); v[i] = ((23*n + 46 + (11*n + 22)*x)*v[i - 1])/(n + 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-344e4bfa9933088a","steps":["basis A007318","D"],"edges":["e-347b6efdbfa5233f","e-2b959c435f9694e9"],"text":"A038337 \u2192 basis A007318 \u2192 D"},"headline":"A038337 \u2192 basis A007318 \u2192 D","chain":null}