{"id":"n-2ac15cdf83efabfa","revision":0,"first_index":0,"fingerprint":"f6-b233cd7cdc365023","name":"basis_map_A008277 of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^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":false,"rows":[["1024","740","100"],["32768","41320","12600","1000"],["1048576","2063120","1068400","188000","10000"],["33554432","97136800","76188000","22340000","2600000","100000"],["1073741824","4415289920","4933144000","2146960000","410600000","34200000","1000000"],["34359738368","196179594880","300676387200","182442960000","51032800000","6910400000","434000000","10000000"],["1099511627776","8583140368640","17596968083200","14318227392000","5498791200000","1076980800000","109032000000","5360000000","100000000"],["35184372088832","371487011760640","1000873744012800","1063699779136000","539095240320000","143300337600000","20800752000000","1637040000000","64800000000","1000000000"],["1125899906842624","15954298214835200","55760304806272000","75958123746560000","49451855094400000","17141580086400000","3346672560000000","374985600000000","23628000000000","770000000000","10000000000"],["36028797018963968","681339524091504640","3059078832074496000","5267006720349440000","4320114804262400000","1900128118028800000","479309676384000000","71715256800000000","6396192000000000","330220000000000","9020000000000","100000000000"],["1152921504606846976","28976547982032834560","165885494508788838400","357145204982410240000","363718333110387200000","199011653720985600000","63097771407616000000","12108052957440000000","1433526072000000000","104248760000000000","4492840000000000","104400000000000","1000000000000"],["36893488147419103232","1228544230291447521280","8915811194277347942400","23801857653997323264000","29759172033771980800000","19956138936224691200000","7795111506710528000000","1865999115735040000000","281635449638400000000","27053609440000000000","1635542480000000000","59753200000000000","1196000000000000","10000000000000"],["1180591620717411303424","51967792553714986926080","475907624405336568217600","1564873286490607521792000","2380678962971555850240000","1933995113108144486400000","916711647979615488000000","268283024872079360000000","50203161516851200000000","6116894848064000000000","486427701760000000000","24840379200000000000","779324000000000000","13580000000000000","100000000000000"],["37778931862957161709568","2194453203463203563929600","25266874394614651416576000","101781220006471032033280000","187057618198858096435200000","182394388904583406387200000","103677422745206069760000000","36531985016748249600000000","8305584338608128000000000","1248292786632320000000000","125377405112960000000000","8391610864000000000000","366861040000000000000","9993200000000000000","153000000000000000","1000000000000000"],["1208925819614629174706176","92544823864084121302138880","1335822000554593909301248000","6563104384347350500229120000","14485960710382493263667200000","16826916072164420288102400000","11362266781604792481792000000","4763036699160382156800000000","1295545296091592832000000000","235347563355224320000000000","29032745341233920000000000","2445382793817600000000000","139678986720000000000000","5287508800000000000000","126248000000000000000","1712000000000000000","10000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1864","87688","4378096","231919232","13014935744","772045880448","48288111471616","3176144076918272","219138128015309824","15821457261009604608","1192638353246267559936","93669913719914177830912","7650430161451646872879104","648629764551265074357895168","56993376479945120022368813056"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A008277","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1024","740","100"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["32","10"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","10"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":198184,"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-b2cae0d15dfd6b97"]},{"id":198185,"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-b2cae0d15dfd6b97"]},{"id":198186,"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-b2cae0d15dfd6b97"]}],"region_exact":{},"incoming_edges":[{"id":"e-b2cae0d15dfd6b97","operation":{"map":"A008277","operation":"basis_map"},"operation_detail":"A008277","conclusion_id":"n-2ac15cdf83efabfa","premise_count":1,"theorem":"ray basis maps: for L f = (a + b t) f + kappa (t - h) f', b > 0, kappa >= 0, and g real-rooted with every root <= h, of multiplicity m at h, T(u^k) = L^k g sends every real polynomial with all roots in S to one with all roots in (-inf, h] if and only if S lies in (-inf, a + b h + kappa m] (RealRooted rayBasisMap_maps_realRootedIn_iff; the step is Ma and Wang, EJC 15 (2008) R17, Theorem 2)","lean_route":null,"lean_declarations":[],"certificate_hash":"859ae60341c1f6fd347d945bb6d0c77539cda75ffe5d4b8efaf2d89577f7d970","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-a11e46881092378a","role":"sequence","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^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-8f5fb72041febf0e","kind":"fingerprint_related","node_a_id":"n-079b8dc3c3521bb6","node_b_id":"n-2ac15cdf83efabfa","fingerprint":"f6-b233cd7cdc365023","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-b233cd7cdc365023"},"other_id":"n-079b8dc3c3521bb6","other":{"id":"n-079b8dc3c3521bb6","name":"basis_map_A008277 of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j)*5^j.","first_index":0,"fingerprint":"f6-b233cd7cdc365023","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["16","5"],["256","185","25"]],"card_rows":[["1"],["16","5"],["256","185","25"],["4096","5165","1575","125"]],"row_sums_preview":["1","21","466","10961","273631","7247476","203358371","6031608441"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e6ebe74518d42cbe","steps":["basis A007318","basis A008277"],"edges":["e-1194f7dc6f45a71b","e-be920e30b55dac65"],"text":"A038259 \u2192 basis A007318 \u2192 basis A008277"},"headline":"A038259 \u2192 basis A007318 \u2192 basis A008277","chain":null}},{"id":"l-ef0016c65aaae979","kind":"fingerprint_related","node_a_id":"n-084d210f74c865d1","node_b_id":"n-2ac15cdf83efabfa","fingerprint":"f6-b233cd7cdc365023","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-b233cd7cdc365023"},"other_id":"n-084d210f74c865d1","other":{"id":"n-084d210f74c865d1","name":"basis_map_A008277 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","first_index":0,"fingerprint":"f6-b233cd7cdc365023","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["256","185","25"],["4096","5165","1575","125"],["65536","128945","66775","11750","625"]],"card_rows":[["256","185","25"],["4096","5165","1575","125"],["65536","128945","66775","11750","625"],["1048576","3035525","2380875","698125","81250","3125"]],"row_sums_preview":["466","10961","273631","7247476","203358371","6031608441","188625435436","6203406400231"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2bc1923905556bf6","steps":["basis A008277"],"edges":["e-82ec49a96db4a268"],"text":"A038319 \u2192 basis A008277"},"headline":"A038319 \u2192 basis A008277","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:              1024,                740,                 100;\n  1:             32768,              41320,               12600,                1000;\n  2:           1048576,            2063120,             1068400,              188000,               10000;\n  3:          33554432,           97136800,            76188000,            22340000,             2600000,              100000;\n  4:        1073741824,         4415289920,          4933144000,          2146960000,           410600000,            34200000,            1000000;\n  5:       34359738368,       196179594880,        300676387200,        182442960000,         51032800000,          6910400000,          434000000,          10000000;\n  6:     1099511627776,      8583140368640,      17596968083200,      14318227392000,       5498791200000,       1076980800000,       109032000000,        5360000000,        100000000;\n  7:    35184372088832,    371487011760640,    1000873744012800,    1063699779136000,     539095240320000,     143300337600000,     20800752000000,     1637040000000,      64800000000,      1000000000;\n  8:  1125899906842624,  15954298214835200,   55760304806272000,   75958123746560000,   49451855094400000,   17141580086400000,   3346672560000000,   374985600000000,   23628000000000,    770000000000,   10000000000;\n  9: 36028797018963968, 681339524091504640, 3059078832074496000, 5267006720349440000, 4320114804262400000, 1900128118028800000, 479309676384000000, 71715256800000000, 6396192000000000, 330220000000000, 9020000000000, 100000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (32+10*x)*P(n-1,x) + 10*x*d/dx P(n-1,x) for n >= 1, with P(0,x) = 1024 + 740*x + 100*x^2.","mathematica":"P[0, x_] := 1024 + 740*x + 100*x^2;\nP[n_, x_] := P[n, x] = Expand[(32 + 10*x)*P[n - 1, x] + 10*x*D[P[n - 1, x], x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1024 + 740*x + 100*x^2; for(n = 1, N, my(i = n + 1); v[i] = (32 + 10*x)*v[i - 1] + 10*x*deriv(v[i - 1], x)); 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-ec89fb3fc20684fc","steps":["x \u21a6 x+1","basis A008277"],"edges":["e-0c3feb8686271cde","e-b2cae0d15dfd6b97"],"text":"A038336 \u2192 x \u21a6 x+1 \u2192 basis A008277"},"headline":"A038336 \u2192 x \u21a6 x+1 \u2192 basis A008277","chain":null}