{"id":"n-12c6d7b930aee228","revision":1,"first_index":0,"fingerprint":"f6-a7f47b6958afe8fa","name":"basis_map_A013611 of Triangle of coefficients of (x+1)*(x+3)*(x+6)*...*(x+n(n+1)/2).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["2","4"],["8","40","48"],["56","472","1296","1152"],["616","7432","33136","64512","46080"],["9856","155872","976096","3020352","4608000","2764800"],["216832","4257088","34567360","148439808","355085568","447897600","232243200"],["6288128","147740736","1479247296","8176298752","26922739968","52758614016","56899584000","26011238400"],["232660736","6371897664","76006815936","515534664448","2173528399104","5828943273984","9702525026304","9155955916800","3745618329600"],["10702393856","334986225024","4643255112576","37395821433088","192778545959424","659366502441984","1495525940527104","2167628476907520","1820370508185600","674211299328000"],["599334055936","21113755249664","333719255809536","3115682125019648","19022679289007104","79335804247824384","228810083206754304","450402901622784000","578819013378048000","438237344563200000","148326485852160000"],["40155381747712","1572845792494592","27933221525150208","296852585910033920","2097059593368663040","10337486216902109184","36274927896278175744","90582856375309664256","157687239924744192000","182170121617539072000","125632533516779520000","39158192264970240000"],["3172275158069248","136783296712358912","2697452387745179136","32166519402739544576","258285714680054963200","1470944004266289494016","6091015003479433949184","18473823157288254308352","40719143143151406415872","63589858464305774592000","66762048092497772544000","42290847646167859200000","12217355986670714880000"],["291849314542370816","13738771455074226176","297954739675855124480","3941192454191283306496","35470898813162250840064","229342848536038640054272","1095796997873037299146752","3916721191737033353871360","10470632798422853958500352","20672035082823243197841408","29288816905517097025536000","28192143489116632252416000","16517865293978806517760000","4447117579148140216320000"],["30936027341491306496","1578886486345663717376","37353486416771818188800","542907390808135182770176","5415216104955537577775104","39208119446348241198579712","212478478159678182532349952","875407185430801201152000000","2754909977162376528227008512","6588901494116862441541337088","11786869326770574427800207360","15289670310163543769481216000","13591593986590739036897280000","7408897886860801600389120000","1867789383242218890854400000"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","6","96","2976","151776","11534976","1222707456","172401751296","31204716984576","7052266038514176","1946425426629912576","644266816214501062656","251908325139869915498496","114870196263780681467314176","60421723234748638451807256576"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","0"],["1/2","2"],["1/2","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":168187,"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-7d5e908b514e0d51"]},{"id":168188,"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-7d5e908b514e0d51"]},{"id":168189,"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-7d5e908b514e0d51"]},{"id":168190,"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-7d5e908b514e0d51"]}],"region_exact":{},"incoming_edges":[{"id":"e-7d5e908b514e0d51","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-12c6d7b930aee228","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":"89565902605894e99367d289a0eab2c7076f80ccdfaff005a954137237b92182","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-ecd77b030b8fab94","role":"sequence","name":"Triangle of coefficients of (x+1)*(x+3)*(x+6)*...*(x+n(n+1)/2).","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:           1;\n  1:           2,            4;\n  2:           8,           40,            48;\n  3:          56,          472,          1296,           1152;\n  4:         616,         7432,         33136,          64512,           46080;\n  5:        9856,       155872,        976096,        3020352,         4608000,         2764800;\n  6:      216832,      4257088,      34567360,      148439808,       355085568,       447897600,        232243200;\n  7:     6288128,    147740736,    1479247296,     8176298752,     26922739968,     52758614016,      56899584000,      26011238400;\n  8:   232660736,   6371897664,   76006815936,   515534664448,   2173528399104,   5828943273984,    9702525026304,    9155955916800,    3745618329600;\n  9: 10702393856, 334986225024, 4643255112576, 37395821433088, 192778545959424, 659366502441984, 1495525940527104, 2167628476907520, 1820370508185600, 674211299328000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = ((1/2)*n^2+(1/2)*n+1+(2*n^2+2*n)*x)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[((1/2)*n^2 + (1/2)*n + 1 + (2*n^2 + 2*n)*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; for(n = 1, N, my(i = n + 1); v[i] = ((1/2)*n^2 + (1/2)*n + 1 + (2*n^2 + 2*n)*x)*v[i - 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-ecd77b030b8fab94","steps":["basis A013611"],"edges":["e-7d5e908b514e0d51"],"text":"A128813 \u2192 basis A013611"},"headline":"A128813 \u2192 basis A013611","chain":null}