{"id":"n-09320ea6fe78bcb6","revision":1,"first_index":0,"fingerprint":"f6-6b726760bd05165a","name":"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":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["8","10"],["64","160","100"],["512","1920","2400","1000"],["4096","20480","38400","32000","10000"],["32768","204800","512000","640000","400000","100000"],["262144","1966080","6144000","10240000","9600000","4800000","1000000"],["2097152","18350080","68812800","143360000","179200000","134400000","56000000","10000000"],["16777216","167772160","734003200","1835008000","2867200000","2867200000","1792000000","640000000","100000000"],["134217728","1509949440","7549747200","22020096000","41287680000","51609600000","43008000000","23040000000","7200000000","1000000000"],["1073741824","13421772800","75497472000","251658240000","550502400000","825753600000","860160000000","614400000000","288000000000","80000000000","10000000000"],["8589934592","118111600640","738197504000","2768240640000","6920601600000","12111052800000","15138816000000","13516800000000","8448000000000","3520000000000","880000000000","100000000000"],["68719476736","1030792151040","7086696038400","29527900160000","83047219200000","166094438400000","242221056000000","259522560000000","202752000000000","112640000000000","42240000000000","9600000000000","1000000000000"],["549755813888","8933531975680","67001489817600","307090161664000","959656755200000","2159227699200000","3598712832000000","4498391040000000","4217241600000000","2928640000000000","1464320000000000","499200000000000","104000000000000","10000000000000"],["4398046511104","76965813944320","625347238297600","3126736191488000","10748155658240000","26870389145600000","50381979648000000","71974256640000000","78721843200000000","65601536000000000","41000960000000000","18636800000000000","5824000000000000","1120000000000000","100000000000000"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","18","324","5832","104976","1889568","34012224","612220032","11019960576","198359290368","3570467226624","64268410079232","1156831381426176","20822964865671168","374813367582081024"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["8","10"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166746,"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-c5caeaebd0a50686"]},{"id":166747,"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-c5caeaebd0a50686"]},{"id":166748,"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-c5caeaebd0a50686"]}],"region_exact":{},"incoming_edges":[{"id":"e-c5caeaebd0a50686","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-09320ea6fe78bcb6","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":"43df7467668b90388464af2169f5bf58fe954bc4b608ccbfcef1648143f817af","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-c44f7114310405ad","role":"sequence","name":"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-02a45cdab3e085f2","kind":"fingerprint_related","node_a_id":"n-09320ea6fe78bcb6","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-35f8a00f9387d980","kind":"fingerprint_related","node_a_id":"n-09320ea6fe78bcb6","node_b_id":"n-7e007679d5feba96","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-5a29e5b7fba93135","kind":"fingerprint_related","node_a_id":"n-d04994959b21388c","node_b_id":"n-09320ea6fe78bcb6","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-6808f6c4d73fa6dc","kind":"fingerprint_related","node_a_id":"n-09320ea6fe78bcb6","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-8195567f2e48dbbb","kind":"fingerprint_related","node_a_id":"n-506262231820dae3","node_b_id":"n-09320ea6fe78bcb6","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-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-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-3b66384efc481fe9","kind":"oeis_match","node_a_id":"n-09320ea6fe78bcb6","node_b_id":null,"fingerprint":null,"oeis_id":"A038288","in_catalog":0,"target":"triangle","row_alignment":"tabl","rows_matched":7,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"row_alignment":"tabl","rows_matched":7,"target":"triangle","terms_compared":32},"in_catalog":false,"oeis_id":"A038288","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-3f1d8416f2db2fe2","kind":"oeis_match","node_a_id":"n-09320ea6fe78bcb6","node_b_id":null,"fingerprint":null,"oeis_id":"A038310","in_catalog":0,"target":"reversed_triangle","row_alignment":"tabl","rows_matched":7,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"row_alignment":"tabl","rows_matched":7,"target":"reversed_triangle","terms_compared":32},"in_catalog":false,"oeis_id":"A038310","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-c4b93a52a0180328","kind":"oeis_match","node_a_id":"n-09320ea6fe78bcb6","node_b_id":null,"fingerprint":null,"oeis_id":"A001027","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":"A001027","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A038310","relation":"match_reversed_triangle"},{"oeis_id":"A001027","relation":"match_row_sums"},{"oeis_id":"A038288","relation":"match_triangle"}],"bfiles":[{"node_id":"n-09320ea6fe78bcb6","oeis_id":"A001027","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":21,"oeis_terms_available":21,"term_count":200,"raw_size":25970},{"node_id":"n-09320ea6fe78bcb6","oeis_id":"A038288","target":"triangle","oeis_offset":0,"first_row":0,"rows_used":44,"terms_matched":32,"oeis_terms_agreeing":32,"oeis_terms_available":32,"term_count":990,"raw_size":37661},{"node_id":"n-09320ea6fe78bcb6","oeis_id":"A038310","target":"reversed_triangle","oeis_offset":0,"first_row":0,"rows_used":44,"terms_matched":32,"oeis_terms_agreeing":32,"oeis_terms_available":32,"term_count":990,"raw_size":37661}],"oeis_texts":[{"oeis_id":"","target":"node","first_row":0,"oeis_offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n  0:         1;\n  1:         8,         10;\n  2:        64,        160,        100;\n  3:       512,       1920,       2400,        1000;\n  4:      4096,      20480,      38400,       32000,       10000;\n  5:     32768,     204800,     512000,      640000,      400000,      100000;\n  6:    262144,    1966080,    6144000,    10240000,     9600000,     4800000,     1000000;\n  7:   2097152,   18350080,   68812800,   143360000,   179200000,   134400000,    56000000,    10000000;\n  8:  16777216,  167772160,  734003200,  1835008000,  2867200000,  2867200000,  1792000000,   640000000,  100000000;\n  9: 134217728, 1509949440, 7549747200, 22020096000, 41287680000, 51609600000, 43008000000, 23040000000, 7200000000, 1000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (8+10*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[(8 + 10*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] = (8 + 10*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}},{"oeis_id":"A038288","target":"triangle","first_row":0,"oeis_offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":true,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n  0:         1;\n  1:         8,         10;\n  2:        64,        160,        100;\n  3:       512,       1920,       2400,        1000;\n  4:      4096,      20480,      38400,       32000,       10000;\n  5:     32768,     204800,     512000,      640000,      400000,      100000;\n  6:    262144,    1966080,    6144000,    10240000,     9600000,     4800000,     1000000;\n  7:   2097152,   18350080,   68812800,   143360000,   179200000,   134400000,    56000000,    10000000;\n  8:  16777216,  167772160,  734003200,  1835008000,  2867200000,  2867200000,  1792000000,   640000000,  100000000;\n  9: 134217728, 1509949440, 7549747200, 22020096000, 41287680000, 51609600000, 43008000000, 23040000000, 7200000000, 1000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (8+10*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[(8 + 10*x)*P[n - 1, x]];\nTable[PadRight[CoefficientList[P[n, x], x], n + 1], {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] = (8 + 10*x)*v[i - 1]); v};\nrow(n, p) = {my(c = Vecrev(p)); c = concat(c, vector(n + 1 - #c)); 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":true}},{"oeis_id":"A038310","target":"reversed_triangle","first_row":0,"oeis_offset":0,"reversed":true,"trim_zeros":"none","regular_triangle":true,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n  0:          1;\n  1:         10,          8;\n  2:        100,        160,          64;\n  3:       1000,       2400,        1920,         512;\n  4:      10000,      32000,       38400,       20480,        4096;\n  5:     100000,     400000,      640000,      512000,      204800,       32768;\n  6:    1000000,    4800000,     9600000,    10240000,     6144000,     1966080,      262144;\n  7:   10000000,   56000000,   134400000,   179200000,   143360000,    68812800,    18350080,    2097152;\n  8:  100000000,  640000000,  1792000000,  2867200000,  2867200000,  1835008000,   734003200,  167772160,   16777216;\n  9: 1000000000, 7200000000, 23040000000, 43008000000, 51609600000, 41287680000, 22020096000, 7549747200, 1509949440, 134217728;\n","recurrence_sentence":"Row n lists the coefficients of P(n,x) in descending powers of x, where P(n,x) = (8+10*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[(8 + 10*x)*P[n - 1, x]];\nTable[Reverse[PadRight[CoefficientList[P[n, x], x], n + 1]], {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] = (8 + 10*x)*v[i - 1]); v};\nrow(n, p) = {my(c = Vecrev(p)); c = concat(c, vector(n + 1 - #c)); c = Vecrev(c); 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":true,"trim_zeros":"none","regular_triangle":true}}],"derivation":{"root":"n-c44f7114310405ad","steps":["basis A013609"],"edges":["e-c5caeaebd0a50686"],"text":"A013622 \u2192 basis A013609"},"headline":"A013622 \u2192 basis A013609","chain":null}