{"id":"n-1f571e6a0df94da8","revision":0,"first_index":0,"fingerprint":"f6-5e3baf07c55bade9","name":"basis_map_A013610 of basis_map_A013610 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":true,"rows":[["1936","6336","5184"],["85184","418176","684288","373248"],["3748096","24532992","60217344","65691648","26873856"],["164916224","1349314560","4415938560","7226081280","5912248320","1934917632"],["7256313856","71243808768","291451944960","635895152640","780416778240","510818254848","139314069504"],["319277809664","3657182183424","17953439809536","48963926753280","80122789232640","78666011246592","42908733407232","10030613004288"],["14048223625216","183904018366464","1053268468826112","3447060443430912","7050805452472320","9230145319600128","7551937079672832","3530775777509376","722204136308736"],["618121839509504","9103248909139968","59584901950734336","227505989266440192","558423791835807744","913784386640412672","996855694516813824","699093603946856448","285992837978259456","51998697814228992"],["27197360938418176","445047724446842880","3277169607290388480","14300376468176240640","40951078067959234560","80413026024356315136","109654126396849520640","102533728578872279040","62918424355217080320","22879427038260756480","3743906242624487424"],["1196683881290399744","21540309863227195392","176238898880949780480","865172776324662558720","2831474540698895646720","6486650765964742754304","10614519435215033597952","12406581158043545763840","10150839129308355624960","5536821343259103068160","1812050621430251913216","269561249468963094528"],["52654090776777588736","1033934873434905378816","9305413860914148409344","50756802877713536778240","186877319686127112683520","489278800632769167753216","934077710298922956619776","1310134970289398432661504","1339910765068702942494720","974480556413602139996160","478381364057586505089024","142328339719612513910784","19408409961765342806016"],["2316779994178213904384","49284228967063823056896","483881520767535717285888","2903289124605214303715328","11877091873384967606108160","34983434245242995494354944","76327492898711990169501696","124899533834255983913730048","153285791523859616621395968","139350719567145106019450880","91211380080313160303640576","40705905159809178978484224","11101610498129776085041152","1397405517247104682033152"],["101938319743841411792896","2335314234131639615619072","24839251399400166820675584","162584190977892001008058368","731628859400514004536262656","2394421721674409469391405056","5877216953200823243051630592","10991158977414526584408244224","15737341263116253973129986048","17168008650672277061596348416","14046552532368226686760648704","8358279192814151416915427328","3419296033423971034192674816","860801798624216484132421632","100613197241791537106386944"],["4485286068729022118887424","110093385323348724736327680","1261069686431085392434298880","8942130503784060055443210240","43897731564030840272175759360","158031833630511024979832733696","430995909901393704490452910080","906770615636698443213680148480","1483806461950961088895112970240","1888480951573950476775598325760","1854144934272605922652405628928","1379116066814334983791045509120","752245127353273627522388459520","284064593545991439763699138560","66404710179582414490215383040","7244150201408990671659859968"],["197352587024076973231046656","5167049551175833480958312448","63413789946248865448124743680","484250759589536790694770769920","2575333585089809295967644549120","10114037352352705598709294956544","30342112057058116796127884869632","70929612600915078224714536058880","130574968651684575822769941381120","189927227129723019378574460190720","217553005621319094924548927127552","194179542207458365717779207684096","132395142414176158443940368875520","66660491285459324531214731182080","23374457983213009900555814830080","5099881741791929432848541417472","521578814501447328359509917696"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["13456","1560896","181063936","21003416576","2436396322816","282621973446656","32784148919812096","3802961274698203136","441143507864991563776","51172646912339021398016","5936027041831326482169856","688579136852433871931703296","79875179874882329144077582336","9265520865486350180712999550976","1074800420396416620962707947913216"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1936","6336","5184"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["44","72"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":204049,"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-76c4d64c4a1a3d38"]},{"id":204050,"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-76c4d64c4a1a3d38"]},{"id":204051,"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-76c4d64c4a1a3d38"]}],"region_exact":{},"incoming_edges":[{"id":"e-76c4d64c4a1a3d38","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-1f571e6a0df94da8","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":"ca2740d60f07a77b32b3d5bd315b3e9a9931272a0f75393efcb04547ea04f149","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-6081e8199e2268e3","role":"sequence","name":"basis_map_A013610 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-4c8b77348c78ca58","kind":"fingerprint_related","node_a_id":"n-1ab9a5b82290fb1b","node_b_id":"n-1f571e6a0df94da8","fingerprint":"f6-5e3baf07c55bade9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5e3baf07c55bade9"},"other_id":"n-1ab9a5b82290fb1b","other":{"id":"n-1ab9a5b82290fb1b","name":"mobius_x_over_x_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^j.","first_index":0,"fingerprint":"f6-5e3baf07c55bade9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","396","324"],["1331","6534","10692","5832"],["14641","95832","235224","256608","104976"]],"card_rows":[["121","396","324"],["1331","6534","10692","5832"],["14641","95832","235224","256608","104976"],["161051","1317690","4312440","7056720","5773680","1889568"]],"row_sums_preview":["841","24389","707281","20511149","594823321","17249876309","500246412961","14507145975869"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-7dcf11eddf2b9a8a","steps":["x \u21a6 x/(x+1)"],"edges":["e-301241b1fa993a9c"],"text":"A038321 \u2192 x \u21a6 x/(x+1)"},"headline":"A038321 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-605e23ed49e4f1c1","kind":"fingerprint_related","node_a_id":"n-d2377120f9386969","node_b_id":"n-1f571e6a0df94da8","fingerprint":"f6-5e3baf07c55bade9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5e3baf07c55bade9"},"other_id":"n-d2377120f9386969","other":{"id":"n-d2377120f9386969","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^j.","first_index":0,"fingerprint":"f6-5e3baf07c55bade9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["484","1584","1296"],["10648","52272","85536","46656"],["234256","1533312","3763584","4105728","1679616"]],"card_rows":[["484","1584","1296"],["10648","52272","85536","46656"],["234256","1533312","3763584","4105728","1679616"],["5153632","42166080","137998080","225815040","184757760","60466176"]],"row_sums_preview":["3364","195112","11316496","656356768","38068692544","2207984167552","128063081718016","7427658739644928"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-29d7c5a1e19b9d74","steps":["basis A013610"],"edges":["e-0be1d4b95988d4e0"],"text":"A038314 \u2192 basis A013610"},"headline":"A038314 \u2192 basis A013610","chain":null}},{"id":"l-9cb3fdb9fef94670","kind":"fingerprint_related","node_a_id":"n-80e5c51bf45dc008","node_b_id":"n-1f571e6a0df94da8","fingerprint":"f6-5e3baf07c55bade9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5e3baf07c55bade9"},"other_id":"n-80e5c51bf45dc008","other":{"id":"n-80e5c51bf45dc008","name":"derivative of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","first_index":0,"fingerprint":"f6-5e3baf07c55bade9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["11"],["396","242"]],"card_rows":[["11"],["396","242"],["10692","13068","3993"],["256608","470448","287496","58564"]],"row_sums_preview":["0","11","638","27753","1073116","38900455","1353735834","45801395717"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b7cf68162d40a956","steps":["x \u21a6 x+1","D"],"edges":["e-9e4137eebf66e3b4","e-5c805ba05981afbd"],"text":"A038277 \u2192 x \u21a6 x+1 \u2192 D"},"headline":"A038277 \u2192 x \u21a6 x+1 \u2192 D","chain":null}},{"id":"l-d2cd0b484054112e","kind":"fingerprint_related","node_a_id":"n-38b5012fcc6605fc","node_b_id":"n-1f571e6a0df94da8","fingerprint":"f6-5e3baf07c55bade9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5e3baf07c55bade9"},"other_id":"n-38b5012fcc6605fc","other":{"id":"n-38b5012fcc6605fc","name":"reversal of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","first_index":0,"fingerprint":"f6-5e3baf07c55bade9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","18"],["121","396","324"]],"card_rows":[["1"],["11","18"],["121","396","324"],["1331","6534","10692","5832"]],"row_sums_preview":["1","29","841","24389","707281","20511149","594823321","17249876309"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-01cea33b6485d9cc","steps":["basis A013610","basis A013610"],"edges":["e-32b2129ae50cd22c","e-6ad157539e5db0e9"],"text":"A038220 \u2192 basis A013610 \u2192 basis A013610"},"headline":"A038220 \u2192 basis A013610 \u2192 basis A013610","chain":null}},{"id":"l-ea4b7867066f7c38","kind":"fingerprint_related","node_a_id":"n-77900e9176a9461a","node_b_id":"n-1f571e6a0df94da8","fingerprint":"f6-5e3baf07c55bade9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5e3baf07c55bade9"},"other_id":"n-77900e9176a9461a","other":{"id":"n-77900e9176a9461a","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","first_index":0,"fingerprint":"f6-5e3baf07c55bade9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["18","11"],["324","396","121"]],"card_rows":[["1"],["18","11"],["324","396","121"],["5832","10692","6534","1331"]],"row_sums_preview":["1","29","841","24389","707281","20511149","594823321","17249876309"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b7cf68162d40a956","steps":["x \u21a6 x+1"],"edges":["e-9e4137eebf66e3b4"],"text":"A038277 \u2192 x \u21a6 x+1"},"headline":"A038277 \u2192 x \u21a6 x+1","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:                1936,                 6336,                  5184;\n  1:               85184,               418176,                684288,                373248;\n  2:             3748096,             24532992,              60217344,              65691648,               26873856;\n  3:           164916224,           1349314560,            4415938560,            7226081280,             5912248320,             1934917632;\n  4:          7256313856,          71243808768,          291451944960,          635895152640,           780416778240,           510818254848,            139314069504;\n  5:        319277809664,        3657182183424,        17953439809536,        48963926753280,         80122789232640,         78666011246592,          42908733407232,          10030613004288;\n  6:      14048223625216,      183904018366464,      1053268468826112,      3447060443430912,       7050805452472320,       9230145319600128,        7551937079672832,        3530775777509376,         722204136308736;\n  7:     618121839509504,     9103248909139968,     59584901950734336,    227505989266440192,     558423791835807744,     913784386640412672,      996855694516813824,      699093603946856448,      285992837978259456,      51998697814228992;\n  8:   27197360938418176,   445047724446842880,   3277169607290388480,  14300376468176240640,   40951078067959234560,   80413026024356315136,   109654126396849520640,   102533728578872279040,    62918424355217080320,   22879427038260756480,    3743906242624487424;\n  9: 1196683881290399744, 21540309863227195392, 176238898880949780480, 865172776324662558720, 2831474540698895646720, 6486650765964742754304, 10614519435215033597952, 12406581158043545763840, 10150839129308355624960, 5536821343259103068160, 1812050621430251913216, 269561249468963094528;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (44+72*x)*P(n-1,x) for n >= 1, with P(0,x) = 1936 + 6336*x + 5184*x^2.","mathematica":"P[0, x_] := 1936 + 6336*x + 5184*x^2;\nP[n_, x_] := P[n, x] = Expand[(44 + 72*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] = 1936 + 6336*x + 5184*x^2; for(n = 1, N, my(i = n + 1); v[i] = (44 + 72*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-6874f381e9c7e0a2","steps":["basis A013610","basis A013610"],"edges":["e-889e30cc3b49f76a","e-76c4d64c4a1a3d38"],"text":"A038334 \u2192 basis A013610 \u2192 basis A013610"},"headline":"A038334 \u2192 basis A013610 \u2192 basis A013610","chain":null}