{"id":"n-0936e707d9d749c8","revision":0,"first_index":0,"fingerprint":"f6-177c65847e3c5511","name":"basis_map_A013609 of derivative 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":-1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[[],["2","4"],["4","24","48","32"],["6","60","240","480","480","192"],["8","112","672","2240","4480","5376","3584","1024"],["10","180","1440","6720","20160","40320","53760","46080","23040","5120"],["12","264","2640","15840","63360","177408","354816","506880","506880","337920","135168","24576"],["14","364","4368","32032","160160","576576","1537536","3075072","4612608","5125120","4100096","2236416","745472","114688"],["16","480","6720","58240","349440","1537536","5125120","13178880","26357760","41000960","49201152","44728320","29818880","13762560","3932160","524288"],["18","612","9792","97920","685440","3564288","14257152","44808192","112020480","224040960","358465536","456228864","456228864","350945280","200540160","80216064","20054016","2359296"],["20","760","13680","155040","1240320","7441920","34728960","128993280","386979840","945950720","1891901440","3095838720","4127784960","4445306880","3810263040","2540175360","1270087680","448266240","99614720","10485760"],["22","924","18480","234080","2106720","14325696","76403712","327444480","1146055680","3310827520","7945986048","15891972096","26486620160","36673781760","41912893440","39118700544","29339025408","17258250240","7670333440","2422210560","484442112","46137344"],["24","1104","24288","340032","3400320","25842432","155054592","753122304","3012489216","10041630720","28116566016","66457337856","132914675712","224932528128","321332183040","385598619648","385598619648","317551804416","211701202944","111421685760","44568674304","12733906944","2315255808","201326592"],["26","1300","31200","478400","5262400","44204160","294694400","1599769600","7198963200","27196083200","87027466240","237347635200","553811148800","1107622297600","1898781081600","2784878919680","3481098649600","3685869158400","3276328140800","2414136524800","1448481914880","689753292800","250819379200","65431142400","10905190400","872415232"],["28","1512","39312","655200","7862400","72334080","530449920","3182699520","15913497600","67190323200","241885163520","747645050880","1993720135680","4600892620800","9201785241600","15949761085440","23924641628160","30961300930560","34401445478400","32590843084800","26072674467840","17381782978560","9480972533760","4122161971200","1374053990400","329772957696","50734301184","3758096384"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","6","108","1458","17496","196830","2125764","22320522","229582512","2324522934","23245229340","230127770466","2259436291848","22029503845518","213516729579636"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["2","4"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["1","4","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":198540,"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-ac0ca91da3703f90"]},{"id":198541,"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-ac0ca91da3703f90"]},{"id":198542,"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-ac0ca91da3703f90"]}],"region_exact":{},"incoming_edges":[{"id":"e-ac0ca91da3703f90","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-0936e707d9d749c8","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":"8001468398a2dc204c1c0a98a568f5dd48a358f3e3f02c2545153c6945003265","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-e75bc09e82ca4254","role":"sequence","name":"derivative 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-03a8ac667d416946","kind":"fingerprint_related","node_a_id":"n-cb21c99be919a143","node_b_id":"n-0936e707d9d749c8","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-cb21c99be919a143","other":{"id":"n-cb21c99be919a143","name":"derivative of basis_map_A013611 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["16","32"],["128","768","1536","1024"]],"card_rows":[["16","32"],["128","768","1536","1024"],["768","7680","30720","61440","61440","24576"],["4096","57344","344064","1146880","2293760","2752512","1835008","524288"]],"row_sums_preview":["0","48","3456","186624","8957952","403107840","17414258688","731398864896"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013611","D"],"edges":["e-a6b5412d61e1c4e3","e-ede1d0c7432adab9"],"text":"A034870 \u2192 basis A013611 \u2192 D"},"headline":"A034870 \u2192 basis A013611 \u2192 D","chain":null}},{"id":"l-16f51ed3a262470a","kind":"fingerprint_related","node_a_id":"n-91fbe90ea8777148","node_b_id":"n-0936e707d9d749c8","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-91fbe90ea8777148","other":{"id":"n-91fbe90ea8777148","name":"shift_x_plus_one of derivative of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["4","2"],["32","48","24","4"]],"card_rows":[["4","2"],["32","48","24","4"],["192","480","480","240","60","6"],["1024","3584","5376","4480","2240","672","112","8"]],"row_sums_preview":["0","6","108","1458","17496","196830","2125764","22320522"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["D","basis A007318"],"edges":["e-473cc94657c879cc","e-7f993f994f18d6ae"],"text":"A034870 \u2192 D \u2192 basis A007318"},"headline":"A034870 \u2192 D \u2192 basis A007318","chain":null}},{"id":"l-25c5df48b1e5e067","kind":"fingerprint_related","node_a_id":"n-c562f6d6978a6187","node_b_id":"n-0936e707d9d749c8","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-c562f6d6978a6187","other":{"id":"n-c562f6d6978a6187","name":"derivative of basis_map_A007318 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-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["8","4"],["128","192","96","16"]],"card_rows":[["8","4"],["128","192","96","16"],["1536","3840","3840","1920","480","48"],["16384","57344","86016","71680","35840","10752","1792","128"]],"row_sums_preview":["0","12","432","11664","279936","6298560","136048896","2857026816"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["x \u21a6 x+1","D"],"edges":["e-9d7e9cd87d9b797c","e-22942c57873a064c"],"text":"A139548 \u2192 x \u21a6 x+1 \u2192 D"},"headline":"A139548 \u2192 x \u21a6 x+1 \u2192 D","chain":null}},{"id":"l-7052722f80f0f559","kind":"fingerprint_related","node_a_id":"n-0936e707d9d749c8","node_b_id":"n-baf5264cc15878a7","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-baf5264cc15878a7","other":{"id":"n-baf5264cc15878a7","name":"basis_map_A013611 of derivative of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["4","8"],["32","192","384","256"]],"card_rows":[["4","8"],["32","192","384","256"],["192","1920","7680","15360","15360","6144"],["1024","14336","86016","286720","573440","688128","458752","131072"]],"row_sums_preview":["0","12","864","46656","2239488","100776960","4353564672","182849716224"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["D","basis A013611"],"edges":["e-473cc94657c879cc","e-58f0eb5265d39366"],"text":"A034870 \u2192 D \u2192 basis A013611"},"headline":"A034870 \u2192 D \u2192 basis A013611","chain":null}},{"id":"l-752f4e69823c9ee5","kind":"fingerprint_related","node_a_id":"n-619cc8ea95273502","node_b_id":"n-0936e707d9d749c8","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-619cc8ea95273502","other":{"id":"n-619cc8ea95273502","name":"derivative 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-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["4","8"],["8","48","96","64"]],"card_rows":[["4","8"],["8","48","96","64"],["12","120","480","960","960","384"],["16","224","1344","4480","8960","10752","7168","2048"]],"row_sums_preview":["0","12","216","2916","34992","393660","4251528","44641044"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["basis A013609","D"],"edges":["e-20c0b01c4fb345ed","e-c40d39309139e88c"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 D"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 D","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:  0;\n  1:  2,   4;\n  2:  4,  24,   48,    32;\n  3:  6,  60,  240,   480,    480,     192;\n  4:  8, 112,  672,  2240,   4480,    5376,     3584,     1024;\n  5: 10, 180, 1440,  6720,  20160,   40320,    53760,    46080,     23040,      5120;\n  6: 12, 264, 2640, 15840,  63360,  177408,   354816,   506880,    506880,    337920,    135168,     24576;\n  7: 14, 364, 4368, 32032, 160160,  576576,  1537536,  3075072,   4612608,   5125120,   4100096,   2236416,    745472,    114688;\n  8: 16, 480, 6720, 58240, 349440, 1537536,  5125120, 13178880,  26357760,  41000960,  49201152,  44728320,  29818880,  13762560,   3932160,   524288;\n  9: 18, 612, 9792, 97920, 685440, 3564288, 14257152, 44808192, 112020480, 224040960, 358465536, 456228864, 456228864, 350945280, 200540160, 80216064, 20054016, 2359296;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (n+4*n*x+4*n*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 2 + 4*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 2 + 4*x;\nP[n_, x_] := P[n, x] = Expand[Together[((n + 4*n*x + 4*n*x^2)*P[n - 1, x])/(n - 1)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 0; v[2] = 2 + 4*x; for(n = 2, N, my(i = n + 1); v[i] = ((n + 4*n*x + 4*n*x^2)*v[i - 1])/(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":["D","basis A013609"],"edges":["e-521a2a476289c028","e-ac0ca91da3703f90"],"text":"basis-map coefficients of A297191, shifted \u2192 D \u2192 basis A013609"},"headline":"basis-map coefficients of A297191, shifted \u2192 D \u2192 basis A013609","chain":null}