{"id":"n-29f5117c899fc989","revision":1,"first_index":0,"fingerprint":"f6-327bcf57e38a9664","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*7^(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":[["8","5"],["56","75","25"],["392","805","550","125"],["2744","7595","7875","3625","625"],["19208","66885","93100","64750","22500","3125"],["134456","564235","986125","918750","481250","134375","15625"],["941192","4621925","9724050","11361875","7962500","3346875","781250","78125"],["6588344","37059435","91177975","128153375","112546875","63240625","22203125","4453125","390625"],["46118408","292357765","823543000","1352963500","1428595000","1005418750","471625000","142187500","25000000","1953125"],["322828856","2277096395","7226589825","13588459500","16764982500","14180906250","8328468750","3353437500","885937500","138671875","9765625"],["2259801992","17553819045","61971610750","131252165625","185297175000","183091256250","129203812500","65116406250","22968750000","5400390625","761718750","48828125"],["15818613944","134175743275","521570370475","1228623213125","1953341053125","2208124668750","1819882968750","1101833906250","486363281250","152646484375","32333984375","4150390625","244140625"],["110730297608","1018323272645","4321871309700","11208214344250","19816503437500","25223577946875","23779804125000","16812252187500","8913712500000","3500341796875","989570312500","190722656250","22460937500","1220703125"],["775112083256","7681914396555","35344715531125","100066856958250","194756595783750","275647562815625","292576518609375","236584785937500","146457248437500","69070955078125","24428701171875","6282910156250","1110839843750","120849609375","6103515625"],["5425784582792","57648961192165","285822580700650","877191576363375","1863630455277500","2903315918628125","3426273444343750","3118976094609375","2208124668750000","1215782927734375","516355683593750","166123876953125","39190429687500","6400146484375","646972656250","30517578125"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["13","156","1872","22464","269568","3234816","38817792","465813504","5589762048","67077144576","804925734912","9659108818944","115909305827328","1390911669927936","16690940039135232"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["8","5"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["7","5"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162821,"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-eee83bb3f7c38b3e"]}],"region_exact":{},"incoming_edges":[{"id":"e-eee83bb3f7c38b3e","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-29f5117c899fc989","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":"88e70833db7dfd40617b2f8b01b6883269a2f5c923e81b2751ac02b6036209d0","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-a6a633b989da1879","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*7^(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-a6a633b989da1879","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*7^(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-0cca5fed1876b718","kind":"oeis_match","node_a_id":"n-29f5117c899fc989","node_b_id":null,"fingerprint":null,"oeis_id":"A168930","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":"A168930","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-11075e8dea68b5c2","kind":"oeis_match","node_a_id":"n-29f5117c899fc989","node_b_id":null,"fingerprint":null,"oeis_id":"A168882","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":"A168882","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-133a61e92266e96e","kind":"oeis_match","node_a_id":"n-29f5117c899fc989","node_b_id":null,"fingerprint":null,"oeis_id":"A167919","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":"A167919","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-2018c299cfefabad","kind":"oeis_match","node_a_id":"n-29f5117c899fc989","node_b_id":null,"fingerprint":null,"oeis_id":"A168786","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":"A168786","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-7f406382b104a9a9","kind":"oeis_match","node_a_id":"n-29f5117c899fc989","node_b_id":null,"fingerprint":null,"oeis_id":"A168690","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":"A168690","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-accae538b160a98c","kind":"oeis_match","node_a_id":"n-29f5117c899fc989","node_b_id":null,"fingerprint":null,"oeis_id":"A168978","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":"A168978","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-df541d26344495bd","kind":"oeis_match","node_a_id":"n-29f5117c899fc989","node_b_id":null,"fingerprint":null,"oeis_id":"A168834","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":"A168834","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-fc390060bf6cedee","kind":"oeis_match","node_a_id":"n-29f5117c899fc989","node_b_id":null,"fingerprint":null,"oeis_id":"A168738","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":"A168738","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A167919","relation":"match_row_sums"},{"oeis_id":"A168690","relation":"match_row_sums"},{"oeis_id":"A168738","relation":"match_row_sums"},{"oeis_id":"A168786","relation":"match_row_sums"},{"oeis_id":"A168834","relation":"match_row_sums"},{"oeis_id":"A168882","relation":"match_row_sums"},{"oeis_id":"A168930","relation":"match_row_sums"},{"oeis_id":"A168978","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,          5;\n  1:        56,         75,         25;\n  2:       392,        805,        550,         125;\n  3:      2744,       7595,       7875,        3625,         625;\n  4:     19208,      66885,      93100,       64750,       22500,        3125;\n  5:    134456,     564235,     986125,      918750,      481250,      134375,      15625;\n  6:    941192,    4621925,    9724050,    11361875,     7962500,     3346875,     781250,      78125;\n  7:   6588344,   37059435,   91177975,   128153375,   112546875,    63240625,   22203125,    4453125,    390625;\n  8:  46118408,  292357765,  823543000,  1352963500,  1428595000,  1005418750,  471625000,  142187500,  25000000,   1953125;\n  9: 322828856, 2277096395, 7226589825, 13588459500, 16764982500, 14180906250, 8328468750, 3353437500, 885937500, 138671875, 9765625;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (7+5*x)*P(n-1,x) for n >= 1, with P(0,x) = 8 + 5*x.","mathematica":"P[0, x_] := 8 + 5*x;\nP[n_, x_] := P[n, x] = Expand[(7 + 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] = 8 + 5*x; for(n = 1, N, my(i = n + 1); v[i] = (7 + 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-a6a633b989da1879","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-eee83bb3f7c38b3e"],"text":"A038271 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038271 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}