{"id":"n-478b0ced7e7af25c","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+5,5) * 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"],["12","96"],["84","1344","3024"],["448","10752","48384","57344"],["2016","64512","435456","1032192","806400"],["8064","322560","2903040","10321920","16128000","9289728"],["29568","1419264","15966720","75694080","177408000","204374016","92725248"],["101376","5677056","76640256","454164480","1419264000","2452488192","2225405952","830472192"],["329472","21086208","332107776","2361655296","9225216000","21254897664","28930277376","21592276992","6831931392"],["1025024","73801728","1328431104","11021058048","51661209600","148784283648","270015922176","302291877888","191294078976","52481228800"],["3075072","246005760","4981616640","47233105920","258306048000","892705701888","2025119416320","3022918778880","2869411184640","1574436864000","381013721088"],["8945664","787218432","17712414720","188932423680","1180827648000","4761097076736","12960764264448","24183350231040","30607052636160","25190989824000","12192439074816","2638183661568"],["25346048","2433220608","60222210048","713744711680","5018517504000","23125328658432","73444330831872","164446781571072","260159947407360","285497884672000","207271464271872","89698244493312","17545142730752"],["70189056","7299661824","197090869248","2569480962048","20074070016000","104063978962944","377713701421056","986680689426432","1873151621332992","2569480962048000","2487257571262464","1614568400879616","631625138307072","112697794363392"],["190513152","21337473024","624121085952","8876388777984","76281466060800","439381244510208","1794140081750016","5356266599743488","11863293601775616","19528055311564800","23628946926993408","20451199744475136","12000877627834368","4282516185808896","702307683532800"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","108","4452","116928","2340576","38973312","567616896","7464213504","90549778176","1028952916992","11076375518208","113922145419264","1126984067629056","10780087869702144","100132788511899648"],"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":[["10","60","120","80"],["2","72","224","176"],["0","12","80","112"],["0","0","8","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":188628,"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-9ec31a69793dc652"]},{"id":188629,"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-9ec31a69793dc652"]},{"id":188630,"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-9ec31a69793dc652"]},{"id":188631,"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-9ec31a69793dc652"]}],"region_exact":{},"incoming_edges":[{"id":"e-9ec31a69793dc652","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-478b0ced7e7af25c","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":"6c1be1318664c7b8c5ddb03817b92deb4f5e0e87897e811c4965da32d709137f","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-a76db9b78dbb5551","role":"sequence","name":"basis_map_A013611 of Triangle read by rows: T(n,k) = C(n+5,5) * 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-0c263f4f88254694","kind":"fingerprint_related","node_a_id":"n-347ee1f2ae9cec52","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-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-1a6cf454cd23f495","kind":"fingerprint_related","node_a_id":"n-478b0ced7e7af25c","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-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-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-24407acb8ff3c78d","kind":"fingerprint_related","node_a_id":"n-478b0ced7e7af25c","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-2630fd39b96a2fbe","kind":"fingerprint_related","node_a_id":"n-0aa24ba2844647f2","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-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-3323a87606f80ea1","kind":"fingerprint_related","node_a_id":"n-06a6c84bb2b2c046","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-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-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-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-5ca58e33c5896e0a","kind":"fingerprint_related","node_a_id":"n-8524bd9002d643c2","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-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-63941e79fab6f564","kind":"fingerprint_related","node_a_id":"n-155438c5dea0b978","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-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-67578e3279ffbf97","kind":"fingerprint_related","node_a_id":"n-03f76cccc35ea4e0","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-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-745a637e9329e2f3","kind":"fingerprint_related","node_a_id":"n-478b0ced7e7af25c","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-789317947ba6add4","kind":"fingerprint_related","node_a_id":"n-48dac2e4a8f752f8","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-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-90b03dcd94e81be8","kind":"fingerprint_related","node_a_id":"n-82c0885ccc3f590d","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-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-bc15b7f7fc840e77","kind":"fingerprint_related","node_a_id":"n-948826d8d47a4c2c","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-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-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-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-c50cb7e264075571","kind":"fingerprint_related","node_a_id":"n-5d63026678288888","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-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-cfb8f30d1d4a6999","kind":"fingerprint_related","node_a_id":"n-fd5ee1eda0de091f","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-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-dd00375c51f4cfeb","kind":"fingerprint_related","node_a_id":"n-478b0ced7e7af25c","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-e4d492ea271a9320","kind":"fingerprint_related","node_a_id":"n-9b39ea493a280776","node_b_id":"n-478b0ced7e7af25c","fingerprint":"f6-181bf1738e48841f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-181bf1738e48841f"},"other_id":"n-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-e5edbc208d953bec","kind":"fingerprint_related","node_a_id":"n-5641edb36703d6ea","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-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-eb0e9ad784b64943","kind":"fingerprint_related","node_a_id":"n-478b0ced7e7af25c","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}}],"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:      12,       96;\n  2:      84,     1344,       3024;\n  3:     448,    10752,      48384,       57344;\n  4:    2016,    64512,     435456,     1032192,      806400;\n  5:    8064,   322560,    2903040,    10321920,    16128000,      9289728;\n  6:   29568,  1419264,   15966720,    75694080,   177408000,    204374016,     92725248;\n  7:  101376,  5677056,   76640256,   454164480,  1419264000,   2452488192,   2225405952,    830472192;\n  8:  329472, 21086208,  332107776,  2361655296,  9225216000,  21254897664,  28930277376,  21592276992,   6831931392;\n  9: 1025024, 73801728, 1328431104, 11021058048, 51661209600, 148784283648, 270015922176, 302291877888, 191294078976, 52481228800;\n","recurrence_sentence":"The row polynomials satisfy (n+(6*n^2-2*n)*x+4*n^3*x^2)*P(n,x) = (2*n+10+(12*n^2+72*n+60)*x+(8*n^3+80*n^2+224*n+120)*x^2+(16*n^3+112*n^2+176*n+80)*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 + 10 + (12*n^2 + 72*n + 60)*x + (8*n^3 + 80*n^2 + 224*n + 120)*x^2 + (16*n^3 + 112*n^2 + 176*n + 80)*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 + 10 + (12*n^2 + 72*n + 60)*x + (8*n^3 + 80*n^2 + 224*n + 120)*x^2 + (16*n^3 + 112*n^2 + 176*n + 80)*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-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}