{"id":"n-9b39ea493a280776","revision":0,"first_index":0,"fingerprint":"f6-181bf1738e48841f","name":"theta_plus_one_squared of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*2^i.","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":false,"rows":[["1"],["4","32"],["16","256","576"],["64","1536","6912","8192"],["256","8192","55296","131072","102400"],["1024","40960","368640","1310720","2048000","1179648"],["4096","196608","2211840","10485760","24576000","28311552","12845056"],["16384","917504","12386304","73400320","229376000","396361728","359661568","134217728"],["65536","4194304","66060288","469762048","1835008000","4227858432","5754585088","4294967296","1358954496"],["262144","18874368","339738624","2818572288","13212057600","38050725888","69055021056","77309411328","48922361856","13421772800"],["1048576","83886080","1698693120","16106127360","88080384000","304405807104","690550210560","1030792151040","978447237120","536870912000","129922760704"],["4194304","369098752","8304721920","88583700480","553648128000","2232309252096","6076841852928","11338713661440","14350559477760","11811160064000","5716601470976","1236950581248"],["16777216","1610612736","39862665216","472446402560","3321888768000","15307263442944","48614734823424","108851651149824","172206713733120","188978561024000","137198435303424","59373627899904","11613591568384"],["67108864","6979321856","188441690112","2456721293312","19193135104000","99497212379136","361138030116864","943380976631808","1790949822824448","2456721293312000","2378106211926016","1543714325397504","603906761555968","107752139522048"],["268435456","30064771072","879394553856","12506944765952","107481556582400","619093765914624","2527966210818048","7547047813054464","16715531679694848","27515278485094400","33293486966964224","28816000740753408","16909389323567104","6034119813234688","989560464998400"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","36","848","16704","297216","4948992","78630912","1206337536","18011455488","263148797952","3776959217664","53414046203904","745980404170752","10307012118183936","141088373493202944"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one_squared","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["1","-2","0"],["0","6","0"],["0","0","4"]]},"terms":[{"coeff":{"coeffs":[["4","24","48","32"],["0","24","80","64"],["0","0","16","32"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":186417,"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-85d9fdd5ebc985f4"]},{"id":186418,"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-85d9fdd5ebc985f4"]},{"id":186419,"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-85d9fdd5ebc985f4"]},{"id":186420,"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-85d9fdd5ebc985f4"]}],"region_exact":{},"incoming_edges":[{"id":"e-85d9fdd5ebc985f4","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"euler_polynomial\",\"coefficients\":[{\"numerator\":[\"1\"],\"denominator\":[\"1\"]},{\"numerator\":[\"2\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"euler_polynomial, shift 0","conclusion_id":"n-9b39ea493a280776","premise_count":1,"theorem":"Laguerre's theorem on multiplier sequences: if f is a real polynomial whose roots are all real and <= 0, then (f(k))_(k >= 0) is a multiplier sequence, so x^k -> f(k) x^k maps every real-rooted polynomial to a real-rooted polynomial or zero (Laguerre; see T. Craven and G. Csordas, Multiplier sequences for fields, Illinois J. Math. 21 (1977); Polya--Schur, Theorem 40 of P. Branden, arXiv:1410.6601: sum_k f(k) x^k / k! = f(theta) e^x = C e^x x^m prod (1 + x/a_j), a_j > 0); f(k) has one sign for k >= 0, so coefficients of one sign stay of one sign; applied to f(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.isMultiplierSequence_eval_of_roots_nonpos","RealRooted.isPFMultiplierSequence_eval_of_roots_nonpos","RealRooted.isMultiplierSequence_iff_preserves"],"certificate_hash":"3693496f63540959dfa592eeb02b008797f6a850e1a008fb42411bf453f65b0e","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-0be19de8f4a58a03","role":"sequence","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*2^i.","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-01c867ecb36835bc","kind":"fingerprint_related","node_a_id":"n-5d63026678288888","node_b_id":"n-9b39ea493a280776","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-5d63026678288888","other":{"id":"n-5d63026678288888","name":"theta_plus_one_squared 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-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":0,"rr_by_factors":0,"preview_rows":[["1"],["-1","-8"],["1","16","36"]],"card_rows":[["1"],["-1","-8"],["1","16","36"],["-1","-24","-108","-128"]],"row_sums_preview":["1","-9","53","-261","1161","-4833","19197","-73629"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3cc7875cf81a5a84","steps":["basis A013609","(\u03b8+1)\u00b2"],"edges":["e-66f8525b021adc45","e-3711ce2159b11672"],"text":"basis-map coefficients of A026729, shifted \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2"},"headline":"basis-map coefficients of A026729, shifted \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-0327668035bdbf6c","kind":"fingerprint_related","node_a_id":"n-06a6c84bb2b2c046","node_b_id":"n-9b39ea493a280776","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-06a6c84bb2b2c046","other":{"id":"n-06a6c84bb2b2c046","name":"theta_plus_one_squared 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-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","16"],["4","64","144"]],"card_rows":[["1"],["2","16"],["4","64","144"],["8","192","864","1024"]],"row_sums_preview":["1","18","212","2088","18576","154656","1228608","9424512"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ae7910bbe46f8a41","steps":["basis A013609","(\u03b8+1)\u00b2"],"edges":["e-6abeab86de871564","e-457c95e1cdcb5cfd"],"text":"A130123 \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2"},"headline":"A130123 \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-1284f434a635810d","kind":"fingerprint_related","node_a_id":"n-9b39ea493a280776","node_b_id":"n-48dac2e4a8f752f8","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-48dac2e4a8f752f8","other":{"id":"n-48dac2e4a8f752f8","name":"theta_plus_one_squared 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-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["10","80"],["60","960","2160"]],"card_rows":[["1"],["10","80"],["60","960","2160"],["280","6720","30240","35840"]],"row_sums_preview":["1","90","3180","73080","1300320","19486656","258007680","3110088960"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-79986ab5023c2764","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-4faaf8fb320b6fca","e-dae5136b4fcbe522"],"text":"A178821 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A178821 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-1542c3ac53d1fec1","kind":"fingerprint_related","node_a_id":"n-155438c5dea0b978","node_b_id":"n-9b39ea493a280776","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-155438c5dea0b978","other":{"id":"n-155438c5dea0b978","name":"theta_plus_one_squared 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-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["3"],["9","72"],["27","432","972"]],"card_rows":[["3"],["9","72"],["27","432","972"],["81","1944","8748","10368"]],"row_sums_preview":["3","81","1431","21141","282123","3523257","41983839","483079869"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-765f9e2b013b3c68","steps":["basis A013610","(\u03b8+1)\u00b2"],"edges":["e-284e6c48cfe1aa93","e-8eaebe9b16e8b6d6"],"text":"A120909 \u2192 basis A013610 \u2192 (\u03b8+1)\u00b2"},"headline":"A120909 \u2192 basis A013610 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-29c85d9e4204ae7c","kind":"fingerprint_related","node_a_id":"n-9b39ea493a280776","node_b_id":"n-5bfab3ce5853aea4","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-5bfab3ce5853aea4","other":{"id":"n-5bfab3ce5853aea4","name":"theta_plus_one_squared of basis_map_A013611 of Triangle T(n, k) read by rows, T(n, k) = n!*binomial(n, k).","first_index":0,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","16"],["8","128","288"]],"card_rows":[["1"],["2","16"],["8","128","288"],["48","1152","5184","6144"]],"row_sums_preview":["1","18","424","12528","445824","18558720","884597760","47499540480"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cb5d49e71e46f2ed","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-b8ab5069d7db191f","e-754309978d142ddd"],"text":"A196347 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A196347 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-2ec755d96bc871c3","kind":"fingerprint_related","node_a_id":"n-8524bd9002d643c2","node_b_id":"n-9b39ea493a280776","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-8524bd9002d643c2","other":{"id":"n-8524bd9002d643c2","name":"theta_plus_one_squared 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-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","8"],["1","16","36"]],"card_rows":[["1"],["1","8"],["1","16","36"],["1","24","108","128"]],"row_sums_preview":["1","9","53","261","1161","4833","19197","73629"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-1bf99ad40f056d33","steps":["basis A013609","(\u03b8+1)\u00b2"],"edges":["e-7869781294d5f3a8","e-c39cc791471eac42"],"text":"basis-map coefficients of A026729 \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2"},"headline":"basis-map coefficients of A026729 \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-3637330de9493ec6","kind":"fingerprint_related","node_a_id":"n-9b39ea493a280776","node_b_id":"n-48d79843f84f4fb4","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-48d79843f84f4fb4","other":{"id":"n-48d79843f84f4fb4","name":"theta_plus_one_squared of basis_map_A013611 of Triangle read by rows. T(n, k) = RisingFactorial(n + 1, n) / (k! * (n - k)!).","first_index":0,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["4","32"],["24","384","864"]],"card_rows":[["1"],["4","32"],["24","384","864"],["160","3840","17280","20480"]],"row_sums_preview":["1","36","1272","41760","1300320","38973312","1135233792","32344925184"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-dd77bf712b1df996","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-6d76bdb8087cd7e0","e-49015d889fd8bb3e"],"text":"A356546 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A356546 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-657f75e97e19d9be","kind":"fingerprint_related","node_a_id":"n-03f76cccc35ea4e0","node_b_id":"n-9b39ea493a280776","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-03f76cccc35ea4e0","other":{"id":"n-03f76cccc35ea4e0","name":"theta_plus_one_squared of Triangle of coefficients in expansion of (1+2*x)^n.","first_index":0,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","8"],["1","16","36"]],"card_rows":[["1"],["1","8"],["1","16","36"],["1","24","108","128"]],"row_sums_preview":["1","9","53","261","1161","4833","19197","73629"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-71965e79e47a4526","steps":["(\u03b8+1)\u00b2"],"edges":["e-cb6823c49bab7cdf"],"text":"A013609 \u2192 (\u03b8+1)\u00b2"},"headline":"A013609 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-778be94469dfe71e","kind":"fingerprint_related","node_a_id":"n-9b39ea493a280776","node_b_id":"n-d73b68d236fd0cef","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-d73b68d236fd0cef","other":{"id":"n-d73b68d236fd0cef","name":"theta_plus_one_squared of basis_map_A013611 of Triangle T(n,k) read by rows: multiply row n of Pascal's triangle (A007318) by A001147(n).","first_index":0,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","16"],["12","192","432"]],"card_rows":[["1"],["2","16"],["12","192","432"],["120","2880","12960","15360"]],"row_sums_preview":["1","18","636","31320","1950480","146149920","12771380160","1273581429120"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c7809537965f400d","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-20dcbad557ba463b","e-a613c409bbebbc56"],"text":"A085881 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A085881 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-85fba77473956c49","kind":"fingerprint_related","node_a_id":"n-9b39ea493a280776","node_b_id":"n-5641edb36703d6ea","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-5641edb36703d6ea","other":{"id":"n-5641edb36703d6ea","name":"theta_plus_one_squared of basis_map_A013609 of Triangle read by rows: row n consists of n zeros followed by n!.","first_index":0,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","8"],["2","32","72"]],"card_rows":[["1"],["1","8"],["2","32","72"],["6","144","648","768"]],"row_sums_preview":["1","9","106","1566","27864","579960","13821840","371090160"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-fbb4b9430d9de872","steps":["basis A013609","(\u03b8+1)\u00b2"],"edges":["e-456dc355a6d78eff","e-9597b2c0f643b408"],"text":"A136572 \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2"},"headline":"A136572 \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-907952f96f2c7794","kind":"fingerprint_related","node_a_id":"n-fd5ee1eda0de091f","node_b_id":"n-9b39ea493a280776","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-fd5ee1eda0de091f","other":{"id":"n-fd5ee1eda0de091f","name":"theta_plus_one_squared of basis_map_A013611 of Twice Pascal's triangle A007318: T(n,k) = 2*C(n,k).","first_index":0,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["2"],["4","32"],["8","128","288"]],"card_rows":[["2"],["4","32"],["8","128","288"],["16","384","1728","2048"]],"row_sums_preview":["2","36","424","4176","37152","309312","2457216","18849024"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-089a9b4f824a1c20","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-3deac81ab612cd2e","e-507a7b74b5a535cb"],"text":"A028326 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A028326 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-9a0a7ce9e8c77188","kind":"fingerprint_related","node_a_id":"n-9b39ea493a280776","node_b_id":"n-ba8807b37d39c329","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-ba8807b37d39c329","other":{"id":"n-ba8807b37d39c329","name":"theta_plus_one_squared of basis_map_A013611 of Triangle T(n,k) = n!*binomial(n-1, k-1) for 1 <= k <= n, read by rows.","first_index":0,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["4","32"],["24","384","864"]],"card_rows":[["1"],["4","32"],["24","384","864"],["192","4608","20736","24576"]],"row_sums_preview":["1","36","1272","50112","2229120","111352320","6192184320","379996323840"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-75a6475b3e851dc5","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-413ab29272bdfecc","e-a5cb677b1fea4fb8"],"text":"A156992 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A156992 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-a3fd5834b8c7dede","kind":"fingerprint_related","node_a_id":"n-9b39ea493a280776","node_b_id":"n-f33cd188dfa59125","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-f33cd188dfa59125","other":{"id":"n-f33cd188dfa59125","name":"theta_plus_one_squared of basis_map_A013611 of Triangle T(n,k) read by rows: multiply row n of Pascal's triangle (A007318) by the n-th Catalan number (A000108).","first_index":1,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","16"],["8","128","288"]],"card_rows":[["1"],["2","16"],["8","128","288"],["40","960","4320","5120"]],"row_sums_preview":["1","18","424","10440","260064","6495552","162176256","4043115648"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a98fae1bf9eeb913","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-9f3d1c5f0f510549","e-db892d690f6f33d3"],"text":"A085880 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A085880 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-ab5d6493aad77547","kind":"fingerprint_related","node_a_id":"n-0aa24ba2844647f2","node_b_id":"n-9b39ea493a280776","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-0aa24ba2844647f2","other":{"id":"n-0aa24ba2844647f2","name":"theta_plus_one_squared of basis_map_A013610 of Triangle of coefficients in expansion of (1+2*x)^n.","first_index":0,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["3","24"],["9","144","324"]],"card_rows":[["1"],["3","24"],["9","144","324"],["27","648","2916","3456"]],"row_sums_preview":["1","27","477","7047","94041","1174419","13994613","161026623"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-71965e79e47a4526","steps":["basis A013610","(\u03b8+1)\u00b2"],"edges":["e-14a3a792ab5fe5af","e-7220ff5b5597842c"],"text":"A013609 \u2192 basis A013610 \u2192 (\u03b8+1)\u00b2"},"headline":"A013609 \u2192 basis A013610 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-c103b74c892c8e6c","kind":"fingerprint_related","node_a_id":"n-9b39ea493a280776","node_b_id":"n-94c7e7b4a817d6c6","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-94c7e7b4a817d6c6","other":{"id":"n-94c7e7b4a817d6c6","name":"theta_plus_one_squared of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*3^(i-j)*3^j.","first_index":0,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["6","48"],["36","576","1296"]],"card_rows":[["1"],["6","48"],["36","576","1296"],["216","5184","23328","27648"]],"row_sums_preview":["1","54","1908","56376","1504656","37581408","895655232","20611407744"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-8d88ef9de74b305f","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-fc7ebcb9132c171a","e-0945e0aeeb7f1784"],"text":"A038221 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A038221 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-c64f2bf9277d2d1e","kind":"fingerprint_related","node_a_id":"n-948826d8d47a4c2c","node_b_id":"n-9b39ea493a280776","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-948826d8d47a4c2c","other":{"id":"n-948826d8d47a4c2c","name":"theta_plus_one_squared of derivative of Triangle of coefficients in expansion of (1+2*x)^n.","first_index":0,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[[],["2"],["4","32"]],"card_rows":[["2"],["4","32"],["6","96","216"],["8","192","864","1024"]],"row_sums_preview":["0","2","36","318","2088","11610","57996","268758"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-71965e79e47a4526","steps":["D","(\u03b8+1)\u00b2"],"edges":["e-9f3f778aa1812acb","e-f16d34d2e8428ac9"],"text":"A013609 \u2192 D \u2192 (\u03b8+1)\u00b2"},"headline":"A013609 \u2192 D \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-cda67476e31f8871","kind":"fingerprint_related","node_a_id":"n-347ee1f2ae9cec52","node_b_id":"n-9b39ea493a280776","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-347ee1f2ae9cec52","other":{"id":"n-347ee1f2ae9cec52","name":"theta_plus_one_squared 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-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["3"],["3","24"],["3","48","108"]],"card_rows":[["3"],["3","24"],["3","48","108"],["3","72","324","384"]],"row_sums_preview":["3","27","159","783","3483","14499","57591","220887"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-765f9e2b013b3c68","steps":["(\u03b8+1)\u00b2"],"edges":["e-edf3f02736b33ee9"],"text":"A120909 \u2192 (\u03b8+1)\u00b2"},"headline":"A120909 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-cf9a523e9d1365b5","kind":"fingerprint_related","node_a_id":"n-82c0885ccc3f590d","node_b_id":"n-9b39ea493a280776","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-82c0885ccc3f590d","other":{"id":"n-82c0885ccc3f590d","name":"theta_plus_one_squared 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-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":0,"rr_by_factors":0,"preview_rows":[["1"],["-1","-8"],["1","16","36"]],"card_rows":[["1"],["-1","-8"],["1","16","36"],["-1","-24","-108","-128"]],"row_sums_preview":["1","-9","53","-261","1161","-4833","19197","-73629"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-477d9807e1cbb785","steps":["basis A013609","(\u03b8+1)\u00b2"],"edges":["e-13dcb978bba71940","e-093d438ec2a24fb0"],"text":"basis-map coefficients of A030528, shifted \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2"},"headline":"basis-map coefficients of A030528, shifted \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-e06f946d65540f67","kind":"fingerprint_related","node_a_id":"n-9b39ea493a280776","node_b_id":"n-dc886079d2047822","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-dc886079d2047822","other":{"id":"n-dc886079d2047822","name":"theta_plus_one_squared 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-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["8","64"],["40","640","1440"]],"card_rows":[["1"],["8","64"],["40","640","1440"],["160","3840","17280","20480"]],"row_sums_preview":["1","72","2120","41760","650160","8660736","103203072","1130941440"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a820c1859f68e71c","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-159425c642d412bb","e-f13ff6b459fdc1d7"],"text":"A178820 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A178820 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-e4d492ea271a9320","kind":"fingerprint_related","node_a_id":"n-9b39ea493a280776","node_b_id":"n-478b0ced7e7af25c","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-478b0ced7e7af25c","other":{"id":"n-478b0ced7e7af25c","name":"theta_plus_one_squared of basis_map_A013611 of Triangle read by rows: T(n,k) = C(n+5,5) * C(n,k), 0 <= k <= n.","first_index":0,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["12","96"],["84","1344","3024"]],"card_rows":[["1"],["12","96"],["84","1344","3024"],["448","10752","48384","57344"]],"row_sums_preview":["1","108","4452","116928","2340576","38973312","567616896","7464213504"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-97228a88c81561dc","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-377b2cf400ddb478","e-9ec31a69793dc652"],"text":"A178822 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A178822 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-f8f7ed82abbaff25","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","node_b_id":"n-9b39ea493a280776","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-522e8db43f2283b2","other":{"id":"n-522e8db43f2283b2","name":"theta_plus_one_squared of basis_map_A013609 of basis-map coefficients of A scaled Hermite triangle.","first_index":1,"fingerprint":"f6-181bf1738e48841f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1","16","36"],["1","24","108","128"],["1","32","216","512","400"]],"card_rows":[["1","16","36"],["1","24","108","128"],["1","32","216","512","400"],["1","40","360","1280","2000","1152"]],"row_sums_preview":["53","261","1161","4833","19197","73629","274833","1003833"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-5fe240122e98ffb3","steps":["basis A013609","(\u03b8+1)\u00b2"],"edges":["e-7bee75fc05394bb8","e-fb6188622cef9144"],"text":"basis-map coefficients of A112227 \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2"},"headline":"basis-map coefficients of A112227 \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2","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:      4,       32;\n  2:     16,      256,       576;\n  3:     64,     1536,      6912,       8192;\n  4:    256,     8192,     55296,     131072,      102400;\n  5:   1024,    40960,    368640,    1310720,     2048000,     1179648;\n  6:   4096,   196608,   2211840,   10485760,    24576000,    28311552,    12845056;\n  7:  16384,   917504,  12386304,   73400320,   229376000,   396361728,   359661568,   134217728;\n  8:  65536,  4194304,  66060288,  469762048,  1835008000,  4227858432,  5754585088,  4294967296,  1358954496;\n  9: 262144, 18874368, 339738624, 2818572288, 13212057600, 38050725888, 69055021056, 77309411328, 48922361856, 13421772800;\n","recurrence_sentence":"The row polynomials satisfy (1+(6*n-2)*x+4*n^2*x^2)*P(n,x) = (4+(24*n+24)*x+(16*n^2+80*n+48)*x^2+(32*n^2+64*n+32)*x^3)*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[((4 + (24*n + 24)*x + (16*n^2 + 80*n + 48)*x^2 + (32*n^2 + 64*n + 32)*x^3)*P[n - 1, x])/(1 + (6*n - 2)*x + 4*n^2*x^2)]];\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] = ((4 + (24*n + 24)*x + (16*n^2 + 80*n + 48)*x^2 + (32*n^2 + 64*n + 32)*x^3)*v[i - 1])/(1 + (6*n - 2)*x + 4*n^2*x^2)); 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-d28ad9841fc73317","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-e6fcabb7b5383fc4","e-85d9fdd5ebc985f4"],"text":"A038208 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A038208 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}