{"id":"n-7ad950efd156275d","revision":0,"first_index":0,"fingerprint":"f6-6b726760bd05165a","name":"derivative of basis_map_A013609 of Triangle of coefficients in expansion of (3+5x)^n.","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":true,"rows":[[],["10"],["160","200"],["1920","4800","3000"],["20480","76800","96000","40000"],["204800","1024000","1920000","1600000","500000"],["1966080","12288000","30720000","38400000","24000000","6000000"],["18350080","137625600","430080000","716800000","672000000","336000000","70000000"],["167772160","1468006400","5505024000","11468800000","14336000000","10752000000","4480000000","800000000"],["1509949440","15099494400","66060288000","165150720000","258048000000","258048000000","161280000000","57600000000","9000000000"],["13421772800","150994944000","754974720000","2202009600000","4128768000000","5160960000000","4300800000000","2304000000000","720000000000","100000000000"],["118111600640","1476395008000","8304721920000","27682406400000","60555264000000","90832896000000","94617600000000","67584000000000","31680000000000","8800000000000","1100000000000"],["1030792151040","14173392076800","88583700480000","332188876800000","830472192000000","1453326336000000","1816657920000000","1622016000000000","1013760000000000","422400000000000","105600000000000","12000000000000"],["8933531975680","134002979635200","921270484992000","3838627020800000","10796138496000000","21592276992000000","31488737280000000","33737932800000000","26357760000000000","14643200000000000","5491200000000000","1248000000000000","130000000000000"],["76965813944320","1250694476595200","9380208574464000","42992622632960000","134351945728000000","302291877888000000","503819796480000000","629774745600000000","590413824000000000","410009600000000000","205004800000000000","69888000000000000","14560000000000000","1400000000000000"]],"degrees":[-1,0,1,2,3,4,5,6,7,8,9,10,11,12,13],"row_sums":["0","10","360","9720","233280","5248800","113374080","2380855680","48977602560","991796451840","19835929036800","392751394928640","7712209209507840","150388079585402880","2915215081193963520"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["10"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0"],["8","10"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":189535,"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-a7ec95bdf6e12bb3"]},{"id":189536,"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-a7ec95bdf6e12bb3"]},{"id":189537,"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-a7ec95bdf6e12bb3"]},{"id":189538,"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-a7ec95bdf6e12bb3"]}],"region_exact":{},"incoming_edges":[{"id":"e-a7ec95bdf6e12bb3","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"0\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-7ad950efd156275d","premise_count":1,"theorem":"Laguerre's theorem on differential operators: if phi is a real polynomial with only real roots, then phi(D) maps every real-rooted polynomial to a real-rooted polynomial or zero (write phi(D) = C D^j prod (1 + c_i D); D preserves real-rootedness by Rolle's theorem and p + c p' is real-rooted for every real c by Rolle's theorem applied to e^(x/c) p; Polya--Schur 1914); when the coefficients of phi have one sign, coefficients of one sign stay of one sign; applied to phi(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.splits_add_C_mul_derivative_all","RealRooted.splits_C_mul_add_derivative","Polynomial.Splits.derivative"],"certificate_hash":"17f71168d201e66675141192afc9524f6547311dabf04775de9243eaf721466b","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-09320ea6fe78bcb6","role":"sequence","name":"basis_map_A013609 of Triangle of coefficients in expansion of (3+5x)^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-08cac011630d1449","kind":"fingerprint_related","node_a_id":"n-10a5ec77b5e8ca54","node_b_id":"n-7ad950efd156275d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-10a5ec77b5e8ca54","other":{"id":"n-10a5ec77b5e8ca54","name":"reversal of basis_map_A007318 of Triangle of coefficients in expansion of (1+4x)^n.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["4","5"],["16","40","25"]],"card_rows":[["1"],["4","5"],["16","40","25"],["64","240","300","125"]],"row_sums_preview":["1","9","81","729","6561","59049","531441","4782969"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2e0409c0014ec240","steps":["basis A007318","reverse"],"edges":["e-13c78408b476aecd","e-edec282618df57f0"],"text":"A013611 \u2192 basis A007318 \u2192 reverse"},"headline":"A013611 \u2192 basis A007318 \u2192 reverse","chain":null}},{"id":"l-1e94ba7ea60e2414","kind":"fingerprint_related","node_a_id":"n-7ad950efd156275d","node_b_id":"n-92221d6c8c131732","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-92221d6c8c131732","other":{"id":"n-92221d6c8c131732","name":"derivative of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*5^j.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["15"],["360","450"]],"card_rows":[["15"],["360","450"],["6480","16200","10125"],["103680","388800","486000","202500"]],"row_sums_preview":["0","15","810","32805","1180980","39858075","1291401630","40679151345"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a6a633b989da1879","steps":["basis A013610","D"],"edges":["e-cc1debec4a411a9c","e-70306f529a48621b"],"text":"A038271 \u2192 basis A013610 \u2192 D"},"headline":"A038271 \u2192 basis A013610 \u2192 D","chain":null}},{"id":"l-41713e631fc2449f","kind":"fingerprint_related","node_a_id":"n-244a69427003c906","node_b_id":"n-7ad950efd156275d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-244a69427003c906","other":{"id":"n-244a69427003c906","name":"shift_x_plus_one of derivative of Triangle of coefficients in expansion of (1+4x)^n.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["4"],["40","32"]],"card_rows":[["4"],["40","32"],["300","480","192"],["2000","4800","3840","1024"]],"row_sums_preview":["0","4","72","972","11664","131220","1417176","14880348"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2e0409c0014ec240","steps":["D","basis A007318"],"edges":["e-b04b02754d5cebbf","e-d85043437d73496a"],"text":"A013611 \u2192 D \u2192 basis A007318"},"headline":"A013611 \u2192 D \u2192 basis A007318","chain":null}},{"id":"l-45b32a6aae921902","kind":"fingerprint_related","node_a_id":"n-7ad950efd156275d","node_b_id":"n-6d2899d43e7720c2","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-6d2899d43e7720c2","other":{"id":"n-6d2899d43e7720c2","name":"basis_map_A013609 of basis_map_A007318 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-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["3"],["15","12"],["75","120","48"]],"card_rows":[["3"],["15","12"],["75","120","48"],["375","900","720","192"]],"row_sums_preview":["3","27","243","2187","19683","177147","1594323","14348907"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-51b4f5e7901c2b50","steps":["basis A013609","basis A013609"],"edges":["e-618e7f7547136f14","e-22d3037eb57e6ab8"],"text":"A120910 \u2192 basis A013609 \u2192 basis A013609"},"headline":"A120910 \u2192 basis A013609 \u2192 basis A013609","chain":null}},{"id":"l-4743532ab1058951","kind":"fingerprint_related","node_a_id":"n-7ad950efd156275d","node_b_id":"n-0007c3affb4bff57","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-0007c3affb4bff57","other":{"id":"n-0007c3affb4bff57","name":"basis_map_A013611 of derivative of Triangle whose (i,j)-th entry is binomial(i,j)*4^(i-j).","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["1"],["10","8"]],"card_rows":[["1"],["10","8"],["75","120","48"],["500","1200","960","256"]],"row_sums_preview":["0","1","18","243","2916","32805","354294","3720087"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3dcaebc50e901d48","steps":["D","basis A013611"],"edges":["e-62aaaa59f91d42c1","e-f50126f61818ff49"],"text":"A038231 \u2192 D \u2192 basis A013611"},"headline":"A038231 \u2192 D \u2192 basis A013611","chain":null}},{"id":"l-48c626d0dccd3634","kind":"fingerprint_related","node_a_id":"n-7ad950efd156275d","node_b_id":"n-2b363192a9cb3eca","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-2b363192a9cb3eca","other":{"id":"n-2b363192a9cb3eca","name":"reversal of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*5^j.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["15","12"],["225","360","144"]],"card_rows":[["1"],["15","12"],["225","360","144"],["3375","8100","6480","1728"]],"row_sums_preview":["1","27","729","19683","531441","14348907","387420489","10460353203"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a6a633b989da1879","steps":["basis A013610","reverse"],"edges":["e-cc1debec4a411a9c","e-c497246ce9a2c8d7"],"text":"A038271 \u2192 basis A013610 \u2192 reverse"},"headline":"A038271 \u2192 basis A013610 \u2192 reverse","chain":null}},{"id":"l-5f0ca072c43fb025","kind":"fingerprint_related","node_a_id":"n-d7df91eaf8843b88","node_b_id":"n-7ad950efd156275d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-d7df91eaf8843b88","other":{"id":"n-d7df91eaf8843b88","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*5^j.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["12","15"],["144","360","225"]],"card_rows":[["1"],["12","15"],["144","360","225"],["1728","6480","8100","3375"]],"row_sums_preview":["1","27","729","19683","531441","14348907","387420489","10460353203"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a6a633b989da1879","steps":["basis A013610"],"edges":["e-cc1debec4a411a9c"],"text":"A038271 \u2192 basis A013610"},"headline":"A038271 \u2192 basis A013610","chain":null}},{"id":"l-5f322d71c5957c68","kind":"fingerprint_related","node_a_id":"n-7ad950efd156275d","node_b_id":"n-b190b660c2f1fbab","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-b190b660c2f1fbab","other":{"id":"n-b190b660c2f1fbab","name":"mobius_x_over_x_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^j.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["144","360","225"],["1728","6480","8100","3375"],["20736","103680","194400","162000","50625"]],"card_rows":[["144","360","225"],["1728","6480","8100","3375"],["20736","103680","194400","162000","50625"],["248832","1555200","3888000","4860000","3037500","759375"]],"row_sums_preview":["729","19683","531441","14348907","387420489","10460353203","282429536481","7625597484987"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-615df6ea54d3bbef","steps":["x \u21a6 x/(x+1)"],"edges":["e-78a63a57aa10b4bc"],"text":"A038329 \u2192 x \u21a6 x/(x+1)"},"headline":"A038329 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-605874ad3038076d","kind":"fingerprint_related","node_a_id":"n-a041f87d41cb6b7b","node_b_id":"n-7ad950efd156275d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-a041f87d41cb6b7b","other":{"id":"n-a041f87d41cb6b7b","name":"shift_x_plus_one of basis_map_A013611 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-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["5","4"],["25","40","16"]],"card_rows":[["1"],["5","4"],["25","40","16"],["125","300","240","64"]],"row_sums_preview":["1","9","81","729","6561","59049","531441","4782969"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-1bf99ad40f056d33","steps":["basis A013611","x \u21a6 x+1"],"edges":["e-f93ad378f9476e41","e-74c6877a5ab7eefe"],"text":"basis-map coefficients of A026729 \u2192 basis A013611 \u2192 x \u21a6 x+1"},"headline":"basis-map coefficients of A026729 \u2192 basis A013611 \u2192 x \u21a6 x+1","chain":null}},{"id":"l-73543ea88edbe39e","kind":"fingerprint_related","node_a_id":"n-7ad950efd156275d","node_b_id":"n-cfe169c7cfe15942","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-cfe169c7cfe15942","other":{"id":"n-cfe169c7cfe15942","name":"derivative of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["640","800"],["15360","38400","24000"],["327680","1228800","1536000","640000"]],"card_rows":[["640","800"],["15360","38400","24000"],["327680","1228800","1536000","640000"],["6553600","32768000","61440000","51200000","16000000"]],"row_sums_preview":["1440","77760","3732480","167961600","7255941120","304749527040","12538266255360","507799783342080"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2bc1923905556bf6","steps":["basis A013611","D"],"edges":["e-fd91849598d32af1","e-5998fe0f53363e2d"],"text":"A038319 \u2192 basis A013611 \u2192 D"},"headline":"A038319 \u2192 basis A013611 \u2192 D","chain":null}},{"id":"l-77de72e48caec18b","kind":"fingerprint_related","node_a_id":"n-03ac2a4394de29ac","node_b_id":"n-7ad950efd156275d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-03ac2a4394de29ac","other":{"id":"n-03ac2a4394de29ac","name":"shift_x_plus_one of basis_map_A013611 of basis-map coefficients of A scaled Hermite triangle.","first_index":1,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["25","40","16"],["125","300","240","64"],["625","2000","2400","1280","256"]],"card_rows":[["25","40","16"],["125","300","240","64"],["625","2000","2400","1280","256"],["3125","12500","20000","16000","6400","1024"]],"row_sums_preview":["81","729","6561","59049","531441","4782969","43046721","387420489"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-5fe240122e98ffb3","steps":["basis A013611","x \u21a6 x+1"],"edges":["e-b91bf4c52fd06745","e-de1bc984e3f3a6a7"],"text":"basis-map coefficients of A112227 \u2192 basis A013611 \u2192 x \u21a6 x+1"},"headline":"basis-map coefficients of A112227 \u2192 basis A013611 \u2192 x \u21a6 x+1","chain":null}},{"id":"l-807564f914cc3cee","kind":"fingerprint_related","node_a_id":"n-93016690ff7736f4","node_b_id":"n-7ad950efd156275d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-93016690ff7736f4","other":{"id":"n-93016690ff7736f4","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["256","640","400"],["4096","15360","19200","8000"],["65536","327680","614400","512000","160000"]],"card_rows":[["256","640","400"],["4096","15360","19200","8000"],["65536","327680","614400","512000","160000"],["1048576","6553600","16384000","20480000","12800000","3200000"]],"row_sums_preview":["1296","46656","1679616","60466176","2176782336","78364164096","2821109907456","101559956668416"],"regions":["(-inf, 0]","[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2bc1923905556bf6","steps":["basis A013611"],"edges":["e-fd91849598d32af1"],"text":"A038319 \u2192 basis A013611"},"headline":"A038319 \u2192 basis A013611","chain":null}},{"id":"l-90849c38429eeb54","kind":"fingerprint_related","node_a_id":"n-881b87f0bbbf8ba6","node_b_id":"n-7ad950efd156275d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-881b87f0bbbf8ba6","other":{"id":"n-881b87f0bbbf8ba6","name":"shift_x_plus_one of basis_map_A013611 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-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["10","8"],["100","160","64"]],"card_rows":[["1"],["10","8"],["100","160","64"],["1000","2400","1920","512"]],"row_sums_preview":["1","18","324","5832","104976","1889568","34012224","612220032"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ae7910bbe46f8a41","steps":["basis A013611","x \u21a6 x+1"],"edges":["e-d7d2422771947afc","e-1d7b3825834f6b24"],"text":"A130123 \u2192 basis A013611 \u2192 x \u21a6 x+1"},"headline":"A130123 \u2192 basis A013611 \u2192 x \u21a6 x+1","chain":null}},{"id":"l-99e3a7f37c1dcf96","kind":"fingerprint_related","node_a_id":"n-09320ea6fe78bcb6","node_b_id":"n-7ad950efd156275d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-09320ea6fe78bcb6","other":{"id":"n-09320ea6fe78bcb6","name":"basis_map_A013609 of Triangle of coefficients in expansion of (3+5x)^n.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","10"],["64","160","100"]],"card_rows":[["1"],["8","10"],["64","160","100"],["512","1920","2400","1000"]],"row_sums_preview":["1","18","324","5832","104976","1889568","34012224","612220032"],"regions":["(-inf, 0]","[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["basis A013609"],"edges":["e-c5caeaebd0a50686"],"text":"A013622 \u2192 basis A013609"},"headline":"A013622 \u2192 basis A013609","chain":null}},{"id":"l-9b761eec54f2c043","kind":"fingerprint_related","node_a_id":"n-7ad950efd156275d","node_b_id":"n-17c78c88c7e7c0f0","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-17c78c88c7e7c0f0","other":{"id":"n-17c78c88c7e7c0f0","name":"basis_map_A013609 of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*5^j.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["32","40"],["1024","2560","1600"]],"card_rows":[["1"],["32","40"],["1024","2560","1600"],["32768","122880","153600","64000"]],"row_sums_preview":["1","72","5184","373248","26873856","1934917632","139314069504","10030613004288"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a6a633b989da1879","steps":["basis A013611","basis A013609"],"edges":["e-62a1b0a86f60f435","e-35a4f20be57215a6"],"text":"A038271 \u2192 basis A013611 \u2192 basis A013609"},"headline":"A038271 \u2192 basis A013611 \u2192 basis A013609","chain":null}},{"id":"l-9faacb14d3899633","kind":"fingerprint_related","node_a_id":"n-7ad950efd156275d","node_b_id":"n-82073868f14b935d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-82073868f14b935d","other":{"id":"n-82073868f14b935d","name":"mobius_x_over_x_plus_one of basis_map_A013611 of Triangle whose (n,k)-th entry is 15^(n-k)*binomial(n,k).","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["16","20"],["256","640","400"]],"card_rows":[["1"],["16","20"],["256","640","400"],["4096","15360","19200","8000"]],"row_sums_preview":["1","36","1296","46656","1679616","60466176","2176782336","78364164096"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ff0214c333bfdcca","steps":["basis A013611","x \u21a6 x/(x+1)"],"edges":["e-9c08db68889738c4","e-3b7a60d3a406d50b"],"text":"A027467 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)"},"headline":"A027467 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-b58472bb83efb5c2","kind":"fingerprint_related","node_a_id":"n-7ad950efd156275d","node_b_id":"n-e46ced92cad8408a","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-e46ced92cad8408a","other":{"id":"n-e46ced92cad8408a","name":"derivative of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["640","512"],["19200","30720","12288"],["512000","1228800","983040","262144"]],"card_rows":[["640","512"],["19200","30720","12288"],["512000","1228800","983040","262144"],["12800000","40960000","49152000","26214400","5242880"]],"row_sums_preview":["1152","62208","2985984","134369280","5804752896","243799621632","10030613004288","406239826673664"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6874f381e9c7e0a2","steps":["basis A013609","D"],"edges":["e-4eca5e8e987e069c","e-4e1ddc54bc21ae1f"],"text":"A038334 \u2192 basis A013609 \u2192 D"},"headline":"A038334 \u2192 basis A013609 \u2192 D","chain":null}},{"id":"l-b6602737f589c2b0","kind":"fingerprint_related","node_a_id":"n-7e007679d5feba96","node_b_id":"n-7ad950efd156275d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-7e007679d5feba96","other":{"id":"n-7e007679d5feba96","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["400","640","256"],["8000","19200","15360","4096"],["160000","512000","614400","327680","65536"]],"card_rows":[["400","640","256"],["8000","19200","15360","4096"],["160000","512000","614400","327680","65536"],["3200000","12800000","20480000","16384000","6553600","1048576"]],"row_sums_preview":["1296","46656","1679616","60466176","2176782336","78364164096","2821109907456","101559956668416"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6874f381e9c7e0a2","steps":["basis A013609"],"edges":["e-4eca5e8e987e069c"],"text":"A038334 \u2192 basis A013609"},"headline":"A038334 \u2192 basis A013609","chain":null}},{"id":"l-bad738ae5ea757d7","kind":"fingerprint_related","node_a_id":"n-7ad950efd156275d","node_b_id":"n-dbabf32666f7e9da","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-dbabf32666f7e9da","other":{"id":"n-dbabf32666f7e9da","name":"shift_x_plus_one of basis_map_A013611 of Triangle read by rows: row n consists of n zeros followed by n!.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["5","4"],["50","80","32"]],"card_rows":[["1"],["5","4"],["50","80","32"],["750","1800","1440","384"]],"row_sums_preview":["1","9","162","4374","157464","7085880","382637520","24106163760"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-fbb4b9430d9de872","steps":["basis A013611","basis A007318"],"edges":["e-3656191e13afb7f3","e-80ddf6dcdab57466"],"text":"A136572 \u2192 basis A013611 \u2192 basis A007318"},"headline":"A136572 \u2192 basis A013611 \u2192 basis A007318","chain":null}},{"id":"l-be4965dbfa1e1104","kind":"fingerprint_related","node_a_id":"n-7ad950efd156275d","node_b_id":"n-e6b61b230f1a291b","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-e6b61b230f1a291b","other":{"id":"n-e6b61b230f1a291b","name":"derivative of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^j.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["360","288"],["8100","12960","5184"],["162000","388800","311040","82944"]],"card_rows":[["360","288"],["8100","12960","5184"],["162000","388800","311040","82944"],["3037500","9720000","11664000","6220800","1244160"]],"row_sums_preview":["648","26244","944784","31886460","1033121304","32543321076","1004193907488","30502389939948"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-615df6ea54d3bbef","steps":["basis A013611","D"],"edges":["e-a5d7492b5780a0c3","e-45ed6ed04dc131e0"],"text":"A038329 \u2192 basis A013611 \u2192 D"},"headline":"A038329 \u2192 basis A013611 \u2192 D","chain":null}},{"id":"l-dd710cc4fd80d1fe","kind":"fingerprint_related","node_a_id":"n-7ad950efd156275d","node_b_id":"n-5ea11ecf1dd9fff0","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-5ea11ecf1dd9fff0","other":{"id":"n-5ea11ecf1dd9fff0","name":"reversal of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^j.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["144","360","225"],["1728","6480","8100","3375"],["20736","103680","194400","162000","50625"]],"card_rows":[["144","360","225"],["1728","6480","8100","3375"],["20736","103680","194400","162000","50625"],["248832","1555200","3888000","4860000","3037500","759375"]],"row_sums_preview":["729","19683","531441","14348907","387420489","10460353203","282429536481","7625597484987"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-615df6ea54d3bbef","steps":["basis A013611","reverse"],"edges":["e-a5d7492b5780a0c3","e-5d85ac50fe9eaea9"],"text":"A038329 \u2192 basis A013611 \u2192 reverse"},"headline":"A038329 \u2192 basis A013611 \u2192 reverse","chain":null}},{"id":"l-ea730172970a1d14","kind":"fingerprint_related","node_a_id":"n-16c35c7477b7e922","node_b_id":"n-7ad950efd156275d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-16c35c7477b7e922","other":{"id":"n-16c35c7477b7e922","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^j.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["225","360","144"],["3375","8100","6480","1728"],["50625","162000","194400","103680","20736"]],"card_rows":[["225","360","144"],["3375","8100","6480","1728"],["50625","162000","194400","103680","20736"],["759375","3037500","4860000","3888000","1555200","248832"]],"row_sums_preview":["729","19683","531441","14348907","387420489","10460353203","282429536481","7625597484987"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-615df6ea54d3bbef","steps":["basis A013611"],"edges":["e-a5d7492b5780a0c3"],"text":"A038329 \u2192 basis A013611"},"headline":"A038329 \u2192 basis A013611","chain":null}},{"id":"l-f5db2dde804e3d85","kind":"fingerprint_related","node_a_id":"n-d04994959b21388c","node_b_id":"n-7ad950efd156275d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-d04994959b21388c","other":{"id":"n-d04994959b21388c","name":"basis_map_A007318 of Triangle of coefficients in expansion of (1+4x)^n.","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["5","4"],["25","40","16"]],"card_rows":[["1"],["5","4"],["25","40","16"],["125","300","240","64"]],"row_sums_preview":["1","9","81","729","6561","59049","531441","4782969"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2e0409c0014ec240","steps":["basis A007318"],"edges":["e-13c78408b476aecd"],"text":"A013611 \u2192 basis A007318"},"headline":"A013611 \u2192 basis A007318","chain":null}},{"id":"l-f91b667a5bb9cd9b","kind":"fingerprint_related","node_a_id":"n-506262231820dae3","node_b_id":"n-7ad950efd156275d","fingerprint":"f6-6b726760bd05165a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b726760bd05165a"},"other_id":"n-506262231820dae3","other":{"id":"n-506262231820dae3","name":"mobius_x_over_x_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*4^(i-j).","first_index":0,"fingerprint":"f6-6b726760bd05165a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["4","5"],["16","40","25"]],"card_rows":[["1"],["4","5"],["16","40","25"],["64","240","300","125"]],"row_sums_preview":["1","9","81","729","6561","59049","531441","4782969"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3dcaebc50e901d48","steps":["x \u21a6 x/(x+1)"],"edges":["e-7e32de33a5202f3a"],"text":"A038231 \u2192 x \u21a6 x/(x+1)"},"headline":"A038231 \u2192 x \u21a6 x/(x+1)","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:          0;\n  1:         10;\n  2:        160,         200;\n  3:       1920,        4800,        3000;\n  4:      20480,       76800,       96000,        40000;\n  5:     204800,     1024000,     1920000,      1600000,       500000;\n  6:    1966080,    12288000,    30720000,     38400000,     24000000,      6000000;\n  7:   18350080,   137625600,   430080000,    716800000,    672000000,    336000000,     70000000;\n  8:  167772160,  1468006400,  5505024000,  11468800000,  14336000000,  10752000000,   4480000000,   800000000;\n  9: 1509949440, 15099494400, 66060288000, 165150720000, 258048000000, 258048000000, 161280000000, 57600000000, 9000000000;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (8*n+10*n*x)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 10.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 10;\nP[n_, x_] := P[n, x] = Expand[Together[((8*n + 10*n*x)*P[n - 1, x])/(n - 1)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 0; v[2] = 10; for(n = 2, N, my(i = n + 1); v[i] = ((8*n + 10*n*x)*v[i - 1])/(n - 1)); 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-c44f7114310405ad","steps":["basis A013609","D"],"edges":["e-c5caeaebd0a50686","e-a7ec95bdf6e12bb3"],"text":"A013622 \u2192 basis A013609 \u2192 D"},"headline":"A013622 \u2192 basis A013609 \u2192 D","chain":null}