{"id":"n-2a3b89b3afdb558e","revision":0,"first_index":0,"fingerprint":"f6-10cba46fcb583bff","name":"basis_map_A013611 of basis_map_A013609 of Infinite lower triangular matrix with 2^k in the right diagonal and the rest zeros. Triangle, T(n,k), n zeros followed by the term 2^k. Triangle by columns, (2^k, 0, 0, 0, ...).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["6","16"],["36","192","256"],["216","1728","4608","4096"],["1296","13824","55296","98304","65536"],["7776","103680","552960","1474560","1966080","1048576"],["46656","746496","4976640","17694720","35389440","37748736","16777216"],["279936","5225472","41803776","185794560","495452160","792723456","704643072","268435456"],["1679616","35831808","334430208","1783627776","5945425920","12683575296","16911433728","12884901888","4294967296"],["10077696","241864704","2579890176","16052649984","64210599936","171228266496","304405807104","347892350976","231928233984","68719476736"],["60466176","1612431360","19349176320","137594142720","642105999360","2054739197952","4566087106560","6957847019520","6957847019520","4123168604160","1099511627776"],["362797056","10642046976","141893959680","1135151677440","6054142279680","22602131177472","60272349806592","114804475822080","153072634429440","136064563937280","72567767433216","17592186044416"],["2176782336","69657034752","1021636509696","9081213419520","54487280517120","232479063539712","723268197679104","1653184451837952","2755307419729920","3265549534494720","2612439627595776","1266637395197952","281474976710656"],["13060694016","452770725888","7244331614208","70833464672256","472223097815040","2266670869512192","8059274202710016","21491397873893376","42982795747786752","63678215922647040","67923430317490176","49398858412720128","21955048183431168","4503599627370496"],["78364164096","2925595459584","50710321299456","540910093860864","3966674021646336","21155594782113792","84622379128455168","257896774486720512","601759140469014528","1069794027500470272","1426392036667293696","1383168035556163584","922112023704109056","378302368699121664","72057594037927936"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","22","484","10648","234256","5153632","113379904","2494357888","54875873536","1207269217792","26559922791424","584318301411328","12855002631049216","282810057883082752","6221821273427820544"],"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":{"terms":[{"coeff":{"coeffs":[["6","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":205428,"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-4b2c9bef2c5f1cbe"]},{"id":205429,"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-4b2c9bef2c5f1cbe"]},{"id":205430,"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-4b2c9bef2c5f1cbe"]}],"region_exact":{},"incoming_edges":[{"id":"e-4b2c9bef2c5f1cbe","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-2a3b89b3afdb558e","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":"4868385def3ad10d7ae021ef8338a6d1486584306f9dd834b7def5c545841ab2","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-465e4344a8d94925","role":"sequence","name":"basis_map_A013609 of Infinite lower triangular matrix with 2^k in the right diagonal and the rest zeros. Triangle, T(n,k), n zeros followed by the term 2^k. Triangle by columns, (2^k, 0, 0, 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-082beada9e52fd7f","kind":"fingerprint_related","node_a_id":"n-5480ea27b6b60650","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-5480ea27b6b60650","other":{"id":"n-5480ea27b6b60650","name":"basis_map_A013611 of Triangle read by rows: T(n,k) is the number of ternary words of length n having k runs (i.e., subwords of maximal length) of identical letters (1 <= k <= n).","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["3"],["9","24"],["27","144","192"]],"card_rows":[["3"],["9","24"],["27","144","192"],["81","648","1728","1536"]],"row_sums_preview":["3","33","363","3993","43923","483153","5314683","58461513"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-765f9e2b013b3c68","steps":["basis A013611"],"edges":["e-2f246bda2100be8f"],"text":"A120909 \u2192 basis A013611"},"headline":"A120909 \u2192 basis A013611","chain":null}},{"id":"l-0f01905bf6f136ac","kind":"fingerprint_related","node_a_id":"n-b1b69d765f0c1697","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-b1b69d765f0c1697","other":{"id":"n-b1b69d765f0c1697","name":"basis_map_A013611 of basis_map_A013609 of basis-map coefficients of A scaled Hermite triangle.","first_index":1,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["9","48","64"],["27","216","576","512"],["81","864","3456","6144","4096"]],"card_rows":[["9","48","64"],["27","216","576","512"],["81","864","3456","6144","4096"],["243","3240","17280","46080","61440","32768"]],"row_sums_preview":["121","1331","14641","161051","1771561","19487171","214358881","2357947691"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-5fe240122e98ffb3","steps":["basis A013609","basis A013611"],"edges":["e-7bee75fc05394bb8","e-2f4f2d7d59c03d3c"],"text":"basis-map coefficients of A112227 \u2192 basis A013609 \u2192 basis A013611"},"headline":"basis-map coefficients of A112227 \u2192 basis A013609 \u2192 basis A013611","chain":null}},{"id":"l-187341b7730f340b","kind":"fingerprint_related","node_a_id":"n-07d22e3add816916","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-07d22e3add816916","other":{"id":"n-07d22e3add816916","name":"basis_map_A013611 of basis_map_A013609 of basis-map coefficients of Triangle read by rows: T(n,k) = binomial(k,n-k). shifted by x -> -x + 0","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":0,"rr_by_factors":1,"preview_rows":[["1"],["-3","-8"],["9","48","64"]],"card_rows":[["1"],["-3","-8"],["9","48","64"],["-27","-216","-576","-512"]],"row_sums_preview":["1","-11","121","-1331","14641","-161051","1771561","-19487171"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-477d9807e1cbb785","steps":["basis A013609","basis A013611"],"edges":["e-13dcb978bba71940","e-baf160f8f89d3aef"],"text":"basis-map coefficients of A030528, shifted \u2192 basis A013609 \u2192 basis A013611"},"headline":"basis-map coefficients of A030528, shifted \u2192 basis A013609 \u2192 basis A013611","chain":null}},{"id":"l-23ee0b4e898ab1bf","kind":"fingerprint_related","node_a_id":"n-a5bbe7b7541d0f7e","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-a5bbe7b7541d0f7e","other":{"id":"n-a5bbe7b7541d0f7e","name":"basis_map_A013609 of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*1^j.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["16","6"],["256","192","36"]],"card_rows":[["1"],["16","6"],["256","192","36"],["4096","4608","1728","216"]],"row_sums_preview":["1","22","484","10648","234256","5153632","113379904","2494357888"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-81e6fb4f9f226d77","steps":["basis A013610","basis A013609"],"edges":["e-00e3cfe53baaea9b","e-2497585d8eec8545"],"text":"A038327 \u2192 basis A013610 \u2192 basis A013609"},"headline":"A038327 \u2192 basis A013610 \u2192 basis A013609","chain":null}},{"id":"l-27f398e8932b455f","kind":"fingerprint_related","node_a_id":"n-a0ed4a72ae8b8f9b","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-a0ed4a72ae8b8f9b","other":{"id":"n-a0ed4a72ae8b8f9b","name":"derivative of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j).","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["3"],["48","18"]],"card_rows":[["3"],["48","18"],["576","432","81"],["6144","6912","2592","324"]],"row_sums_preview":["0","3","66","1089","15972","219615","2898918","37202781"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-f211cb6153c37c6d","steps":["basis A013610","D"],"edges":["e-892638ce5a781886","e-3cb7e175281c20b4"],"text":"A027466 \u2192 basis A013610 \u2192 D"},"headline":"A027466 \u2192 basis A013610 \u2192 D","chain":null}},{"id":"l-3d742478789d162d","kind":"fingerprint_related","node_a_id":"n-2a3b89b3afdb558e","node_b_id":"n-9f4dd10196cdd660","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-9f4dd10196cdd660","other":{"id":"n-9f4dd10196cdd660","name":"basis_map_A013611 of basis_map_A013610 of Triangle of coefficients in expansion of (1+2*x)^n.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["9","24"],["81","432","576"]],"card_rows":[["1"],["9","24"],["81","432","576"],["729","5832","15552","13824"]],"row_sums_preview":["1","33","1089","35937","1185921","39135393","1291467969","42618442977"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-71965e79e47a4526","steps":["basis A013610","basis A013611"],"edges":["e-14a3a792ab5fe5af","e-051060c68b1f5b80"],"text":"A013609 \u2192 basis A013610 \u2192 basis A013611"},"headline":"A013609 \u2192 basis A013610 \u2192 basis A013611","chain":null}},{"id":"l-4548692cb58b1b8c","kind":"fingerprint_related","node_a_id":"n-a227586ec36efe06","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-a227586ec36efe06","other":{"id":"n-a227586ec36efe06","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j).","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","3"],["64","48","9"]],"card_rows":[["1"],["8","3"],["64","48","9"],["512","576","216","27"]],"row_sums_preview":["1","11","121","1331","14641","161051","1771561","19487171"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-f211cb6153c37c6d","steps":["basis A013610"],"edges":["e-892638ce5a781886"],"text":"A027466 \u2192 basis A013610"},"headline":"A027466 \u2192 basis A013610","chain":null}},{"id":"l-4d7547017ebb8a11","kind":"fingerprint_related","node_a_id":"n-92edd186071bf525","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-92edd186071bf525","other":{"id":"n-92edd186071bf525","name":"shift_x_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^j.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["576","432","81"],["13824","15552","5832","729"],["331776","497664","279936","69984","6561"]],"card_rows":[["576","432","81"],["13824","15552","5832","729"],["331776","497664","279936","69984","6561"],["7962624","14929920","11197440","4199040","787320","59049"]],"row_sums_preview":["1089","35937","1185921","39135393","1291467969","42618442977","1406408618241","46411484401953"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-615df6ea54d3bbef","steps":["basis A013610","basis A007318"],"edges":["e-a617f0e181e2ec6f","e-08e561f9d8156362"],"text":"A038329 \u2192 basis A013610 \u2192 basis A007318"},"headline":"A038329 \u2192 basis A013610 \u2192 basis A007318","chain":null}},{"id":"l-54e54b9759c01e9f","kind":"fingerprint_related","node_a_id":"n-2a3b89b3afdb558e","node_b_id":"n-eb017735da7ea7a7","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-eb017735da7ea7a7","other":{"id":"n-eb017735da7ea7a7","name":"basis_map_A013611 of basis_map_A013611 of Twice Pascal's triangle A007318: T(n,k) = 2*C(n,k).","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["2"],["12","32"],["72","384","512"]],"card_rows":[["2"],["12","32"],["72","384","512"],["432","3456","9216","8192"]],"row_sums_preview":["2","44","968","21296","468512","10307264","226759808","4988715776"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-089a9b4f824a1c20","steps":["basis A013611","basis A013611"],"edges":["e-3deac81ab612cd2e","e-5ce93a9cb2771e67"],"text":"A028326 \u2192 basis A013611 \u2192 basis A013611"},"headline":"A028326 \u2192 basis A013611 \u2192 basis A013611","chain":null}},{"id":"l-56b20eb6c401b8d9","kind":"fingerprint_related","node_a_id":"n-efaf6bbff08d2b38","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-efaf6bbff08d2b38","other":{"id":"n-efaf6bbff08d2b38","name":"derivative of basis_map_A013611 of Triangle of coefficients in expansion of (1+2*x)^n.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["8"],["48","128"]],"card_rows":[["8"],["48","128"],["216","1152","1536"],["864","6912","18432","16384"]],"row_sums_preview":["0","8","176","2904","42592","585640","7730448","99207416"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["x \u21a6 x/(x+1)","D"],"edges":["e-22d203db774fd047","e-764b3d1f3fb40e7b"],"text":"A013622 \u2192 x \u21a6 x/(x+1) \u2192 D"},"headline":"A013622 \u2192 x \u21a6 x/(x+1) \u2192 D","chain":null}},{"id":"l-650bd7d8cb6872f8","kind":"fingerprint_related","node_a_id":"n-2a3b89b3afdb558e","node_b_id":"n-37a49ca44ea488ff","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-37a49ca44ea488ff","other":{"id":"n-37a49ca44ea488ff","name":"basis_map_A013611 of basis_map_A013611 of Triangle read by rows: T(n,k) = binomial(n+4,4) * binomial(n,k), 0 <= k <= n.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["30","80"],["540","2880","3840"]],"card_rows":[["1"],["30","80"],["540","2880","3840"],["7560","60480","161280","143360"]],"row_sums_preview":["1","110","7260","372680","16397920","649357632","23809779840","823138103040"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-79986ab5023c2764","steps":["basis A013611","basis A013611"],"edges":["e-4faaf8fb320b6fca","e-b2fd13731fe49497"],"text":"A178821 \u2192 basis A013611 \u2192 basis A013611"},"headline":"A178821 \u2192 basis A013611 \u2192 basis A013611","chain":null}},{"id":"l-7a7950fb88d83933","kind":"fingerprint_related","node_a_id":"n-9df1aeebd1dc8cfe","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-9df1aeebd1dc8cfe","other":{"id":"n-9df1aeebd1dc8cfe","name":"basis_map_A013611 of Triangle of coefficients in expansion of (1+2*x)^n.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["3","8"],["9","48","64"]],"card_rows":[["1"],["3","8"],["9","48","64"],["27","216","576","512"]],"row_sums_preview":["1","11","121","1331","14641","161051","1771561","19487171"],"regions":["(-inf, 0]","[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["x \u21a6 x/(x+1)"],"edges":["e-22d203db774fd047"],"text":"A013622 \u2192 x \u21a6 x/(x+1)"},"headline":"A013622 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-8386c4c1f49256d4","kind":"fingerprint_related","node_a_id":"n-0e2566ba0dc25f29","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-0e2566ba0dc25f29","other":{"id":"n-0e2566ba0dc25f29","name":"basis_map_A013611 of basis_map_A013609 of basis-map coefficients of Square array of binomial coefficients T(n,k) = binomial(n,k), n >= 0, k >= 0, read by downward antidiagonals. shifted by x -> -x + 0","first_index":1,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":0,"rr_by_factors":1,"preview_rows":[["1"],["-3","-8"],["9","48","64"]],"card_rows":[["1"],["-3","-8"],["9","48","64"],["-27","-216","-576","-512"]],"row_sums_preview":["1","-11","121","-1331","14641","-161051","1771561","-19487171"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3cc7875cf81a5a84","steps":["basis A013609","basis A013611"],"edges":["e-66f8525b021adc45","e-b6da30faa02f54b5"],"text":"basis-map coefficients of A026729, shifted \u2192 basis A013609 \u2192 basis A013611"},"headline":"basis-map coefficients of A026729, shifted \u2192 basis A013609 \u2192 basis A013611","chain":null}},{"id":"l-84f3979ff83f1bce","kind":"fingerprint_related","node_a_id":"n-02c96d1cef1df1f5","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-02c96d1cef1df1f5","other":{"id":"n-02c96d1cef1df1f5","name":"mobius_x_over_x_plus_one of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*5^j.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["12","32"],["144","768","1024"]],"card_rows":[["1"],["12","32"],["144","768","1024"],["1728","13824","36864","32768"]],"row_sums_preview":["1","44","1936","85184","3748096","164916224","7256313856","319277809664"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a6a633b989da1879","steps":["basis A013611","x \u21a6 x/(x+1)"],"edges":["e-62a1b0a86f60f435","e-c69544941c48bbcf"],"text":"A038271 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)"},"headline":"A038271 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-894a6f26293d8b14","kind":"fingerprint_related","node_a_id":"n-108b34f10b7468f4","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-108b34f10b7468f4","other":{"id":"n-108b34f10b7468f4","name":"Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["64","48","9"],["512","576","216","27"],["4096","6144","3456","864","81"]],"card_rows":[["64","48","9"],["512","576","216","27"],["4096","6144","3456","864","81"],["32768","61440","46080","17280","3240","243"]],"row_sums_preview":["121","1331","14641","161051","1771561","19487171","214358881","2357947691"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A038281"],"derivation":{"root":"n-108b34f10b7468f4","steps":[],"edges":[],"text":"A038281"},"headline":"A038281: Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","chain":null}},{"id":"l-8bb4237fc5c01ef1","kind":"fingerprint_related","node_a_id":"n-f30a329c55c66519","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-f30a329c55c66519","other":{"id":"n-f30a329c55c66519","name":"mobius_x_over_x_plus_one of basis_map_A013609 of Triangle of coefficients in expansion of (1+5x)^n.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["36","192","256"],["216","1728","4608","4096"],["1296","13824","55296","98304","65536"]],"card_rows":[["36","192","256"],["216","1728","4608","4096"],["1296","13824","55296","98304","65536"],["7776","103680","552960","1474560","1966080","1048576"]],"row_sums_preview":["484","10648","234256","5153632","113379904","2494357888","54875873536","1207269217792"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-bbfc5a54ff13a785","steps":["basis A013609","x \u21a6 x/(x+1)"],"edges":["e-31086658f6c15e80","e-03faae5e8ffd3154"],"text":"A013612 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)"},"headline":"A013612 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-8e13c3cb1a7f086e","kind":"fingerprint_related","node_a_id":"n-9d2d3b9774b44e55","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-9d2d3b9774b44e55","other":{"id":"n-9d2d3b9774b44e55","name":"derivative of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["48","18"],["576","432","81"],["6144","6912","2592","324"]],"card_rows":[["48","18"],["576","432","81"],["6144","6912","2592","324"],["61440","92160","51840","12960","1215"]],"row_sums_preview":["66","1089","15972","219615","2898918","37202781","467692104","5787689787"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-108b34f10b7468f4","steps":["D"],"edges":["e-bc871ae8f49fbad5"],"text":"A038281 \u2192 D"},"headline":"A038281 \u2192 D","chain":null}},{"id":"l-99a1ea2da6933ecf","kind":"fingerprint_related","node_a_id":"n-2a3b89b3afdb558e","node_b_id":"n-fa5aa25df8632258","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-fa5aa25df8632258","other":{"id":"n-fa5aa25df8632258","name":"basis_map_A013611 of basis_map_A013609 of Triangle read by rows: row n consists of n zeros followed by n!.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["3","8"],["18","96","128"]],"card_rows":[["1"],["3","8"],["18","96","128"],["162","1296","3456","3072"]],"row_sums_preview":["1","11","242","7986","351384","19326120","1275523920","98215341840"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-fbb4b9430d9de872","steps":["basis A013609","basis A013611"],"edges":["e-456dc355a6d78eff","e-46bc7da4a446a81e"],"text":"A136572 \u2192 basis A013609 \u2192 basis A013611"},"headline":"A136572 \u2192 basis A013609 \u2192 basis A013611","chain":null}},{"id":"l-b2a9cd3278f0d6e2","kind":"fingerprint_related","node_a_id":"n-6f7945c7ba1aeded","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-6f7945c7ba1aeded","other":{"id":"n-6f7945c7ba1aeded","name":"basis_map_A013609 of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^j.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["256","192","36"],["4096","4608","1728","216"],["65536","98304","55296","13824","1296"]],"card_rows":[["256","192","36"],["4096","4608","1728","216"],["65536","98304","55296","13824","1296"],["1048576","1966080","1474560","552960","103680","7776"]],"row_sums_preview":["484","10648","234256","5153632","113379904","2494357888","54875873536","1207269217792"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ea9b82d727693fb6","steps":["x \u21a6 x+1","basis A013610"],"edges":["e-02ed32e9293d9244","e-00cdcdbbcf265d6b"],"text":"A038328 \u2192 x \u21a6 x+1 \u2192 basis A013610"},"headline":"A038328 \u2192 x \u21a6 x+1 \u2192 basis A013610","chain":null}},{"id":"l-bee8aca196a14c1f","kind":"fingerprint_related","node_a_id":"n-26633b980c3508e8","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-26633b980c3508e8","other":{"id":"n-26633b980c3508e8","name":"Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["9","48","64"],["27","216","576","512"],["81","864","3456","6144","4096"]],"card_rows":[["9","48","64"],["27","216","576","512"],["81","864","3456","6144","4096"],["243","3240","17280","46080","61440","32768"]],"row_sums_preview":["121","1331","14641","161051","1771561","19487171","214358881","2357947691"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-26633b980c3508e8","steps":[],"edges":[],"text":"A038226"},"headline":"Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","chain":null}},{"id":"l-bff35d2f9b8cebbc","kind":"fingerprint_related","node_a_id":"n-e4174bd1d17cd542","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-e4174bd1d17cd542","other":{"id":"n-e4174bd1d17cd542","name":"basis_map_A013611 of derivative of Triangle of coefficients in expansion of (1+2*x)^n.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["2"],["12","32"]],"card_rows":[["2"],["12","32"],["54","288","384"],["216","1728","4608","4096"]],"row_sums_preview":["0","2","44","726","10648","146410","1932612","24801854"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-71965e79e47a4526","steps":["D","basis A013611"],"edges":["e-9f3f778aa1812acb","e-0b6ee65225c66d3c"],"text":"A013609 \u2192 D \u2192 basis A013611"},"headline":"A013609 \u2192 D \u2192 basis A013611","chain":null}},{"id":"l-c8c3988c70bbea29","kind":"fingerprint_related","node_a_id":"n-2a3b89b3afdb558e","node_b_id":"n-434c08b6a4db7f2e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-434c08b6a4db7f2e","other":{"id":"n-434c08b6a4db7f2e","name":"basis_map_A013611 of basis_map_A013610 of Triangle read by rows: T(n,k) is the number of ternary words of length n having k runs (i.e., subwords of maximal length) of identical letters (1 <= k <= n).","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["3"],["27","72"],["243","1296","1728"]],"card_rows":[["3"],["27","72"],["243","1296","1728"],["2187","17496","46656","41472"]],"row_sums_preview":["3","99","3267","107811","3557763","117406179","3874403907","127855328931"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-765f9e2b013b3c68","steps":["basis A013610","basis A013611"],"edges":["e-284e6c48cfe1aa93","e-7ef59210de891865"],"text":"A120909 \u2192 basis A013610 \u2192 basis A013611"},"headline":"A120909 \u2192 basis A013610 \u2192 basis A013611","chain":null}},{"id":"l-d283dd6be13acd6a","kind":"fingerprint_related","node_a_id":"n-2a3b89b3afdb558e","node_b_id":"n-5769a70eea27be08","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-5769a70eea27be08","other":{"id":"n-5769a70eea27be08","name":"basis_map_A013611 of basis_map_A013611 of Triangle read by rows: T(n,k) = C(n+3,3) * C(n,k), 0 <= k <= n.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["24","64"],["360","1920","2560"]],"card_rows":[["1"],["24","64"],["360","1920","2560"],["4320","34560","92160","81920"]],"row_sums_preview":["1","88","4840","212960","8198960","288603392","9523911936","299322946560"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a820c1859f68e71c","steps":["basis A013611","basis A013611"],"edges":["e-159425c642d412bb","e-c3cc5ae62ece989b"],"text":"A178820 \u2192 basis A013611 \u2192 basis A013611"},"headline":"A178820 \u2192 basis A013611 \u2192 basis A013611","chain":null}},{"id":"l-f3d45dfe6f340bdf","kind":"fingerprint_related","node_a_id":"n-2a3b89b3afdb558e","node_b_id":"n-94fce0546865473b","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-94fce0546865473b","other":{"id":"n-94fce0546865473b","name":"basis_map_A013611 of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*2^i.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["12","32"],["144","768","1024"]],"card_rows":[["1"],["12","32"],["144","768","1024"],["1728","13824","36864","32768"]],"row_sums_preview":["1","44","1936","85184","3748096","164916224","7256313856","319277809664"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-d28ad9841fc73317","steps":["basis A013611","basis A013611"],"edges":["e-e6fcabb7b5383fc4","e-96576331ebd8397e"],"text":"A038208 \u2192 basis A013611 \u2192 basis A013611"},"headline":"A038208 \u2192 basis A013611 \u2192 basis A013611","chain":null}},{"id":"l-f4879442b126dfc7","kind":"fingerprint_related","node_a_id":"n-615781e66d28cc0d","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-615781e66d28cc0d","other":{"id":"n-615781e66d28cc0d","name":"basis_map_A013611 of basis_map_A013609 of basis-map coefficients of Square array of binomial coefficients T(n,k) = binomial(n,k), n >= 0, k >= 0, read by downward antidiagonals.","first_index":1,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["3","8"],["9","48","64"]],"card_rows":[["1"],["3","8"],["9","48","64"],["27","216","576","512"]],"row_sums_preview":["1","11","121","1331","14641","161051","1771561","19487171"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-1bf99ad40f056d33","steps":["basis A013609","basis A013611"],"edges":["e-7869781294d5f3a8","e-dc796e8d5cdcd74a"],"text":"basis-map coefficients of A026729 \u2192 basis A013609 \u2192 basis A013611"},"headline":"basis-map coefficients of A026729 \u2192 basis A013609 \u2192 basis A013611","chain":null}},{"id":"l-fdb1011903ff36f9","kind":"fingerprint_related","node_a_id":"n-fa7c562e6b714cd7","node_b_id":"n-2a3b89b3afdb558e","fingerprint":"f6-10cba46fcb583bff","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-10cba46fcb583bff"},"other_id":"n-fa7c562e6b714cd7","other":{"id":"n-fa7c562e6b714cd7","name":"derivative of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","first_index":0,"fingerprint":"f6-10cba46fcb583bff","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["48","128"],["216","1152","1536"],["864","6912","18432","16384"]],"card_rows":[["48","128"],["216","1152","1536"],["864","6912","18432","16384"],["3240","34560","138240","245760","163840"]],"row_sums_preview":["176","2904","42592","585640","7730448","99207416","1247178944","15433839432"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-26633b980c3508e8","steps":["D"],"edges":["e-1751318142d804dc"],"text":"A038226 \u2192 D"},"headline":"A038226 \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:        1;\n  1:        6,        16;\n  2:       36,       192,        256;\n  3:      216,      1728,       4608,        4096;\n  4:     1296,     13824,      55296,       98304,       65536;\n  5:     7776,    103680,     552960,     1474560,     1966080,      1048576;\n  6:    46656,    746496,    4976640,    17694720,    35389440,     37748736,     16777216;\n  7:   279936,   5225472,   41803776,   185794560,   495452160,    792723456,    704643072,    268435456;\n  8:  1679616,  35831808,  334430208,  1783627776,  5945425920,  12683575296,  16911433728,  12884901888,   4294967296;\n  9: 10077696, 241864704, 2579890176, 16052649984, 64210599936, 171228266496, 304405807104, 347892350976, 231928233984, 68719476736;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (6+16*x)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(6 + 16*x)*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] = (6 + 16*x)*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-ae7910bbe46f8a41","steps":["basis A013609","basis A013611"],"edges":["e-6abeab86de871564","e-4b2c9bef2c5f1cbe"],"text":"A130123 \u2192 basis A013609 \u2192 basis A013611"},"headline":"A130123 \u2192 basis A013609 \u2192 basis A013611","chain":null}