{"id":"n-351cbe3ca6567d98","revision":1,"first_index":0,"fingerprint":"f6-84fdcc1afa65c8bf","name":"basis_map_A007318 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-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"],["6","6","1"],["36","72","48","12","1"],["216","648","756","432","126","18","1"],["1296","5184","8640","7776","4104","1296","240","24","1"],["7776","38880","84240","103680","79920","40176","13320","2880","390","30","1"],["46656","279936","746496","1166400","1185840","824256","400896","137376","32940","5400","576","36","1"],["279936","1959552","6205248","11757312","14859936","13226976","8536752","4053888","1422792","367416","68796","9072","798","42","1"],["1679616","13436928","49268736","109734912","165908736","180278784","145442304","88770816","41396832","14795136","4040064","834624","128016","14112","1056","48","1"],["10077696","90699264","377913600","967458816","1703130624","2186860032","2120235264","1585557504","926448192","425922624","154408032","44043264","9815904","1687392","219024","20736","1350","54","1"],["60466176","604661760","2821754880","8162933760","16401450240","24307402752","27545702400","24421616640","17192269440","9699782400","4408432128","1616630400","477563040","113063040","21254400","3125952","351540","29160","1680","60","1"],["362797056","3990767616","20618966016","66512793600","150208058880","252416051712","327520081152","336111316992","277229018880","185773927680","101841556608","45850157568","16973592768","5160386880","1283467680","259345152","42119352","5410152","536580","39600","2046","66","1"],["2176782336","26121388032","148021198848","526781325312","1320944080896","2482257457152","3629824856064","4234204440576","4007562096384","3114128996352","2002921924608","1071924212736","478784058624","178654035456","55636720128","14417263872","3092254704","544522176","77799744","8867232","786456","52272","2448","72","1"],["13060694016","169789022208","1047032303616","4074936532992","11234373636096","23345990553600","37993437960192","49666433236992","53080424077824","46964350996992","34709867622144","21563205820416","11307171552768","5016552777216","1884528592128","598977939456","160693831584","36237925152","6826186224","1064524032","135721872","13899600","1114776","67392","2886","78","1"],["78364164096","1097098297344","7313988648960","30901602041856","92902893318144","211557121671168","379270944718848","549305217736704","654474581849088","649935083685888","543125735792640","384602791652352","231932131861248","119505551800320","52713659768832","19917591966720","6442559218368","1780568479872","419078499840","83582186688","14027661648","1962252864","225808128","20992608","1536444","85176","3360","84","1"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","13","169","2197","28561","371293","4826809","62748517","815730721","10604499373","137858491849","1792160394037","23298085122481","302875106592253","3937376385699289"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A007318","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["6","6","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":161865,"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-da5b5b0d47f37943"]},{"id":161866,"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-da5b5b0d47f37943"]},{"id":161867,"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-da5b5b0d47f37943"]}],"region_exact":{},"incoming_edges":[{"id":"e-da5b5b0d47f37943","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-351cbe3ca6567d98","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":"62e0ee8326df5b6db95a2801eebb81948cc90b26c7b6fa46729bc30c3e1ffcd8","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-d3c3090977105807","role":"sequence","name":"Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-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-b1d01f9f387ab4af","kind":"oeis_match","node_a_id":"n-351cbe3ca6567d98","node_b_id":null,"fingerprint":null,"oeis_id":"A001022","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":"A001022","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A001022","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-351cbe3ca6567d98","oeis_id":"A001022","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":21,"oeis_terms_available":21,"term_count":200,"raw_size":23159}],"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: 6, 6, 1;\n 2: 36, 72, 48, 12, 1;\n 3: 216, 648, 756, 432, 126, 18, 1;\n 4: 1296, 5184, 8640, 7776, 4104, 1296, 240, 24, 1;\n 5: 7776, 38880, 84240, 103680, 79920, 40176, 13320, 2880, 390, 30, 1;\n 6: 46656, 279936, 746496, 1166400, 1185840, 824256, 400896, 137376, 32940, 5400, 576, 36, 1;\n 7: 279936, 1959552, 6205248, 11757312, 14859936, 13226976, 8536752, 4053888, 1422792, 367416, 68796, 9072, 798, 42, 1;\n 8: 1679616, 13436928, 49268736, 109734912, 165908736, 180278784, 145442304, 88770816, 41396832, 14795136, 4040064, 834624, 128016, 14112, 1056, 48, 1;\n 9: 10077696, 90699264, 377913600, 967458816, 1703130624, 2186860032, 2120235264, 1585557504, 926448192, 425922624, 154408032, 44043264, 9815904, 1687392, 219024, 20736, 1350, 54, 1;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (6+6*x+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[(6 + 6*x + 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] = (6 + 6*x + 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-d3c3090977105807","steps":["basis A007318"],"edges":["e-da5b5b0d47f37943"],"text":"A272867 \u2192 basis A007318"},"headline":"A272867 \u2192 basis A007318","chain":null}