{"id":"n-d7df91eaf8843b88","revision":1,"first_index":0,"fingerprint":"f6-6b726760bd05165a","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*5^j.","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":true,"rows":[["1"],["12","15"],["144","360","225"],["1728","6480","8100","3375"],["20736","103680","194400","162000","50625"],["248832","1555200","3888000","4860000","3037500","759375"],["2985984","22394880","69984000","116640000","109350000","54675000","11390625"],["35831808","313528320","1175731200","2449440000","3061800000","2296350000","956812500","170859375"],["429981696","4299816960","18811699200","47029248000","73483200000","73483200000","45927000000","16402500000","2562890625"],["5159780352","58047528960","290237644800","846526464000","1587237120000","1984046400000","1653372000000","885735000000","276792187500","38443359375"],["61917364224","773967052800","4353564672000","14511882240000","31744742400000","47617113600000","49601160000000","35429400000000","16607531250000","4613203125000","576650390625"],["743008370688","10216365096960","63852281856000","239446056960000","598615142400000","1047576499200000","1309470624000000","1169170200000000","730731375000000","304471406250000","76117851562500","8649755859375"],["8916100448256","133741506723840","919472858726400","3831136911360000","10775072563200000","21550145126400000","31427294976000000","33672101760000000","26306329500000000","14614627500000000","5480485312500000","1245564843750000","129746337890625"],["106993205379072","1738639587409920","13039796905574400","59765735817216000","186767924428800000","420227829964800000","700379716608000000","875474645760000000","820757480400000000","569970472500000000","284985236250000000","97154057812500000","20240428710937500","1946195068359375"],["1283918464548864","22468573129605120","182557156678041600","912785783390208000","3137701130403840000","7844252826009600000","14707974048768000000","21011391498240000000","22981209451200000000","19151007876000000000","11969379922500000000","5440627237500000000","1700196011718750000","326960771484375000","29192926025390625"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","27","729","19683","531441","14348907","387420489","10460353203","282429536481","7625597484987","205891132094649","5559060566555523","150094635296999121","4052555153018976267","109418989131512359209"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["12","15"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":167493,"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-cc1debec4a411a9c"]},{"id":167494,"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-cc1debec4a411a9c"]},{"id":167495,"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-cc1debec4a411a9c"]}],"region_exact":{},"incoming_edges":[{"id":"e-cc1debec4a411a9c","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-d7df91eaf8843b88","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"6840053e425251e079752a76b89cecff3235300a25601b606cd5f07ddbf16736","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-a6a633b989da1879","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*5^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-01d2920e63b350fd","kind":"fingerprint_related","node_a_id":"n-7e007679d5feba96","node_b_id":"n-d7df91eaf8843b88","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-8bd9257a4ed4429d","kind":"fingerprint_related","node_a_id":"n-d7df91eaf8843b88","node_b_id":"n-93016690ff7736f4","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]"],"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-8e6f8be8087cf3a8","kind":"fingerprint_related","node_a_id":"n-d04994959b21388c","node_b_id":"n-d7df91eaf8843b88","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-c99b3ec66817d933","kind":"fingerprint_related","node_a_id":"n-09320ea6fe78bcb6","node_b_id":"n-d7df91eaf8843b88","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]"],"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-cd88d37bd4281676","kind":"fingerprint_related","node_a_id":"n-506262231820dae3","node_b_id":"n-d7df91eaf8843b88","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-e239b9e14b33bd23","kind":"fingerprint_related","node_a_id":"n-d7df91eaf8843b88","node_b_id":"n-16c35c7477b7e922","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-44b58f54a2d0007d","kind":"oeis_match","node_a_id":"n-d7df91eaf8843b88","node_b_id":null,"fingerprint":null,"oeis_id":"A009971","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A009971","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009971","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-d7df91eaf8843b88","oeis_id":"A009971","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":18,"oeis_terms_available":18,"term_count":200,"raw_size":29473}],"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,          15;\n  2:        144,         360,          225;\n  3:       1728,        6480,         8100,         3375;\n  4:      20736,      103680,       194400,       162000,         50625;\n  5:     248832,     1555200,      3888000,      4860000,       3037500,        759375;\n  6:    2985984,    22394880,     69984000,    116640000,     109350000,      54675000,      11390625;\n  7:   35831808,   313528320,   1175731200,   2449440000,    3061800000,    2296350000,     956812500,    170859375;\n  8:  429981696,  4299816960,  18811699200,  47029248000,   73483200000,   73483200000,   45927000000,  16402500000,   2562890625;\n  9: 5159780352, 58047528960, 290237644800, 846526464000, 1587237120000, 1984046400000, 1653372000000, 885735000000, 276792187500, 38443359375;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (12+15*x)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(12 + 15*x)*P[n - 1, x]];\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] = (12 + 15*x)*v[i - 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-a6a633b989da1879","steps":["basis A013610"],"edges":["e-cc1debec4a411a9c"],"text":"A038271 \u2192 basis A013610"},"headline":"A038271 \u2192 basis A013610","chain":null}