{"id":"n-ef03768afe1bf556","revision":1,"first_index":0,"fingerprint":"f6-d2d514e02d66ef29","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^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":[["196","56","4"],["2744","1176","168","8"],["38416","21952","4704","448","16"],["537824","384160","109760","15680","1120","32"],["7529536","6453888","2304960","439040","47040","2688","64"],["105413504","105413504","45177216","10756480","1536640","131712","6272","128"],["1475789056","1686616064","843308032","240945152","43025920","4917248","351232","14336","256"],["20661046784","26564203008","15179544576","5059848192","1084253184","154893312","14751744","903168","32256","512"],["289254654976","413220935680","265642030080","101196963840","25299240960","4337012736","516311040","42147840","2257920","71680","1024"],["4049565169664","6363602409472","4545430292480","1948041553920","556583301120","111316660224","15902380032","1622691840","115906560","5519360","157696","2048"],["56693912375296","97189564071936","76363228913664","36363442339840","11688249323520","2671599845376","445266640896","54522445824","4868075520","309084160","13246464","344064","4096"],["793714773254144","1474041721757696","1263464332935168","661814650585088","236362375208960","60778896482304","11576932663296","1653847523328","177197948928","14063329280","803618816","31309824","745472","8192"],["11112006825558016","22224013651116032","20636584104607744","11792333774061568","4632702554095616","1323629301170176","283634850250752","46307730653184","5788466331648","551282507776","39377321984","2045575168","73056256","1605632","16384"],["155568095557812224","333360204766740480","333360204766740480","206365841046077440","88442503305461760","27796215324573696","6618146505850880","1215577929646080","173653989949440","19294887772160","1653847523328","107392696320","5113937920","168591360","3440640","32768"],["2177953337809371136","4978179057849991168","5333763276267847680","3555842184178565120","1650926728368619520","566032021154955264","148246481731059712","30254384026746880","4862311718584320","617436408709120","61743640870912","4811192795136","286380523520","12588154880","385351680","7340032","65536"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["256","4096","65536","1048576","16777216","268435456","4294967296","68719476736","1099511627776","17592186044416","281474976710656","4503599627370496","72057594037927936","1152921504606846976","18446744073709551616"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A007318","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["196","56","4"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["14","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162033,"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-6073a5a63ce56264"]},{"id":162034,"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-6073a5a63ce56264"]},{"id":162035,"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-6073a5a63ce56264"]}],"region_exact":{},"incoming_edges":[{"id":"e-6073a5a63ce56264","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-ef03768afe1bf556","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":"471c1ff4f75493409bfe42ccb8cde6c96a556ba20d945654036622d8fc16a736","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-ea9b82d727693fb6","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^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-30fc5053dbb19571","kind":"fingerprint_related","node_a_id":"n-f211cb6153c37c6d","node_b_id":"n-ef03768afe1bf556","fingerprint":"f6-d2d514e02d66ef29","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-d2d514e02d66ef29"},"other_id":"n-f211cb6153c37c6d","other":{"id":"n-f211cb6153c37c6d","name":"Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j).","first_index":0,"fingerprint":"f6-d2d514e02d66ef29","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["7","1"],["49","14","1"]],"card_rows":[["1"],["7","1"],["49","14","1"],["343","147","21","1"]],"row_sums_preview":["1","8","64","512","4096","32768","262144","2097152"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A027466"],"derivation":{"root":"n-f211cb6153c37c6d","steps":[],"edges":[],"text":"A027466"},"headline":"A027466: Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j).","chain":null}},{"id":"l-1c9dc7824864169d","kind":"oeis_match","node_a_id":"n-ef03768afe1bf556","node_b_id":null,"fingerprint":null,"oeis_id":"A001025","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":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A001025","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A001025","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:           196,            56,             4;\n  1:          2744,          1176,           168,             8;\n  2:         38416,         21952,          4704,           448,           16;\n  3:        537824,        384160,        109760,         15680,         1120,           32;\n  4:       7529536,       6453888,       2304960,        439040,        47040,         2688,          64;\n  5:     105413504,     105413504,      45177216,      10756480,      1536640,       131712,        6272,        128;\n  6:    1475789056,    1686616064,     843308032,     240945152,     43025920,      4917248,      351232,      14336,       256;\n  7:   20661046784,   26564203008,   15179544576,    5059848192,   1084253184,    154893312,    14751744,     903168,     32256,     512;\n  8:  289254654976,  413220935680,  265642030080,  101196963840,  25299240960,   4337012736,   516311040,   42147840,   2257920,   71680,   1024;\n  9: 4049565169664, 6363602409472, 4545430292480, 1948041553920, 556583301120, 111316660224, 15902380032, 1622691840, 115906560, 5519360, 157696, 2048;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (14+2*x)*P(n-1,x) for n >= 1, with P(0,x) = 196 + 56*x + 4*x^2.","mathematica":"P[0, x_] := 196 + 56*x + 4*x^2;\nP[n_, x_] := P[n, x] = Expand[(14 + 2*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] = 196 + 56*x + 4*x^2; for(n = 1, N, my(i = n + 1); v[i] = (14 + 2*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-ea9b82d727693fb6","steps":["basis A007318"],"edges":["e-6073a5a63ce56264"],"text":"A038328 \u2192 basis A007318"},"headline":"A038328 \u2192 basis A007318","chain":null}