{"id":"n-58e2746ad1a772cf","revision":0,"first_index":0,"fingerprint":"f6-268f03d6dbc16036","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","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"],["3","24","48"],["5","80","480","1280","1280"],["7","168","1680","8960","26880","43008","28672"],["9","288","4032","32256","161280","516096","1032192","1179648","589824"],["11","440","7920","84480","591360","2838528","9461760","21626880","32440320","28835840","11534336"],["13","624","13728","183040","1647360","10543104","49201152","168689664","421724160","749731840","899678208","654311424","218103808"],["15","840","21840","349440","3843840","30750720","184504320","843448320","2952069120","7872184320","15744368640","22900899840","22900899840","14092861440","4026531840"],["17","1088","32640","609280","7920640","76038144","557613056","3186360320","14338621440","50981765120","142748942336","311452237824","519087063040","638876385280","547608330240","292057776128","73014444032"],["19","1368","46512","992256","14883840","166699008","1444724736","9906683904","54486761472","242163384320","871788183552","2536111079424","5917592518656","10924786188288","15606837411840","16647293239296","12485469929472","5875515260928","1305670057984"],["21","1680","63840","1532160","26046720","333398016","3333980160","26671841280","173366968320","924623831040","4068344856576","14793981296640","44381943889920","109247861882880","218495723765760","349593158025216","436991447531520","411286068264960","274190712176640","115448720916480","23089744183296"],["23","2024","85008","2266880","43070720","620218368","7029141504","64266436608","481998274560","2999100375040","15595321950208","68052313964544","249525151203328","767769696010240","1974264932597760","4211765189541888","7370589081698304","10405537527103488","11561708363448320","9736175463956480","5841705278373888","2225411534618624","404620279021568"],["25","2400","110400","3238400","68006400","1088102400","13782630400","141764198400","1204995686400","8568858214400","51413149286400","261739669094400","1134205232742400","4187834705510400","13161766217318400","35098043246182400","78970597303910400","148650536101478400","231234167268966400","292085263918694400","292085263918694400","222541153461862400","121386083706470400","42221246506598400","7036874417766400"],["27","2808","140400","4492800","103334400","1818685440","25461596160","290989670400","2764401868800","22115214950400","150383461662720","874958322401280","4374791612006400","18845256174796800","69996665792102400","223989330534727680","615970658970501120","1449342726989414400","2898685453978828800","4881996554069606400","6834795175697448960","7811194486511370240","7101085896828518400","4939885841272012800","2469942920636006400","790381734603522048","121597189939003392"],["29","3248","175392","6080256","152006400","2918522880","44750684160","562580029440","5907090309120","52507469414400","399056767549440","2612007933050880","14801378287288320","72868323875880960","312292816610918400","1165893182014095360","3789152841545809920","10698784493776404480","26152584318120099840","55058072248673894400","99104530047613009920","151016426739219824640","192202724940825231360","200559365155643719680","167132804296369766400","106964994749676650496","49368459115235377152","14627691589699371008","2089670227099910144"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","75","3125","109375","3515625","107421875","3173828125","91552734375","2593994140625","72479248046875","2002716064453125","54836273193359375","1490116119384765625","40233135223388671875","1080334186553955078125"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["-1"],["2"]]},"terms":[{"coeff":{"coeffs":[["1","8","16"],["2","16","32"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":204159,"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-3c864200f4ee75be"]},{"id":204160,"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-3c864200f4ee75be"]},{"id":204161,"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-3c864200f4ee75be"]}],"region_exact":{},"incoming_edges":[{"id":"e-3c864200f4ee75be","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-58e2746ad1a772cf","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":"43ef4efc9c56a68cb1a29f5da0498a7372bf96ec56faeecf2b595dbffe89f246","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-f3766a15d78768ea","role":"sequence","name":"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","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-012c446a9a505131","kind":"fingerprint_related","node_a_id":"n-58e2746ad1a772cf","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-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-a40ac0f77c5e83c7","other":{"id":"n-a40ac0f77c5e83c7","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","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"],["16","8","1"],["256","256","96","16","1"]],"card_rows":[["1"],["16","8","1"],["256","256","96","16","1"],["4096","6144","3840","1280","240","24","1"]],"row_sums_preview":["1","25","625","15625","390625","9765625","244140625","6103515625"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"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}},{"id":"l-8c5e019eddfc4a45","kind":"fingerprint_related","node_a_id":"n-fea317cb49e40b71","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-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:  3,   24,    48;\n  2:  5,   80,   480,   1280,     1280;\n  3:  7,  168,  1680,   8960,    26880,     43008,      28672;\n  4:  9,  288,  4032,  32256,   161280,    516096,    1032192,    1179648,      589824;\n  5: 11,  440,  7920,  84480,   591360,   2838528,    9461760,   21626880,    32440320,     28835840,     11534336;\n  6: 13,  624, 13728, 183040,  1647360,  10543104,   49201152,  168689664,   421724160,    749731840,    899678208,     654311424,     218103808;\n  7: 15,  840, 21840, 349440,  3843840,  30750720,  184504320,  843448320,  2952069120,   7872184320,  15744368640,   22900899840,   22900899840,    14092861440,     4026531840;\n  8: 17, 1088, 32640, 609280,  7920640,  76038144,  557613056, 3186360320, 14338621440,  50981765120, 142748942336,  311452237824,  519087063040,   638876385280,   547608330240,   292057776128,    73014444032;\n  9: 19, 1368, 46512, 992256, 14883840, 166699008, 1444724736, 9906683904, 54486761472, 242163384320, 871788183552, 2536111079424, 5917592518656, 10924786188288, 15606837411840, 16647293239296, 12485469929472, 5875515260928, 1305670057984;\n","recurrence_sentence":"The row polynomials satisfy (2*n-1)*P(n,x) = (2*n+1+(16*n+8)*x+(32*n+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[Together[((2*n + 1 + (16*n + 8)*x + (32*n + 16)*x^2)*P[n - 1, x])/(2*n - 1)]];\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*n + 1 + (16*n + 8)*x + (32*n + 16)*x^2)*v[i - 1])/(2*n - 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":["\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}