{"id":"n-9b691fa7ebf67931","revision":1,"first_index":0,"fingerprint":"f6-83fc6524b6311133","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^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":[["484","2112","2304"],["10648","69696","152064","110592"],["234256","2044416","6690816","9732096","5308416"],["5153632","56221440","245329920","535265280","583925760","254803968"],["113379904","1484246016","8095887360","23551672320","38539100160","33634123776","12230590464"],["2494357888","38095647744","249353330688","906739384320","1978340474880","2589827530752","1883510931456","587068342272"],["54875873536","957833428992","7314364366848","31917226328064","87046980894720","151936548470784","165748961968128","103324028239872","28179280429056"],["1207269217792","23706377367552","206892020662272","1053268468826112","3447060443430912","7520859149303808","10939431489896448","10229078795747328","5579497524953088","1352605460594688"],["26559922791424","579489224540160","5689530568212480","33102723305963520","126392216259133440","330917802569367552","601668731944304640","750132445021470720","613744727744839680","297573201330831360","64925062108545024"],["584318301411328","14023639233871872","152985155278602240","1001357380005396480","4369559476387184640","13347018036964491264","29120766626104344576","45383012923798978560","49508741371417067520","36006357361030594560","15711865030267895808","3116402981210161152"],["12855002631049216","336567341612924928","4038808099355099136","29373149813491630080","144195462720777093120","503373251679803670528","1281313731548591161344","2396223082376586067968","3267576930513526456320","3168559447770692321280","2073966183995362246656","822730387039482544128","149587343098087735296"],["282810057883082752","8021521641774710784","105009010583232577536","840072084665860620288","4582211370904694292480","17995593747552981221376","52350818174699581734912","114219966926617269239808","186905400425373713301504","226552000515604500971520","197718109540891200847872","117650445346646003810304","42781980126053092294656","7180192468708211294208"],["6221821273427820544","190048358897431609344","2695231271636302823424","23522018370644097368064","141132110223864584208384","615849208249590912909312","2015506499725933896794112","5025678544771159846551552","9594477221835850616143872","13955603231761237259845632","15224294434648622465286144","12078779055588989724524544","6588424939412176213377024","2211499280362129078616064","344649238497994142121984"],["136880068015412051968","4479711316868030791680","68417409203075379363840","646855505192712677621760","4233963306715937526251520","20323023872236500126007296","73901904989950909549117440","207309239971810343670251520","452311069029404386189639680","767558177746868049291509760","1004803432686809082708885504","996499272086091652273274880","724726743335339383471472640","364897381259751297971650560","113734248704338066900254720","16543163447903718821855232"],["3011361496339065143296","105123892235836455911424","1720209145677323824005120","17514856755987297117143040","124196256997000834103377920","650336763911568004032233472","2601347055646272016128933888","8108094718897471219103170560","19901687037293792992344145920","38597211223842507621515919360","58948468050959466185587949568","70153548754860852320038551552","63775953413509865745489592320","42814626067810818962006999040","20017227771963499774444830720","5823193533662109025293041664","794071845499378503449051136"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["4900","343000","24010000","1680700000","117649000000","8235430000000","576480100000000","40353607000000000","2824752490000000000","197732674300000000000","13841287201000000000000","968890104070000000000000","67822307284900000000000000","4747561509943000000000000000","332329305696010000000000000000"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["484","2112","2304"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["22","48"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":168285,"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-6524eda715a9c2e7"]},{"id":168286,"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-6524eda715a9c2e7"]},{"id":168287,"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-6524eda715a9c2e7"]}],"region_exact":{},"incoming_edges":[{"id":"e-6524eda715a9c2e7","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-9b691fa7ebf67931","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":"cdb1ff3aa1cae1963d063d1fe29572493021aad3cc7ce7c32ed37122c3724d45","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-29d7c5a1e19b9d74","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^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-145ad3b482aa26e9","kind":"fingerprint_related","node_a_id":"n-40f57961a3f2ab5d","node_b_id":"n-9b691fa7ebf67931","fingerprint":"f6-83fc6524b6311133","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-83fc6524b6311133"},"other_id":"n-40f57961a3f2ab5d","other":{"id":"n-40f57961a3f2ab5d","name":"basis_map_A013610 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","first_index":0,"fingerprint":"f6-83fc6524b6311133","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","528","576"],["1331","8712","19008","13824"],["14641","127776","418176","608256","331776"]],"card_rows":[["121","528","576"],["1331","8712","19008","13824"],["14641","127776","418176","608256","331776"],["161051","1756920","7666560","16727040","18247680","7962624"]],"row_sums_preview":["1225","42875","1500625","52521875","1838265625","64339296875","2251875390625","78815638671875"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-26633b980c3508e8","steps":["basis A013610"],"edges":["e-edadd00b11ba8928"],"text":"A038226 \u2192 basis A013610"},"headline":"A038226 \u2192 basis A013610","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:             484,              2112,               2304;\n  1:           10648,             69696,             152064,              110592;\n  2:          234256,           2044416,            6690816,             9732096,             5308416;\n  3:         5153632,          56221440,          245329920,           535265280,           583925760,            254803968;\n  4:       113379904,        1484246016,         8095887360,         23551672320,         38539100160,          33634123776,          12230590464;\n  5:      2494357888,       38095647744,       249353330688,        906739384320,       1978340474880,        2589827530752,        1883510931456,         587068342272;\n  6:     54875873536,      957833428992,      7314364366848,      31917226328064,      87046980894720,      151936548470784,      165748961968128,      103324028239872,       28179280429056;\n  7:   1207269217792,    23706377367552,    206892020662272,    1053268468826112,    3447060443430912,     7520859149303808,    10939431489896448,    10229078795747328,     5579497524953088,     1352605460594688;\n  8:  26559922791424,   579489224540160,   5689530568212480,   33102723305963520,  126392216259133440,   330917802569367552,   601668731944304640,   750132445021470720,   613744727744839680,   297573201330831360,    64925062108545024;\n  9: 584318301411328, 14023639233871872, 152985155278602240, 1001357380005396480, 4369559476387184640, 13347018036964491264, 29120766626104344576, 45383012923798978560, 49508741371417067520, 36006357361030594560, 15711865030267895808, 3116402981210161152;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (22+48*x)*P(n-1,x) for n >= 1, with P(0,x) = 484 + 2112*x + 2304*x^2.","mathematica":"P[0, x_] := 484 + 2112*x + 2304*x^2;\nP[n_, x_] := P[n, x] = Expand[(22 + 48*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] = 484 + 2112*x + 2304*x^2; for(n = 1, N, my(i = n + 1); v[i] = (22 + 48*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-29d7c5a1e19b9d74","steps":["basis A013611"],"edges":["e-6524eda715a9c2e7"],"text":"A038314 \u2192 basis A013611"},"headline":"A038314 \u2192 basis A013611","chain":null}