{"id":"n-e46ced92cad8408a","revision":0,"first_index":0,"fingerprint":"f6-6b726760bd05165a","name":"derivative of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","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":[["640","512"],["19200","30720","12288"],["512000","1228800","983040","262144"],["12800000","40960000","49152000","26214400","5242880"],["307200000","1228800000","1966080000","1572864000","629145600","100663296"],["7168000000","34406400000","68812800000","73400320000","44040192000","14092861440","1879048192"],["163840000000","917504000000","2202009600000","2936012800000","2348810240000","1127428915200","300647710720","34359738368"],["3686400000000","23592960000000","66060288000000","105696460800000","105696460800000","67645734912000","27058293964800","6184752906240","618475290624"],["81920000000000","589824000000000","1887436800000000","3523215360000000","4227858432000000","3382286745600000","1803886264320000","618475290624000","123695058124800","10995116277760"],["1802240000000000","14417920000000000","51904512000000000","110729625600000000","155021475840000000","148820616806400000","99213744537600000","45354854645760000","13606456393728000","2418925581107200","193514046488576"],["39321600000000000","346030080000000000","1384120320000000000","3321888768000000000","5315022028800000000","5952824672256000000","4762259737804800000","2721291278745600000","1088516511498240000","290271069732864000","46443371157258240","3377699720527872"],["851968000000000000","8178892800000000000","35987128320000000000","95965675520000000000","172738215936000000000","221104916398080000000","206364588638208000000","141507146494771200000","70753573247385600000","25156826043514880000","6037638250443571200","878201927337246720","58546795155816448"],["18350080000000000000","190840832000000000000","916035993600000000000","2687038914560000000000","5374077829120000000000","7738672073932800000000","8254583545528320000000","6603666836422656000000","3962200101853593600000","1760977823046041600000","563512903374733312000","122948269827214540800","16393102643628605440","1008806316530991104"],["393216000000000000000","4404019200000000000000","22900899840000000000000","73282879488000000000000","161222334873600000000000","257955735797760000000000","309546882957312000000000","283014292989542400000000","198110005092679680000000","105658669382762496000000","42263467753104998400000","12294826982721454080000","2458965396544290816000","302641894959297331200","17293822569102704640"],["8388608000000000000000","100663296000000000000000","563714457600000000000000","1954210119680000000000000","4690104287232000000000000","8254583545528320000000000","11006111394037760000000000","11320571719581696000000000","9056457375665356800000000","5635129033747333120000000","2704861936198719897600000","983586158617716326400000","262289642298057687040000","48422703193487572992000","5534023222112865484800","295147905179352825856"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["1152","62208","2985984","134369280","5804752896","243799621632","10030613004288","406239826673664","16249593066946560","643483885451083776","25271367137715290112","985583318370896314368","38210307112225518649344","1473826131471555719331840","56594923448507739622342656"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["640","512"]],"recurrence":{"denominator":{"coeffs":[["1"],["1"]]},"terms":[{"coeff":{"coeffs":[["40","32"],["20","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194679,"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-4e1ddc54bc21ae1f"]},{"id":194680,"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-4e1ddc54bc21ae1f"]},{"id":194681,"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-4e1ddc54bc21ae1f"]},{"id":194682,"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-4e1ddc54bc21ae1f"]}],"region_exact":{},"incoming_edges":[{"id":"e-4e1ddc54bc21ae1f","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-e46ced92cad8408a","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":"324615b79fb2fbf42a425b14c575d1ae5e5093afa9a1eea88401ed09897f9e71","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-7e007679d5feba96","role":"sequence","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","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-0307458b0bcd9753","kind":"fingerprint_related","node_a_id":"n-244a69427003c906","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-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-29287a2aa0999df6","kind":"fingerprint_related","node_a_id":"n-93016690ff7736f4","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-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-464c1ceb69035c4d","kind":"fingerprint_related","node_a_id":"n-dbabf32666f7e9da","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-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-4e231f988aa8ad1c","kind":"fingerprint_related","node_a_id":"n-7e007679d5feba96","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-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-60c4610e151715c4","kind":"fingerprint_related","node_a_id":"n-2b363192a9cb3eca","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-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-7060ad027f61b3da","kind":"fingerprint_related","node_a_id":"n-e46ced92cad8408a","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-7c64ad2ea8ceeb11","kind":"fingerprint_related","node_a_id":"n-10a5ec77b5e8ca54","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-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-807181d2d870e43d","kind":"fingerprint_related","node_a_id":"n-d7df91eaf8843b88","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-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-83a3c41eb2518da5","kind":"fingerprint_related","node_a_id":"n-a041f87d41cb6b7b","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-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-83d634a476e6ae9d","kind":"fingerprint_related","node_a_id":"n-d04994959b21388c","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-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-841d7ce4a9e44784","kind":"fingerprint_related","node_a_id":"n-e6b61b230f1a291b","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-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-9869d0ca04bc5384","kind":"fingerprint_related","node_a_id":"n-92221d6c8c131732","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-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-a7b11c4c26062686","kind":"fingerprint_related","node_a_id":"n-e46ced92cad8408a","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-a7c98fe82591362f","kind":"fingerprint_related","node_a_id":"n-03ac2a4394de29ac","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-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-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-7ad950efd156275d","other":{"id":"n-7ad950efd156275d","name":"derivative of 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":[[],["10"],["160","200"]],"card_rows":[["10"],["160","200"],["1920","4800","3000"],["20480","76800","96000","40000"]],"row_sums_preview":["0","10","360","9720","233280","5248800","113374080","2380855680"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"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}},{"id":"l-bbbed7145720c90e","kind":"fingerprint_related","node_a_id":"n-5ea11ecf1dd9fff0","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-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-c31539ceeaf3c4d9","kind":"fingerprint_related","node_a_id":"n-e46ced92cad8408a","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-cce8b708139ec47f","kind":"fingerprint_related","node_a_id":"n-506262231820dae3","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-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}},{"id":"l-cd2e00f0e0d8bd7e","kind":"fingerprint_related","node_a_id":"n-09320ea6fe78bcb6","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-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-e3d077657c9aeea0","kind":"fingerprint_related","node_a_id":"n-881b87f0bbbf8ba6","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-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-ed9a57d2311a9b60","kind":"fingerprint_related","node_a_id":"n-16c35c7477b7e922","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-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-f4180207f8265d70","kind":"fingerprint_related","node_a_id":"n-b190b660c2f1fbab","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-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-faf6221aeaecedfb","kind":"fingerprint_related","node_a_id":"n-e46ced92cad8408a","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-fecc0bead261dd81","kind":"fingerprint_related","node_a_id":"n-82073868f14b935d","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-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}}],"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:              640,               512;\n  1:            19200,             30720,             12288;\n  2:           512000,           1228800,            983040,             262144;\n  3:         12800000,          40960000,          49152000,           26214400,            5242880;\n  4:        307200000,        1228800000,        1966080000,         1572864000,          629145600,          100663296;\n  5:       7168000000,       34406400000,       68812800000,        73400320000,        44040192000,        14092861440,        1879048192;\n  6:     163840000000,      917504000000,     2202009600000,      2936012800000,      2348810240000,      1127428915200,      300647710720,       34359738368;\n  7:    3686400000000,    23592960000000,    66060288000000,    105696460800000,    105696460800000,     67645734912000,    27058293964800,     6184752906240,      618475290624;\n  8:   81920000000000,   589824000000000,  1887436800000000,   3523215360000000,   4227858432000000,   3382286745600000,  1803886264320000,   618475290624000,   123695058124800,   10995116277760;\n  9: 1802240000000000, 14417920000000000, 51904512000000000, 110729625600000000, 155021475840000000, 148820616806400000, 99213744537600000, 45354854645760000, 13606456393728000, 2418925581107200, 193514046488576;\n","recurrence_sentence":"The row polynomials satisfy (n+1)*P(n,x) = (20*n+40+(16*n+32)*x)*P(n-1,x) for n >= 1, with P(0,x) = 640 + 512*x.","mathematica":"P[0, x_] := 640 + 512*x;\nP[n_, x_] := P[n, x] = Expand[Together[((20*n + 40 + (16*n + 32)*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] = 640 + 512*x; for(n = 1, N, my(i = n + 1); v[i] = ((20*n + 40 + (16*n + 32)*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-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}