{"id":"n-83675781d9687218","revision":1,"first_index":0,"fingerprint":"f6-a0b8814ff2967252","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.","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"],["6","14","8"],["36","168","292","224","64"],["216","1512","4392","6776","5856","2688","512"],["1296","12096","49248","114240","165136","152320","87552","28672","4096"],["7776","90720","475200","1471680","2984160","4139744","3978880","2616320","1126400","286720","32768"],["46656","653184","4183488","16208640","42310080","78390144","105702976","104520192","75217920","38420480","13221888","2752512","262144"],["279936","4572288","34618752","161046144","514249344","1192351104","2070160512","2734083968","2760214016","2119735296","1218961408","508985344","145883136","25690112","2097152"],["1679616","31352832","273964032","1487517696","5617092096","15641966592","33227873280","54925559808","71399743744","73234079744","59071774720","37077254144","17752784896","6268387328","1539309568","234881024","16777216"],["10077696","211631616","2096160768","13011425280","56719512576","184391230464","463291508736","919879317504","1463179286016","1878405369344","1950905714688","1635341008896","1098172465152","582767345664","239015559168","73106718720","15703474176","2113929216","134217728"],["60466176","1410877440","15620428800","109107855360","539246315520","2004511961088","5814982379520","13480486871040","25363718231040","39113976760320","49708543747072","52151969013760","45091054632960","31953746657280","18378215915520","8446996905984","3029839380480","817385963520","156028108800","18790481920","1073741824"],["362797056","9311791104","113958586368","884620154880","4887951298560","20449383026688","67267032256512","178328770228224","387428984616960","697619810764800","1048756682975232","1321743240624128","1398342243966976","1240212996915200","918350185758720","563606977511424","283462720290816","114898042355712","36618287185920","8836224122880","1517734068224","165356240896","8589934592"],["2176782336","60949905408","817018970112","6977635467264","42624058650624","198204577579008","728997166301184","2175306137174016","5359312948948992","11036354811052032","19158649325494272","28194011491516416","35284512296341504","37592015322021888","34059821023100928","26160248441012224","16938075492974592","9166722158297088","4095984078422016","1484857704185856","425759839617024","92930207383552","14508399525888","1443109011456","68719476736"],["13060694016","396174385152","5772826755072","53791677628416","359967400206336","1841785370320896","7489839553118208","24843433771892736","68442140944539648","158650959248990208","312335366899286016","525675997994434560","759692429263233024","945087356013043712","1012923239017644032","934535107545661440","740350499316826112","501415377379524608","288414618630488064","139586700589400064","56110439523680256","18397080632426496","4794152017461248","955217906499584","136683039227904","12506944765952","549755813888"],["78364164096","2559896027136","40287887474688","406739035422720","2959070502076416","16520589245841408","73603771704852480","268652639337578496","818379634898681856","2108843198892638208","4642662758437896192","8795958798548533248","14416301482695770112","20511626129719001088","25386301852394340352","27348834839625334784","25628980413681369088","20849680115078004736","14673106989630881792","8886647883399430144","4598193394437586944","2012622241841283072","735207557148180480","220026080742866944","52546365066051584","9630347469783040","1271860075429888","107752139522048","4398046511104"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","28","784","21952","614656","17210368","481890304","13492928512","377801998336","10578455953408","296196766695424","8293509467471872","232218265089212416","6502111422497947648","182059119829942534144"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["6","14","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166680,"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-185113cbc4b6c77b"]},{"id":166681,"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-185113cbc4b6c77b"]},{"id":166682,"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-185113cbc4b6c77b"]}],"region_exact":{},"incoming_edges":[{"id":"e-185113cbc4b6c77b","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-83675781d9687218","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":"87a45ca1e6a45247263d03a375f697298667025daf2bd2d6a0a80292eeddccf7","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-eed4f744ce063213","role":"sequence","name":"Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","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-1af06faed66143ea","kind":"oeis_match","node_a_id":"n-83675781d9687218","node_b_id":null,"fingerprint":null,"oeis_id":"A009972","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":"A009972","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009972","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-83675781d9687218","oeis_id":"A009972","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":29789}],"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,        14,          8;\n  2:       36,       168,        292,         224,          64;\n  3:      216,      1512,       4392,        6776,        5856,         2688,          512;\n  4:     1296,     12096,      49248,      114240,      165136,       152320,        87552,        28672,          4096;\n  5:     7776,     90720,     475200,     1471680,     2984160,      4139744,      3978880,      2616320,       1126400,        286720,         32768;\n  6:    46656,    653184,    4183488,    16208640,    42310080,     78390144,    105702976,    104520192,      75217920,      38420480,      13221888,       2752512,        262144;\n  7:   279936,   4572288,   34618752,   161046144,   514249344,   1192351104,   2070160512,   2734083968,    2760214016,    2119735296,    1218961408,     508985344,     145883136,     25690112,      2097152;\n  8:  1679616,  31352832,  273964032,  1487517696,  5617092096,  15641966592,  33227873280,  54925559808,   71399743744,   73234079744,   59071774720,   37077254144,   17752784896,   6268387328,   1539309568,   234881024,    16777216;\n  9: 10077696, 211631616, 2096160768, 13011425280, 56719512576, 184391230464, 463291508736, 919879317504, 1463179286016, 1878405369344, 1950905714688, 1635341008896, 1098172465152, 582767345664, 239015559168, 73106718720, 15703474176, 2113929216, 134217728;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (6+14*x+8*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 + 14*x + 8*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 + 14*x + 8*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":["basis A013609"],"edges":["e-185113cbc4b6c77b"],"text":"A200536 \u2192 basis A013609"},"headline":"A200536 \u2192 basis A013609","chain":null}