{"id":"n-b2ae2bce0e1523fc","revision":1,"first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","name":"basis_map_A013609 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":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["18","22"],["324","792","484"],["5832","21384","26136","10648"],["104976","513216","940896","766656","234256"],["1889568","11547360","28226880","34499520","21083040","5153632"],["34012224","249422976","762125760","1241982720","1138484160","556592256","113379904"],["612220032","5237882496","19205569152","39122455680","47816334720","35065312128","14285867904","2494357888"],["11019960576","107750725632","460933659648","1126726723584","1721388049920","1683134982144","1028582489088","359187535872","54875873536"],["198359290368","2181952194048","10667321837568","30421621536768","55772972817408","68166966776832","55543454410752","29094190405632","8889891512832","1207269217792"],["3570467226624","43639043880960","240014741345280","782270268088320","1673189184522240","2454010803965952","2499455448483840","1745651424337920","800090236154880","217308459202560","26559922791424"],["64268410079232","864053068843008","5280324309596160","19361189135185920","47327351219343360","80982356530876416","98978435759960064","86409745504727040","52805955586222080","21513537461053440","5258864712701952","584318301411328"],["1156831381426176","16966860260917248","114055005087277056","464668539244462080","1277838482922270720","2498884144381329408","3563223687358562304","3732901005804208128","2851521601655992320","1548974697195847680","567957388971810816","126212753104846848","12855002631049216"],["20822964865671168","330853775087886336","2426261017311166464","10873243818320412672","33223800555979038720","73092361223153885184","119113477548843368448","145583139226364116992","133451210957500440576","90615019785957089280","44300676339801243648","14766892113267081216","3008070615665516544","282810057883082752"],["374813367582081024","6413473178626719744","50951481363534495744","249096131110613090304","837239774010671775744","2046586114248308785152","3752074542788566106112","5240993012149108211712","5604950860215018504192","4566996997212237299712","2790942609407478349824","1240418937514434822144","379016897573855084544","71268134586536853504","6221821273427820544"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","40","1600","64000","2560000","102400000","4096000000","163840000000","6553600000000","262144000000000","10485760000000000","419430400000000000","16777216000000000000","671088640000000000000","26843545600000000000000"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["18","22"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166826,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-59f75239fe41171d"]},{"id":166827,"position":1,"claim":"one_signed_coefficients","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":0},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 0: the coefficients of P_n have one sign","region_exact":null,"edges":["e-59f75239fe41171d"]},{"id":166828,"position":2,"claim":"hadamard_kernel","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":0},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 0, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-59f75239fe41171d"]}],"region_exact":{},"incoming_edges":[{"id":"e-59f75239fe41171d","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-b2ae2bce0e1523fc","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"edd7a51570b674f28d70a85dcd2faa7304e0b30ac97ab3ef84dac631b8a52044","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"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":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-0a131750a0e4f64f","kind":"fingerprint_related","node_a_id":"n-cfc5b48d32898a3e","node_b_id":"n-b2ae2bce0e1523fc","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-cfc5b48d32898a3e","other":{"id":"n-cfc5b48d32898a3e","name":"Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["81","198","121"],["729","2673","3267","1331"],["6561","32076","58806","47916","14641"]],"card_rows":[["81","198","121"],["729","2673","3267","1331"],["6561","32076","58806","47916","14641"],["59049","360855","882090","1078110","658845","161051"]],"row_sums_preview":["400","8000","160000","3200000","64000000","1280000000","25600000000","512000000000"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cfc5b48d32898a3e","steps":[],"edges":[],"text":"A038301"},"headline":"Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^j.","chain":null}},{"id":"l-40c579b0b587ee66","kind":"fingerprint_related","node_a_id":"n-b2ae2bce0e1523fc","node_b_id":"n-4113d906b9d95b00","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-4113d906b9d95b00","other":{"id":"n-4113d906b9d95b00","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","198","81"],["1331","3267","2673","729"],["14641","47916","58806","32076","6561"]],"card_rows":[["121","198","81"],["1331","3267","2673","729"],["14641","47916","58806","32076","6561"],["161051","658845","1078110","882090","360855","59049"]],"row_sums_preview":["400","8000","160000","3200000","64000000","1280000000","25600000000","512000000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-108b34f10b7468f4","steps":["basis A013610"],"edges":["e-f67f09ded1c0d580"],"text":"A038281 \u2192 basis A013610"},"headline":"A038281 \u2192 basis A013610","chain":null}},{"id":"l-ef1aefdf48851078","kind":"fingerprint_related","node_a_id":"n-4e096b5929fd3f2e","node_b_id":"n-b2ae2bce0e1523fc","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-4e096b5929fd3f2e","other":{"id":"n-4e096b5929fd3f2e","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*9^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","9"],["121","198","81"]],"card_rows":[["1"],["11","9"],["121","198","81"],["1331","3267","2673","729"]],"row_sums_preview":["1","20","400","8000","160000","3200000","64000000","1280000000"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A038323"],"derivation":{"root":"n-4e096b5929fd3f2e","steps":[],"edges":[],"text":"A038323"},"headline":"A038323: Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*9^j.","chain":null}},{"id":"l-b3534e64401d4690","kind":"oeis_match","node_a_id":"n-b2ae2bce0e1523fc","node_b_id":null,"fingerprint":null,"oeis_id":"A009984","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":0,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A009984","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009984","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-b2ae2bce0e1523fc","oeis_id":"A009984","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":17,"oeis_terms_available":17,"term_count":200,"raw_size":32872}],"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:            1;\n  1:           18,            22;\n  2:          324,           792,            484;\n  3:         5832,         21384,          26136,          10648;\n  4:       104976,        513216,         940896,         766656,         234256;\n  5:      1889568,      11547360,       28226880,       34499520,       21083040,        5153632;\n  6:     34012224,     249422976,      762125760,     1241982720,     1138484160,      556592256,      113379904;\n  7:    612220032,    5237882496,    19205569152,    39122455680,    47816334720,    35065312128,    14285867904,     2494357888;\n  8:  11019960576,  107750725632,   460933659648,  1126726723584,  1721388049920,  1683134982144,  1028582489088,   359187535872,   54875873536;\n  9: 198359290368, 2181952194048, 10667321837568, 30421621536768, 55772972817408, 68166966776832, 55543454410752, 29094190405632, 8889891512832, 1207269217792;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (18+22*x)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(18 + 22*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] = 1; for(n = 1, N, my(i = n + 1); v[i] = (18 + 22*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":["basis A013609"],"edges":["e-59f75239fe41171d"],"text":"A038277 \u2192 basis A013609"},"headline":"A038277 \u2192 basis A013609","chain":null}