{"id":"n-eed4f744ce063213","revision":1,"first_index":0,"fingerprint":"f6-99cef2a9f1688781","name":"Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","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":true,"rows":[["1"],["1","3","2"],["1","6","13","12","4"],["1","9","33","63","66","36","8"],["1","12","62","180","321","360","248","96","16"],["1","15","100","390","985","1683","1970","1560","800","240","32"],["1","18","147","720","2355","5418","8989","10836","9420","5760","2352","576","64"],["1","21","203","1197","4809","13923","29953","48639","59906","55692","38472","19152","6496","1344","128"],["1","24","268","1848","8806","30744","81340","166344","265729","332688","325360","245952","140896","59136","17152","3072","256"],["1","27","342","2700","14886","60858","191184","471852","927441","1462563","1854882","1887408","1529472","973728","476352","172800","43776","6912","512"],["1","30","425","3780","23670","110916","403530","1167120","2725365","5188590","8097453","10377180","10901460","9336960","6456480","3549312","1514880","483840","108800","15360","1024"],["1","33","517","5115","35860","189486","783618","2599542","7033785","15698925","29113953","45046719","58227906","62795700","56270280","41592672","25075776","12127104","4590080","1309440","264704","33792","2048"],["1","36","618","6732","52239","307296","1423796","5329368","16399647","41999364","90278298","163786428","251595969","327572856","361113192","335994912","262394352","170539776","91122944","39333888","13373184","3446784","632832","73728","4096"],["1","39","728","8658","73671","477477","2450162","10215348","35235343","101857041","249075684","518620050","923511849","1409933619","1847023698","2074480200","1992605472","1629712656","1127530976","653782272","313620736","122234112","37719552","8865792","1490944","159744","8192"],["1","42","847","10920","101101","715806","4029935","18520788","70781711","227993766","625117493","1469561184","2977523367","5217709266","7923848253","10435418532","11910093468","11756489472","10001879888","7295800512","4530029504","2370660864","1031663360","366492672","103527424","22364160","3469312","344064","16384"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","6","36","216","1296","7776","46656","279936","1679616","10077696","60466176","362797056","2176782336","13060694016","78364164096"],"nonn":true,"definitions":[{"position":0,"source":"oeis_catalog:A200536","source_kind":"oeis_catalog","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","3","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":159573,"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-982ad459e6d62a8e"]},{"id":159574,"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-982ad459e6d62a8e"]},{"id":159575,"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-982ad459e6d62a8e"]}],"region_exact":{},"incoming_edges":[{"id":"e-982ad459e6d62a8e","operation":{"operation":"parent_provers","route":"periodic_product"},"operation_detail":"periodic_product","conclusion_id":"n-eed4f744ce063213","premise_count":0,"theorem":"polytool parent provers, route periodic_product: every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign","lean_route":null,"lean_declarations":[],"certificate_hash":"f3021bd0d3a9664a5564f4136150376130bdd76ba1bfc74cce1540d44ad10790","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[]}],"used_by":[{"id":"e-185113cbc4b6c77b","operation":"basis_map","operation_detail":"A013609","conclusion_id":"n-83675781d9687218","conclusion_name":"basis_map_A013609 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n."},{"id":"e-4c5ee4490c6f16fe","operation":"basis_map","operation_detail":"A008277","conclusion_id":"n-e529baa18a6a4626","conclusion_name":"basis_map_A008277 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n."},{"id":"e-6e97878f95ac8f6d","operation":"basis_map","operation_detail":"A007318","conclusion_id":"n-a19ad5e2037d7c6a","conclusion_name":"basis_map_A007318 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n."},{"id":"e-bf76d3591eaf645b","operation":"basis_map","operation_detail":"A013610","conclusion_id":"n-2ff1c5d05cc7026f","conclusion_name":"basis_map_A013610 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n."},{"id":"e-ecef41f482d88baf","operation":"basis_map","operation_detail":"A013611","conclusion_id":"n-02d4e89e51dfb496","conclusion_name":"basis_map_A013611 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n."}],"used_by_total":5,"links":[{"id":"l-08a4eae89a9d71b1","kind":"oeis_match","node_a_id":"n-eed4f744ce063213","node_b_id":null,"fingerprint":null,"oeis_id":"A000400","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":"A000400","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-24a146a9e04f768d","kind":"oeis_match","node_a_id":"n-eed4f744ce063213","node_b_id":null,"fingerprint":null,"oeis_id":"A200536","in_catalog":1,"target":"triangle","row_alignment":"node_lengths","rows_matched":8,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"row_alignment":"node_lengths","rows_matched":8,"target":"triangle","terms_compared":64},"in_catalog":true,"oeis_id":"A200536","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A200536","relation":"identification"},{"oeis_id":"A000400","relation":"match_row_sums"},{"oeis_id":"A200536","relation":"match_triangle"}],"bfiles":[{"node_id":"n-eed4f744ce063213","oeis_id":"A000400","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":23,"oeis_terms_available":23,"term_count":200,"raw_size":16479},{"node_id":"n-eed4f744ce063213","oeis_id":"A200536","target":"triangle","oeis_offset":0,"first_row":0,"rows_used":32,"terms_matched":64,"oeis_terms_agreeing":64,"oeis_terms_available":64,"term_count":1024,"raw_size":17237}],"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: 1,  3,   2;\n  2: 1,  6,  13,   12,     4;\n  3: 1,  9,  33,   63,    66,    36,      8;\n  4: 1, 12,  62,  180,   321,   360,    248,     96,     16;\n  5: 1, 15, 100,  390,   985,  1683,   1970,   1560,    800,     240,      32;\n  6: 1, 18, 147,  720,  2355,  5418,   8989,  10836,   9420,    5760,    2352,     576,      64;\n  7: 1, 21, 203, 1197,  4809, 13923,  29953,  48639,  59906,   55692,   38472,   19152,    6496,   1344,    128;\n  8: 1, 24, 268, 1848,  8806, 30744,  81340, 166344, 265729,  332688,  325360,  245952,  140896,  59136,  17152,   3072,   256;\n  9: 1, 27, 342, 2700, 14886, 60858, 191184, 471852, 927441, 1462563, 1854882, 1887408, 1529472, 973728, 476352, 172800, 43776, 6912, 512;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (1+3*x+2*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[(1 + 3*x + 2*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] = (1 + 3*x + 2*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}},{"oeis_id":"A200536","target":"triangle","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: 1,  3,   2;\n  2: 1,  6,  13,   12,     4;\n  3: 1,  9,  33,   63,    66,    36,      8;\n  4: 1, 12,  62,  180,   321,   360,    248,     96,     16;\n  5: 1, 15, 100,  390,   985,  1683,   1970,   1560,    800,     240,      32;\n  6: 1, 18, 147,  720,  2355,  5418,   8989,  10836,   9420,    5760,    2352,     576,      64;\n  7: 1, 21, 203, 1197,  4809, 13923,  29953,  48639,  59906,   55692,   38472,   19152,    6496,   1344,    128;\n  8: 1, 24, 268, 1848,  8806, 30744,  81340, 166344, 265729,  332688,  325360,  245952,  140896,  59136,  17152,   3072,   256;\n  9: 1, 27, 342, 2700, 14886, 60858, 191184, 471852, 927441, 1462563, 1854882, 1887408, 1529472, 973728, 476352, 172800, 43776, 6912, 512;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (1+3*x+2*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[(1 + 3*x + 2*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] = (1 + 3*x + 2*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-eed4f744ce063213","steps":[],"edges":[],"text":"A200536"},"headline":"A200536: Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","chain":null}