{"id":"n-57c3bb526ceab4ae","revision":0,"first_index":0,"fingerprint":"f6-9de613d7fd734864","name":"basis_map_A013610 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","6"],["50","210","270","108"],["375","2700","7425","9720","6075","1458"],["2500","25500","108000","245700","324000","247860","102060","17496"],["15625","206250","1181250","3847500","7846875","10388250","8930250","4811400","1476225","196830"],["93750","1518750","10968750","46575000","129093750","245126250","325316250","301806000","191909250","79716150","19486170","2125764"],["546875","10500000","91546875","479587500","1683281250","4178081250","7542871875","10027395000","9816896250","6992385750","3523749075","1190427840","241805655","22320522"],["3125000","69375000","708750000","4417875000","18781875000","57663900000","132040125000","229580325000","305578575000","311385060000","240978969000","139131253800","58033357200","16517186280","2869781400","229582512"],["17578125","442968750","5189062500","37513125000","187375781250","686034562500","1905970500000","4103413425000","6929953734375","9232680206250","9704112660000","8001907137000","5114189603250","2480926020300","882457780500","216955473840","32930741565","2324522934"],["97656250","2753906250","36386718750","299320312500","1718085937500","7309364062500","23896392187500","61423261875000","125949671718750","207826030968750","277089277781250","298517052712500","258818410012500","179038487092500","97393206262500","40722198066000","12623450933250","2731314447450","368049464550","23245229340"],["537109375","16757812500","246533203125","2273906250000","14748486328125","71513191406250","269043714843750","804481115625000","1942781298046875","3829303046250000","6200022288796875","8271294579900000","9092216474859375","8210534266068750","6052099930593750","3603441014910000","1705537990220625","626458930713000","172063124677125","33240677956200","4027235983155","230127770466"],["2929687500","100195312500","1624218750000","16601835937500","120076171875000","653736445312500","2782530351562500","9492741843750000","26402745445312500","60576616082812500","115554205985625000","184167855979312500","245815310914875000","274775530551637500","256634685728437500","199302013557900000","127688950418287500","66705091244797500","27934954359345000","9147578876023500","2255252150566800","393518487496860","43305862260420","2259436291848"],["15869140625","590332031250","10454589843750","117297070312500","936028564453125","5654178105468750","26865999316406250","103009066875000000","324401597050781250","849722183578125000","1867715395192968750","3465953740628437500","5450880768812578125","7278502855319718750","8251906200579843750","7928927639404200000","6432494387600531250","4379459320729350000","2480239335419381250","1153867033554592500","433229910887899125","127968299961880950","28617957310427550","4552764128073720","458947996781625","22029503845518"],["85449218750","3435058593750","65983886718750","806203125000000","7036281738281250","46702915136718750","245072073339843750","1043455459921875000","3671163980859375000","10814156204414062500","26927410572562500000","57069383843489062500","103441852241782031250","160837717895554218750","214840770040624218750","246539738203872750000","242699199436921500000","204340835108622712500","146445961820783625000","88725602092214587500","45011409774727646250","18871023731666856750","6420274521200016750","1727113101488611200","353389957521851250","51659186517739710","4804126415541810","213516729579636"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","11","638","27753","1073116","38900455","1353735834","45801395717","1517989115192","49524394883139","1595786057345590","50905575229324321","1610467289073169428","50595513998382072863","1580136821795624737106"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["5","6"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["5","15","9"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":202771,"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-703e0010070c918f"]},{"id":202772,"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-703e0010070c918f"]},{"id":202773,"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-703e0010070c918f"]}],"region_exact":{},"incoming_edges":[{"id":"e-703e0010070c918f","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-57c3bb526ceab4ae","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":"4666be00a094d2937c812a04e2187c621e2ae07abbdade6d6c200a79ec722f99","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-db1130391c811605","kind":"fingerprint_related","node_a_id":"n-a8f6492efcb0f220","node_b_id":"n-57c3bb526ceab4ae","fingerprint":"f6-9de613d7fd734864","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9de613d7fd734864"},"other_id":"n-a8f6492efcb0f220","other":{"id":"n-a8f6492efcb0f220","name":"derivative of basis_map_A013610 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-9de613d7fd734864","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[[],["15","18"],["150","630","810","324"]],"card_rows":[["15","18"],["150","630","810","324"],["1125","8100","22275","29160","18225","4374"],["7500","76500","324000","737100","972000","743580","306180","52488"]],"row_sums_preview":["0","33","1914","83259","3219348","116701365","4061207502","137404187151"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b30e7a5b4198051a","steps":["basis A013610","D"],"edges":["e-707e884996971c57","e-35a63cfa1625b0ca"],"text":"A272866 \u2192 basis A013610 \u2192 D"},"headline":"A272866 \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: 5, 6;\n 2: 50, 210, 270, 108;\n 3: 375, 2700, 7425, 9720, 6075, 1458;\n 4: 2500, 25500, 108000, 245700, 324000, 247860, 102060, 17496;\n 5: 15625, 206250, 1181250, 3847500, 7846875, 10388250, 8930250, 4811400, 1476225, 196830;\n 6: 93750, 1518750, 10968750, 46575000, 129093750, 245126250, 325316250, 301806000, 191909250, 79716150, 19486170, 2125764;\n 7: 546875, 10500000, 91546875, 479587500, 1683281250, 4178081250, 7542871875, 10027395000, 9816896250, 6992385750, 3523749075, 1190427840, 241805655, 22320522;\n 8: 3125000, 69375000, 708750000, 4417875000, 18781875000, 57663900000, 132040125000, 229580325000, 305578575000, 311385060000, 240978969000, 139131253800, 58033357200, 16517186280, 2869781400, 229582512;\n 9: 17578125, 442968750, 5189062500, 37513125000, 187375781250, 686034562500, 1905970500000, 4103413425000, 6929953734375, 9232680206250, 9704112660000, 8001907137000, 5114189603250, 2480926020300, 882457780500, 216955473840, 32930741565, 2324522934;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (5*n+15*n*x+9*n*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 5 + 6*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 5 + 6*x;\nP[n_, x_] := P[n, x] = Expand[Together[((5*n + 15*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] = 5 + 6*x; for(n = 2, N, my(i = n + 1); v[i] = ((5*n + 15*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-b30e7a5b4198051a","steps":["D","basis A013610"],"edges":["e-5fb206b09638d5b7","e-703e0010070c918f"],"text":"A272866 \u2192 D \u2192 basis A013610"},"headline":"A272866 \u2192 D \u2192 basis A013610","chain":null}