{"id":"n-6d8c9ba5ca0b5beb","revision":1,"first_index":0,"fingerprint":"f6-970ef418506da5d4","name":"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.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["5","15","9"],["25","150","315","270","81"],["125","1125","4050","7425","7290","3645","729"],["625","7500","38250","108000","184275","194400","123930","43740","6561"],["3125","46875","309375","1181250","2885625","4708125","5194125","3827250","1804275","492075","59049"],["15625","281250","2278125","10968750","34931250","77456250","122563125","139421250","113177250","63969750","23914845","5314410","531441"],["78125","1640625","15750000","91546875","359690625","1009968750","2089040625","3232659375","3760273125","3272298750","2097715725","961022475","297606960","55801305","4782969"],["390625","9375000","104062500","708750000","3313406250","11269125000","28831950000","56588625000","86092621875","101859525000","93415518000","65721537000","34782813450","13392313200","3539397060","573956280","43046721"],["1953125","52734375","664453125","5189062500","28134843750","112425468750","343017281250","816844500000","1538780034375","2309984578125","2769804061875","2646576180000","2000476784250","1180197600750","531627004350","176491556100","40679151345","5811307335","387420489"],["9765625","292968750","4130859375","36386718750","224490234375","1030851562500","3654682031250","10241310937500","23033723203125","41983223906250","62347809290625","75569803031250","74629263178125","59727325387500","38365390091250","19478641252500","7635412137375","2227667811750","455219074575","58113073350","3486784401"],["48828125","1611328125","25136718750","246533203125","1705429687500","8849091796875","35756595703125","115304449218750","301680418359375","647593766015625","1148790913875000","1690915169671875","2067823644975000","2098203801890625","1759400199871875","1210419986118750","675645190295625","300977292391875","104409821785500","27167861791125","4986101693430","575319426165","31381059609"],["244140625","8789062500","150292968750","1624218750000","12451376953125","72045703125000","326868222656250","1192513007812500","3559778191406250","8800915148437500","18172984824843750","31514783450625000","46041963994828125","56726610211125000","58880470832493750","51326937145687500","37369127542106250","22533344191462500","11117515207466250","4410782267265000","1372136831403525","322178878652400","53661611931390","5648590729620","282429536481"],["1220703125","47607421875","885498046875","10454589843750","87972802734375","561617138671875","2827089052734375","11513999707031250","38628400078125000","108133865683593750","254916655073437500","509376925961718750","866488435157109375","1257895562033671875","1559679183282796875","1650381240115968750","1486673932388287500","1135146068400093750","729909886788225000","391616737171481250","173080055033188875","61889987269699875","17450222722074675","3732777040490550","569095516009215","55073759613795","2541865828329"],["6103515625","256347656250","5152587890625","65983886718750","604652343750000","4221769042968750","23351457568359375","105030888574218750","391295797470703125","1223721326953125000","3244246861324218750","7343839247062500000","14267345960872265625","23871196671180468750","34465225263333046875","42968154008124843750","46226200913226140625","42829270488868500000","34056805851437118750","23123046603281625000","13308840313832188125","6430201396389663750","2573321417954571375","837427111460871750","215889137686076400","42406794902622150","5960675367431505","533791823949090","22876792454961"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","29","841","24389","707281","20511149","594823321","17249876309","500246412961","14507145975869","420707233300201","12200509765705829","353814783205469041","10260628712958602189","297558232675799463481"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["5","15","9"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":167336,"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-707e884996971c57"]},{"id":167337,"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-707e884996971c57"]},{"id":167338,"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-707e884996971c57"]}],"region_exact":{},"incoming_edges":[{"id":"e-707e884996971c57","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-6d8c9ba5ca0b5beb","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":"1d29176844982a2ac2ff23dfaf76e04a083f1c8003504f0380c586221dafe198","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-b30e7a5b4198051a","role":"sequence","name":"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-64bb63c30c012697","kind":"oeis_match","node_a_id":"n-6d8c9ba5ca0b5beb","node_b_id":null,"fingerprint":null,"oeis_id":"A009973","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A009973","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009973","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-6d8c9ba5ca0b5beb","oeis_id":"A009973","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":18,"oeis_terms_available":18,"term_count":200,"raw_size":30093}],"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: 5, 15, 9;\n 2: 25, 150, 315, 270, 81;\n 3: 125, 1125, 4050, 7425, 7290, 3645, 729;\n 4: 625, 7500, 38250, 108000, 184275, 194400, 123930, 43740, 6561;\n 5: 3125, 46875, 309375, 1181250, 2885625, 4708125, 5194125, 3827250, 1804275, 492075, 59049;\n 6: 15625, 281250, 2278125, 10968750, 34931250, 77456250, 122563125, 139421250, 113177250, 63969750, 23914845, 5314410, 531441;\n 7: 78125, 1640625, 15750000, 91546875, 359690625, 1009968750, 2089040625, 3232659375, 3760273125, 3272298750, 2097715725, 961022475, 297606960, 55801305, 4782969;\n 8: 390625, 9375000, 104062500, 708750000, 3313406250, 11269125000, 28831950000, 56588625000, 86092621875, 101859525000, 93415518000, 65721537000, 34782813450, 13392313200, 3539397060, 573956280, 43046721;\n 9: 1953125, 52734375, 664453125, 5189062500, 28134843750, 112425468750, 343017281250, 816844500000, 1538780034375, 2309984578125, 2769804061875, 2646576180000, 2000476784250, 1180197600750, 531627004350, 176491556100, 40679151345, 5811307335, 387420489;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (5+15*x+9*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(5 + 15*x + 9*x^2)*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] = (5 + 15*x + 9*x^2)*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-b30e7a5b4198051a","steps":["basis A013610"],"edges":["e-707e884996971c57"],"text":"A272866 \u2192 basis A013610"},"headline":"A272866 \u2192 basis A013610","chain":null}