{"id":"n-632744cf91a665f1","revision":1,"first_index":0,"fingerprint":"f6-590b4d5bb5323b01","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^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":[["484","1760","1600"],["10648","58080","105600","64000"],["234256","1703680","4646400","5632000","2560000"],["5153632","46851200","170368000","309760000","281600000","102400000"],["113379904","1236871680","5622144000","13629440000","18585600000","13516800000","4096000000"],["2494357888","31746373120","173162035200","524733440000","954060800000","1040793600000","630784000000","163840000000"],["54875873536","798194524160","5079419699200","18470617088000","41978675200000","61059891200000","55508992000000","28835840000000","6553600000000"],["1207269217792","19755314472960","143675014348800","609530363904000","1662355537920000","3022464614400000","3663593472000000","2854748160000000","1297612800000000","262144000000000"],["26559922791424","482907687116800","3951062894592000","19156668579840000","60953036390400000","132988443033600000","201497640960000000","209348198400000000","142737408000000000","57671680000000000","10485760000000000"],["584318301411328","11686366028226560","106239691165696000","579489224540160000","2107233543782400000","5363867202355200000","9752485822464000000","12665566003200000000","11514150912000000000","6978273280000000000","2537553920000000000","419430400000000000"],["12855002631049216","280472784677437440","2804727846774374400","16998350586511360000","69538706944819200000","202294420203110400000","429109376188416000000","668741884968960000000","759933960192000000000","614088048640000000000","334957117440000000000","110729625600000000000","16777216000000000000"],["282810057883082752","6684601368145592320","72922924016133734400","486152826774224896000","2209785576246476800000","7232025522261196800000","17532183084269568000000","31876696516853760000000","43468222522982400000000","43907295477760000000000","31932578529280000000000","15834336460800000000000","4798283776000000000000","671088640000000000000"],["6221821273427820544","158373632414526341120","1871688383080765849600","13612279149678297088000","68061395748391485440000","247495984539605401600000","674989048744378368000000","1402574646741565440000000","2231368756179763200000000","2704689401430016000000000","2458808546754560000000000","1625658543308800000000000","738935701504000000000000","206695301120000000000000","26843545600000000000000"],["136880068015412051968","3733092764056692326400","47512089724357902336000","374337676616153169920000","2041841872451744563200000","8167367489806978252800000","24749598453960540160000000","57856204178089574400000000","105193098505617408000000000","148757917078650880000000000","162281364085800960000000000","134116829822976000000000000","81282927165440000000000000","34104724684800000000000000","8858370048000000000000000","1073741824000000000000000"],["3011361496339065143296","87603243529863713259520","1194589684498141544448000","10135912474529685831680000","59894028258584507187200000","261355759673823304089600000","871185865579411013632000000","2262820430076392243200000000","4628496334247165952000000000","7480398115955015680000000000","9520506693033656320000000000","9441824819537510400000000000","7152897590558720000000000000","4001621029683200000000000000","1559073128448000000000000000","377957122048000000000000000","42949672960000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["3844","238328","14776336","916132832","56800235584","3521614606208","218340105584896","13537086546263552","839299365868340224","52036560683837093888","3226266762397899821056","200028539268669788905472","12401769434657526912139264","768909704948766668552634368","47672401706823533450263330816"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["484","1760","1600"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["22","40"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":168288,"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-865f1fe93a5cf324"]},{"id":168289,"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-865f1fe93a5cf324"]},{"id":168290,"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-865f1fe93a5cf324"]}],"region_exact":{},"incoming_edges":[{"id":"e-865f1fe93a5cf324","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-632744cf91a665f1","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":"1e6bb73f606fafb910f3de81569a8de2a5a966d414fc9fc56f772757dd25880f","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-ec89fb3fc20684fc","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^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-4cc401a68bdd5947","kind":"fingerprint_related","node_a_id":"n-c02d1829f7ed6fe0","node_b_id":"n-632744cf91a665f1","fingerprint":"f6-590b4d5bb5323b01","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-590b4d5bb5323b01"},"other_id":"n-c02d1829f7ed6fe0","other":{"id":"n-c02d1829f7ed6fe0","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^j.","first_index":0,"fingerprint":"f6-590b4d5bb5323b01","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["400","440","121"],["8000","13200","7260","1331"],["160000","352000","290400","106480","14641"]],"card_rows":[["400","440","121"],["8000","13200","7260","1331"],["160000","352000","290400","106480","14641"],["3200000","8800000","9680000","5324000","1464100","161051"]],"row_sums_preview":["961","29791","923521","28629151","887503681","27512614111","852891037441","26439622160671"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cfc5b48d32898a3e","steps":["basis A007318"],"edges":["e-337d052427983e0b"],"text":"A038301 \u2192 basis A007318"},"headline":"A038301 \u2192 basis A007318","chain":null}},{"id":"l-cddad703f6c39939","kind":"fingerprint_related","node_a_id":"n-b203eb852c56fa2f","node_b_id":"n-632744cf91a665f1","fingerprint":"f6-590b4d5bb5323b01","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-590b4d5bb5323b01"},"other_id":"n-b203eb852c56fa2f","other":{"id":"n-b203eb852c56fa2f","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j)*5^j.","first_index":0,"fingerprint":"f6-590b4d5bb5323b01","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","20"],["121","440","400"]],"card_rows":[["1"],["11","20"],["121","440","400"],["1331","7260","13200","8000"]],"row_sums_preview":["1","31","961","29791","923521","28629151","887503681","27512614111"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e6ebe74518d42cbe","steps":["basis A013611"],"edges":["e-17e7dceca4b24148"],"text":"A038259 \u2192 basis A013611"},"headline":"A038259 \u2192 basis A013611","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:             484,              1760,               1600;\n  1:           10648,             58080,             105600,              64000;\n  2:          234256,           1703680,            4646400,            5632000,             2560000;\n  3:         5153632,          46851200,          170368000,          309760000,           281600000,           102400000;\n  4:       113379904,        1236871680,         5622144000,        13629440000,         18585600000,         13516800000,          4096000000;\n  5:      2494357888,       31746373120,       173162035200,       524733440000,        954060800000,       1040793600000,        630784000000,         163840000000;\n  6:     54875873536,      798194524160,      5079419699200,     18470617088000,      41978675200000,      61059891200000,      55508992000000,       28835840000000,        6553600000000;\n  7:   1207269217792,    19755314472960,    143675014348800,    609530363904000,    1662355537920000,    3022464614400000,    3663593472000000,     2854748160000000,     1297612800000000,     262144000000000;\n  8:  26559922791424,   482907687116800,   3951062894592000,  19156668579840000,   60953036390400000,  132988443033600000,  201497640960000000,   209348198400000000,   142737408000000000,   57671680000000000,   10485760000000000;\n  9: 584318301411328, 11686366028226560, 106239691165696000, 579489224540160000, 2107233543782400000, 5363867202355200000, 9752485822464000000, 12665566003200000000, 11514150912000000000, 6978273280000000000, 2537553920000000000, 419430400000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (22+40*x)*P(n-1,x) for n >= 1, with P(0,x) = 484 + 1760*x + 1600*x^2.","mathematica":"P[0, x_] := 484 + 1760*x + 1600*x^2;\nP[n_, x_] := P[n, x] = Expand[(22 + 40*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] = 484 + 1760*x + 1600*x^2; for(n = 1, N, my(i = n + 1); v[i] = (22 + 40*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-ec89fb3fc20684fc","steps":["basis A013611"],"edges":["e-865f1fe93a5cf324"],"text":"A038336 \u2192 basis A013611"},"headline":"A038336 \u2192 basis A013611","chain":null}