{"id":"n-f7d94fed0ec64a12","revision":0,"first_index":0,"fingerprint":"f6-723ac5bf98d71a32","name":"basis_map_A013609 of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^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":[["2116","4416","2304"],["97336","304704","317952","110592"],["4477456","18688512","29251584","20348928","5308416"],["205962976","1074589440","2242621440","2340126720","1220935680","254803968"],["9474296896","59317337088","154740879360","215291658240","168489123840","70325895168","12230590464"],["435817657216","3183363757056","9965312630784","17330978488320","18084499292160","11322469122048","3938250129408","587068342272"],["20047612231936","167353980370944","611205841354752","1275560016740352","1663773934878720","1388889545637888","724638023811072","216041149956096","28179280429056"],["922190162669056","8660568484196352","36148459760123904","88013641155084288","137760481807958016","143750067973521408","100000047285927936","44720518040911872","11666222097629184","1352605460594688"],["42420747482776576","442651278081146880","2078536436207124480","5783753561619824640","10561636938610114560","13225006253563969536","11500005437881712640","6857146099606487040","2683231082454712320","622198511873556480","64925062108545024"],["1951354384207722496","22398154670906032128","116859937413422776320","365822412772453908480","763455470133816852480","1115308860717228097536","1163800550313629319168","867428981600220610560","452571642574028144640","157416223504009789440","32852081426923782144","3116402981210161152"],["89762301673555234816","1123980125303648157696","6450668545220937252864","22437107983377173053440","52678427439233362821120","87950070159415701405696","107069650628853897363456","95764159568664355405824","62454886675215883960320","28964585124737801256960","9067174473830963871744","1720254445628008955904","149587343098087735296"],["4129065876983540801536","56011676244298466525184","350681799094738225201152","1341739057405954948595712","3500188845406838996336640","6574267744416323680075776","9146807296579232946192384","9544494570343547422113792","7469604446355819721654272","4330205476148301287915520","1807390111783638798434304","514356079242774677815296","89453231172656465707008","7180192468708211294208"],["189937030341242876870656","2774732269332939418632192","18819923218084284752461824","78552722997221362445058048","225412161644200431364079616","470425380822679161107644416","736317987374628252168486912","878093500471606362834468864","801737543908857983457558528","557730465327901205883518976","290989807997165846547922944","110415105010782297504350208","28803940437595381957656576","4624043949848088073469952","344649238497994142121984"],["8737103395697172336050176","136754661845694871346872320","998903616959858190707589120","4516781572340228340590837760","14139490139499845240110448640","32459351276764862116427464704","56451045698721499332917329920","75735564415676048794472939520","79028415042444572655102197760","64139003512708638676604682240","40156593503608886823613366272","19046605614359946319500410880","6624906300646937850261012480","1595295162697590385347133440","237807974563615958064168960","16543163447903718821855232"],["401906756202069927458308096","6710095407895428354086535168","52513790148746830597198970880","255719325941723696821142814720","867222061889323841393440849920","2171825685427176228880964911104","4154796963425902350902715482112","6193486156659730212525787054080","7270614183904900684269402193920","6743758083621936866568720875520","4925875469776023450363239596032","2803660346433784098230460481536","1218982759319036564448026296320","391379079915142174538496737280","87513334639410672567614177280","12175768297657137052885450752","794071845499378503449051136"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["8836","830584","78074896","7339040224","689869781056","64847759419264","6095689385410816","572994802228616704","53861511409489970176","5062982072492057196544","475920314814253376475136","44736509592539817388662784","4205231901698742834534301696","395291798759681826446224359424","37157429083410091685945089785856"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["2116","4416","2304"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["46","48"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":201222,"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-4d5cc40657cd7de6"]},{"id":201223,"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-4d5cc40657cd7de6"]},{"id":201224,"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-4d5cc40657cd7de6"]}],"region_exact":{},"incoming_edges":[{"id":"e-4d5cc40657cd7de6","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-f7d94fed0ec64a12","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":"6b67fd7d38c3ddaf7bb46feb45b074851e97d2f49ec080ef955d52352a67130d","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-2a3c7d06bf210d3a","role":"sequence","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^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-02c1bef2349bddfc","kind":"fingerprint_related","node_a_id":"n-1473f71bb1b53b4e","node_b_id":"n-f7d94fed0ec64a12","fingerprint":"f6-723ac5bf98d71a32","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-723ac5bf98d71a32"},"other_id":"n-1473f71bb1b53b4e","other":{"id":"n-1473f71bb1b53b4e","name":"reversal of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*12^j.","first_index":0,"fingerprint":"f6-723ac5bf98d71a32","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["24","23"],["576","1104","529"]],"card_rows":[["1"],["24","23"],["576","1104","529"],["13824","39744","38088","12167"]],"row_sums_preview":["1","47","2209","103823","4879681","229345007","10779215329","506623120463"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-9e472291b944d56e","steps":["basis A013609","reverse"],"edges":["e-15af34f262d68ea6","e-1251e689027c617a"],"text":"A038326 \u2192 basis A013609 \u2192 reverse"},"headline":"A038326 \u2192 basis A013609 \u2192 reverse","chain":null}},{"id":"l-581f6db7f0922369","kind":"fingerprint_related","node_a_id":"n-3afaca41e5482e8c","node_b_id":"n-f7d94fed0ec64a12","fingerprint":"f6-723ac5bf98d71a32","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-723ac5bf98d71a32"},"other_id":"n-3afaca41e5482e8c","other":{"id":"n-3afaca41e5482e8c","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*12^j.","first_index":0,"fingerprint":"f6-723ac5bf98d71a32","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["23","24"],["529","1104","576"]],"card_rows":[["1"],["23","24"],["529","1104","576"],["12167","38088","39744","13824"]],"row_sums_preview":["1","47","2209","103823","4879681","229345007","10779215329","506623120463"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-9e472291b944d56e","steps":["basis A013609"],"edges":["e-15af34f262d68ea6"],"text":"A038326 \u2192 basis A013609"},"headline":"A038326 \u2192 basis A013609","chain":null}},{"id":"l-708acfa3803762f7","kind":"fingerprint_related","node_a_id":"n-3e24a2a5ce552865","node_b_id":"n-f7d94fed0ec64a12","fingerprint":"f6-723ac5bf98d71a32","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-723ac5bf98d71a32"},"other_id":"n-3e24a2a5ce552865","other":{"id":"n-3e24a2a5ce552865","name":"basis_map_A013609 of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","first_index":0,"fingerprint":"f6-723ac5bf98d71a32","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["529","1104","576"],["12167","38088","39744","13824"],["279841","1168032","1828224","1271808","331776"]],"card_rows":[["529","1104","576"],["12167","38088","39744","13824"],["279841","1168032","1828224","1271808","331776"],["6436343","33580920","70081920","73128960","38154240","7962624"]],"row_sums_preview":["2209","103823","4879681","229345007","10779215329","506623120463","23811286661761","1119130473102767"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-108b34f10b7468f4","steps":["basis A013611","basis A013609"],"edges":["e-8f18b93eb5dfe7b3","e-5a234ac48b943e8b"],"text":"A038281 \u2192 basis A013611 \u2192 basis A013609"},"headline":"A038281 \u2192 basis A013611 \u2192 basis A013609","chain":null}},{"id":"l-9055e3e1b473d10d","kind":"fingerprint_related","node_a_id":"n-55fdb7333755864e","node_b_id":"n-f7d94fed0ec64a12","fingerprint":"f6-723ac5bf98d71a32","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-723ac5bf98d71a32"},"other_id":"n-55fdb7333755864e","other":{"id":"n-55fdb7333755864e","name":"derivative of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*12^j.","first_index":0,"fingerprint":"f6-723ac5bf98d71a32","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["24"],["1104","1152"]],"card_rows":[["24"],["1104","1152"],["38088","79488","41472"],["1168032","3656448","3815424","1327104"]],"row_sums_preview":["0","24","2256","159048","9967008","585561720","33025681008","1810908175272"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-9e472291b944d56e","steps":["basis A013609","D"],"edges":["e-15af34f262d68ea6","e-c652f7bfa7ae035f"],"text":"A038326 \u2192 basis A013609 \u2192 D"},"headline":"A038326 \u2192 basis A013609 \u2192 D","chain":null}}],"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:                2116,                 4416,                  2304;\n  1:               97336,               304704,                317952,                110592;\n  2:             4477456,             18688512,              29251584,              20348928,               5308416;\n  3:           205962976,           1074589440,            2242621440,            2340126720,            1220935680,              254803968;\n  4:          9474296896,          59317337088,          154740879360,          215291658240,          168489123840,            70325895168,            12230590464;\n  5:        435817657216,        3183363757056,         9965312630784,        17330978488320,        18084499292160,         11322469122048,          3938250129408,          587068342272;\n  6:      20047612231936,      167353980370944,       611205841354752,      1275560016740352,      1663773934878720,       1388889545637888,        724638023811072,       216041149956096,        28179280429056;\n  7:     922190162669056,     8660568484196352,     36148459760123904,     88013641155084288,    137760481807958016,     143750067973521408,     100000047285927936,     44720518040911872,     11666222097629184,      1352605460594688;\n  8:   42420747482776576,   442651278081146880,   2078536436207124480,   5783753561619824640,  10561636938610114560,   13225006253563969536,   11500005437881712640,   6857146099606487040,   2683231082454712320,    622198511873556480,    64925062108545024;\n  9: 1951354384207722496, 22398154670906032128, 116859937413422776320, 365822412772453908480, 763455470133816852480, 1115308860717228097536, 1163800550313629319168, 867428981600220610560, 452571642574028144640, 157416223504009789440, 32852081426923782144, 3116402981210161152;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (46+48*x)*P(n-1,x) for n >= 1, with P(0,x) = 2116 + 4416*x + 2304*x^2.","mathematica":"P[0, x_] := 2116 + 4416*x + 2304*x^2;\nP[n_, x_] := P[n, x] = Expand[(46 + 48*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] = 2116 + 4416*x + 2304*x^2; for(n = 1, N, my(i = n + 1); v[i] = (46 + 48*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-29d7c5a1e19b9d74","steps":["basis A013609","basis A013609"],"edges":["e-61350e73fec19600","e-4d5cc40657cd7de6"],"text":"A038314 \u2192 basis A013609 \u2192 basis A013609"},"headline":"A038314 \u2192 basis A013609 \u2192 basis A013609","chain":null}