{"id":"n-ffc18199117110ab","revision":0,"first_index":0,"fingerprint":"f6-304eeb06eba1cf88","name":"derivative of basis_map_A013611 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":1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1064","1568"],["30324","89376","65856"],["768208","3396288","5005056","2458624"],["18244940","107549120","237740160","233569280","86051840"],["415984632","3065149920","9034126080","13313448960","9809909760","2891341824"],["9220992676","81532987872","300384692160","590229570560","652358999040","384548462592","94450499584"],["200227269536","2065502359424","9131694641664","22428723681280","33052855951360","29225683156992","14356475936768","3022415986688"],["4279857886332","50457271923072","260253297287424","767062349899776","1413009591920640","1665863939948544","1227478692593664","516833133723648","95206103580672"],["90352555378120","1198360208172960","7064018069230080","24290307746826240","53694364492984320","79128537147555840","77740317197598720","49099147703746560","18089159680327680","2961967666954240"],["1888368407402708","27828587056460960","184547472058635840","725239188440954880","1870353696505620480","3307572852767834112","4061931573574533120","3420573956694343680","1890317186594242560","619051242393436160","91228604142190592"],["39140726989801584","634491784887309888","4675202625485441280","20669316870567214080","60920091829040209920","125687768405177696256","185224079754998710272","194972715531577589760","143664106181162434560","70571841632851722240","20800121744419454976","2786619181070548992"],["805646630540082604","14247224624287776576","115477504849490399616","567257918558900208640","1880907835221616481280","4434982685154127282176","7625057949914113572864","9631652147259932934144","8871258556686780334080","5810414961104791797760","2568815035435802689536","688294937724425601024","84527448492473319424"],["16484769517204767128","315813479171712380768","2792456026360404208896","15089060633666745549824","55591276018772220446720","147463174281374732132352","289752202096736315768832","427003245195190360080384","471950955215736713773056","386392594913468654551040","227768266475307838472192","91543226717348604936192","22484301298997902966784","2548827677619195478016"],["335582808028811330820","6923603197226002193760","66320830626059599961280","390943843690456589245440","1584351366535008282731520","4669667185576866517524480","10322422199696231249264640","17385132125804178946129920","22417670372747493904220160","22024377910067713309409280","16228488986365683491143680","8696606538148117468938240","3204012935107201172766720","726415888121470711234560","76464830328575864340480"],["6801144909383909637952","150341097996907476207360","1550887116178624491402240","9903910706824900260884480","43785710493331137995489280","141957882441536742132744192","348668483189739366641827840","660635020780558799952936960","973567399045034020983275520","1115901814110097474343403520","986692130371033556261535744","660942096899256927639306240","324673310757529718840360960","110415214994463548107653120","23245308419887062759505920","2283749599146799148302336"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["2632","185556","11628176","683155340","38529961176","2112726204484","113483578983712","6000444238763772","313356532468774760","16200532728635655092","830645496268228133808","42293699851657282479724","2140711884799268605512184","107800134198820311920434980","5404380061167524970944473664"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1064","1568"]],"recurrence":{"denominator":{"coeffs":[["1"],["1"]]},"terms":[{"coeff":{"coeffs":[["38","56"],["19","28"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":195031,"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-8450e20bf0b7a232"]},{"id":195032,"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-8450e20bf0b7a232"]},{"id":195033,"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-8450e20bf0b7a232"]},{"id":195034,"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-8450e20bf0b7a232"]}],"region_exact":{},"incoming_edges":[{"id":"e-8450e20bf0b7a232","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-ffc18199117110ab","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":"74e2b151b4912c4b96385fca3bf1365c6b96a5096b9a8d8b5aa9316e49a08023","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-3afe7d5f29fd0242","role":"sequence","name":"basis_map_A013611 of 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-aa7709915c410820","kind":"fingerprint_related","node_a_id":"n-3afe7d5f29fd0242","node_b_id":"n-ffc18199117110ab","fingerprint":"f6-304eeb06eba1cf88","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-304eeb06eba1cf88"},"other_id":"n-3afe7d5f29fd0242","other":{"id":"n-3afe7d5f29fd0242","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*7^j.","first_index":0,"fingerprint":"f6-304eeb06eba1cf88","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["361","1064","784"],["6859","30324","44688","21952"],["130321","768208","1698144","1668352","614656"]],"card_rows":[["361","1064","784"],["6859","30324","44688","21952"],["130321","768208","1698144","1668352","614656"],["2476099","18244940","53774560","79246720","58392320","17210368"]],"row_sums_preview":["2209","103823","4879681","229345007","10779215329","506623120463","23811286661761","1119130473102767"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-5cf6acfdac607d6d","steps":["basis A013611"],"edges":["e-0d83dd77e9f6bf78"],"text":"A038333 \u2192 basis A013611"},"headline":"A038333 \u2192 basis A013611","chain":null}},{"id":"l-ffd623275d792afa","kind":"fingerprint_related","node_a_id":"n-ffc18199117110ab","node_b_id":"n-a4164ed904ec2910","fingerprint":"f6-304eeb06eba1cf88","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-304eeb06eba1cf88"},"other_id":"n-a4164ed904ec2910","other":{"id":"n-a4164ed904ec2910","name":"reversal of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*7^j.","first_index":0,"fingerprint":"f6-304eeb06eba1cf88","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["784","1064","361"],["21952","44688","30324","6859"],["614656","1668352","1698144","768208","130321"]],"card_rows":[["784","1064","361"],["21952","44688","30324","6859"],["614656","1668352","1698144","768208","130321"],["17210368","58392320","79246720","53774560","18244940","2476099"]],"row_sums_preview":["2209","103823","4879681","229345007","10779215329","506623120463","23811286661761","1119130473102767"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-5cf6acfdac607d6d","steps":["basis A013611","reverse"],"edges":["e-0d83dd77e9f6bf78","e-c57cf1ea9141a17e"],"text":"A038333 \u2192 basis A013611 \u2192 reverse"},"headline":"A038333 \u2192 basis A013611 \u2192 reverse","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:             1064,              1568;\n  1:            30324,             89376,              65856;\n  2:           768208,           3396288,            5005056,            2458624;\n  3:         18244940,         107549120,          237740160,          233569280,            86051840;\n  4:        415984632,        3065149920,         9034126080,        13313448960,          9809909760,          2891341824;\n  5:       9220992676,       81532987872,       300384692160,       590229570560,        652358999040,        384548462592,         94450499584;\n  6:     200227269536,     2065502359424,      9131694641664,     22428723681280,      33052855951360,      29225683156992,      14356475936768,       3022415986688;\n  7:    4279857886332,    50457271923072,    260253297287424,    767062349899776,    1413009591920640,    1665863939948544,    1227478692593664,     516833133723648,      95206103580672;\n  8:   90352555378120,  1198360208172960,   7064018069230080,  24290307746826240,   53694364492984320,   79128537147555840,   77740317197598720,   49099147703746560,   18089159680327680,   2961967666954240;\n  9: 1888368407402708, 27828587056460960, 184547472058635840, 725239188440954880, 1870353696505620480, 3307572852767834112, 4061931573574533120, 3420573956694343680, 1890317186594242560, 619051242393436160, 91228604142190592;\n","recurrence_sentence":"The row polynomials satisfy (n+1)*P(n,x) = (19*n+38+(28*n+56)*x)*P(n-1,x) for n >= 1, with P(0,x) = 1064 + 1568*x.","mathematica":"P[0, x_] := 1064 + 1568*x;\nP[n_, x_] := P[n, x] = Expand[Together[((19*n + 38 + (28*n + 56)*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] = 1064 + 1568*x; for(n = 1, N, my(i = n + 1); v[i] = ((19*n + 38 + (28*n + 56)*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-5cf6acfdac607d6d","steps":["basis A013611","D"],"edges":["e-0d83dd77e9f6bf78","e-8450e20bf0b7a232"],"text":"A038333 \u2192 basis A013611 \u2192 D"},"headline":"A038333 \u2192 basis A013611 \u2192 D","chain":null}