{"id":"n-5769a70eea27be08","revision":0,"first_index":0,"fingerprint":"f6-10cba46fcb583bff","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.","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"],["24","64"],["360","1920","2560"],["4320","34560","92160","81920"],["45360","483840","1935360","3440640","2293760"],["435456","5806080","30965760","82575360","110100480","58720256"],["3919104","62705664","418037760","1486356480","2972712960","3170893824","1409286144"],["33592320","627056640","5016453120","22295347200","59454259200","95126814720","84557168640","32212254720"],["277136640","5912248320","55180984320","294298583040","980995276800","2092789923840","2790386565120","2126008811520","708669603840"],["2217093120","53210234880","567575838720","3531582996480","14126331985920","37670218629120","66969277562880","76536317214720","51024211476480","15118284881920"],["17293326336","461155368960","5533864427520","39351924817920","183642315816960","587655410614272","1305900912476160","1989944247582720","1989944247582720","1179226220789760","314460325543936"],["132058128384","3873705099264","51649401323520","413195210588160","2203707789803520","8227175748599808","21939135329599488","41788829199237120","55718438932316160","49527501273169920","26414667345690624","6403555720167424"],["990435962880","31693950812160","464844611911680","4131952105881600","24791712635289600","105777973910568960","329087029943992320","752198925586268160","1253664875977113600","1485825038195097600","1188660030556078080","576320014815068160","128071114403348480"],["7313988648960","253551606497280","4056825703956480","39666740216463360","264444934776422400","1269335686926827520","4513193553517608960","12035182809380290560","24070365618760581120","35659800916682342400","38037120977794498560","27663360711123271680","12294826982721454080","2522015791327477760"],["53287631585280","1989404912517120","34483018483630080","367818863825387520","2697338334719508480","14385804451837378560","57543217807349514240","175369806650969948160","409196215518929879040","727459938700319784960","969946584933759713280","940554264178191237120","627036176118794158080","257245610715402731520","48999163945790996480"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","88","4840","212960","8198960","288603392","9523911936","299322946560","9054519133440","265599227914240","7596137918347264","212691861713723392","5849026197127393280","158373632414526341120","4230838465930917969920"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["0"],["1"]]},"terms":[{"coeff":{"coeffs":[["18","48"],["6","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":206128,"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-c3cc5ae62ece989b"]},{"id":206129,"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-c3cc5ae62ece989b"]},{"id":206130,"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-c3cc5ae62ece989b"]},{"id":206131,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1","region_exact":null,"edges":["e-c3cc5ae62ece989b"]}],"region_exact":{},"incoming_edges":[{"id":"e-c3cc5ae62ece989b","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-5769a70eea27be08","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":"2eeed05a51f4bfc5fbf783818c5630c3c0ddbcd79a4bca0633985a7252cddde6","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-77621b0cfa8249dd","role":"sequence","name":"basis_map_A013611 of Triangle read by rows: T(n,k) = C(n+3,3) * C(n,k), 0 <= k <= n.","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-1792999d71e93673","kind":"fingerprint_related","node_a_id":"n-fa7c562e6b714cd7","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-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}},{"id":"l-1917d6c6e29ea8db","kind":"fingerprint_related","node_a_id":"n-92edd186071bf525","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-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-37f6d69309e10753","kind":"fingerprint_related","node_a_id":"n-efaf6bbff08d2b38","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-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-3fb8f6530019108d","kind":"fingerprint_related","node_a_id":"n-a5bbe7b7541d0f7e","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-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-498cdddffec3b44d","kind":"fingerprint_related","node_a_id":"n-5480ea27b6b60650","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-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-4a9eb855c289cbd7","kind":"fingerprint_related","node_a_id":"n-fa5aa25df8632258","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-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-4f9d3e4d257fcdce","kind":"fingerprint_related","node_a_id":"n-b1b69d765f0c1697","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-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-537e281e33567f94","kind":"fingerprint_related","node_a_id":"n-9d2d3b9774b44e55","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-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-5b196a5fd964e7b9","kind":"fingerprint_related","node_a_id":"n-9df1aeebd1dc8cfe","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-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-5c998bae1de94306","kind":"fingerprint_related","node_a_id":"n-0e2566ba0dc25f29","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-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-711c8ee9e376ab74","kind":"fingerprint_related","node_a_id":"n-02c96d1cef1df1f5","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-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-910226dcd7f2957f","kind":"fingerprint_related","node_a_id":"n-94fce0546865473b","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-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-9ca9947a12ddeb5e","kind":"fingerprint_related","node_a_id":"n-e4174bd1d17cd542","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-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-9f8d2976af2ba26d","kind":"fingerprint_related","node_a_id":"n-26633b980c3508e8","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-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-a35fad878530284b","kind":"fingerprint_related","node_a_id":"n-eb017735da7ea7a7","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-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-a7937e65aa951946","kind":"fingerprint_related","node_a_id":"n-108b34f10b7468f4","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-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-aa234a08ab09d53b","kind":"fingerprint_related","node_a_id":"n-f30a329c55c66519","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-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-afe268f6eb93b5e0","kind":"fingerprint_related","node_a_id":"n-6f7945c7ba1aeded","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-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-bfeb0818332dd365","kind":"fingerprint_related","node_a_id":"n-615781e66d28cc0d","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-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-c4b122ad3955aa2a","kind":"fingerprint_related","node_a_id":"n-5769a70eea27be08","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-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-2a3b89b3afdb558e","other":{"id":"n-2a3b89b3afdb558e","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, ...).","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"],["6","16"],["36","192","256"]],"card_rows":[["1"],["6","16"],["36","192","256"],["216","1728","4608","4096"]],"row_sums_preview":["1","22","484","10648","234256","5153632","113379904","2494357888"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"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}},{"id":"l-d87188d344047f2e","kind":"fingerprint_related","node_a_id":"n-a227586ec36efe06","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-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-d993917a320c1b41","kind":"fingerprint_related","node_a_id":"n-07d22e3add816916","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-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-da18db762725aef9","kind":"fingerprint_related","node_a_id":"n-9f4dd10196cdd660","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-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-e5a2be6cb2fe2bc1","kind":"fingerprint_related","node_a_id":"n-434c08b6a4db7f2e","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-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-e937d607a59a04ad","kind":"fingerprint_related","node_a_id":"n-a0ed4a72ae8b8f9b","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-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}}],"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:         24,          64;\n  2:        360,        1920,         2560;\n  3:       4320,       34560,        92160,         81920;\n  4:      45360,      483840,      1935360,       3440640,        2293760;\n  5:     435456,     5806080,     30965760,      82575360,      110100480,       58720256;\n  6:    3919104,    62705664,    418037760,    1486356480,     2972712960,     3170893824,     1409286144;\n  7:   33592320,   627056640,   5016453120,   22295347200,    59454259200,    95126814720,    84557168640,    32212254720;\n  8:  277136640,  5912248320,  55180984320,  294298583040,   980995276800,  2092789923840,  2790386565120,  2126008811520,   708669603840;\n  9: 2217093120, 53210234880, 567575838720, 3531582996480, 14126331985920, 37670218629120, 66969277562880, 76536317214720, 51024211476480, 15118284881920;\n","recurrence_sentence":"The row polynomials satisfy n*P(n,x) = (6*n+18+(16*n+48)*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[Together[((6*n + 18 + (16*n + 48)*x)*P[n - 1, x])/(n)]];\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*n + 18 + (16*n + 48)*x)*v[i - 1])/(n)); 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-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}