{"id":"n-fd18f6eb36bb6ac9","revision":0,"first_index":0,"fingerprint":"f6-6b852c5cd7d4c499","name":"shift_x_plus_one of basis_map_A013611 of Even-numbered rows of Pascal's triangle.","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"],["36","48","16"],["1296","3456","3456","1536","256"],["46656","186624","311040","276480","138240","36864","4096"],["1679616","8957952","20901888","27869184","23224320","12386304","4128768","786432","65536"],["60466176","403107840","1209323520","2149908480","2508226560","2006581248","1114767360","424673280","106168320","15728640","1048576"],["2176782336","17414258688","63852281856","141893959680","212840939520","227030335488","176579149824","100902371328","42042654720","12457082880","2491416576","301989888","16777216"],["78364164096","731398864896","3169395081216","8451720216576","15494820397056","20659760529408","20659760529408","15740769927168","9182115790848","4080940351488","1360313450496","329772957696","54962159616","5637144576","268435456"],["2821109907456","30091839012864","150459195064320","468095273533440","1014206425989120","1622730281582592","1983337010823168","1888892391260160","1416669293445120","839507729448960","391770273742848","142461917724672","39572754923520","8117488189440","1159641169920","103079215104","4294967296"],["101559956668416","1218719480020992","6906077053452288","24554940634497024","61387351586242560","114589722960986112","165518488721424384","189163987110199296","173400321517682688","128444682605690880","77066809563414528","37365725848928256","14531115607916544","4471112494743552","1064550593986560","189253438930944","23656679866368","1855425871872","68719476736"],["3656158440062976","48748779200839680","308742268271984640","1234969073087938560","3499079040415825920","7464701952887095296","12441169921478492160","16588226561971322880","17970578775468933120","15973847800416829440","11714155053639008256","7099487911296368640","3549743955648184320","1456305212573614080","485435070857871360","129449352228765696","26968615047659520","4230370987868160","470041220874240","32985348833280","1099511627776"],["131621703842267136","1930451656353251328","13513161594472759296","60058495975434485760","190185237255542538240","456444569413302091776","862173075558459506688","1313787543708128772096","1642234429635160965120","1703057927029055815680","1475983536758515040256","1073442572188010938368","655992683003784462336","336406504104504852480","144174216044787793920","51261943482591215616","14951400182422437888","3517976513511161856","651477132131696640","91435386965852160","9143538696585216","580542139465728","17592186044416"],["4738381338321616896","75814101413145870336","581241444167451672576","2841624838151985954816","9945686933531950841856","26521831822751868911616","55990533848031723257856","95983772310911525584896","135977010773791327911936","161157938694863796043776","161157938694863796043776","136740069195642008764416","98756716641297006329856","60773364086952003895296","31833666902689144897536","14148296401195175510016","5305611150448190816256","1664505458964138295296","431538452324035854336","90850200489270706176","15141700081545117696","1922755565910491136","174795960537317376","10133099161583616","281474976710656"],["170581728179578208256","2956749955112688943104","24639582959272407859200","131411109116119508582400","503742584945124782899200","1477644915839032696504320","3447838136957742958510080","6567310737062367540019200","10398242000348748605030400","13864322667131664806707200","15712899022749220114268160","15236750567514395262320640","12697292139595329385267200","9116004613042800584294400","5643240950931257504563200","3009728507163337335767040","1379458899116529612226560","540964274163344945971200","180321424721114981990400","50616540272593679155200","11810526063605191802880","2249624012115274629120","340852123047768883200","39519086730176102400","3293257227514675200","175640385467449344","4503599627370496"],["6140942214464815497216","114630921336676555948032","1031678292030089003532288","5960807909507180909297664","24836699622946587122073600","79477438793429078790635520","203109010249874312464957440","425561735761641416593244160","744733037582872479038177280","1103308203826477746723225600","1397523724846871812516085760","1524571336196587431835729920","1439872928630110352289300480","1181434197850346955724554240","843881569893104968374681600","525081865711265313655357440","284419343926935378229985280","133844397142087236814110720","54529198835665170553896960","19133052223040410720665600","5739915666912123216199680","1457756359850697959669760","309221046028935930839040","53777573222423640145920","7469107392003283353600","796704788480350224384","61284983729257709568","3026418949592973312","72057594037927936"]],"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:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["36","48","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192743,"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-2a7af4bc98279738"]},{"id":192744,"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-2a7af4bc98279738","e-b4820d4f5075d615"]},{"id":192745,"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-2a7af4bc98279738","e-b4820d4f5075d615"]},{"id":192746,"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-b4820d4f5075d615"]}],"region_exact":{},"incoming_edges":[{"id":"e-b4820d4f5075d615","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-fd18f6eb36bb6ac9","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":"ddeb404043b12788fb117184fb2ca9b87ba55d2bdc72d6bd009b617a7d16f16e","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-0ca8dc857c80d449","role":"sequence","name":"basis_map_A013611 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]"}]},{"id":"e-2a7af4bc98279738","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-fd18f6eb36bb6ac9","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":"4565993c5f2c4cd6757f7ec1de72a5faf8564082ec20e4e777ad4082d6e8c2f7","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-0ca8dc857c80d449","role":"sequence","name":"basis_map_A013611 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-1e2062e6b580859f","kind":"fingerprint_related","node_a_id":"n-87b7b64af43d2638","node_b_id":"n-fd18f6eb36bb6ac9","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-20034d85ec91e997","kind":"fingerprint_related","node_a_id":"n-1e083728b424e77f","node_b_id":"n-fd18f6eb36bb6ac9","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-88649f70c5097198","kind":"fingerprint_related","node_a_id":"n-fd18f6eb36bb6ac9","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-9b57f104469dca04","kind":"fingerprint_related","node_a_id":"n-23c9ebec99e56671","node_b_id":"n-fd18f6eb36bb6ac9","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-c1a4b2af6b8ff4f9","other":{"id":"n-c1a4b2af6b8ff4f9","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","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"],["16","48","36"],["256","1536","3456","3456","1296"]],"card_rows":[["1"],["16","48","36"],["256","1536","3456","3456","1296"],["4096","36864","138240","276480","311040","186624","46656"]],"row_sums_preview":["1","100","10000","1000000","100000000","10000000000","1000000000000","100000000000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"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}},{"id":"l-db12245d4a95de72","kind":"fingerprint_related","node_a_id":"n-fd18f6eb36bb6ac9","node_b_id":"n-af48e57b5ab0efc6","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}}],"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:              36,               48,               16;\n  2:            1296,             3456,             3456,              1536,               256;\n  3:           46656,           186624,           311040,            276480,            138240,              36864,               4096;\n  4:         1679616,          8957952,         20901888,          27869184,          23224320,           12386304,            4128768,             786432,              65536;\n  5:        60466176,        403107840,       1209323520,        2149908480,        2508226560,         2006581248,         1114767360,          424673280,          106168320,           15728640,           1048576;\n  6:      2176782336,      17414258688,      63852281856,      141893959680,      212840939520,       227030335488,       176579149824,       100902371328,        42042654720,        12457082880,        2491416576,         301989888,          16777216;\n  7:     78364164096,     731398864896,    3169395081216,     8451720216576,    15494820397056,     20659760529408,     20659760529408,     15740769927168,      9182115790848,      4080940351488,     1360313450496,      329772957696,       54962159616,       5637144576,        268435456;\n  8:   2821109907456,   30091839012864,  150459195064320,   468095273533440,  1014206425989120,   1622730281582592,   1983337010823168,   1888892391260160,   1416669293445120,    839507729448960,   391770273742848,   142461917724672,    39572754923520,    8117488189440,    1159641169920,    103079215104,     4294967296;\n  9: 101559956668416, 1218719480020992, 6906077053452288, 24554940634497024, 61387351586242560, 114589722960986112, 165518488721424384, 189163987110199296, 173400321517682688, 128444682605690880, 77066809563414528, 37365725848928256, 14531115607916544, 4471112494743552, 1064550593986560, 189253438930944, 23656679866368, 1855425871872, 68719476736;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (36+48*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[(36 + 48*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] = (36 + 48*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-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}