{"id":"n-d3ee9b6e124c7b6d","revision":1,"first_index":0,"fingerprint":"f6-4fd62f6b79b2875b","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["8","11"],["56","165","121"],["392","1771","2662","1331"],["2744","16709","38115","38599","14641"],["19208","147147","450604","689458","527076","161051"],["134456","1241317","4772845","9782850","11273570","6925193","1771561"],["941192","10168235","47064402","120981245","186526340","172485621","88578050","19487171"],["6588344","81530757","441301399","1364577137","2636478075","3259189087","2517388181","1110768747","214358881"],["46118408","643187083","3985948120","14406355348","33465695032","51815582434","53472797224","35466651220","13718968384","2357947691"],["322828856","5009612069","34976694753","144689916756","392729774052","730831722390","944280987342","836467328004","486165942108","167414286061","25937424601"],["2259801992","38618401899","299942596030","1397573059575","4340697502680","9435849571302","14649115857684","16242362156790","12604302202800","6519725365615","2023119118878","285311670611"],["15818613944","295186635205","2524400593099","13082379973355","45758186174085","113798619528594","206338156288110","274836809532054","266896099144290","184285401790105","85878812853911","24251492001935","3138428376721"],["110730297608","2240311199819","20917857138948","119345066337574","464213482925500","1299930384615093","2696151908831304","4193577385893588","4891477598862624","4225854903117925","2628291109668532","1114427385406566","288735410658332","34522712143931"],["775112083256","16900211672421","171068423170645","1065511892891446","4562290110191814","14205861004486151","33172297592585151","59012712698399460","80369694436867836","83387237909314339","64882441701976899","36712193904199814","14279849114080550","3417748502249169","379749833583241"],["5425784582792","126827714622763","1383381290591146","9340335905117217","43656661593148604","149626218243513011","388470554197443718","777984262407232881","1211727700740468912","1467777304170746569","1371436708916296022","970692216051144587","503793076744761804","181002579770630233","40253482359823546","4177248169415651"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["19","342","6156","110808","1994544","35901792","646232256","11632180608","209379250944","3768826516992","67838877305856","1221099791505408","21979796247097344","395636332447752192","7121453984059539456"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["8","11"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["7","11"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162857,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, +inf)","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, +inf)","region_exact":null,"edges":["e-3667cd139473d050"]}],"region_exact":{},"incoming_edges":[{"id":"e-3667cd139473d050","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-d3ee9b6e124c7b6d","premise_count":2,"theorem":"Hermite--Kakeya--Obreschkoff: real-rooted f, g with interlacing zeros give a zero or real-rooted a f + b g for all real a, b (Obreschkoff 1963; Fisk, Polynomials, roots, and interlacing, Thm 1.43)","lean_route":null,"lean_declarations":[],"certificate_hash":"3e31b18fde40ec2278ffbe054294b618b29dacd9d7145758485666d8993b6d34","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-b7cf68162d40a956","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","uses":{"claim":"real_rooted","from_index":0,"region":{}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, +inf)"},{"position":1,"node_id":"n-b7cf68162d40a956","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","uses":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"uses_text":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-0d06da7fcaf79d0a","kind":"oeis_match","node_a_id":"n-d3ee9b6e124c7b6d","node_b_id":null,"fingerprint":null,"oeis_id":"A168744","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168744","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-11684a40c341dad7","kind":"oeis_match","node_a_id":"n-d3ee9b6e124c7b6d","node_b_id":null,"fingerprint":null,"oeis_id":"A168936","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168936","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-4796aa732bb4fd73","kind":"oeis_match","node_a_id":"n-d3ee9b6e124c7b6d","node_b_id":null,"fingerprint":null,"oeis_id":"A168792","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168792","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-9002d58592e15ce4","kind":"oeis_match","node_a_id":"n-d3ee9b6e124c7b6d","node_b_id":null,"fingerprint":null,"oeis_id":"A168984","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168984","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-aecb3790e119e5fa","kind":"oeis_match","node_a_id":"n-d3ee9b6e124c7b6d","node_b_id":null,"fingerprint":null,"oeis_id":"A168696","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168696","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-e007e148d9918971","kind":"oeis_match","node_a_id":"n-d3ee9b6e124c7b6d","node_b_id":null,"fingerprint":null,"oeis_id":"A168888","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168888","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-e7749851b5dd3475","kind":"oeis_match","node_a_id":"n-d3ee9b6e124c7b6d","node_b_id":null,"fingerprint":null,"oeis_id":"A168840","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168840","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-fb6ebb7624c71a26","kind":"oeis_match","node_a_id":"n-d3ee9b6e124c7b6d","node_b_id":null,"fingerprint":null,"oeis_id":"A167929","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A167929","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A167929","relation":"match_row_sums"},{"oeis_id":"A168696","relation":"match_row_sums"},{"oeis_id":"A168744","relation":"match_row_sums"},{"oeis_id":"A168792","relation":"match_row_sums"},{"oeis_id":"A168840","relation":"match_row_sums"},{"oeis_id":"A168888","relation":"match_row_sums"},{"oeis_id":"A168936","relation":"match_row_sums"},{"oeis_id":"A168984","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:         8,         11;\n  1:        56,        165,         121;\n  2:       392,       1771,        2662,         1331;\n  3:      2744,      16709,       38115,        38599,        14641;\n  4:     19208,     147147,      450604,       689458,       527076,       161051;\n  5:    134456,    1241317,     4772845,      9782850,     11273570,      6925193,      1771561;\n  6:    941192,   10168235,    47064402,    120981245,    186526340,    172485621,     88578050,     19487171;\n  7:   6588344,   81530757,   441301399,   1364577137,   2636478075,   3259189087,   2517388181,   1110768747,    214358881;\n  8:  46118408,  643187083,  3985948120,  14406355348,  33465695032,  51815582434,  53472797224,  35466651220,  13718968384,   2357947691;\n  9: 322828856, 5009612069, 34976694753, 144689916756, 392729774052, 730831722390, 944280987342, 836467328004, 486165942108, 167414286061, 25937424601;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (7+11*x)*P(n-1,x) for n >= 1, with P(0,x) = 8 + 11*x.","mathematica":"P[0, x_] := 8 + 11*x;\nP[n_, x_] := P[n, x] = Expand[(7 + 11*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] = 8 + 11*x; for(n = 1, N, my(i = n + 1); v[i] = (7 + 11*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-b7cf68162d40a956","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-3667cd139473d050"],"text":"A038277 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038277 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}