{"id":"n-dd49448b5271c975","revision":0,"first_index":0,"fingerprint":"f6-268f03d6dbc16036","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","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"],["9","72","144"],["25","400","2400","6400","6400"],["49","1176","11760","62720","188160","301056","200704"],["81","2592","36288","290304","1451520","4644864","9289728","10616832","5308416"],["121","4840","87120","929280","6504960","31223808","104079360","237895680","356843520","317194240","126877696"],["169","8112","178464","2379520","21415680","137060352","639614976","2192965632","5482414080","9746513920","11695816704","8506048512","2835349504"],["225","12600","327600","5241600","57657600","461260800","2767564800","12651724800","44281036800","118082764800","236165529600","343513497600","343513497600","211392921600","60397977600"],["289","18496","554880","10357760","134650880","1292648448","9479421952","54168125440","243756564480","866690007040","2426732019712","5294688043008","8824480071680","10860898549760","9309341614080","4964982194176","1241245548544"],["361","25992","883728","18852864","282792960","3167281152","27449769984","188226994176","1035248467968","4601104302080","16563975487488","48186110509056","112434257854464","207570937577472","296529910824960","316298571546624","237223928659968","111634789957632","24807731101696"],["441","35280","1340640","32175360","546981120","7001358336","70013583360","560108666880","3640706334720","19417100451840","85435241988096","310673607229440","932020821688320","2294205099540480","4588410199080960","7341456318529536","9176820398161920","8637007433564160","5758004955709440","2424423139246080","484884627849216"],["529","46552","1955184","52138240","990626560","14265022464","161670254592","1478128041984","11085960314880","68979308625920","358692404854784","1565203221184512","5739078477676544","17658703008235520","45408093449748480","96870599359463424","169523548879060992","239327363123380224","265919292359311360","223932035670999040","134359221402599424","51184465296228352","9306266417496064"],["625","60000","2760000","80960000","1700160000","27202560000","344565760000","3544104960000","30124892160000","214221455360000","1285328732160000","6543491727360000","28355130818560000","104695867637760000","329044155432960000","877451081154560000","1974264932597760000","3716263402536960000","5780854181724160000","7302131597967360000","7302131597967360000","5563528836546560000","3034652092661760000","1055531162664960000","175921860444160000"],["729","75816","3790800","121305600","2790028800","49104506880","687463096320","7856721100800","74638850457600","597110803660800","4060353464893440","23623874704834560","118119373524172800","508821916719513600","1889909976386764800","6047711924437647360","16631207792203530240","39132253628714188800","78264507257428377600","131813906959879372800","184539469743831121920","210902251135806996480","191729319214369996800","133376917714344345600","66688458857172172800","21340306834295095296","3283124128353091584"],["841","94192","5086368","176327424","4408185600","84637163520","1297769840640","16314820853760","171305618964480","1522716613017600","11572646258933760","75748230058475520","429239970331361280","2113181392400547840","9056491681716633600","33810902278408765440","109885432404828487680","310264750319515729920","758424945225482895360","1596684095211542937600","2874031371380777287680","4379476375437374914560","5573879023283931709440","5816221589513667870720","4846851324594723225600","3101984847740622864384","1431685314341825937408","424203056101281759232","60600436585897394176"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","225","15625","765625","31640625","1181640625","41259765625","1373291015625","44097900390625","1377105712890625","42057037353515625","1261234283447265625","37252902984619140625","1086294651031494140625","31329691410064697265625"],"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"],["-4"],["4"]]},"terms":[{"coeff":{"coeffs":[["1","8","16"],["4","32","64"],["4","32","64"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":204468,"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-abcf7aeeb36b024f"]},{"id":204469,"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-abcf7aeeb36b024f"]},{"id":204470,"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-abcf7aeeb36b024f"]}],"region_exact":{},"incoming_edges":[{"id":"e-abcf7aeeb36b024f","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-dd49448b5271c975","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":"bd691a703739344381b748924eb5bb7bab4e121565b4b25b43b44f54f6f125a9","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-f6882297205c936c","role":"sequence","name":"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","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-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-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-92879bcb2459681a","kind":"fingerprint_related","node_a_id":"n-fea317cb49e40b71","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-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:   9,    72,    144;\n  2:  25,   400,   2400,     6400,      6400;\n  3:  49,  1176,  11760,    62720,    188160,     301056,      200704;\n  4:  81,  2592,  36288,   290304,   1451520,    4644864,     9289728,     10616832,       5308416;\n  5: 121,  4840,  87120,   929280,   6504960,   31223808,   104079360,    237895680,     356843520,     317194240,      126877696;\n  6: 169,  8112, 178464,  2379520,  21415680,  137060352,   639614976,   2192965632,    5482414080,    9746513920,    11695816704,     8506048512,      2835349504;\n  7: 225, 12600, 327600,  5241600,  57657600,  461260800,  2767564800,  12651724800,   44281036800,  118082764800,   236165529600,   343513497600,    343513497600,    211392921600,     60397977600;\n  8: 289, 18496, 554880, 10357760, 134650880, 1292648448,  9479421952,  54168125440,  243756564480,  866690007040,  2426732019712,  5294688043008,   8824480071680,  10860898549760,   9309341614080,   4964982194176,   1241245548544;\n  9: 361, 25992, 883728, 18852864, 282792960, 3167281152, 27449769984, 188226994176, 1035248467968, 4601104302080, 16563975487488, 48186110509056, 112434257854464, 207570937577472, 296529910824960, 316298571546624, 237223928659968, 111634789957632, 24807731101696;\n","recurrence_sentence":"The row polynomials satisfy (4*n^2-4*n+1)*P(n,x) = (4*n^2+4*n+1+(32*n^2+32*n+8)*x+(64*n^2+64*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[((4*n^2 + 4*n + 1 + (32*n^2 + 32*n + 8)*x + (64*n^2 + 64*n + 16)*x^2)*P[n - 1, x])/(4*n^2 - 4*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] = ((4*n^2 + 4*n + 1 + (32*n^2 + 32*n + 8)*x + (64*n^2 + 64*n + 16)*x^2)*v[i - 1])/(4*n^2 - 4*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)\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}