{"id":"n-47a6042357a612c5","revision":0,"first_index":0,"fingerprint":"f6-deb86af49eb59db8","name":"shift_x_plus_one 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"],["25","40","16"],["625","2000","2400","1280","256"],["15625","75000","150000","160000","96000","30720","4096"],["390625","2500000","7000000","11200000","11200000","7168000","2867200","655360","65536"],["9765625","78125000","281250000","600000000","840000000","806400000","537600000","245760000","73728000","13107200","1048576"],["244140625","2343750000","10312500000","27500000000","49500000000","63360000000","59136000000","40550400000","20275200000","7208960000","1730150400","251658240","16777216"],["6103515625","68359375000","355468750000","1137500000000","2502500000000","4004000000000","4804800000000","4392960000000","3075072000000","1640038400000","656015360000","190840832000","38168166400","4697620480","268435456"],["152587890625","1953125000000","11718750000000","43750000000000","113750000000000","218400000000000","320320000000000","366080000000000","329472000000000","234291200000000","131203072000000","57252249600000","19084083200000","4697620480000","805306368000","85899345920","4294967296"],["3814697265625","54931640625000","373535156250000","1593750000000000","4781250000000000","10710000000000000","18564000000000000","25459200000000000","28005120000000000","24893440000000000","17923276800000000","10428088320000000","4866441216000000","1796839833600000","513382809600000","109521666048000","16428249907200","1546188226560","68719476736"],["95367431640625","1525878906250000","11596679687500000","55664062500000000","189257812500000000","484500000000000000","969000000000000000","1550400000000000000","2015520000000000000","2149888000000000000","1891901440000000000","1375928320000000000","825556992000000000","406428057600000000","162571223040000000","52022791372800000","13005697843200000","2448131358720000","326417514496000","27487790694400","1099511627776"],["2384185791015625","41961669921875000","352478027343750000","1879882812500000000","7143554687500000000","20573437500000000000","46633125000000000000","85272000000000000000","127908000000000000000","159174400000000000000","165541376000000000000","144472473600000000000","105946480640000000000","65197834240000000000","33530314752000000000","14306267627520000000","5007193669632000000","1413795859660800000","314176857702400000","52913997086720000","6349679650406400","483785116221440","17592186044416"],["59604644775390625","1144409179687500000","10528564453125000000","61767578125000000000","259423828125000000000","830156250000000000000","2103062500000000000000","4326300000000000000000","7354710000000000000000","10460032000000000000000","12552038400000000000000","12780257280000000000000","11076222976000000000000","8179364659200000000000","5141314928640000000000","2742034628608000000000","1233915582873600000000","464532925317120000000","144521354543104000000","36510657989836800000","7302131597967360000","1112705767309312000","121386083706470400","8444249301319680","281474976710656"],["1490116119384765625","30994415283203125000","309944152832031250000","1983642578125000000000","9124755859375000000000","32119140625000000000000","89933593750000000000000","205562500000000000000000","390568750000000000000000","624910000000000000000000","849877600000000000000000","988948480000000000000000","988948480000000000000000","852017152000000000000000","632927027200000000000000","405073297408000000000000","222790313574400000000000","104842500505600000000000","41937000202240000000000","14126147436544000000000","3955321282232320000000","904073435938816000000","164376988352512000000","22869841857740800000","2286984185774080000","146366987889541120","4503599627370496"],["37252902984619140625","834465026855468750000","9012222290039062500000","62484741210937500000000","312423706054687500000000","1199707031250000000000000","3679101562500000000000000","9250312500000000000000000","19425656250000000000000000","34534500000000000000000000","52492440000000000000000000","68717376000000000000000000","77879692800000000000000000","76681543680000000000000000","65727037440000000000000000","49076187955200000000000000","31899522170880000000000000","18013847814144000000000000","8806770042470400000000000","3708113702092800000000000","1334920932753408000000000","406833046172467200000000","103557502662082560000000","21612000555565056000000","3602000092594176000000","461056011852054528000","42559016478651187200","2522015791327477760","72057594037927936"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","81","6561","531441","43046721","3486784401","282429536481","22876792454961","1853020188851841","150094635296999121","12157665459056928801","984770902183611232881","79766443076872509863361","6461081889226673298932241","523347633027360537213511521"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["25","40","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":191859,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, -1]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, -1]","region_exact":null,"edges":["e-0439920edec58590"]},{"id":191860,"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-0439920edec58590","e-d0e0af4a7ff32fcf"]},{"id":191861,"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-0439920edec58590","e-d0e0af4a7ff32fcf"]},{"id":191862,"position":3,"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-d0e0af4a7ff32fcf"]}],"region_exact":{},"incoming_edges":[{"id":"e-d0e0af4a7ff32fcf","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-47a6042357a612c5","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":"4c77d8a377fe854fa98913deb6b7cf8aa0f9e72063432cbcdb8bfc5d6eb535f0","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]"}]},{"id":"e-0439920edec58590","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-47a6042357a612c5","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":null,"lean_declarations":["Polynomial.Splits.comp_of_degree_le_one"],"certificate_hash":"59a1579ecf069cf2e2e60f3ffc3dd5c9619dc3f67d062900ca55e3c52e3b019f","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}}],"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":[],"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:            25,             40,              16;\n  2:           625,           2000,            2400,             1280,              256;\n  3:         15625,          75000,          150000,           160000,            96000,             30720,              4096;\n  4:        390625,        2500000,         7000000,         11200000,         11200000,           7168000,           2867200,            655360,             65536;\n  5:       9765625,       78125000,       281250000,        600000000,        840000000,         806400000,         537600000,         245760000,          73728000,          13107200,           1048576;\n  6:     244140625,     2343750000,     10312500000,      27500000000,      49500000000,       63360000000,       59136000000,       40550400000,       20275200000,        7208960000,        1730150400,         251658240,         16777216;\n  7:    6103515625,    68359375000,    355468750000,    1137500000000,    2502500000000,     4004000000000,     4804800000000,     4392960000000,     3075072000000,     1640038400000,      656015360000,      190840832000,      38168166400,       4697620480,       268435456;\n  8:  152587890625,  1953125000000,  11718750000000,   43750000000000,  113750000000000,   218400000000000,   320320000000000,   366080000000000,   329472000000000,   234291200000000,   131203072000000,    57252249600000,   19084083200000,    4697620480000,    805306368000,     85899345920,     4294967296;\n  9: 3814697265625, 54931640625000, 373535156250000, 1593750000000000, 4781250000000000, 10710000000000000, 18564000000000000, 25459200000000000, 28005120000000000, 24893440000000000, 17923276800000000, 10428088320000000, 4866441216000000, 1796839833600000, 513382809600000, 109521666048000, 16428249907200, 1546188226560, 68719476736;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (25+40*x+16*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[(25 + 40*x + 16*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] = (25 + 40*x + 16*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","x \u21a6 x+1"],"edges":["e-a80b60183a85d18e","e-0439920edec58590"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013611 \u2192 x \u21a6 x+1"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013611 \u2192 x \u21a6 x+1","chain":null}