{"id":"n-c9845261e64d60a9","revision":0,"first_index":0,"fingerprint":"f6-484d946563c33157","name":"basis_map_A013610 of derivative of Even-numbered rows of Pascal's triangle.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":-1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[[],["4","6"],["32","144","216","108"],["192","1440","4320","6480","4860","1458"],["1024","10752","48384","120960","181440","163296","81648","17496"],["5120","69120","414720","1451520","3265920","4898880","4898880","3149280","1180980","196830"],["24576","405504","3041280","13685760","41057280","86220288","129330432","138568320","103926240","51963120","15588936","2125764"],["114688","2236416","20127744","110702592","415134720","1120863744","2241727488","3362591232","3782915136","3152429280","1891457568","773778096","193444524","22320522"],["524288","11796480","123863040","805109760","3622993920","11955879936","29889699840","57644421120","86466631680","100877736960","90789963264","61902247680","30951123840","10713850560","2295825120","229582512"],["2359296","60162048","721944576","5414584320","28426567680","110863613952","332590841856","783964127232","1469932738560","2204899107840","2645878929408","2525611705344","1894208779008","1092812757120","468348324480","140504497344","26344593252","2324522934"],["10485760","298844160","4034396160","34292367360","205754204160","925893918720","3240628715520","9027465707520","20311797841920","37238296043520","55857444065280","68552317716480","68552317716480","55369179694080","35594472660480","17797236330240","6673963623840","1766637429840","294439571640","23245229340"],["46137344","1453326336","21799895040","207099002880","1397918269440","7129383174144","28517532696576","91663497953280","240616682127360","521336144609280","938405060296704","1407607590445056","1759509488056320","1827182929904640","1566156797061120","1096309757942784","616674238842816","272062164195360","90687388065120","21478591910160","3221788786524","230127770466"],["201326592","6945767424","114605162496","1203354206208","9025156546560","51443392315392","231495265419264","843304181170176","2529912543510528","6324781358776320","13282040853430272","23545436058353664","35318154087530496","44826887880327168","48028808443207680","43225927598886912","32419445699165184","20023775284778496","10011887642389248","3952060911469440","1185618273440832","254061058594464","34644689808336","2259436291848"],["872415232","32715571200","588880281600","6772123238400","55870016716800","351981105315840","1759905526579200","7165329643929600","24182987548262400","68518464720076800","164444315328184320","336363372262195200","588635901458841600","882953852188262400","1135226381384908800","1248749019523399680","1170702205803187200","929675281079001600","619783520719334400","342511945660684800","154130375547308160","55046562695467200","15012698916945600","2937267179402400","367158397425300","22029503845518"],["3758096384","152202903552","2967956619264","37099457740800","333895119667200","2303876325703680","12671319791370240","57020939061166080","213828521479372800","677123651351347200","1828233858648637440","4238178490503659520","8476356981007319040","14670617851743436800","22005926777615155200","28607704810899701760","32183667912262164480","31237089444254453760","26030907870212044800","18495645065676979200","11097387039406187520","5548693519703093760","2269920076242174720","740191329209404800","185047832302351200","33308609814423216","3843301132433448","213516729579636"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","10","500","18750","625000","19531250","585937500","17089843750","488281250000","13732910156250","381469726562500","10490417480468750","286102294921875000","7748603820800781250","208616256713867187500"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["4","6"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["4","12","9"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":202394,"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-32720d39f4766d5d"]},{"id":202395,"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-32720d39f4766d5d"]},{"id":202396,"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-32720d39f4766d5d"]}],"region_exact":{},"incoming_edges":[{"id":"e-32720d39f4766d5d","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-c9845261e64d60a9","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":"919a4ca10fd3fbce658bd1c6497a5db7b75f1c70b429b8b93b840ea4ff414d97","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-f1591709bf5cf41b","role":"sequence","name":"derivative of Even-numbered rows of Pascal's triangle.","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-76c438f0739bbf16","kind":"fingerprint_related","node_a_id":"n-b856b70338e77df7","node_b_id":"n-c9845261e64d60a9","fingerprint":"f6-484d946563c33157","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-484d946563c33157"},"other_id":"n-b856b70338e77df7","other":{"id":"n-b856b70338e77df7","name":"derivative of basis_map_A013610 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-484d946563c33157","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["12","18"],["96","432","648","324"]],"card_rows":[["12","18"],["96","432","648","324"],["576","4320","12960","19440","14580","4374"],["3072","32256","145152","362880","544320","489888","244944","52488"]],"row_sums_preview":["0","30","1500","56250","1875000","58593750","1757812500","51269531250"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013610","D"],"edges":["e-cb7f9b19b94bd36e","e-8cb133e98a7e7cc2"],"text":"A034870 \u2192 basis A013610 \u2192 D"},"headline":"A034870 \u2192 basis A013610 \u2192 D","chain":null}},{"id":"l-b0abd118e9245841","kind":"fingerprint_related","node_a_id":"n-0e81ff2ad5810903","node_b_id":"n-c9845261e64d60a9","fingerprint":"f6-484d946563c33157","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-484d946563c33157"},"other_id":"n-0e81ff2ad5810903","other":{"id":"n-0e81ff2ad5810903","name":"derivative of basis_map_A013610 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","first_index":0,"fingerprint":"f6-484d946563c33157","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["24","36"],["384","1728","2592","1296"]],"card_rows":[["24","36"],["384","1728","2592","1296"],["4608","34560","103680","155520","116640","34992"],["49152","516096","2322432","5806080","8709120","7838208","3919104","839808"]],"row_sums_preview":["0","60","6000","450000","30000000","1875000000","112500000000","6562500000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["basis A013610","D"],"edges":["e-a142fb8711dcbce4","e-ebf0ead7cd3d66b0"],"text":"A139548 \u2192 basis A013610 \u2192 D"},"headline":"A139548 \u2192 basis A013610 \u2192 D","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:       0;\n  1:       4,        6;\n  2:      32,      144,       216,        108;\n  3:     192,     1440,      4320,       6480,        4860,         1458;\n  4:    1024,    10752,     48384,     120960,      181440,       163296,        81648,        17496;\n  5:    5120,    69120,    414720,    1451520,     3265920,      4898880,      4898880,      3149280,       1180980,        196830;\n  6:   24576,   405504,   3041280,   13685760,    41057280,     86220288,    129330432,    138568320,     103926240,      51963120,      15588936,       2125764;\n  7:  114688,  2236416,  20127744,  110702592,   415134720,   1120863744,   2241727488,   3362591232,    3782915136,    3152429280,    1891457568,     773778096,     193444524,      22320522;\n  8:  524288, 11796480, 123863040,  805109760,  3622993920,  11955879936,  29889699840,  57644421120,   86466631680,  100877736960,   90789963264,   61902247680,   30951123840,   10713850560,   2295825120,    229582512;\n  9: 2359296, 60162048, 721944576, 5414584320, 28426567680, 110863613952, 332590841856, 783964127232, 1469932738560, 2204899107840, 2645878929408, 2525611705344, 1894208779008, 1092812757120, 468348324480, 140504497344, 26344593252, 2324522934;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (4*n+12*n*x+9*n*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 4 + 6*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 4 + 6*x;\nP[n_, x_] := P[n, x] = Expand[Together[((4*n + 12*n*x + 9*n*x^2)*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] = 0; v[2] = 4 + 6*x; for(n = 2, N, my(i = n + 1); v[i] = ((4*n + 12*n*x + 9*n*x^2)*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-08f49539099949d5","steps":["D","basis A013610"],"edges":["e-473cc94657c879cc","e-32720d39f4766d5d"],"text":"A034870 \u2192 D \u2192 basis A013610"},"headline":"A034870 \u2192 D \u2192 basis A013610","chain":null}