{"id":"n-336459bdce627a87","revision":1,"first_index":0,"fingerprint":"f6-2cd9f46ca2d53115","name":"Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":0,"palindromic":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["2","4","2"],["4","16","24","16","4"],["8","48","120","160","120","48","8"],["16","128","448","896","1120","896","448","128","16"],["32","320","1440","3840","6720","8064","6720","3840","1440","320","32"],["64","768","4224","14080","31680","50688","59136","50688","31680","14080","4224","768","64"],["128","1792","11648","46592","128128","256256","384384","439296","384384","256256","128128","46592","11648","1792","128"],["256","4096","30720","143360","465920","1118208","2050048","2928640","3294720","2928640","2050048","1118208","465920","143360","30720","4096","256"],["512","9216","78336","417792","1566720","4386816","9504768","16293888","22404096","24893440","22404096","16293888","9504768","4386816","1566720","417792","78336","9216","512"],["1024","20480","194560","1167360","4961280","15876096","39690240","79380480","128993280","171991040","189190144","171991040","128993280","79380480","39690240","15876096","4961280","1167360","194560","20480","1024"],["2048","45056","473088","3153920","14981120","53932032","152807424","349274112","654888960","1018716160","1324331008","1444724736","1324331008","1018716160","654888960","349274112","152807424","53932032","14981120","3153920","473088","45056","2048"],["4096","98304","1130496","8290304","43524096","174096384","551305216","1417641984","3012489216","5355536384","8033304576","10224205824","11076222976","10224205824","8033304576","5355536384","3012489216","1417641984","551305216","174096384","43524096","8290304","1130496","98304","4096"],["8192","212992","2662400","21299200","122470400","538869760","1886044160","5388697600","12798156800","25596313600","43513733120","63292702720","79115878400","85201715200","79115878400","63292702720","43513733120","25596313600","12798156800","5388697600","1886044160","538869760","122470400","21299200","2662400","212992","8192"],["16384","458752","6193152","53673984","335462400","1610219520","6172508160","19399311360","50923192320","113162649600","215009034240","351832965120","498430033920","613452349440","657270374400","613452349440","498430033920","351832965120","215009034240","113162649600","50923192320","19399311360","6172508160","1610219520","335462400","53673984","6193152","458752","16384"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","8","64","512","4096","32768","262144","2097152","16777216","134217728","1073741824","8589934592","68719476736","549755813888","4398046511104"],"nonn":true,"definitions":[{"position":0,"source":"oeis_catalog:A139548","source_kind":"oeis_catalog","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["2","4","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":159277,"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-4755dd2fd7289161"]},{"id":159278,"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-4755dd2fd7289161"]},{"id":159279,"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-4755dd2fd7289161"]}],"region_exact":{},"incoming_edges":[{"id":"e-4755dd2fd7289161","operation":{"operation":"parent_provers","route":"periodic_product"},"operation_detail":"periodic_product","conclusion_id":"n-336459bdce627a87","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":"24bf73d08441db7009bad14d02e5a39199f826fa0791aa248da003a4115f4c92","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-65b163cdbb61d2ab","operation":"basis_map","operation_detail":"A013609","conclusion_id":"n-32191567c95f77cc","conclusion_name":"basis_map_A013609 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n."},{"id":"e-770b6439e58a100f","operation":"basis_map","operation_detail":"A013611","conclusion_id":"n-f8ceb867f43c1485","conclusion_name":"basis_map_A013611 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n."},{"id":"e-a142fb8711dcbce4","operation":"basis_map","operation_detail":"A013610","conclusion_id":"n-87b7b64af43d2638","conclusion_name":"basis_map_A013610 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n."},{"id":"e-b4af3e745574d56e","operation":"basis_map","operation_detail":"A008277","conclusion_id":"n-f2ca92e21d86d85e","conclusion_name":"basis_map_A008277 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n."},{"id":"e-debf4dfb42326c05","operation":"basis_map","operation_detail":"A007318","conclusion_id":"n-4d3a36b3f07ad6a5","conclusion_name":"basis_map_A007318 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n."},{"id":"e-9754e3fde53fc70a","operation":"gamma_polynomial","operation_detail":"scale 1, shift 0","conclusion_id":"n-5a3397c669570bd5","conclusion_name":"reversal of Infinite lower triangular matrix with 2^k in the right diagonal and the rest zeros. Triangle, T(n,k), n zeros followed by the term 2^k. Triangle by columns, (2^k, 0, 0, 0, ...)."}],"used_by_total":6,"links":[{"id":"l-13f11df61d94cbf5","kind":"fingerprint_related","node_a_id":"n-08f49539099949d5","node_b_id":"n-336459bdce627a87","fingerprint":"f6-2cd9f46ca2d53115","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2cd9f46ca2d53115"},"other_id":"n-08f49539099949d5","other":{"id":"n-08f49539099949d5","name":"Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-2cd9f46ca2d53115","polytool_family":null,"degree_pattern":"affine","palindromic":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["1","2","1"],["1","4","6","4","1"]],"card_rows":[["1"],["1","2","1"],["1","4","6","4","1"],["1","6","15","20","15","6","1"]],"row_sums_preview":["1","4","16","64","256","1024","4096","16384"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":["A034870"],"derivation":{"root":"n-08f49539099949d5","steps":[],"edges":[],"text":"A034870"},"headline":"A034870: Even-numbered rows of Pascal's triangle.","chain":null}},{"id":"l-6bce91addec5d713","kind":"fingerprint_related","node_a_id":"n-336459bdce627a87","node_b_id":"n-0b4d80e04a8cfcd3","fingerprint":"f6-2cd9f46ca2d53115","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2cd9f46ca2d53115"},"other_id":"n-0b4d80e04a8cfcd3","other":{"id":"n-0b4d80e04a8cfcd3","name":"basis_map_A013609 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-2cd9f46ca2d53115","polytool_family":null,"degree_pattern":"affine","palindromic":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["4","8","4"],["16","64","96","64","16"]],"card_rows":[["1"],["4","8","4"],["16","64","96","64","16"],["64","384","960","1280","960","384","64"]],"row_sums_preview":["1","16","256","4096","65536","1048576","16777216","268435456"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013609"],"edges":["e-9638204c7017296b"],"text":"A034870 \u2192 basis A013609"},"headline":"A034870 \u2192 basis A013609","chain":null}},{"id":"l-eac42bb719a18ab1","kind":"fingerprint_related","node_a_id":"n-336459bdce627a87","node_b_id":"n-32191567c95f77cc","fingerprint":"f6-2cd9f46ca2d53115","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2cd9f46ca2d53115"},"other_id":"n-32191567c95f77cc","other":{"id":"n-32191567c95f77cc","name":"basis_map_A013609 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","first_index":0,"fingerprint":"f6-2cd9f46ca2d53115","polytool_family":null,"degree_pattern":"affine","palindromic":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","16","8"],["64","256","384","256","64"]],"card_rows":[["1"],["8","16","8"],["64","256","384","256","64"],["512","3072","7680","10240","7680","3072","512"]],"row_sums_preview":["1","32","1024","32768","1048576","33554432","1073741824","34359738368"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["basis A013609"],"edges":["e-65b163cdbb61d2ab"],"text":"A139548 \u2192 basis A013609"},"headline":"A139548 \u2192 basis A013609","chain":null}},{"id":"l-6e15a27d8b3e0c6c","kind":"oeis_match","node_a_id":"n-336459bdce627a87","node_b_id":null,"fingerprint":null,"oeis_id":"A139548","in_catalog":1,"target":"triangle","row_alignment":"node_lengths","rows_matched":7,"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":7,"target":"triangle","terms_compared":52},"in_catalog":true,"oeis_id":"A139548","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-70e838fe739795ac","kind":"oeis_match","node_a_id":"n-336459bdce627a87","node_b_id":null,"fingerprint":null,"oeis_id":"A001018","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":"A001018","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-e2e53cc9b9bfad05","kind":"oeis_match","node_a_id":"n-336459bdce627a87","node_b_id":null,"fingerprint":null,"oeis_id":"A139548","in_catalog":1,"target":"reversed_triangle","row_alignment":"node_lengths","rows_matched":7,"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":7,"target":"reversed_triangle","terms_compared":52},"in_catalog":true,"oeis_id":"A139548","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A139548","relation":"identification"},{"oeis_id":"A139548","relation":"match_reversed_triangle"},{"oeis_id":"A001018","relation":"match_row_sums"},{"oeis_id":"A139548","relation":"match_triangle"}],"bfiles":[{"node_id":"n-336459bdce627a87","oeis_id":"A001018","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":25,"oeis_terms_available":25,"term_count":200,"raw_size":18961},{"node_id":"n-336459bdce627a87","oeis_id":"A139548","target":"triangle","oeis_offset":0,"first_row":0,"rows_used":32,"terms_matched":52,"oeis_terms_agreeing":52,"oeis_terms_available":52,"term_count":1024,"raw_size":20242},{"node_id":"n-336459bdce627a87","oeis_id":"A139548","target":"reversed_triangle","oeis_offset":0,"first_row":0,"rows_used":32,"terms_matched":52,"oeis_terms_agreeing":52,"oeis_terms_available":52,"term_count":1024,"raw_size":20242}],"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,     2;\n  2:   4,   16,    24,     16,       4;\n  3:   8,   48,   120,    160,     120,      48,       8;\n  4:  16,  128,   448,    896,    1120,     896,     448,      128,       16;\n  5:  32,  320,  1440,   3840,    6720,    8064,    6720,     3840,     1440,      320,       32;\n  6:  64,  768,  4224,  14080,   31680,   50688,   59136,    50688,    31680,    14080,     4224,      768,      64;\n  7: 128, 1792, 11648,  46592,  128128,  256256,  384384,   439296,   384384,   256256,   128128,    46592,   11648,    1792,     128;\n  8: 256, 4096, 30720, 143360,  465920, 1118208, 2050048,  2928640,  3294720,  2928640,  2050048,  1118208,  465920,  143360,   30720,   4096,   256;\n  9: 512, 9216, 78336, 417792, 1566720, 4386816, 9504768, 16293888, 22404096, 24893440, 22404096, 16293888, 9504768, 4386816, 1566720, 417792, 78336, 9216, 512;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (2+4*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[(2 + 4*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] = (2 + 4*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":"A139548","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:   2,    4,     2;\n  2:   4,   16,    24,     16,       4;\n  3:   8,   48,   120,    160,     120,      48,       8;\n  4:  16,  128,   448,    896,    1120,     896,     448,      128,       16;\n  5:  32,  320,  1440,   3840,    6720,    8064,    6720,     3840,     1440,      320,       32;\n  6:  64,  768,  4224,  14080,   31680,   50688,   59136,    50688,    31680,    14080,     4224,      768,      64;\n  7: 128, 1792, 11648,  46592,  128128,  256256,  384384,   439296,   384384,   256256,   128128,    46592,   11648,    1792,     128;\n  8: 256, 4096, 30720, 143360,  465920, 1118208, 2050048,  2928640,  3294720,  2928640,  2050048,  1118208,  465920,  143360,   30720,   4096,   256;\n  9: 512, 9216, 78336, 417792, 1566720, 4386816, 9504768, 16293888, 22404096, 24893440, 22404096, 16293888, 9504768, 4386816, 1566720, 417792, 78336, 9216, 512;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (2+4*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[(2 + 4*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] = (2 + 4*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":"A139548","target":"reversed_triangle","first_row":0,"oeis_offset":0,"reversed":true,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n  0:   1;\n  1:   2,    4,     2;\n  2:   4,   16,    24,     16,       4;\n  3:   8,   48,   120,    160,     120,      48,       8;\n  4:  16,  128,   448,    896,    1120,     896,     448,      128,       16;\n  5:  32,  320,  1440,   3840,    6720,    8064,    6720,     3840,     1440,      320,       32;\n  6:  64,  768,  4224,  14080,   31680,   50688,   59136,    50688,    31680,    14080,     4224,      768,      64;\n  7: 128, 1792, 11648,  46592,  128128,  256256,  384384,   439296,   384384,   256256,   128128,    46592,   11648,    1792,     128;\n  8: 256, 4096, 30720, 143360,  465920, 1118208, 2050048,  2928640,  3294720,  2928640,  2050048,  1118208,  465920,  143360,   30720,   4096,   256;\n  9: 512, 9216, 78336, 417792, 1566720, 4386816, 9504768, 16293888, 22404096, 24893440, 22404096, 16293888, 9504768, 4386816, 1566720, 417792, 78336, 9216, 512;\n","recurrence_sentence":"Row n lists the coefficients of P(n,x) in descending powers of x, where P(n,x) = (2+4*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[(2 + 4*x + 2*x^2)*P[n - 1, x]];\nTable[Reverse[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] = (2 + 4*x + 2*x^2)*v[i - 1]); v};\nrow(n, p) = {my(c = Vecrev(p)); c = Vecrev(c); 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":true,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-336459bdce627a87","steps":[],"edges":[],"text":"A139548"},"headline":"A139548: Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","chain":null}