{"id":"n-2c7754d5ac44f890","revision":0,"first_index":0,"fingerprint":"f6-21bc025a5642ae0d","name":"basis_map_A013610 of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["625","1050","441"],["15625","39375","33075","9261"],["390625","1312500","1653750","926100","194481"],["9765625","41015625","68906250","57881250","24310125","4084101"],["244140625","1230468750","2583984375","2894062500","1823259375","612615150","85766121"],["6103515625","35888671875","90439453125","126615234375","106356796875","53603825625","15009071175","1801088541"],["152587890625","1025390625000","3014648437500","5064609375000","5317839843750","3573588375000","1500907117500","360217708200","37822859361"],["3814697265625","28839111328125","96899414062500","189922851562500","239302792968750","201014346093750","112568033812500","40524492172500","8510143356225","794280046581"],["95367431640625","801086425781250","3028106689453125","6782958984375000","9970949707031250","10050717304687500","7035502113281250","3377041014375000","1063767919528125","198570011645250","16679880978201"],["2384185791015625","22029876708984375","92525482177734375","233164215087890625","391715881347656250","460657876464843750","386952616230468750","232171569738281250","97512059290078125","27303376601221875","4586967269005275","350277500542221"],["59604644775390625","600814819335937500","2775764465332031250","7772140502929687500","14689345550537109375","19742480419921875000","19347630811523437500","13930294184296875000","7313404446755859375","2730337660122187500","688045090350791250","105083250162666300","7355827511386641"],["1490116119384765625","16272068023681640625","82011222839355468750","252594566345214843750","530448589324951171875","802038267059326171875","898282859106445312500","754557601649414062500","475371289039130859375","221839934884927734375","74538218121335718750","17076028151433273750","2390643941200658325","154472377739119461"],["37252902984619140625","438094139099121093750","2391993999481201171875","8037099838256835937500","18565700626373291015625","31190377052307128906250","39299875085906982421875","37727880082470703125000","27729991860615966796875","15528795441944941406250","6522094085616875390625","1992203284333881937500","418362689710115206875","54065332208691811350","3243919932521508681"],["931322574615478515625","11734664440155029296875","68999826908111572265625","251159369945526123046875","632921612262725830078125","1169639139461517333984375","1637494795246124267578125","1768494378865814208984375","1485535278247283935546875","970549715121558837890625","489157056421265654296875","186769057906301431640625","52295336213764400859375","10137249789129714628125","1216469974695565755375","68122318582951682301"],["23283064365386962890625","312924385070800781250000","1971423625946044921875000","7727980613708496093750000","21097387075424194335937500","42532332344055175781250000","65499791809844970703125000","78599750171813964843750000","74276763912364196777343750","55459983721231933593750000","32610470428084376953125000","14941524632504114531250000","5229533621376440085937500","1351633305217295283750000","243293994939113151075000","27248927433180672920400","1430568690241985328321"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["2116","97336","4477456","205962976","9474296896","435817657216","20047612231936","922190162669056","42420747482776576","1951354384207722496","89762301673555234816","4129065876983540801536","189937030341242876870656","8737103395697172336050176","401906756202069927458308096"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["625","1050","441"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["25","21"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":203942,"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-63cf6a700a0c44fa"]},{"id":203943,"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-63cf6a700a0c44fa"]},{"id":203944,"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-63cf6a700a0c44fa"]}],"region_exact":{},"incoming_edges":[{"id":"e-63cf6a700a0c44fa","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-2c7754d5ac44f890","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":"b6c6f32b040de336c630de4b41e6f5c0b7f3cdb7789de2a9848915b7e7a77779","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-32cf9641286d8e9f","role":"sequence","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^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":[],"oeis":[],"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:              625,              1050,               441;\n  1:            15625,             39375,             33075,               9261;\n  2:           390625,           1312500,           1653750,             926100,             194481;\n  3:          9765625,          41015625,          68906250,           57881250,           24310125,            4084101;\n  4:        244140625,        1230468750,        2583984375,         2894062500,         1823259375,          612615150,           85766121;\n  5:       6103515625,       35888671875,       90439453125,       126615234375,       106356796875,        53603825625,        15009071175,         1801088541;\n  6:     152587890625,     1025390625000,     3014648437500,      5064609375000,      5317839843750,      3573588375000,      1500907117500,       360217708200,       37822859361;\n  7:    3814697265625,    28839111328125,    96899414062500,    189922851562500,    239302792968750,    201014346093750,    112568033812500,     40524492172500,     8510143356225,      794280046581;\n  8:   95367431640625,   801086425781250,  3028106689453125,   6782958984375000,   9970949707031250,  10050717304687500,   7035502113281250,   3377041014375000,  1063767919528125,   198570011645250,   16679880978201;\n  9: 2384185791015625, 22029876708984375, 92525482177734375, 233164215087890625, 391715881347656250, 460657876464843750, 386952616230468750, 232171569738281250, 97512059290078125, 27303376601221875, 4586967269005275, 350277500542221;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (25+21*x)*P(n-1,x) for n >= 1, with P(0,x) = 625 + 1050*x + 441*x^2.","mathematica":"P[0, x_] := 625 + 1050*x + 441*x^2;\nP[n_, x_] := P[n, x] = Expand[(25 + 21*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] = 625 + 1050*x + 441*x^2; for(n = 1, N, my(i = n + 1); v[i] = (25 + 21*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-7dcf11eddf2b9a8a","steps":["basis A007318","basis A013610"],"edges":["e-5a47242ff4b92549","e-63cf6a700a0c44fa"],"text":"A038321 \u2192 basis A007318 \u2192 basis A013610"},"headline":"A038321 \u2192 basis A007318 \u2192 basis A013610","chain":null}