{"id":"n-c1a4b2af6b8ff4f9","revision":0,"first_index":0,"fingerprint":"f6-6b852c5cd7d4c499","name":"basis_map_A013609 of basis_map_A013610 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","48","36"],["256","1536","3456","3456","1296"],["4096","36864","138240","276480","311040","186624","46656"],["65536","786432","4128768","12386304","23224320","27869184","20901888","8957952","1679616"],["1048576","15728640","106168320","424673280","1114767360","2006581248","2508226560","2149908480","1209323520","403107840","60466176"],["16777216","301989888","2491416576","12457082880","42042654720","100902371328","176579149824","227030335488","212840939520","141893959680","63852281856","17414258688","2176782336"],["268435456","5637144576","54962159616","329772957696","1360313450496","4080940351488","9182115790848","15740769927168","20659760529408","20659760529408","15494820397056","8451720216576","3169395081216","731398864896","78364164096"],["4294967296","103079215104","1159641169920","8117488189440","39572754923520","142461917724672","391770273742848","839507729448960","1416669293445120","1888892391260160","1983337010823168","1622730281582592","1014206425989120","468095273533440","150459195064320","30091839012864","2821109907456"],["68719476736","1855425871872","23656679866368","189253438930944","1064550593986560","4471112494743552","14531115607916544","37365725848928256","77066809563414528","128444682605690880","173400321517682688","189163987110199296","165518488721424384","114589722960986112","61387351586242560","24554940634497024","6906077053452288","1218719480020992","101559956668416"],["1099511627776","32985348833280","470041220874240","4230370987868160","26968615047659520","129449352228765696","485435070857871360","1456305212573614080","3549743955648184320","7099487911296368640","11714155053639008256","15973847800416829440","17970578775468933120","16588226561971322880","12441169921478492160","7464701952887095296","3499079040415825920","1234969073087938560","308742268271984640","48748779200839680","3656158440062976"],["17592186044416","580542139465728","9143538696585216","91435386965852160","651477132131696640","3517976513511161856","14951400182422437888","51261943482591215616","144174216044787793920","336406504104504852480","655992683003784462336","1073442572188010938368","1475983536758515040256","1703057927029055815680","1642234429635160965120","1313787543708128772096","862173075558459506688","456444569413302091776","190185237255542538240","60058495975434485760","13513161594472759296","1930451656353251328","131621703842267136"],["281474976710656","10133099161583616","174795960537317376","1922755565910491136","15141700081545117696","90850200489270706176","431538452324035854336","1664505458964138295296","5305611150448190816256","14148296401195175510016","31833666902689144897536","60773364086952003895296","98756716641297006329856","136740069195642008764416","161157938694863796043776","161157938694863796043776","135977010773791327911936","95983772310911525584896","55990533848031723257856","26521831822751868911616","9945686933531950841856","2841624838151985954816","581241444167451672576","75814101413145870336","4738381338321616896"],["4503599627370496","175640385467449344","3293257227514675200","39519086730176102400","340852123047768883200","2249624012115274629120","11810526063605191802880","50616540272593679155200","180321424721114981990400","540964274163344945971200","1379458899116529612226560","3009728507163337335767040","5643240950931257504563200","9116004613042800584294400","12697292139595329385267200","15236750567514395262320640","15712899022749220114268160","13864322667131664806707200","10398242000348748605030400","6567310737062367540019200","3447838136957742958510080","1477644915839032696504320","503742584945124782899200","131411109116119508582400","24639582959272407859200","2956749955112688943104","170581728179578208256"],["72057594037927936","3026418949592973312","61284983729257709568","796704788480350224384","7469107392003283353600","53777573222423640145920","309221046028935930839040","1457756359850697959669760","5739915666912123216199680","19133052223040410720665600","54529198835665170553896960","133844397142087236814110720","284419343926935378229985280","525081865711265313655357440","843881569893104968374681600","1181434197850346955724554240","1439872928630110352289300480","1524571336196587431835729920","1397523724846871812516085760","1103308203826477746723225600","744733037582872479038177280","425561735761641416593244160","203109010249874312464957440","79477438793429078790635520","24836699622946587122073600","5960807909507180909297664","1031678292030089003532288","114630921336676555948032","6140942214464815497216"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","100","10000","1000000","100000000","10000000000","1000000000000","100000000000000","10000000000000000","1000000000000000000","100000000000000000000","10000000000000000000000","1000000000000000000000000","100000000000000000000000000","10000000000000000000000000000"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["16","48","36"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":200691,"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-bfb14b12994a4a5e","e-bfd5e204a34d0b5a"]},{"id":200692,"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-bfb14b12994a4a5e","e-bfd5e204a34d0b5a"]},{"id":200693,"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-bfb14b12994a4a5e","e-bfd5e204a34d0b5a"]}],"region_exact":{},"incoming_edges":[{"id":"e-bfb14b12994a4a5e","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-c1a4b2af6b8ff4f9","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":"2b15f6262c667e97696126cf59a70704d686e172b7de35538989d486a0d57b91","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-eb3f8d5fd252d0c9","role":"sequence","name":"basis_map_A013610 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-bfd5e204a34d0b5a","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-c1a4b2af6b8ff4f9","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":"597926ce77e82c867667d281f559442693a4892d6e5a82131348f73dedf56272","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-0b4d80e04a8cfcd3","role":"sequence","name":"basis_map_A013609 of Even-numbered rows of Pascal's triangle.","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-1a0ca7aec6e40ae2","kind":"fingerprint_related","node_a_id":"n-87b7b64af43d2638","node_b_id":"n-c1a4b2af6b8ff4f9","fingerprint":"f6-6b852c5cd7d4c499","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b852c5cd7d4c499"},"other_id":"n-87b7b64af43d2638","other":{"id":"n-87b7b64af43d2638","name":"basis_map_A013610 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","first_index":0,"fingerprint":"f6-6b852c5cd7d4c499","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","24","18"],["64","384","864","864","324"]],"card_rows":[["1"],["8","24","18"],["64","384","864","864","324"],["512","4608","17280","34560","38880","23328","5832"]],"row_sums_preview":["1","50","2500","125000","6250000","312500000","15625000000","781250000000"],"regions":["(-inf, 0]","[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["basis A013610"],"edges":["e-a142fb8711dcbce4"],"text":"A139548 \u2192 basis A013610"},"headline":"A139548 \u2192 basis A013610","chain":null}},{"id":"l-25bb21e3df3d17cf","kind":"fingerprint_related","node_a_id":"n-af48e57b5ab0efc6","node_b_id":"n-c1a4b2af6b8ff4f9","fingerprint":"f6-6b852c5cd7d4c499","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b852c5cd7d4c499"},"other_id":"n-af48e57b5ab0efc6","other":{"id":"n-af48e57b5ab0efc6","name":"reversal of basis_map_A013610 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","first_index":0,"fingerprint":"f6-6b852c5cd7d4c499","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["18","24","8"],["324","864","864","384","64"]],"card_rows":[["1"],["18","24","8"],["324","864","864","384","64"],["5832","23328","38880","34560","17280","4608","512"]],"row_sums_preview":["1","50","2500","125000","6250000","312500000","15625000000","781250000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["x \u21a6 x+1","basis A013609"],"edges":["e-9d7e9cd87d9b797c","e-aca210c463f14435"],"text":"A139548 \u2192 x \u21a6 x+1 \u2192 basis A013609"},"headline":"A139548 \u2192 x \u21a6 x+1 \u2192 basis A013609","chain":null}},{"id":"l-92666297554541da","kind":"fingerprint_related","node_a_id":"n-1e083728b424e77f","node_b_id":"n-c1a4b2af6b8ff4f9","fingerprint":"f6-6b852c5cd7d4c499","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b852c5cd7d4c499"},"other_id":"n-1e083728b424e77f","other":{"id":"n-1e083728b424e77f","name":"basis_map_A013610 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-6b852c5cd7d4c499","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["4","12","9"],["16","96","216","216","81"]],"card_rows":[["1"],["4","12","9"],["16","96","216","216","81"],["64","576","2160","4320","4860","2916","729"]],"row_sums_preview":["1","25","625","15625","390625","9765625","244140625","6103515625"],"regions":["(-inf, 0]","[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013610"],"edges":["e-cb7f9b19b94bd36e"],"text":"A034870 \u2192 basis A013610"},"headline":"A034870 \u2192 basis A013610","chain":null}},{"id":"l-95ca468a6210dd5f","kind":"fingerprint_related","node_a_id":"n-c1a4b2af6b8ff4f9","node_b_id":"n-08ea8d2f5c08b286","fingerprint":"f6-6b852c5cd7d4c499","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b852c5cd7d4c499"},"other_id":"n-08ea8d2f5c08b286","other":{"id":"n-08ea8d2f5c08b286","name":"basis_map_A013610 of basis_map_A013609 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","first_index":0,"fingerprint":"f6-6b852c5cd7d4c499","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["32","96","72"],["1024","6144","13824","13824","5184"]],"card_rows":[["1"],["32","96","72"],["1024","6144","13824","13824","5184"],["32768","294912","1105920","2211840","2488320","1492992","373248"]],"row_sums_preview":["1","200","40000","8000000","1600000000","320000000000","64000000000000","12800000000000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["basis A013609","basis A013610"],"edges":["e-65b163cdbb61d2ab","e-d11339927c3a9272"],"text":"A139548 \u2192 basis A013609 \u2192 basis A013610"},"headline":"A139548 \u2192 basis A013609 \u2192 basis A013610","chain":null}},{"id":"l-bb83e0cbe636a3ad","kind":"fingerprint_related","node_a_id":"n-23c9ebec99e56671","node_b_id":"n-c1a4b2af6b8ff4f9","fingerprint":"f6-6b852c5cd7d4c499","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b852c5cd7d4c499"},"other_id":"n-23c9ebec99e56671","other":{"id":"n-23c9ebec99e56671","name":"shift_x_plus_one of basis_map_A013609 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-6b852c5cd7d4c499","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["9","12","4"],["81","216","216","96","16"]],"card_rows":[["1"],["9","12","4"],["81","216","216","96","16"],["729","2916","4860","4320","2160","576","64"]],"row_sums_preview":["1","25","625","15625","390625","9765625","244140625","6103515625"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["basis A013609","x \u21a6 x+1"],"edges":["e-20c0b01c4fb345ed","e-606ea858cc2070d2"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 x \u21a6 x+1"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 x \u21a6 x+1","chain":null}},{"id":"l-d70f6df05ad0abd1","kind":"fingerprint_related","node_a_id":"n-fd18f6eb36bb6ac9","node_b_id":"n-c1a4b2af6b8ff4f9","fingerprint":"f6-6b852c5cd7d4c499","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b852c5cd7d4c499"},"other_id":"n-fd18f6eb36bb6ac9","other":{"id":"n-fd18f6eb36bb6ac9","name":"shift_x_plus_one of basis_map_A013611 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-6b852c5cd7d4c499","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["36","48","16"],["1296","3456","3456","1536","256"]],"card_rows":[["1"],["36","48","16"],["1296","3456","3456","1536","256"],["46656","186624","311040","276480","138240","36864","4096"]],"row_sums_preview":["1","100","10000","1000000","100000000","10000000000","1000000000000","100000000000000"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013611","x \u21a6 x+1"],"edges":["e-a6b5412d61e1c4e3","e-2a7af4bc98279738"],"text":"A034870 \u2192 basis A013611 \u2192 x \u21a6 x+1"},"headline":"A034870 \u2192 basis A013611 \u2192 x \u21a6 x+1","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,            48,             36;\n  2:         256,          1536,           3456,            3456,             1296;\n  3:        4096,         36864,         138240,          276480,           311040,           186624,             46656;\n  4:       65536,        786432,        4128768,        12386304,         23224320,         27869184,          20901888,           8957952,           1679616;\n  5:     1048576,      15728640,      106168320,       424673280,       1114767360,       2006581248,        2508226560,        2149908480,        1209323520,          403107840,           60466176;\n  6:    16777216,     301989888,     2491416576,     12457082880,      42042654720,     100902371328,      176579149824,      227030335488,      212840939520,       141893959680,        63852281856,        17414258688,         2176782336;\n  7:   268435456,    5637144576,    54962159616,    329772957696,    1360313450496,    4080940351488,     9182115790848,    15740769927168,    20659760529408,     20659760529408,     15494820397056,      8451720216576,      3169395081216,       731398864896,       78364164096;\n  8:  4294967296,  103079215104,  1159641169920,   8117488189440,   39572754923520,  142461917724672,   391770273742848,   839507729448960,  1416669293445120,   1888892391260160,   1983337010823168,   1622730281582592,   1014206425989120,    468095273533440,   150459195064320,    30091839012864,    2821109907456;\n  9: 68719476736, 1855425871872, 23656679866368, 189253438930944, 1064550593986560, 4471112494743552, 14531115607916544, 37365725848928256, 77066809563414528, 128444682605690880, 173400321517682688, 189163987110199296, 165518488721424384, 114589722960986112, 61387351586242560, 24554940634497024, 6906077053452288, 1218719480020992, 101559956668416;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (16+48*x+36*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 + 48*x + 36*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 + 48*x + 36*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 A013610","basis A013609"],"edges":["e-4aebfd11077ddb65","e-bfb14b12994a4a5e"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013610 \u2192 basis A013609"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013610 \u2192 basis A013609","chain":null}