{"id":"n-eac767c2415c0225","revision":1,"first_index":0,"fingerprint":"f6-f34fb4c93a9db674","name":"obreschkoff_combination of Triangle of coefficients in expansion of (14 + x)^n.","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":[["15","1"],["210","29","1"],["2940","616","43","1"],["41160","11564","1218","57","1"],["576240","203056","28616","2016","71","1"],["8067360","3419024","603680","56840","3010","85","1"],["112943040","55933696","11870544","1399440","98980","4200","99","1"],["1581202560","896014784","222121312","31462704","2785160","157780","5586","113","1"],["22136835840","14125409536","4005713152","662599168","70454944","4994080","235984","7168","127","1"],["309915701760","219892569344","70205393664","13282101504","1648968384","140372064","8297856","336336","8946","141","1"],["4338819824640","3388411672576","1202768080640","256154814720","36367658880","3614177280","256542048","13006560","461580","10920","155","1"],["60743477544960","51776583240704","20227164801536","4788935486720","765302039040","86966140800","7205765952","438633888","19468680","614460","13090","169","1"],["850408685629440","785615642914816","334956890462208","87272261615616","15503164033280","1982828010240","187846864128","13346640384","711195408","28071120","797720","15456","183","1"],["11905721598812160","11849027686436864","5475012109385728","1556768553080832","304316558081536","43262756176640","4612684108032","374699829504","23303376096","1104191088","39239200","1014104","18018","197","1"],["166680102383370240","177792109208928256","88499197217837056","27269771852517376","5817200366222336","909995144554496","107840333689088","9858481721088","700947094848","38762051328","1653539888","53436656","1266356","20776","211","1"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["16","240","3600","54000","810000","12150000","182250000","2733750000","41006250000","615093750000","9226406250000","138396093750000","2075941406250000","31139121093750000","467086816406250000"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["15","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["14","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162852,"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-82f056fc366df894"]}],"region_exact":{},"incoming_edges":[{"id":"e-82f056fc366df894","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-eac767c2415c0225","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":"04037fd5581aa7834fdd59dd4508650d5f120ab4d4a5164fca1ea5bbc4bb07db","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-a679863398df5985","role":"sequence","name":"Triangle of coefficients in expansion of (14 + x)^n.","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-a679863398df5985","role":"sequence","name":"Triangle of coefficients in expansion of (14 + x)^n.","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-59c5bda33affc0bd","kind":"oeis_match","node_a_id":"n-eac767c2415c0225","node_b_id":null,"fingerprint":null,"oeis_id":"A168789","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":"A168789","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-5e3a87ac0d2439f8","kind":"oeis_match","node_a_id":"n-eac767c2415c0225","node_b_id":null,"fingerprint":null,"oeis_id":"A168933","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":"A168933","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-7922005d4dbab5e1","kind":"oeis_match","node_a_id":"n-eac767c2415c0225","node_b_id":null,"fingerprint":null,"oeis_id":"A167924","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":"A167924","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-b2561b0c42dd64f1","kind":"oeis_match","node_a_id":"n-eac767c2415c0225","node_b_id":null,"fingerprint":null,"oeis_id":"A168741","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":"A168741","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-c09a6a6e04cb6245","kind":"oeis_match","node_a_id":"n-eac767c2415c0225","node_b_id":null,"fingerprint":null,"oeis_id":"A168837","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":"A168837","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-cdc75952a5faaa5d","kind":"oeis_match","node_a_id":"n-eac767c2415c0225","node_b_id":null,"fingerprint":null,"oeis_id":"A168693","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":"A168693","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-d9249a2a7b52912f","kind":"oeis_match","node_a_id":"n-eac767c2415c0225","node_b_id":null,"fingerprint":null,"oeis_id":"A168981","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":"A168981","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-f3aa831bd5055dba","kind":"oeis_match","node_a_id":"n-eac767c2415c0225","node_b_id":null,"fingerprint":null,"oeis_id":"A168885","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":"A168885","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A167924","relation":"match_row_sums"},{"oeis_id":"A168693","relation":"match_row_sums"},{"oeis_id":"A168741","relation":"match_row_sums"},{"oeis_id":"A168789","relation":"match_row_sums"},{"oeis_id":"A168837","relation":"match_row_sums"},{"oeis_id":"A168885","relation":"match_row_sums"},{"oeis_id":"A168933","relation":"match_row_sums"},{"oeis_id":"A168981","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:           15,            1;\n  1:          210,           29,           1;\n  2:         2940,          616,          43,           1;\n  3:        41160,        11564,        1218,          57,          1;\n  4:       576240,       203056,       28616,        2016,         71,         1;\n  5:      8067360,      3419024,      603680,       56840,       3010,        85,       1;\n  6:    112943040,     55933696,    11870544,     1399440,      98980,      4200,      99,      1;\n  7:   1581202560,    896014784,   222121312,    31462704,    2785160,    157780,    5586,    113,    1;\n  8:  22136835840,  14125409536,  4005713152,   662599168,   70454944,   4994080,  235984,   7168,  127,   1;\n  9: 309915701760, 219892569344, 70205393664, 13282101504, 1648968384, 140372064, 8297856, 336336, 8946, 141, 1;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (14+x)*P(n-1,x) for n >= 1, with P(0,x) = 15 + x.","mathematica":"P[0, x_] := 15 + x;\nP[n_, x_] := P[n, x] = Expand[(14 + 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] = 15 + x; for(n = 1, N, my(i = n + 1); v[i] = (14 + 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-a679863398df5985","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-82f056fc366df894"],"text":"A147716 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A147716 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}