{"id":"n-a40ac0f77c5e83c7","revision":0,"first_index":0,"fingerprint":"f6-268f03d6dbc16036","name":"reversal of basis_map_A013611 of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","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"],["16","8","1"],["256","256","96","16","1"],["4096","6144","3840","1280","240","24","1"],["65536","131072","114688","57344","17920","3584","448","32","1"],["1048576","2621440","2949120","1966080","860160","258048","53760","7680","720","40","1"],["16777216","50331648","69206016","57671680","32440320","12976128","3784704","811008","126720","14080","1056","48","1"],["268435456","939524096","1526726656","1526726656","1049624576","524812288","196804608","56229888","12300288","2050048","256256","23296","1456","56","1"],["4294967296","17179869184","32212254720","37580963840","30534533120","18320719872","8396996608","2998927360","843448320","187432960","32800768","4472832","465920","35840","1920","64","1"],["68719476736","309237645312","657129996288","876173328384","821412495360","574988746752","311452237824","133479530496","45883588608","12745441280","2867724288","521404416","76038144","8773632","783360","52224","2448","72","1"],["1099511627776","5497558138880","13056700579840","19585050869760","20809116549120","16647293239296","10404558274560","5202279137280","2113425899520","704475299840","193730707456","44029706240","8255569920","1270087680","158760960","15876096","1240320","72960","3040","80","1"],["17592186044416","96757023244288","253987186016256","423311976693760","502682972323840","452414675091456","320460394856448","183120225632256","85837605765120","33381291130880","10848919617536","2958796259328","678057476096","130395668480","20956446720","2794192896","305614848","26966016","1872640","98560","3696","88","1"],["281474976710656","1688849860263936","4855443348258816","8901646138474496","11683410556747776","11683410556747776","9249366690758656","5946021444059136","3158823892156416","1403921729847296","526470648692736","167513388220416","45368209309696","10469586763776","2056525971456","342754328576","48199827456","5670567936","551305216","43524096","2720256","129536","4416","96","1"],["4503599627370496","29273397577908224","91479367430963200","182958734861926400","263003181364019200","289303499500421120","253140562062868480","180814687187763200","107358720517734400","53679360258867200","22813728110018560","8295901130915840","2592469103411200","697972450918400","162029318963200","32405863792640","5569757839360","819082035200","102385254400","10777395200","943022080","67358720","3827200","166400","5200","104","1"],["72057594037927936","504403158265495552","1702360659146047488","3688448094816436224","5763200148150681600","6915840177780817920","6627680170373283840","5207462991007580160","3417397587848724480","1898554215471513600","901813252348968960","368923603233669120","130660442811924480","40203213172899840","10768717814169600","2512700823306240","510392354734080","90069239070720","13760578191360","1810602393600","203692769280","19399311360","1543127040","100638720","5241600","209664","6048","112","1"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","25","625","15625","390625","9765625","244140625","6103515625","152587890625","3814697265625","95367431640625","2384185791015625","59604644775390625","1490116119384765625","37252902984619140625"],"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":[["16","8","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":191863,"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-37d4fdd9e883dd9c"]},{"id":191864,"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-37d4fdd9e883dd9c"]},{"id":191865,"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-37d4fdd9e883dd9c"]}],"region_exact":{},"incoming_edges":[{"id":"e-37d4fdd9e883dd9c","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-a40ac0f77c5e83c7","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":"72086fe8198ac86fc0b5e610e9bec12014ded1f7fb62f858d4ddf9ec9903ccef","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-fea317cb49e40b71","role":"sequence","name":"basis_map_A013611 of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","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-41de0cdb19d3217c","kind":"fingerprint_related","node_a_id":"n-a40ac0f77c5e83c7","node_b_id":"n-58e2746ad1a772cf","fingerprint":"f6-268f03d6dbc16036","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-268f03d6dbc16036"},"other_id":"n-58e2746ad1a772cf","other":{"id":"n-58e2746ad1a772cf","name":"basis_map_A013611 of theta_plus_one of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","first_index":0,"fingerprint":"f6-268f03d6dbc16036","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["3","24","48"],["5","80","480","1280","1280"]],"card_rows":[["1"],["3","24","48"],["5","80","480","1280","1280"],["7","168","1680","8960","26880","43008","28672"]],"row_sums_preview":["1","75","3125","109375","3515625","107421875","3173828125","91552734375"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["\u03b8+1","basis A013611"],"edges":["e-5ff024f1a04a7dc8","e-3c864200f4ee75be"],"text":"basis-map coefficients of A297191, shifted \u2192 \u03b8+1 \u2192 basis A013611"},"headline":"basis-map coefficients of A297191, shifted \u2192 \u03b8+1 \u2192 basis A013611","chain":null}},{"id":"l-5a1313305c813da7","kind":"fingerprint_related","node_a_id":"n-a40ac0f77c5e83c7","node_b_id":"n-dd49448b5271c975","fingerprint":"f6-268f03d6dbc16036","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-268f03d6dbc16036"},"other_id":"n-dd49448b5271c975","other":{"id":"n-dd49448b5271c975","name":"basis_map_A013611 of theta_plus_one_squared of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","first_index":0,"fingerprint":"f6-268f03d6dbc16036","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["9","72","144"],["25","400","2400","6400","6400"]],"card_rows":[["1"],["9","72","144"],["25","400","2400","6400","6400"],["49","1176","11760","62720","188160","301056","200704"]],"row_sums_preview":["1","225","15625","765625","31640625","1181640625","41259765625","1373291015625"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["(\u03b8+1)\u00b2","basis A013611"],"edges":["e-5ac7ff393747d6fc","e-abcf7aeeb36b024f"],"text":"basis-map coefficients of A297191, shifted \u2192 (\u03b8+1)\u00b2 \u2192 basis A013611"},"headline":"basis-map coefficients of A297191, shifted \u2192 (\u03b8+1)\u00b2 \u2192 basis A013611","chain":null}},{"id":"l-c7b538745b717103","kind":"fingerprint_related","node_a_id":"n-fea317cb49e40b71","node_b_id":"n-a40ac0f77c5e83c7","fingerprint":"f6-268f03d6dbc16036","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-268f03d6dbc16036"},"other_id":"n-fea317cb49e40b71","other":{"id":"n-fea317cb49e40b71","name":"basis_map_A013611 of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","first_index":0,"fingerprint":"f6-268f03d6dbc16036","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["1","8","16"],["1","16","96","256","256"]],"card_rows":[["1"],["1","8","16"],["1","16","96","256","256"],["1","24","240","1280","3840","6144","4096"]],"row_sums_preview":["1","25","625","15625","390625","9765625","244140625","6103515625"],"regions":["(-inf, 0]","[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["basis A013611"],"edges":["e-a80b60183a85d18e"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013611"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013611","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:          16,            8,            1;\n  2:         256,          256,           96,           16,            1;\n  3:        4096,         6144,         3840,         1280,          240,           24,            1;\n  4:       65536,       131072,       114688,        57344,        17920,         3584,          448,           32,           1;\n  5:     1048576,      2621440,      2949120,      1966080,       860160,       258048,        53760,         7680,         720,          40,          1;\n  6:    16777216,     50331648,     69206016,     57671680,     32440320,     12976128,      3784704,       811008,      126720,       14080,       1056,        48,        1;\n  7:   268435456,    939524096,   1526726656,   1526726656,   1049624576,    524812288,    196804608,     56229888,    12300288,     2050048,     256256,     23296,     1456,      56,      1;\n  8:  4294967296,  17179869184,  32212254720,  37580963840,  30534533120,  18320719872,   8396996608,   2998927360,   843448320,   187432960,   32800768,   4472832,   465920,   35840,   1920,    64,    1;\n  9: 68719476736, 309237645312, 657129996288, 876173328384, 821412495360, 574988746752, 311452237824, 133479530496, 45883588608, 12745441280, 2867724288, 521404416, 76038144, 8773632, 783360, 52224, 2448, 72, 1;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (16+8*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[(16 + 8*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] = (16 + 8*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-cdb0db4ad473ee28","steps":["basis A013611","reverse"],"edges":["e-a80b60183a85d18e","e-37d4fdd9e883dd9c"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013611 \u2192 reverse"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013611 \u2192 reverse","chain":null}