{"id":"n-877f873b9e80c2e2","revision":0,"first_index":0,"fingerprint":"f6-dc1f92b0a0065af1","name":"basis_map_A013611 of derivative of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/2) where m = k if k=0 and 0<=k<=2n.","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":false,"rows":[[],["5","8"],["50","280","480","256"],["375","3600","13200","23040","19200","6144"],["2500","34000","192000","582400","1024000","1044480","573440","131072"],["15625","275000","2100000","9120000","24800000","43776000","50176000","36044800","14745600","2621440"],["93750","2025000","19500000","110400000","408000000","1032960000","1827840000","2260992000","1916928000","1061683200","346030080","50331648"],["546875","14000000","162750000","1136800000","5320000000","17606400000","42380800000","75120640000","98058240000","93126656000","62573772800","28185722880","7633633280","939524096"],["3125000","92500000","1260000000","10472000000","59360000000","242995200000","741888000000","1719910400000","3052339200000","4147118080000","4279238656000","3294206361600","1832071987200","695247831040","161061273600","17179869184"],["17578125","590625000","9225000000","88920000000","592200000000","2890944000000","10708992000000","30740889600000","69221376000000","122963558400000","172322979840000","189460905984000","161451343872000","104428103270400","49526341632000","16234976378880","3285649981440","309237645312"],["97656250","3671875000","64687500000","709500000000","5430000000000","30801600000000","134265600000000","460154880000000","1258076160000000","2767888384000000","4920475648000000","7067978956800000","8170713907200000","7536157655040000","5466016972800000","3047279296512000","1259499159552000","363354233241600","65283502899200","5497558138880"],["537109375","22343750000","438281250000","5390000000000","46612500000000","301356000000000","1511664000000000","6026803200000000","19405900800000000","50999787520000000","110098300928000000","195839184076800000","287034834944000000","345601002700800000","339663126528000000","269648784261120000","170169288622080000","83339545411584000","30520037605376000","7861508138598400","1269935930081280","96757023244288"],["2929687500","133593750000","2887500000000","39352500000000","379500000000000","2754840000000000","15634080000000000","71115264000000000","263729664000000000","806777241600000000","2051980001280000000","4360536588288000000","7760215277568000000","11565958535577600000","14403156049920000000","14913951812812800000","12740107803033600000","8873960779284480000","4955017870049280000","2163426566602752000","711164120845516800","165454509747732480","24277216741294080","1688849860263936"],["15869140625","787109375000","18585937500000","278037500000000","2958312500000000","23826660000000000","150950800000000000","771696640000000000","3240357120000000000","11316850688000000000","33166379417600000000","82063278735360000000","172080445521920000000","306369573945344000000","463123261685760000000","593328901351014400000","641799244742656000000","582611454708940800000","439937365599846400000","272892601261096960000","136613357678493696000","53804161700567449600","16043194063205171200","3403032468431831040","457396837154816000","29273397577908224"],["85449218750","4580078125000","117304687500000","1911000000000000","22238125000000000","196805700000000000","1376975600000000000","7817089280000000000","36670233600000000000","144026122240000000000","478169595904000000000","1351230023270400000000","3265586017075200000000","6770043796848640000000","12057548370739200000000","18448793917718528000000","24215203855990784000000","27184020327707443200000","25976142594834432000000","20983839254695116800000","14193756406535946240000","7934305703961821184000","3599198536966602752000","1290956833185752678400","352195564609208320000","68646117320194785280","8511803295730237440","504403158265495552"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","13","1066","65559","3583892","183674465","9036783678","432259485931","20254444483624","934236251807157","42559651471214930","1919440281351793343","85851328947734756796","3813229860761885447689","168368764621332480536422"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["5","8"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["5","20","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":205587,"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-aa2fac05727f3248"]},{"id":205588,"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-aa2fac05727f3248"]},{"id":205589,"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-aa2fac05727f3248"]}],"region_exact":{},"incoming_edges":[{"id":"e-aa2fac05727f3248","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-877f873b9e80c2e2","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":"d46b565e9d553b6681c50d5d753c915409ff4561e5ff6cdb3ac64c8a93868eaa","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-b60ac0f95ba69845","role":"sequence","name":"derivative of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/2) where m = k if k=0 and 0<=k<=2n.","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-cdc7faebbd91a5b6","kind":"fingerprint_related","node_a_id":"n-90139221eebb3966","node_b_id":"n-877f873b9e80c2e2","fingerprint":"f6-dc1f92b0a0065af1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-dc1f92b0a0065af1"},"other_id":"n-90139221eebb3966","other":{"id":"n-90139221eebb3966","name":"derivative of basis_map_A013611 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/2) where m = k if k=0 and 0<=k<=2n.","first_index":0,"fingerprint":"f6-dc1f92b0a0065af1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[[],["20","32"],["200","1120","1920","1024"]],"card_rows":[["20","32"],["200","1120","1920","1024"],["1500","14400","52800","92160","76800","24576"],["10000","136000","768000","2329600","4096000","4177920","2293760","524288"]],"row_sums_preview":["0","52","4264","262236","14335568","734697860","36147134712","1729037943724"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b30e7a5b4198051a","steps":["basis A013611","D"],"edges":["e-a99971f11d0aad5a","e-0184d757d3bedad4"],"text":"A272866 \u2192 basis A013611 \u2192 D"},"headline":"A272866 \u2192 basis A013611 \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: 5, 8;\n 2: 50, 280, 480, 256;\n 3: 375, 3600, 13200, 23040, 19200, 6144;\n 4: 2500, 34000, 192000, 582400, 1024000, 1044480, 573440, 131072;\n 5: 15625, 275000, 2100000, 9120000, 24800000, 43776000, 50176000, 36044800, 14745600, 2621440;\n 6: 93750, 2025000, 19500000, 110400000, 408000000, 1032960000, 1827840000, 2260992000, 1916928000, 1061683200, 346030080, 50331648;\n 7: 546875, 14000000, 162750000, 1136800000, 5320000000, 17606400000, 42380800000, 75120640000, 98058240000, 93126656000, 62573772800, 28185722880, 7633633280, 939524096;\n 8: 3125000, 92500000, 1260000000, 10472000000, 59360000000, 242995200000, 741888000000, 1719910400000, 3052339200000, 4147118080000, 4279238656000, 3294206361600, 1832071987200, 695247831040, 161061273600, 17179869184;\n 9: 17578125, 590625000, 9225000000, 88920000000, 592200000000, 2890944000000, 10708992000000, 30740889600000, 69221376000000, 122963558400000, 172322979840000, 189460905984000, 161451343872000, 104428103270400, 49526341632000, 16234976378880, 3285649981440, 309237645312;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (5*n+20*n*x+16*n*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 5 + 8*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 5 + 8*x;\nP[n_, x_] := P[n, x] = Expand[Together[((5*n + 20*n*x + 16*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] = 5 + 8*x; for(n = 2, N, my(i = n + 1); v[i] = ((5*n + 20*n*x + 16*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-b30e7a5b4198051a","steps":["D","basis A013611"],"edges":["e-5fb206b09638d5b7","e-aa2fac05727f3248"],"text":"A272866 \u2192 D \u2192 basis A013611"},"headline":"A272866 \u2192 D \u2192 basis A013611","chain":null}