{"id":"n-dc886079d2047822","revision":0,"first_index":0,"fingerprint":"f6-181bf1738e48841f","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.","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"],["8","64"],["40","640","1440"],["160","3840","17280","20480"],["560","17920","120960","286720","224000"],["1792","71680","645120","2293760","3584000","2064384"],["5376","258048","2903040","13762560","32256000","37158912","16859136"],["15360","860160","11612160","68812800","215040000","371589120","337182720","125829120"],["42240","2703360","42577920","302776320","1182720000","2724986880","3709009920","2768240640","875888640"],["112640","8110080","145981440","1211105280","5677056000","16349921280","29672079360","33218887680","21021327360","5767168000"],["292864","23429120","474439680","4498391040","24600576000","85019590656","192868515840","287897026560","273277255680","149946368000","36287021056"],["745472","65601536","1476034560","15744368640","98402304000","396758089728","1080063688704","2015279185920","2550587719680","2099249152000","1016036589568","219848638464"],["1863680","178913280","4428103680","52481228800","369008640000","1700391813120","5400318443520","12091675115520","19129407897600","20992491520000","15240548843520","6595459153920","1290084024320"],["4587520","477102080","12881756160","167939932160","1312030720000","6801567252480","24687170027520","64488933949440","122428210544640","167939932160000","162565854330880","105527346462720","41282688778240","7365868912640"],["11141120","1247805440","36498309120","519087063040","4460904448000","25694809620480","104920472616960","313231964897280","693759859752960","1141991538688000","1381809761812480","1195976593244160","701805709230080","250439543029760","41070624768000"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","72","2120","41760","650160","8660736","103203072","1130941440","11608945920","113071749120","1054892906496","9493512118272","82866475560960","704580906516480","5855718626426880"],"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":[["0","0","0"],["1","-2","0"],["0","6","0"],["0","0","4"]]},"terms":[{"coeff":{"coeffs":[["6","36","72","48"],["2","48","144","112"],["0","12","64","80"],["0","0","8","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":186543,"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-f13ff6b459fdc1d7"]},{"id":186544,"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-f13ff6b459fdc1d7"]},{"id":186545,"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-f13ff6b459fdc1d7"]},{"id":186546,"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-f13ff6b459fdc1d7"]}],"region_exact":{},"incoming_edges":[{"id":"e-f13ff6b459fdc1d7","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-dc886079d2047822","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":"227fc7c93c1b7513f49e7c5296753e2a0263d675cf87b3d6e1d60eac2099f7a4","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-77621b0cfa8249dd","role":"sequence","name":"basis_map_A013611 of Triangle read by rows: T(n,k) = C(n+3,3) * C(n,k), 0 <= k <= n.","uses":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-03cd87d8b8c5c3e2","kind":"fingerprint_related","node_a_id":"n-06a6c84bb2b2c046","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-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-05cdd01098c65dfb","kind":"fingerprint_related","node_a_id":"n-dc886079d2047822","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-0645555b4441096d","kind":"fingerprint_related","node_a_id":"n-8524bd9002d643c2","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-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-184324e37b77deac","kind":"fingerprint_related","node_a_id":"n-948826d8d47a4c2c","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-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-26a7fab4018494bf","kind":"fingerprint_related","node_a_id":"n-82c0885ccc3f590d","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-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-3812d847c330e292","kind":"fingerprint_related","node_a_id":"n-5d63026678288888","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-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-392b42801b0d4af2","kind":"fingerprint_related","node_a_id":"n-dc886079d2047822","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-45159eca78107999","kind":"fingerprint_related","node_a_id":"n-0aa24ba2844647f2","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-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-504ef7d21725a2c6","kind":"fingerprint_related","node_a_id":"n-dc886079d2047822","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-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-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-69e4e87eed7f587b","kind":"fingerprint_related","node_a_id":"n-5641edb36703d6ea","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-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-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-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-a0e422ada5456e8a","kind":"fingerprint_related","node_a_id":"n-dc886079d2047822","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-a23c7ac5119c647c","kind":"fingerprint_related","node_a_id":"n-dc886079d2047822","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-b47a44c1450741e3","kind":"fingerprint_related","node_a_id":"n-155438c5dea0b978","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-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-d2a582798d9838e4","kind":"fingerprint_related","node_a_id":"n-dc886079d2047822","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-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-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-e161da4f83be82f3","kind":"fingerprint_related","node_a_id":"n-347ee1f2ae9cec52","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-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-e9b2617428f42f12","kind":"fingerprint_related","node_a_id":"n-dc886079d2047822","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-f8f5d0fe33274e2a","kind":"fingerprint_related","node_a_id":"n-fd5ee1eda0de091f","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-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-fb3494b22d58f5cc","kind":"fingerprint_related","node_a_id":"n-03f76cccc35ea4e0","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-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}}],"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:      8,      64;\n  2:     40,     640,      1440;\n  3:    160,    3840,     17280,      20480;\n  4:    560,   17920,    120960,     286720,     224000;\n  5:   1792,   71680,    645120,    2293760,    3584000,     2064384;\n  6:   5376,  258048,   2903040,   13762560,   32256000,    37158912,    16859136;\n  7:  15360,  860160,  11612160,   68812800,  215040000,   371589120,   337182720,   125829120;\n  8:  42240, 2703360,  42577920,  302776320, 1182720000,  2724986880,  3709009920,  2768240640,   875888640;\n  9: 112640, 8110080, 145981440, 1211105280, 5677056000, 16349921280, 29672079360, 33218887680, 21021327360, 5767168000;\n","recurrence_sentence":"The row polynomials satisfy (n+(6*n^2-2*n)*x+4*n^3*x^2)*P(n,x) = (2*n+6+(12*n^2+48*n+36)*x+(8*n^3+64*n^2+144*n+72)*x^2+(16*n^3+80*n^2+112*n+48)*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[((2*n + 6 + (12*n^2 + 48*n + 36)*x + (8*n^3 + 64*n^2 + 144*n + 72)*x^2 + (16*n^3 + 80*n^2 + 112*n + 48)*x^3)*P[n - 1, x])/(n + (6*n^2 - 2*n)*x + 4*n^3*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] = ((2*n + 6 + (12*n^2 + 48*n + 36)*x + (8*n^3 + 64*n^2 + 144*n + 72)*x^2 + (16*n^3 + 80*n^2 + 112*n + 48)*x^3)*v[i - 1])/(n + (6*n^2 - 2*n)*x + 4*n^3*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-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}