{"id":"n-eb017735da7ea7a7","revision":0,"first_index":0,"fingerprint":"f6-10cba46fcb583bff","name":"basis_map_A013611 of basis_map_A013611 of Twice Pascal's triangle A007318: T(n,k) = 2*C(n,k).","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":[["2"],["12","32"],["72","384","512"],["432","3456","9216","8192"],["2592","27648","110592","196608","131072"],["15552","207360","1105920","2949120","3932160","2097152"],["93312","1492992","9953280","35389440","70778880","75497472","33554432"],["559872","10450944","83607552","371589120","990904320","1585446912","1409286144","536870912"],["3359232","71663616","668860416","3567255552","11890851840","25367150592","33822867456","25769803776","8589934592"],["20155392","483729408","5159780352","32105299968","128421199872","342456532992","608811614208","695784701952","463856467968","137438953472"],["120932352","3224862720","38698352640","275188285440","1284211998720","4109478395904","9132174213120","13915694039040","13915694039040","8246337208320","2199023255552"],["725594112","21284093952","283787919360","2270303354880","12108284559360","45204262354944","120544699613184","229608951644160","306145268858880","272129127874560","145135534866432","35184372088832"],["4353564672","139314069504","2043273019392","18162426839040","108974561034240","464958127079424","1446536395358208","3306368903675904","5510614839459840","6531099068989440","5224879255191552","2533274790395904","562949953421312"],["26121388032","905541451776","14488663228416","141666929344512","944446195630080","4533341739024384","16118548405420032","42982795747786752","85965591495573504","127356431845294080","135846860634980352","98797716825440256","43910096366862336","9007199254740992"],["156728328192","5851190919168","101420642598912","1081820187721728","7933348043292672","42311189564227584","169244758256910336","515793548973441024","1203518280938029056","2139588055000940544","2852784073334587392","2766336071112327168","1844224047408218112","756604737398243328","144115188075855872"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["2","44","968","21296","468512","10307264","226759808","4988715776","109751747072","2414538435584","53119845582848","1168636602822656","25710005262098432","565620115766165504","12443642546855641088"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["2"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["6","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":205584,"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-5ce93a9cb2771e67"]},{"id":205585,"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-5ce93a9cb2771e67"]},{"id":205586,"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-5ce93a9cb2771e67"]}],"region_exact":{},"incoming_edges":[{"id":"e-5ce93a9cb2771e67","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-eb017735da7ea7a7","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":"dd5b1ed08177f5dfa1186ef6b9951672e47ae34373793e24e8455ea7f255c4ad","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-a67bbce5c2713a1e","role":"sequence","name":"basis_map_A013611 of Twice Pascal's triangle A007318: T(n,k) = 2*C(n,k).","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-035df533025ac705","kind":"fingerprint_related","node_a_id":"n-9d2d3b9774b44e55","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-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-10cfe9c0eaec20aa","kind":"fingerprint_related","node_a_id":"n-efaf6bbff08d2b38","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-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-1555d78490e5c768","kind":"fingerprint_related","node_a_id":"n-26633b980c3508e8","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-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-2803f927ae6ca36e","kind":"fingerprint_related","node_a_id":"n-eb017735da7ea7a7","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-29671c3e7f49e4b3","kind":"fingerprint_related","node_a_id":"n-108b34f10b7468f4","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-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-2e8e2140ee8491b4","kind":"fingerprint_related","node_a_id":"n-07d22e3add816916","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-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-3293c2dfe41b4fac","kind":"fingerprint_related","node_a_id":"n-9df1aeebd1dc8cfe","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-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-340c28557ba970d2","kind":"fingerprint_related","node_a_id":"n-f30a329c55c66519","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-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-345882771cc339e0","kind":"fingerprint_related","node_a_id":"n-615781e66d28cc0d","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-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-50301b2735708dc8","kind":"fingerprint_related","node_a_id":"n-5480ea27b6b60650","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-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-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-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-5b00d6f8f9d757f2","kind":"fingerprint_related","node_a_id":"n-92edd186071bf525","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-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-5cf773363236fd8b","kind":"fingerprint_related","node_a_id":"n-e4174bd1d17cd542","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-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-706341a206206488","kind":"fingerprint_related","node_a_id":"n-a5bbe7b7541d0f7e","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-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-82c6b45ab66f6595","kind":"fingerprint_related","node_a_id":"n-eb017735da7ea7a7","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-832c59337f9e9a38","kind":"fingerprint_related","node_a_id":"n-eb017735da7ea7a7","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-8e02b7513d2ecafe","kind":"fingerprint_related","node_a_id":"n-eb017735da7ea7a7","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-a00e3eaf9454da28","kind":"fingerprint_related","node_a_id":"n-a0ed4a72ae8b8f9b","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-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-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-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-a3897e6c67c8d7ca","kind":"fingerprint_related","node_a_id":"n-fa7c562e6b714cd7","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-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-bc7d6ac0183d1bdb","kind":"fingerprint_related","node_a_id":"n-b1b69d765f0c1697","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-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-c4720e1047037765","kind":"fingerprint_related","node_a_id":"n-02c96d1cef1df1f5","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-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-ea65214fb4e2fc44","kind":"fingerprint_related","node_a_id":"n-eb017735da7ea7a7","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-f7f5750ffddfcef3","kind":"fingerprint_related","node_a_id":"n-0e2566ba0dc25f29","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-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-fc768b9c3d382859","kind":"fingerprint_related","node_a_id":"n-6f7945c7ba1aeded","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-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-ff583fecb923a33b","kind":"fingerprint_related","node_a_id":"n-a227586ec36efe06","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-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}}],"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:        2;\n  1:       12,        32;\n  2:       72,       384,        512;\n  3:      432,      3456,       9216,        8192;\n  4:     2592,     27648,     110592,      196608,       131072;\n  5:    15552,    207360,    1105920,     2949120,      3932160,      2097152;\n  6:    93312,   1492992,    9953280,    35389440,     70778880,     75497472,     33554432;\n  7:   559872,  10450944,   83607552,   371589120,    990904320,   1585446912,   1409286144,    536870912;\n  8:  3359232,  71663616,  668860416,  3567255552,  11890851840,  25367150592,  33822867456,  25769803776,   8589934592;\n  9: 20155392, 483729408, 5159780352, 32105299968, 128421199872, 342456532992, 608811614208, 695784701952, 463856467968, 137438953472;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (6+16*x)*P(n-1,x) for n >= 1, with P(0,x) = 2.","mathematica":"P[0, x_] := 2;\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] = 2; 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-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}