{"id":"n-b5da320ca3ea5fd1","revision":1,"first_index":0,"fingerprint":"f6-5eacb6f0303c8d92","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*9^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":[["13","9"],["156","225","81"],["1872","4104","2997","729"],["22464","66096","72900","35721","6561"],["269568","995328","1469664","1084752","400221","59049"],["3234816","14370048","26593920","26244000","14565420","4310577","531441"],["38817792","201553920","448457472","554273280","410981040","182815704","45172485","4782969"],["465813504","2768007168","7195474944","10687396608","9920232000","5892617808","2187411156","463947993","43046721"],["5589762048","37408407552","111257763840","193008033792","215229353472","159993501696","79282494144","25254076320","4692092589","387420489"],["67077144576","499208749056","1671768834048","3317416280064","4319824545792","3856986201600","2391331444992","1016591363136","283591797948","46877879169","3486784401"],["804925734912","6594199289856","24554104750080","54854914867200","81694641070080","85162255331328","63408853154304","33721079362560","12552423843600","3114860731560","463742325333","31381059609"],["9659108818944","86374723092480","353997050609664","879245921157120","1474029926645760","1757198833606656","1527366535833600","975332630739456","454118800386240","150350143371120","33598654488036","4550253643305","282429536481"],["115909305827328","1123428656480256","5025337115148288","13736924509372416","25601572410163200","34352655343091712","34143187932463104","25450290391375872","14227419281289984","5891270923929600","1756335144196512","356990934111984","44341437227517","2541865828329"],["1390911669927936","14524327630209024","70414903290101760","210071128148803584","430851189506310144","642646015808569344","718892153277382656","612692176088678400","399781644897862656","198742024618765056","74097460045724544","20090907507112416","3745015653738060","429575324987601","22876792454961"],["16690940039135232","186810136591859712","975697788153102336","3154587667396558848","7060854427414953984","11589412895259623424","14410519981605715968","13822335492560584704","10311609323572457472","5982939099505944576","2677847742117580032","907968030496869888","225758355408868464","38860044783493752","4140699434347941","205891132094649"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["22","462","9702","203742","4278582","89850222","1886854662","39623947902","832102905942","17474161024782","366957381520422","7706105011928862","161828205250506102","3398392310260628142","71366238515473190982"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["13","9"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["12","9"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162877,"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-3fedd67ff8cfe3e1"]}],"region_exact":{},"incoming_edges":[{"id":"e-3fedd67ff8cfe3e1","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-b5da320ca3ea5fd1","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":"bb75f4fd3e0a2e513cad9b0a9c26ba01dcbf9f2617435d6dac8b50cf918ee0e3","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-f485cd65a8f8089f","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*9^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-f485cd65a8f8089f","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*9^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-1b3844c734dd3923","kind":"oeis_match","node_a_id":"n-b5da320ca3ea5fd1","node_b_id":null,"fingerprint":null,"oeis_id":"A168987","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":"A168987","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-5f7a4a3fdc75dd88","kind":"oeis_match","node_a_id":"n-b5da320ca3ea5fd1","node_b_id":null,"fingerprint":null,"oeis_id":"A168795","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":"A168795","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-8cee8cf61b8134dd","kind":"oeis_match","node_a_id":"n-b5da320ca3ea5fd1","node_b_id":null,"fingerprint":null,"oeis_id":"A168747","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":"A168747","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-a80950cbfdcc4f49","kind":"oeis_match","node_a_id":"n-b5da320ca3ea5fd1","node_b_id":null,"fingerprint":null,"oeis_id":"A168699","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":"A168699","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-ba709230aa1c6c2c","kind":"oeis_match","node_a_id":"n-b5da320ca3ea5fd1","node_b_id":null,"fingerprint":null,"oeis_id":"A168939","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":"A168939","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-d2bb2f8a760458c2","kind":"oeis_match","node_a_id":"n-b5da320ca3ea5fd1","node_b_id":null,"fingerprint":null,"oeis_id":"A168843","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":"A168843","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-da0a404b41bd25d1","kind":"oeis_match","node_a_id":"n-b5da320ca3ea5fd1","node_b_id":null,"fingerprint":null,"oeis_id":"A167935","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":"A167935","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-e2cea58a0593b15f","kind":"oeis_match","node_a_id":"n-b5da320ca3ea5fd1","node_b_id":null,"fingerprint":null,"oeis_id":"A168891","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":"A168891","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A167935","relation":"match_row_sums"},{"oeis_id":"A168699","relation":"match_row_sums"},{"oeis_id":"A168747","relation":"match_row_sums"},{"oeis_id":"A168795","relation":"match_row_sums"},{"oeis_id":"A168843","relation":"match_row_sums"},{"oeis_id":"A168891","relation":"match_row_sums"},{"oeis_id":"A168939","relation":"match_row_sums"},{"oeis_id":"A168987","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:          13,            9;\n  1:         156,          225,            81;\n  2:        1872,         4104,          2997,           729;\n  3:       22464,        66096,         72900,         35721,          6561;\n  4:      269568,       995328,       1469664,       1084752,        400221,         59049;\n  5:     3234816,     14370048,      26593920,      26244000,      14565420,       4310577,        531441;\n  6:    38817792,    201553920,     448457472,     554273280,     410981040,     182815704,      45172485,       4782969;\n  7:   465813504,   2768007168,    7195474944,   10687396608,    9920232000,    5892617808,    2187411156,     463947993,     43046721;\n  8:  5589762048,  37408407552,  111257763840,  193008033792,  215229353472,  159993501696,   79282494144,   25254076320,   4692092589,   387420489;\n  9: 67077144576, 499208749056, 1671768834048, 3317416280064, 4319824545792, 3856986201600, 2391331444992, 1016591363136, 283591797948, 46877879169, 3486784401;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (12+9*x)*P(n-1,x) for n >= 1, with P(0,x) = 13 + 9*x.","mathematica":"P[0, x_] := 13 + 9*x;\nP[n_, x_] := P[n, x] = Expand[(12 + 9*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] = 13 + 9*x; for(n = 1, N, my(i = n + 1); v[i] = (12 + 9*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-f485cd65a8f8089f","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-3fedd67ff8cfe3e1"],"text":"A038335 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038335 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}