{"id":"n-feafdaba4f567b18","revision":0,"first_index":0,"fingerprint":"f6-a0b8814ff2967252","name":"reversal of 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"],["8","14","6"],["64","224","292","168","36"],["512","2688","5856","6776","4392","1512","216"],["4096","28672","87552","152320","165136","114240","49248","12096","1296"],["32768","286720","1126400","2616320","3978880","4139744","2984160","1471680","475200","90720","7776"],["262144","2752512","13221888","38420480","75217920","104520192","105702976","78390144","42310080","16208640","4183488","653184","46656"],["2097152","25690112","145883136","508985344","1218961408","2119735296","2760214016","2734083968","2070160512","1192351104","514249344","161046144","34618752","4572288","279936"],["16777216","234881024","1539309568","6268387328","17752784896","37077254144","59071774720","73234079744","71399743744","54925559808","33227873280","15641966592","5617092096","1487517696","273964032","31352832","1679616"],["134217728","2113929216","15703474176","73106718720","239015559168","582767345664","1098172465152","1635341008896","1950905714688","1878405369344","1463179286016","919879317504","463291508736","184391230464","56719512576","13011425280","2096160768","211631616","10077696"],["1073741824","18790481920","156028108800","817385963520","3029839380480","8446996905984","18378215915520","31953746657280","45091054632960","52151969013760","49708543747072","39113976760320","25363718231040","13480486871040","5814982379520","2004511961088","539246315520","109107855360","15620428800","1410877440","60466176"],["8589934592","165356240896","1517734068224","8836224122880","36618287185920","114898042355712","283462720290816","563606977511424","918350185758720","1240212996915200","1398342243966976","1321743240624128","1048756682975232","697619810764800","387428984616960","178328770228224","67267032256512","20449383026688","4887951298560","884620154880","113958586368","9311791104","362797056"],["68719476736","1443109011456","14508399525888","92930207383552","425759839617024","1484857704185856","4095984078422016","9166722158297088","16938075492974592","26160248441012224","34059821023100928","37592015322021888","35284512296341504","28194011491516416","19158649325494272","11036354811052032","5359312948948992","2175306137174016","728997166301184","198204577579008","42624058650624","6977635467264","817018970112","60949905408","2176782336"],["549755813888","12506944765952","136683039227904","955217906499584","4794152017461248","18397080632426496","56110439523680256","139586700589400064","288414618630488064","501415377379524608","740350499316826112","934535107545661440","1012923239017644032","945087356013043712","759692429263233024","525675997994434560","312335366899286016","158650959248990208","68442140944539648","24843433771892736","7489839553118208","1841785370320896","359967400206336","53791677628416","5772826755072","396174385152","13060694016"],["4398046511104","107752139522048","1271860075429888","9630347469783040","52546365066051584","220026080742866944","735207557148180480","2012622241841283072","4598193394437586944","8886647883399430144","14673106989630881792","20849680115078004736","25628980413681369088","27348834839625334784","25386301852394340352","20511626129719001088","14416301482695770112","8795958798548533248","4642662758437896192","2108843198892638208","818379634898681856","268652639337578496","73603771704852480","16520589245841408","2959070502076416","406739035422720","40287887474688","2559896027136","78364164096"]],"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:reversal","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["8","14","6"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192057,"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-9fd2ff9e2d8d4c6d"]},{"id":192058,"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-9fd2ff9e2d8d4c6d"]},{"id":192059,"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-9fd2ff9e2d8d4c6d"]}],"region_exact":{},"incoming_edges":[{"id":"e-9fd2ff9e2d8d4c6d","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"reversal\",\"schedule\":{\"first_index\":0,\"first_degree\":0,\"step\":2}}"},"operation_detail":"reversal, shift 0","conclusion_id":"n-feafdaba4f567b18","premise_count":1,"theorem":"a real affine substitution x -> a x + b (a != 0), the reversal x^d p(1/x) (d >= deg p) and a real Mobius map (c x + e)^d p((a x + b)/(c x + e)) (a e - b c != 0, d >= deg p) map real roots to real roots: a root r of p gives the root (r - b)/a, 1/r (and 0) or (e r - b)/(a - c r) (and -e/c); for an input row that is a polynomial the degree condition holds automatically","lean_route":"reversed","lean_declarations":["RealRooted.X_pow_mul_reverse_eq_zero_or_splits","RealRooted.reflect_eq_zero_or_splits"],"certificate_hash":"1007fc1f89cd78d26ff532736f34819cb5f84fbc57d848f13806b4f9a3b446b5","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-83675781d9687218","role":"sequence","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.","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-a504e689d7639858","kind":"fingerprint_related","node_a_id":"n-83675781d9687218","node_b_id":"n-feafdaba4f567b18","fingerprint":"f6-a0b8814ff2967252","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a0b8814ff2967252"},"other_id":"n-83675781d9687218","other":{"id":"n-83675781d9687218","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.","first_index":0,"fingerprint":"f6-a0b8814ff2967252","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["6","14","8"],["36","168","292","224","64"]],"card_rows":[["1"],["6","14","8"],["36","168","292","224","64"],["216","1512","4392","6776","5856","2688","512"]],"row_sums_preview":["1","28","784","21952","614656","17210368","481890304","13492928512"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-eed4f744ce063213","steps":["basis A013609"],"edges":["e-185113cbc4b6c77b"],"text":"A200536 \u2192 basis A013609"},"headline":"A200536 \u2192 basis A013609","chain":null}}],"oeis":[],"bfiles":[],"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:         8,         14,           6;\n  2:        64,        224,         292,         168,           36;\n  3:       512,       2688,        5856,        6776,         4392,         1512,           216;\n  4:      4096,      28672,       87552,      152320,       165136,       114240,         49248,         12096,          1296;\n  5:     32768,     286720,     1126400,     2616320,      3978880,      4139744,       2984160,       1471680,        475200,         90720,          7776;\n  6:    262144,    2752512,    13221888,    38420480,     75217920,    104520192,     105702976,      78390144,      42310080,      16208640,       4183488,       653184,        46656;\n  7:   2097152,   25690112,   145883136,   508985344,   1218961408,   2119735296,    2760214016,    2734083968,    2070160512,    1192351104,     514249344,    161046144,     34618752,      4572288,      279936;\n  8:  16777216,  234881024,  1539309568,  6268387328,  17752784896,  37077254144,   59071774720,   73234079744,   71399743744,   54925559808,   33227873280,  15641966592,   5617092096,   1487517696,   273964032,    31352832,    1679616;\n  9: 134217728, 2113929216, 15703474176, 73106718720, 239015559168, 582767345664, 1098172465152, 1635341008896, 1950905714688, 1878405369344, 1463179286016, 919879317504, 463291508736, 184391230464, 56719512576, 13011425280, 2096160768, 211631616, 10077696;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (8+14*x+6*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[(8 + 14*x + 6*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] = (8 + 14*x + 6*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","reverse"],"edges":["e-185113cbc4b6c77b","e-9fd2ff9e2d8d4c6d"],"text":"A200536 \u2192 basis A013609 \u2192 reverse"},"headline":"A200536 \u2192 basis A013609 \u2192 reverse","chain":null}