{"id":"n-f33cd188dfa59125","revision":0,"first_index":1,"fingerprint":"f6-181bf1738e48841f","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).","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"],["2","16"],["8","128","288"],["40","960","4320","5120"],["224","7168","48384","114688","89600"],["1344","53760","483840","1720320","2688000","1548288"],["8448","405504","4561920","21626880","50688000","58392576","26492928"],["54912","3075072","41513472","246005760","768768000","1328431104","1205428224","449839104"],["366080","23429120","369008640","2624061440","10250240000","23616552960","32144752640","23991418880","7591034880"],["2489344","179232768","3226189824","26765426688","125462937600","361333260288","655752953856","734137417728","464571334656","127454412800"],["17199104","1375928320","27862548480","264178237440","1444724736000","4992968687616","11326641930240","16907407196160","16048827924480","8805941248000","2131037782016"],["120393728","10594648064","238379581440","2542715535360","15891972096000","64076431491072","174430285725696","325467588526080","411919916728320","339028738048000","164089909215232","35505555111936"],["852017152","81793646592","2024392753152","23992803000320","168699396096000","777366817210368","2468859428732928","5527941811273728","8745376693616640","9597121200128000","6967509991292928","3015240987967488","589786721026048"],["6085836800","632927027200","17089029734400","222790313574400","1740549324800000","9023007699763200","32750176095436800","85551480412569600","162414138595737600","222790313574400000","215661023540019200","139993331584204800","54765909809561600","9771614312857600"],["43818024960","4907618795520","143547849768960","2041569418936320","17544737193984000","101057686237347840","412652218802503680","1231941317941002240","2728557528408391680","4491452721659904000","5434657793208483840","4703775941229281280","2760201854401904640","984978722736046080","161530767212544000"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","18","424","10440","260064","6495552","162176256","4043115648","100610864640","2498885655552","61950983417856","1533202207100928","37884002888761344","934702063305523200","23030541357736919040"],"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"]],"recurrence":{"denominator":{"coeffs":[["0","0","0"],["1","-8","4"],["0","6","-8"],["0","0","4"]]},"terms":[{"coeff":{"coeffs":[["-12","0","48","0"],["8","-72","-176","0"],["0","48","48","-96"],["0","0","32","64"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":188803,"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-db892d690f6f33d3"]},{"id":188804,"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-db892d690f6f33d3"]},{"id":188805,"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-db892d690f6f33d3"]},{"id":188806,"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-db892d690f6f33d3"]}],"region_exact":{},"incoming_edges":[{"id":"e-db892d690f6f33d3","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-f33cd188dfa59125","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":"17e5dbe9e682b9fd2a3393bb414bf66abfff2dddad74bd95b88a0b84dc64423c","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-e69b830457b341cf","role":"sequence","name":"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).","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-04e9d88325b6982f","kind":"fingerprint_related","node_a_id":"n-f33cd188dfa59125","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-0ee2e64e081ebbc5","kind":"fingerprint_related","node_a_id":"n-f33cd188dfa59125","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-12ace5b3943f9619","kind":"fingerprint_related","node_a_id":"n-948826d8d47a4c2c","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-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-17995da8eda00473","kind":"fingerprint_related","node_a_id":"n-5d63026678288888","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-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-20024682437f7259","kind":"fingerprint_related","node_a_id":"n-478b0ced7e7af25c","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-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-2d123ee8dbe41439","kind":"fingerprint_related","node_a_id":"n-03f76cccc35ea4e0","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-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-4b97deb8b7f1ac26","kind":"fingerprint_related","node_a_id":"n-82c0885ccc3f590d","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-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-4fd179ef4819300a","kind":"fingerprint_related","node_a_id":"n-155438c5dea0b978","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-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-5a698da97fd43771","kind":"fingerprint_related","node_a_id":"n-f33cd188dfa59125","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-63e9accf94adb77b","kind":"fingerprint_related","node_a_id":"n-fd5ee1eda0de091f","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-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-644bde4b3d6a3812","kind":"fingerprint_related","node_a_id":"n-5641edb36703d6ea","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-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-74c12842d38b51fa","kind":"fingerprint_related","node_a_id":"n-48dac2e4a8f752f8","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-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-793052b4b61410dc","kind":"fingerprint_related","node_a_id":"n-dc886079d2047822","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-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-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-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}},{"id":"l-8de0f0b3dfc66e35","kind":"fingerprint_related","node_a_id":"n-f33cd188dfa59125","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-93e99359317c6dba","kind":"fingerprint_related","node_a_id":"n-347ee1f2ae9cec52","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-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-96656a39f8e9cfa3","kind":"fingerprint_related","node_a_id":"n-06a6c84bb2b2c046","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-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-9d4e7e7a39a39b38","kind":"fingerprint_related","node_a_id":"n-8524bd9002d643c2","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-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-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-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}},{"id":"l-afe824f246ad72d4","kind":"fingerprint_related","node_a_id":"n-0aa24ba2844647f2","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-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-fe29a845f7f81ccf","kind":"fingerprint_related","node_a_id":"n-f33cd188dfa59125","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}}],"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;\n   2:       2,        16;\n   3:       8,       128,        288;\n   4:      40,       960,       4320,        5120;\n   5:     224,      7168,      48384,      114688,        89600;\n   6:    1344,     53760,     483840,     1720320,      2688000,      1548288;\n   7:    8448,    405504,    4561920,    21626880,     50688000,     58392576,     26492928;\n   8:   54912,   3075072,   41513472,   246005760,    768768000,   1328431104,   1205428224,    449839104;\n   9:  366080,  23429120,  369008640,  2624061440,  10250240000,  23616552960,  32144752640,  23991418880,   7591034880;\n  10: 2489344, 179232768, 3226189824, 26765426688, 125462937600, 361333260288, 655752953856, 734137417728, 464571334656, 127454412800;\n","recurrence_sentence":"The row polynomials satisfy (n+(6*n^2-8*n)*x+(4*n^3-8*n^2+4*n)*x^2)*P(n,x) = (8*n-12+(48*n^2-72*n)*x+(32*n^3+48*n^2-176*n+48)*x^2+(64*n^3-96*n^2)*x^3)*P(n-1,x) for n >= 2, with P(1,x) = 1.","mathematica":"P[1, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[((8*n - 12 + (48*n^2 - 72*n)*x + (32*n^3 + 48*n^2 - 176*n + 48)*x^2 + (64*n^3 - 96*n^2)*x^3)*P[n - 1, x])/(n + (6*n^2 - 8*n)*x + (4*n^3 - 8*n^2 + 4*n)*x^2)]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 1; for(n = 2, N, my(i = n); v[i] = ((8*n - 12 + (48*n^2 - 72*n)*x + (32*n^3 + 48*n^2 - 176*n + 48)*x^2 + (64*n^3 - 96*n^2)*x^3)*v[i - 1])/(n + (6*n^2 - 8*n)*x + (4*n^3 - 8*n^2 + 4*n)*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-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}