{"id":"n-522e8db43f2283b2","revision":0,"first_index":1,"fingerprint":"f6-181bf1738e48841f","name":"theta_plus_one_squared of basis_map_A013609 of basis-map coefficients of A scaled Hermite triangle.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1","16","36"],["1","24","108","128"],["1","32","216","512","400"],["1","40","360","1280","2000","1152"],["1","48","540","2560","6000","6912","3136"],["1","56","756","4480","14000","24192","21952","8192"],["1","64","1008","7168","28000","64512","87808","65536","20736"],["1","72","1296","10752","50400","145152","263424","294912","186624","51200"],["1","80","1620","15360","84000","290304","658560","983040","933120","512000","123904"],["1","88","1980","21120","132000","532224","1448832","2703360","3421440","2816000","1362944","294912"],["1","96","2376","28160","198000","912384","2897664","6488064","10264320","11264000","8177664","3538944","692224"],["1","104","2808","36608","286000","1482624","5381376","14057472","26687232","36608000","35436544","23003136","8998912","1605632"],["1","112","3276","46592","400400","2306304","9417408","28114944","62270208","102502400","124027904","107347968","62992384","22478848","3686400"],["1","120","3780","58240","546000","3459456","15695680","52715520","133436160","256256000","372083712","402554880","314961920","168591360","55296000","8388608"],["1","128","4320","71680","728000","5031936","25113088","93716480","266872320","585728000","992223232","1288175616","1259847680","899153920","442368000","134217728","18939904"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["53","261","1161","4833","19197","73629","274833","1003833","3601989","12734901","44463897","153586449","525595149","1784047437","6012192033"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one_squared","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1","16","36"]],"recurrence":{"denominator":{"coeffs":[["1","4","4"],["0","6","8"],["0","0","4"]]},"terms":[{"coeff":{"coeffs":[["1","12","36","32"],["0","6","28","32"],["0","0","4","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":175248,"position":0,"claim":"real_rooted","from_index":1,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-fb6188622cef9144"]},{"id":175249,"position":1,"claim":"one_signed_coefficients","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":1},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 1: the coefficients of P_n have one sign","region_exact":null,"edges":["e-fb6188622cef9144"]},{"id":175250,"position":2,"claim":"hadamard_kernel","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":1},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 1, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-fb6188622cef9144"]},{"id":175251,"position":3,"claim":"interlacing","from_index":2,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 2","region_exact":null,"edges":["e-fb6188622cef9144"]}],"region_exact":{},"incoming_edges":[{"id":"e-fb6188622cef9144","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-522e8db43f2283b2","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":"2a6500372a0d39c3713b12f8908e1fd6a4279d8a1eb2bcd6c3cb776194c49920","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-fdb3be84f583ed95","role":"sequence","name":"basis_map_A013609 of basis-map coefficients of A scaled Hermite triangle.","uses":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-2a11f43ea9cb5fda","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","node_b_id":"n-06a6c84bb2b2c046","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-38cd9bd9a8c1c9c0","kind":"fingerprint_related","node_a_id":"n-5d63026678288888","node_b_id":"n-522e8db43f2283b2","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-54fc8e635f6ae130","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","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-571a1e764605494f","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","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-58e4f32a4b7d2889","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","node_b_id":"n-155438c5dea0b978","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-62c0b378d589b4a5","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","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-6526b1e3cabf17b4","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","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-6828343d4ae43e1d","kind":"fingerprint_related","node_a_id":"n-347ee1f2ae9cec52","node_b_id":"n-522e8db43f2283b2","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-745c86908119a201","kind":"fingerprint_related","node_a_id":"n-82c0885ccc3f590d","node_b_id":"n-522e8db43f2283b2","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-7be5a0de0776ffa6","kind":"fingerprint_related","node_a_id":"n-948826d8d47a4c2c","node_b_id":"n-522e8db43f2283b2","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-7c97688609e17096","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","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-a176879825b472d6","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","node_b_id":"n-fd5ee1eda0de091f","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-ac10c84c7b8a6d23","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","node_b_id":"n-0aa24ba2844647f2","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-ac4676085e720846","kind":"fingerprint_related","node_a_id":"n-03f76cccc35ea4e0","node_b_id":"n-522e8db43f2283b2","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-b22691a6f05e4d94","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","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-b59423d7442f2f36","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","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-b6293d12b873975b","kind":"fingerprint_related","node_a_id":"n-8524bd9002d643c2","node_b_id":"n-522e8db43f2283b2","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-b77e9f2a545562f1","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","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-bc98623b775e9598","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","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-ca8d716ad70cd0ae","kind":"fingerprint_related","node_a_id":"n-522e8db43f2283b2","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-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-9b39ea493a280776","other":{"id":"n-9b39ea493a280776","name":"theta_plus_one_squared of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*2^i.","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"],["16","256","576"]],"card_rows":[["1"],["4","32"],["16","256","576"],["64","1536","6912","8192"]],"row_sums_preview":["1","36","848","16704","297216","4948992","78630912","1206337536"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"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}}],"oeis":[],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":1,"oeis_offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n   1: 1, 16,   36;\n   2: 1, 24,  108,   128;\n   3: 1, 32,  216,   512,    400;\n   4: 1, 40,  360,  1280,   2000,   1152;\n   5: 1, 48,  540,  2560,   6000,   6912,    3136;\n   6: 1, 56,  756,  4480,  14000,  24192,   21952,    8192;\n   7: 1, 64, 1008,  7168,  28000,  64512,   87808,   65536,   20736;\n   8: 1, 72, 1296, 10752,  50400, 145152,  263424,  294912,  186624,   51200;\n   9: 1, 80, 1620, 15360,  84000, 290304,  658560,  983040,  933120,  512000,  123904;\n  10: 1, 88, 1980, 21120, 132000, 532224, 1448832, 2703360, 3421440, 2816000, 1362944, 294912;\n","recurrence_sentence":"The row polynomials satisfy (1+(6*n+4)*x+(4*n^2+8*n+4)*x^2)*P(n,x) = (1+(6*n+12)*x+(4*n^2+28*n+36)*x^2+(8*n^2+32*n+32)*x^3)*P(n-1,x) for n >= 2, with P(1,x) = 1 + 16*x + 36*x^2.","mathematica":"P[1, x_] := 1 + 16*x + 36*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((1 + (6*n + 12)*x + (4*n^2 + 28*n + 36)*x^2 + (8*n^2 + 32*n + 32)*x^3)*P[n - 1, x])/(1 + (6*n + 4)*x + (4*n^2 + 8*n + 4)*x^2)]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 1 + 16*x + 36*x^2; for(n = 2, N, my(i = n); v[i] = ((1 + (6*n + 12)*x + (4*n^2 + 28*n + 36)*x^2 + (8*n^2 + 32*n + 32)*x^3)*v[i - 1])/(1 + (6*n + 4)*x + (4*n^2 + 8*n + 4)*x^2)); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i, v[i])))};\nT(10)","reading":{"first_row":1,"offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"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}