{"id":"n-4113d906b9d95b00","revision":1,"first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["121","198","81"],["1331","3267","2673","729"],["14641","47916","58806","32076","6561"],["161051","658845","1078110","882090","360855","59049"],["1771561","8696754","17788815","19405980","11908215","3897234","531441"],["19487171","111608343","273947751","373565115","305644185","150043509","40920957","4782969"],["214358881","1403076312","4017900348","6574746024","6724172070","4401276264","1800522108","420901272","43046721"],["2357947691","17363069361","56824590636","108483309396","133138606986","108931587534","59417229564","20834612964","4261625379","387420489"],["25937424601","212215292190","781338121245","1704737719080","2440874461410","2396494925748","1633973813010","763935808680","234389395845","42616253790","3486784401"],["285311670611","2567805035499","10504656963405","25784158001085","42192258547230","48329314335918","39542166274842","23109058212570","9453705632415","2578283354295","421900912521","31381059609"],["3138428376721","30813660425988","138661471916946","378167650682580","696172266029295","911352784620168","869927658046524","610079136811848","311972285869695","113444467588980","27845460226386","4142299868388","282429536481"],["34522712143931","367196120076357","1802599134920298","5407797404760894","11061403782465465","16290431025085503","17771379300093276","14540219427349044","8922407375873277","4055639716306035","1327300270791066","296174440589742","40387423716783","2541865828329"],["379749833583241","4349861730135306","23133355564810491","75709163666652516","170345618249968161","278747375318129718","342099051526795563","319884827401678968","229008455980747443","124913703262225878","51101060425456041","15203621283606756","3109831626192291","391447337562666","22876792454961"],["4177248169415651","51266227533737535","293615666784133155","1041001000416472095","2555184273749522415","4599331692749140347","6271815944657918655","6597624565159628715","5398056462403332585","3435126839711211645","1686334994040049353","627149377948778685","171040739440576005","32294405348919945","3774670755068565","205891132094649"],["45949729863572161","601523736395853744","3691168382429102520","14093552005638391440","37476036014992995420","73589307083986245552","110383960625979368328","129020213718677183760","118757242172873316870","86368903398453321360","49465826491841447688","22075658103797009712","7525792535385344220","1894605113803303440","332171026446033720","36236839248658224","1853020188851841"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["400","8000","160000","3200000","64000000","1280000000","25600000000","512000000000","10240000000000","204800000000000","4096000000000000","81920000000000000","1638400000000000000","32768000000000000000","655360000000000000000"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["121","198","81"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","9"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":167531,"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-f67f09ded1c0d580"]},{"id":167532,"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-f67f09ded1c0d580"]},{"id":167533,"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-f67f09ded1c0d580"]}],"region_exact":{},"incoming_edges":[{"id":"e-f67f09ded1c0d580","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-4113d906b9d95b00","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":"40cab95f2a6a9d556c2c328c254cfe0de32089a1323cf4dc111b48ccf6ccabb6","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-108b34f10b7468f4","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^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-3afbf348f606678b","kind":"fingerprint_related","node_a_id":"n-cfc5b48d32898a3e","node_b_id":"n-4113d906b9d95b00","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-cfc5b48d32898a3e","other":{"id":"n-cfc5b48d32898a3e","name":"Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["81","198","121"],["729","2673","3267","1331"],["6561","32076","58806","47916","14641"]],"card_rows":[["81","198","121"],["729","2673","3267","1331"],["6561","32076","58806","47916","14641"],["59049","360855","882090","1078110","658845","161051"]],"row_sums_preview":["400","8000","160000","3200000","64000000","1280000000","25600000000","512000000000"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cfc5b48d32898a3e","steps":[],"edges":[],"text":"A038301"},"headline":"Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^j.","chain":null}},{"id":"l-40c579b0b587ee66","kind":"fingerprint_related","node_a_id":"n-b2ae2bce0e1523fc","node_b_id":"n-4113d906b9d95b00","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-b2ae2bce0e1523fc","other":{"id":"n-b2ae2bce0e1523fc","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["18","22"],["324","792","484"]],"card_rows":[["1"],["18","22"],["324","792","484"],["5832","21384","26136","10648"]],"row_sums_preview":["1","40","1600","64000","2560000","102400000","4096000000","163840000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b7cf68162d40a956","steps":["basis A013609"],"edges":["e-59f75239fe41171d"],"text":"A038277 \u2192 basis A013609"},"headline":"A038277 \u2192 basis A013609","chain":null}},{"id":"l-fd8f0080f48422b4","kind":"fingerprint_related","node_a_id":"n-4e096b5929fd3f2e","node_b_id":"n-4113d906b9d95b00","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-4e096b5929fd3f2e","other":{"id":"n-4e096b5929fd3f2e","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*9^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","9"],["121","198","81"]],"card_rows":[["1"],["11","9"],["121","198","81"],["1331","3267","2673","729"]],"row_sums_preview":["1","20","400","8000","160000","3200000","64000000","1280000000"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A038323"],"derivation":{"root":"n-4e096b5929fd3f2e","steps":[],"edges":[],"text":"A038323"},"headline":"A038323: Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*9^j.","chain":null}},{"id":"l-e14e885c97d17804","kind":"oeis_match","node_a_id":"n-4113d906b9d95b00","node_b_id":null,"fingerprint":null,"oeis_id":"A009964","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":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A009964","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009964","relation":"match_row_sums"}],"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:          121,           198,             81;\n  1:         1331,          3267,           2673,            729;\n  2:        14641,         47916,          58806,          32076,           6561;\n  3:       161051,        658845,        1078110,         882090,         360855,          59049;\n  4:      1771561,       8696754,       17788815,       19405980,       11908215,        3897234,         531441;\n  5:     19487171,     111608343,      273947751,      373565115,      305644185,      150043509,       40920957,        4782969;\n  6:    214358881,    1403076312,     4017900348,     6574746024,     6724172070,     4401276264,     1800522108,      420901272,      43046721;\n  7:   2357947691,   17363069361,    56824590636,   108483309396,   133138606986,   108931587534,    59417229564,    20834612964,    4261625379,     387420489;\n  8:  25937424601,  212215292190,   781338121245,  1704737719080,  2440874461410,  2396494925748,  1633973813010,   763935808680,  234389395845,   42616253790,   3486784401;\n  9: 285311670611, 2567805035499, 10504656963405, 25784158001085, 42192258547230, 48329314335918, 39542166274842, 23109058212570, 9453705632415, 2578283354295, 421900912521, 31381059609;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+9*x)*P(n-1,x) for n >= 1, with P(0,x) = 121 + 198*x + 81*x^2.","mathematica":"P[0, x_] := 121 + 198*x + 81*x^2;\nP[n_, x_] := P[n, x] = Expand[(11 + 9*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] = 121 + 198*x + 81*x^2; for(n = 1, N, my(i = n + 1); v[i] = (11 + 9*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-108b34f10b7468f4","steps":["basis A013610"],"edges":["e-f67f09ded1c0d580"],"text":"A038281 \u2192 basis A013610"},"headline":"A038281 \u2192 basis A013610","chain":null}