{"id":"n-9b8d59f51ac4acc1","revision":1,"first_index":0,"fingerprint":"f6-2a535ada15294c9b","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j)*5^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":[["7","5"],["42","65","25"],["252","600","475","125"],["1512","4860","5850","3125","625"],["9072","36720","59400","48000","19375","3125"],["54432","265680","540000","585000","356250","115625","15625"],["326592","1866240","4568400","6210000","5062500","2475000","671875","78125"],["1959552","12830400","36741600","60102000","61425000","40162500","16406250","3828125","390625"],["11757312","86780160","284601600","544320000","669060000","548100000","299250000","105000000","21484375","1953125"],["70543872","579467520","2141510400","4688928000","6735960000","6633900000","4536000000","2126250000","653906250","119140625","9765625"],["423263232","3829524480","15746400000","38841120000","63860400000","73483200000","60385500000","35437500000","14554687500","3984375000","654296875","48828125"],["2539579392","25093463040","113626022400","311778720000","577368000000","760201200000","729729000000","514552500000","264515625000","96679687500","23847656250","3564453125","244140625"],["15237476352","163258675200","807223449600","2438802432000","5023101600000","7448047200000","8179380000000","6735960000000","4159856250000","1902656250000","626484375000","140625000000","19287109375","1220703125"],["91424858112","1055739432960","5659634073600","18668931840000","42332621760000","69803791200000","86316516000000","81312660000000","58638937500000","32215218750000","13272187500000","3976171875000","818847656250","103759765625","6103515625"],["548549148672","6791560888320","39236501606400","140311761408000","347340389760000","630485856000000","866918052000000","919458540000000","758396925000000","486486000000000","240709218750000","90217968750000","24793945312500","4716796875000","555419921875","30517578125"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["12","132","1452","15972","175692","1932612","21258732","233846052","2572306572","28295372292","311249095212","3423740047332","37661140520652","414272545727172","4556998002998892"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["7","5"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["6","5"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162817,"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-90d99cba1db08a8a"]}],"region_exact":{},"incoming_edges":[{"id":"e-90d99cba1db08a8a","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-9b8d59f51ac4acc1","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":"43bdf6e666cdf7372ce85e528b6f6e61c24956ad0ce2efc7977898848a53f311","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-e6ebe74518d42cbe","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j)*5^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-e6ebe74518d42cbe","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j)*5^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-11242d8c3b1ceb70","kind":"oeis_match","node_a_id":"n-9b8d59f51ac4acc1","node_b_id":null,"fingerprint":null,"oeis_id":"A003954","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":"A003954","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-265bfb5d4135fdff","kind":"oeis_match","node_a_id":"n-9b8d59f51ac4acc1","node_b_id":null,"fingerprint":null,"oeis_id":"A168737","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":"A168737","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-293cf1a07a85487b","kind":"oeis_match","node_a_id":"n-9b8d59f51ac4acc1","node_b_id":null,"fingerprint":null,"oeis_id":"A168881","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":"A168881","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-94bae91760430744","kind":"oeis_match","node_a_id":"n-9b8d59f51ac4acc1","node_b_id":null,"fingerprint":null,"oeis_id":"A168833","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":"A168833","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-9d20b1cced762a51","kind":"oeis_match","node_a_id":"n-9b8d59f51ac4acc1","node_b_id":null,"fingerprint":null,"oeis_id":"A168689","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":"A168689","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-a4d8eb31a18122cb","kind":"oeis_match","node_a_id":"n-9b8d59f51ac4acc1","node_b_id":null,"fingerprint":null,"oeis_id":"A167916","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":"A167916","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-dfc670b6ff09c754","kind":"oeis_match","node_a_id":"n-9b8d59f51ac4acc1","node_b_id":null,"fingerprint":null,"oeis_id":"A168929","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":"A168929","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-fa1c3bede54a8954","kind":"oeis_match","node_a_id":"n-9b8d59f51ac4acc1","node_b_id":null,"fingerprint":null,"oeis_id":"A168785","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":"A168785","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A003954","relation":"match_row_sums"},{"oeis_id":"A167916","relation":"match_row_sums"},{"oeis_id":"A168689","relation":"match_row_sums"},{"oeis_id":"A168737","relation":"match_row_sums"},{"oeis_id":"A168785","relation":"match_row_sums"},{"oeis_id":"A168833","relation":"match_row_sums"},{"oeis_id":"A168881","relation":"match_row_sums"},{"oeis_id":"A168929","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:        7,         5;\n  1:       42,        65,         25;\n  2:      252,       600,        475,        125;\n  3:     1512,      4860,       5850,       3125,        625;\n  4:     9072,     36720,      59400,      48000,      19375,       3125;\n  5:    54432,    265680,     540000,     585000,     356250,     115625,      15625;\n  6:   326592,   1866240,    4568400,    6210000,    5062500,    2475000,     671875,      78125;\n  7:  1959552,  12830400,   36741600,   60102000,   61425000,   40162500,   16406250,    3828125,    390625;\n  8: 11757312,  86780160,  284601600,  544320000,  669060000,  548100000,  299250000,  105000000,  21484375,   1953125;\n  9: 70543872, 579467520, 2141510400, 4688928000, 6735960000, 6633900000, 4536000000, 2126250000, 653906250, 119140625, 9765625;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (6+5*x)*P(n-1,x) for n >= 1, with P(0,x) = 7 + 5*x.","mathematica":"P[0, x_] := 7 + 5*x;\nP[n_, x_] := P[n, x] = Expand[(6 + 5*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] = 7 + 5*x; for(n = 1, N, my(i = n + 1); v[i] = (6 + 5*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-e6ebe74518d42cbe","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-90d99cba1db08a8a"],"text":"A038259 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038259 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}