{"id":"n-f55a7ba0b32633bc","revision":1,"first_index":0,"fingerprint":"f6-60cc3cc9b4461a16","name":"basis_map_A013611 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","264","144"],["1331","4356","4752","1728"],["14641","63888","104544","76032","20736"],["161051","878460","1916640","2090880","1140480","248832"],["1771561","11595672","31624560","45999360","37635840","16422912","2985984"],["19487171","148811124","487018224","885487680","965986560","632282112","229920768","35831808"],["214358881","1870768416","7142933952","15584583168","21251704320","18546941952","10116513792","3153199104","429981696"],["2357947691","23150759148","101021494464","257145622272","420783745536","459036813312","333844955136","156083355648","42568187904","5159780352"],["25937424601","282953722920","1389045548880","4040859778560","7714368668160","10098809892864","9180736266240","5723056373760","2341250334720","567575838720","61917364224"],["285311670611","3423740047332","18674945712720","61118004150720","133348372692480","203659332839424","222173817643008","173122455306240","94430430167040","34338338242560","7492001071104","743008370688"],["3138428376721","41084880567984","246509283407904","896397394210560","2200248149425920","3840433133543424","4887823988146176","4570432820084736","3116204195512320","1510886882672640","494472070692864","98077104930816","8916100448256"],["34522712143931","489594826768476","3204620684302752","12818482737211008","34959498374211840","68647742262088704","99851261472129024","108928648878686208","89123439991652352","54014206055546880","23569835369693184","7012513002553344","1275002364100608","106993205379072"],["379749833583241","5799815640180408","41125965448551984","179458758320954112","538376274962862336","1174639145373517824","1922136783338483712","2396430275331096576","2287501626452410368","1663637546510843904","907438661733187584","359975667464404992","98175182035746816","16476953628377088","1283918464548864"],["4177248169415651","68354970044983380","521983407616236720","2467557926913119040","8075644124442935040","19381545898663044096","35239174361205534720","49426374428703866880","53919681194949672960","45750032529048207360","29945475837195190272","14848996282906705920","5399635011966074880","1359348674341109760","211846546650562560","15407021574586368"],["45949729863572161","802031648527804992","6562077124318404480","33406938087439150080","118442780491829713920","310104734378608705536","620209468757217411072","966560211050208952320","1186232986288892805120","1150286532158926356480","878400624557725581312","522684669158316048384","237583940526507294720","79748455561345105920","18642496105249505280","2711635797127200768","184884258895036416"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["529","12167","279841","6436343","148035889","3404825447","78310985281","1801152661463","41426511213649","952809757913927","21914624432020321","504036361936467383","11592836324538749809","266635235464391245607","6132610415680998648961"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["121","264","144"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","12"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":168216,"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-8f18b93eb5dfe7b3"]},{"id":168217,"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-8f18b93eb5dfe7b3"]},{"id":168218,"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-8f18b93eb5dfe7b3"]}],"region_exact":{},"incoming_edges":[{"id":"e-8f18b93eb5dfe7b3","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-f55a7ba0b32633bc","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":"d185d232add49818714a22e8bfd036c9ae27925c8239802b95af77b3c8b506a1","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-3be339a4be9b8eb4","kind":"fingerprint_related","node_a_id":"n-344e4bfa9933088a","node_b_id":"n-f55a7ba0b32633bc","fingerprint":"f6-60cc3cc9b4461a16","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-60cc3cc9b4461a16"},"other_id":"n-344e4bfa9933088a","other":{"id":"n-344e4bfa9933088a","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*11^j.","first_index":0,"fingerprint":"f6-60cc3cc9b4461a16","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["144","264","121"],["1728","4752","4356","1331"],["20736","76032","104544","63888","14641"]],"card_rows":[["144","264","121"],["1728","4752","4356","1331"],["20736","76032","104544","63888","14641"],["248832","1140480","2090880","1916640","878460","161051"]],"row_sums_preview":["529","12167","279841","6436343","148035889","3404825447","78310985281","1801152661463"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-344e4bfa9933088a","steps":[],"edges":[],"text":"A038337"},"headline":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*11^j.","chain":null}},{"id":"l-6c9917972d4aaf12","kind":"fingerprint_related","node_a_id":"n-9e472291b944d56e","node_b_id":"n-f55a7ba0b32633bc","fingerprint":"f6-60cc3cc9b4461a16","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-60cc3cc9b4461a16"},"other_id":"n-9e472291b944d56e","other":{"id":"n-9e472291b944d56e","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*12^j.","first_index":0,"fingerprint":"f6-60cc3cc9b4461a16","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","12"],["121","264","144"]],"card_rows":[["1"],["11","12"],["121","264","144"],["1331","4356","4752","1728"]],"row_sums_preview":["1","23","529","12167","279841","6436343","148035889","3404825447"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A038326"],"derivation":{"root":"n-9e472291b944d56e","steps":[],"edges":[],"text":"A038326"},"headline":"A038326: Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*12^j.","chain":null}},{"id":"l-c2dd42356dab102f","kind":"fingerprint_related","node_a_id":"n-2a3c7d06bf210d3a","node_b_id":"n-f55a7ba0b32633bc","fingerprint":"f6-60cc3cc9b4461a16","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-60cc3cc9b4461a16"},"other_id":"n-2a3c7d06bf210d3a","other":{"id":"n-2a3c7d06bf210d3a","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^j.","first_index":0,"fingerprint":"f6-60cc3cc9b4461a16","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["484","1056","576"],["10648","34848","38016","13824"],["234256","1022208","1672704","1216512","331776"]],"card_rows":[["484","1056","576"],["10648","34848","38016","13824"],["234256","1022208","1672704","1216512","331776"],["5153632","28110720","61332480","66908160","36495360","7962624"]],"row_sums_preview":["2116","97336","4477456","205962976","9474296896","435817657216","20047612231936","922190162669056"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-29d7c5a1e19b9d74","steps":["basis A013609"],"edges":["e-61350e73fec19600"],"text":"A038314 \u2192 basis A013609"},"headline":"A038314 \u2192 basis A013609","chain":null}},{"id":"l-31eee567cfc70da9","kind":"oeis_match","node_a_id":"n-f55a7ba0b32633bc","node_b_id":null,"fingerprint":null,"oeis_id":"A009967","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":"A009967","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009967","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,           264,            144;\n  1:         1331,          4356,           4752,           1728;\n  2:        14641,         63888,         104544,          76032,           20736;\n  3:       161051,        878460,        1916640,        2090880,         1140480,          248832;\n  4:      1771561,      11595672,       31624560,       45999360,        37635840,        16422912,         2985984;\n  5:     19487171,     148811124,      487018224,      885487680,       965986560,       632282112,       229920768,        35831808;\n  6:    214358881,    1870768416,     7142933952,    15584583168,     21251704320,     18546941952,     10116513792,      3153199104,      429981696;\n  7:   2357947691,   23150759148,   101021494464,   257145622272,    420783745536,    459036813312,    333844955136,    156083355648,    42568187904,     5159780352;\n  8:  25937424601,  282953722920,  1389045548880,  4040859778560,   7714368668160,  10098809892864,   9180736266240,   5723056373760,  2341250334720,   567575838720,   61917364224;\n  9: 285311670611, 3423740047332, 18674945712720, 61118004150720, 133348372692480, 203659332839424, 222173817643008, 173122455306240, 94430430167040, 34338338242560, 7492001071104, 743008370688;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+12*x)*P(n-1,x) for n >= 1, with P(0,x) = 121 + 264*x + 144*x^2.","mathematica":"P[0, x_] := 121 + 264*x + 144*x^2;\nP[n_, x_] := P[n, x] = Expand[(11 + 12*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 + 264*x + 144*x^2; for(n = 1, N, my(i = n + 1); v[i] = (11 + 12*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 A013611"],"edges":["e-8f18b93eb5dfe7b3"],"text":"A038281 \u2192 basis A013611"},"headline":"A038281 \u2192 basis A013611","chain":null}