{"id":"n-1bf987212f59a9c9","revision":0,"first_index":0,"fingerprint":"f6-65e248b1aaac025a","name":"basis_map_A008277 of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^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":false,"rows":[["1296","1408","256"],["46656","93952","39936","4096"],["1679616","5632000","4218880","983040","65536"],["60466176","319737856","376995840","150077440","22282240","1048576"],["2176782336","17593827328","30751522816","18638438400","4629463040","478150656","16777216"],["78364164096","949707538432","2372604788736","2057653190656","761161318400","129536884736","9865003008","268435456"],["2821109907456","50638618624000","176532446248960","210804544634880","109038582890496","27204859723776","3374770552832","197568495616","4294967296"],["101559956668416","2678345926967296","12814424242913280","20532100889313280","14276731003207680","4900381054205952","880747468554240","83236466196480","3865470566400","68719476736"],["3656158440062976","140898947508994048","914234383349579776","1929727262588928000","1756186714549780480","796871898339213312","194664762716454912","26410956493946880","1965720632033280","74217034874880","1099511627776"],["131621703842267136","7385243805508698112","64422321227915329536","176724840191063228416","206494307656400896000","120536127640145231872","38445699051999461376","7023457764567416832","744953487556608000","44810596390010880","1402976837042176","17592186044416"],["4738381338321616896","386138625147928576000","4498881744386381578240","15875643715695956459520","23477028208697101254656","17286099728759261233152","7003410317106252611584","1654602933987969073152","234547696192362381312","19985163151107686400","991953002300440576","26177172834091008","281474976710656"],["170581728179578208256","20155022609105431822336","312102176620640804536320","1405536180028642447851520","2601713120320845428817920","2380820019875227923120128","1201027757518173524459520","356935799303919464611840","64939469119354935705600","7350092506277181652992","514185398868609335296","21420808677634342912","483011060035485696","4503599627370496"],["6140942214464815497216","1050790483324355706093568","21545428371949261617627136","123058673948336218492108800","282659890912542822047416320","317802532230659965943021568","196628784310402551998578688","72042942417270857153904640","16361045724436920889507840","2362048157039571668828160","218381818278682336165888","12768177821556230062080","452859460530240225280","8827055269646172160","72057594037927936"],["221073919720733357899776","54739360208297933764820992","1481901777025739481296142336","10681655465611430539219173376","30234927874427661700615372800","41387651993357241202149163008","31039840044663696318900731904","13808416026722527690755145728","3835898577483988740341760000","686945399858113634621194240","80595606895254884589764608","6200962790628838151815168","307542802145794452357120","9399552854277509611520","159967858764200017920","1152921504606846976"],["7958661109946400884391936","2849983913547024289497088000","101645150601083051668374814720","920969487543771996995148840960","3194399274892549058689044054016","5284726477220282566659148873728","4759461317789323773329283219456","2540283012669553239334173278208","850022023134934596468130971648","185024549214204274077283123200","26787865349199775533532971008","2604133821937391841621049344","169335163539302545566466048","7214175730776423582924800","191984488947132158443520","2877692075498690052096","18446744073709551616"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["2960","184640","12579072","930608128","74284961792","6359161323520","580616796045312","56271461198069760","5764692121165496320","621954803694412234752","70442094926112753713152","8351286313352572627320832","1033749889252850622823137280","133299311266440082038531817472","17868957979031394540959830114304"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A008277","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1296","1408","256"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["36","16"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","16"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":198196,"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-5fd8ac66802137f6"]},{"id":198197,"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-5fd8ac66802137f6"]},{"id":198198,"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-5fd8ac66802137f6"]}],"region_exact":{},"incoming_edges":[{"id":"e-5fd8ac66802137f6","operation":{"map":"A008277","operation":"basis_map"},"operation_detail":"A008277","conclusion_id":"n-1bf987212f59a9c9","premise_count":1,"theorem":"ray basis maps: for L f = (a + b t) f + kappa (t - h) f', b > 0, kappa >= 0, and g real-rooted with every root <= h, of multiplicity m at h, T(u^k) = L^k g sends every real polynomial with all roots in S to one with all roots in (-inf, h] if and only if S lies in (-inf, a + b h + kappa m] (RealRooted rayBasisMap_maps_realRootedIn_iff; the step is Ma and Wang, EJC 15 (2008) R17, Theorem 2)","lean_route":null,"lean_declarations":[],"certificate_hash":"0472da1ddb15f6f744bc974ef905674a5fd4f50940e11da8e3065d9518da4019","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-7e007679d5feba96","role":"sequence","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^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-e548b3f4f8aa7820","kind":"fingerprint_related","node_a_id":"n-28c47f7742a98cf2","node_b_id":"n-1bf987212f59a9c9","fingerprint":"f6-65e248b1aaac025a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-65e248b1aaac025a"},"other_id":"n-28c47f7742a98cf2","other":{"id":"n-28c47f7742a98cf2","name":"basis_map_A008277 of basis_map_A007318 of Triangle of coefficients in expansion of (1+4x)^n.","first_index":0,"fingerprint":"f6-65e248b1aaac025a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["9","4"],["81","88","16"]],"card_rows":[["1"],["9","4"],["81","88","16"],["729","1468","624","64"]],"row_sums_preview":["1","13","185","2885","49137","908797","18135977","388132405"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2e0409c0014ec240","steps":["basis A007318","basis A008277"],"edges":["e-13c78408b476aecd","e-c2461953ba27deea"],"text":"A013611 \u2192 basis A007318 \u2192 basis A008277"},"headline":"A013611 \u2192 basis A007318 \u2192 basis A008277","chain":null}},{"id":"l-eaae990f72045392","kind":"fingerprint_related","node_a_id":"n-47b7c605b3a36a4e","node_b_id":"n-1bf987212f59a9c9","fingerprint":"f6-65e248b1aaac025a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-65e248b1aaac025a"},"other_id":"n-47b7c605b3a36a4e","other":{"id":"n-47b7c605b3a36a4e","name":"basis_map_A008277 of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^j.","first_index":0,"fingerprint":"f6-65e248b1aaac025a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["729","792","144"],["19683","39636","16848","1728"],["531441","1782000","1334880","311040","20736"]],"card_rows":[["729","792","144"],["19683","39636","16848","1728"],["531441","1782000","1334880","311040","20736"],["14348907","75875292","89462880","35614080","5287680","248832"]],"row_sums_preview":["1665","77895","3980097","220837671","13221127233","848845569735","58127239972737","4225125010534695"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-615df6ea54d3bbef","steps":["basis A013611","basis A008277"],"edges":["e-a5d7492b5780a0c3","e-224ee59cff76398f"],"text":"A038329 \u2192 basis A013611 \u2192 basis A008277"},"headline":"A038329 \u2192 basis A013611 \u2192 basis A008277","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:               1296,                1408,                  256;\n  1:              46656,               93952,                39936,                  4096;\n  2:            1679616,             5632000,              4218880,                983040,                 65536;\n  3:           60466176,           319737856,            376995840,             150077440,              22282240,               1048576;\n  4:         2176782336,         17593827328,          30751522816,           18638438400,            4629463040,             478150656,             16777216;\n  5:        78364164096,        949707538432,        2372604788736,         2057653190656,          761161318400,          129536884736,           9865003008,           268435456;\n  6:      2821109907456,      50638618624000,      176532446248960,       210804544634880,       109038582890496,        27204859723776,        3374770552832,        197568495616,         4294967296;\n  7:    101559956668416,    2678345926967296,    12814424242913280,     20532100889313280,     14276731003207680,      4900381054205952,      880747468554240,      83236466196480,      3865470566400,       68719476736;\n  8:   3656158440062976,  140898947508994048,   914234383349579776,   1929727262588928000,   1756186714549780480,    796871898339213312,   194664762716454912,   26410956493946880,   1965720632033280,    74217034874880,    1099511627776;\n  9: 131621703842267136, 7385243805508698112, 64422321227915329536, 176724840191063228416, 206494307656400896000, 120536127640145231872, 38445699051999461376, 7023457764567416832, 744953487556608000, 44810596390010880, 1402976837042176, 17592186044416;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (36+16*x)*P(n-1,x) + 16*x*d/dx P(n-1,x) for n >= 1, with P(0,x) = 1296 + 1408*x + 256*x^2.","mathematica":"P[0, x_] := 1296 + 1408*x + 256*x^2;\nP[n_, x_] := P[n, x] = Expand[(36 + 16*x)*P[n - 1, x] + 16*x*D[P[n - 1, x], x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1296 + 1408*x + 256*x^2; for(n = 1, N, my(i = n + 1); v[i] = (36 + 16*x)*v[i - 1] + 16*x*deriv(v[i - 1], x)); 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-6874f381e9c7e0a2","steps":["basis A013609","basis A008277"],"edges":["e-4eca5e8e987e069c","e-5fd8ac66802137f6"],"text":"A038334 \u2192 basis A013609 \u2192 basis A008277"},"headline":"A038334 \u2192 basis A013609 \u2192 basis A008277","chain":null}