{"id":"n-9f4dd10196cdd660","revision":0,"first_index":0,"fingerprint":"f6-10cba46fcb583bff","name":"basis_map_A013611 of basis_map_A013610 of Triangle of coefficients in expansion of (1+2*x)^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"],["9","24"],["81","432","576"],["729","5832","15552","13824"],["6561","69984","279936","497664","331776"],["59049","787320","4199040","11197440","14929920","7962624"],["531441","8503056","56687040","201553920","403107840","429981696","191102976"],["4782969","89282088","714256704","3174474240","8465264640","13544423424","12039487488","4586471424"],["43046721","918330048","8571080448","45712429056","152374763520","325066162176","433421549568","330225942528","110075314176"],["387420489","9298091736","99179645184","617117792256","2468471169024","6582589784064","11702381838336","13374150672384","8916100448256","2641807540224"],["3486784401","92980917360","1115771008320","7934371614720","37027067535360","118486616113152","263303591362560","401224520171520","401224520171520","237762678620160","63403380965376"],["31381059609","920511081864","12273481091520","98187848732160","523668526571520","1955029165867008","5213411108978688","9930306874245120","13240409165660160","11769252591697920","6276934715572224","1521681143169024"],["282429536481","9037745167392","132553595788416","1178254184785920","7069525108715520","30163307130519552","93841399961616384","214494628483694592","357491047472824320","423693093301125120","338954474640900096","164341563462254592","36520347436056576"],["2541865828329","88118015382072","1409888246113152","13785573961995264","91903826413301760","441138366783848448","1568491970787016704","4182645255432044544","8365290510864089088","12393022979057909760","13219224510995103744","9613981462541893632","4272880650018619392","876488338465357824"],["22876792454961","854066918318544","14803826584188096","157907483564673024","1157988212807602176","6175937134973878272","24703748539895513088","75287614597776801792","175671100728145870848","312304179072259325952","416405572096345767936","403787221426759532544","269191480951173021696","110437530646635085824","21035720123168587776"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","33","1089","35937","1185921","39135393","1291467969","42618442977","1406408618241","46411484401953","1531578985264449","50542106513726817","1667889514952984961","55040353993448503713","1816331681783800622529"],"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":[["9","24"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":205933,"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-051060c68b1f5b80"]},{"id":205934,"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-051060c68b1f5b80"]},{"id":205935,"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-051060c68b1f5b80"]}],"region_exact":{},"incoming_edges":[{"id":"e-051060c68b1f5b80","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-9f4dd10196cdd660","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":"3fadf40bc0ff3fd0444138956b53617b97eb2e41c390082e4dca1cca7cbb9e5a","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-53ad300b8c449980","role":"sequence","name":"basis_map_A013610 of Triangle of coefficients in expansion of (1+2*x)^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-096151cb303a5a89","kind":"fingerprint_related","node_a_id":"n-e4174bd1d17cd542","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-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-096b98781cb2a3d1","kind":"fingerprint_related","node_a_id":"n-108b34f10b7468f4","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-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-0a370e7013a60783","kind":"fingerprint_related","node_a_id":"n-9d2d3b9774b44e55","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-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-16d39e25734ad656","kind":"fingerprint_related","node_a_id":"n-26633b980c3508e8","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-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-18b9f65c2461b728","kind":"fingerprint_related","node_a_id":"n-f30a329c55c66519","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-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-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-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-3da299feca1f1ec0","kind":"fingerprint_related","node_a_id":"n-fa7c562e6b714cd7","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-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-3e38e866dfa7d352","kind":"fingerprint_related","node_a_id":"n-07d22e3add816916","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-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-3f2bda4a4516cae3","kind":"fingerprint_related","node_a_id":"n-02c96d1cef1df1f5","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-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-4dcddaca63846f6a","kind":"fingerprint_related","node_a_id":"n-9f4dd10196cdd660","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-5a12529c0e8b59a8","kind":"fingerprint_related","node_a_id":"n-9f4dd10196cdd660","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-60e075b85b66f399","kind":"fingerprint_related","node_a_id":"n-a227586ec36efe06","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-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-64f50b642745486a","kind":"fingerprint_related","node_a_id":"n-9df1aeebd1dc8cfe","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-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-70500375a82d270f","kind":"fingerprint_related","node_a_id":"n-9f4dd10196cdd660","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-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-91e46059996393f6","kind":"fingerprint_related","node_a_id":"n-a5bbe7b7541d0f7e","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-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-a184db10411bf139","kind":"fingerprint_related","node_a_id":"n-b1b69d765f0c1697","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-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-a24b97745ae5ffb6","kind":"fingerprint_related","node_a_id":"n-5480ea27b6b60650","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-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-aea24ddccda68991","kind":"fingerprint_related","node_a_id":"n-0e2566ba0dc25f29","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-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-cd2dfc33f80f72e7","kind":"fingerprint_related","node_a_id":"n-6f7945c7ba1aeded","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-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-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-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-e40ab61ac069eace","kind":"fingerprint_related","node_a_id":"n-615781e66d28cc0d","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-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-e4e39f9f8297ff38","kind":"fingerprint_related","node_a_id":"n-9f4dd10196cdd660","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-f1e0ecbb5712ef96","kind":"fingerprint_related","node_a_id":"n-a0ed4a72ae8b8f9b","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-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-f85fe7e507653f48","kind":"fingerprint_related","node_a_id":"n-92edd186071bf525","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-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-ff67870aeb078420","kind":"fingerprint_related","node_a_id":"n-efaf6bbff08d2b38","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-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}}],"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:         9,         24;\n  2:        81,        432,         576;\n  3:       729,       5832,       15552,        13824;\n  4:      6561,      69984,      279936,       497664,        331776;\n  5:     59049,     787320,     4199040,     11197440,      14929920,       7962624;\n  6:    531441,    8503056,    56687040,    201553920,     403107840,     429981696,      191102976;\n  7:   4782969,   89282088,   714256704,   3174474240,    8465264640,   13544423424,    12039487488,     4586471424;\n  8:  43046721,  918330048,  8571080448,  45712429056,  152374763520,  325066162176,   433421549568,   330225942528,  110075314176;\n  9: 387420489, 9298091736, 99179645184, 617117792256, 2468471169024, 6582589784064, 11702381838336, 13374150672384, 8916100448256, 2641807540224;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (9+24*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[(9 + 24*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] = (9 + 24*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-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}