{"id":"n-8381edfecc6c9677","revision":0,"first_index":0,"fingerprint":"f6-e348a50f4e54dede","name":"basis_map_A013609 of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^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":[["4096","11264","7744"],["262144","1081344","1486848","681472"],["16777216","92274688","190316544","174456832","59969536"],["1073741824","7381975040","20300431360","27913093120","19190251520","5277319168"],["68719476736","566935683072","1948841410560","3572875919360","3684528291840","2026490560512","464404086784"],["4398046511104","42331197669376","174616190386176","400162102968320","550222891581440","453933885554688","208053030879232","40867559636992"],["281474976710656","3096224743817216","14900581579620352","40976599343955968","70428530122424320","77471383134666752","53261575905083392","20924190534139904","3596345248055296"],["18014398509481984","222928181554839552","1226104998551617536","3933753537019772928","8113366670103281664","11155879171392012288","10226222573776011264","6026166873832292352","2071494862879850496","316478381828866048"],["1152921504606846976","15852670688344145920","98088399884129402880","359657466241807810560","865425778144350044160","1427952533938177572864","1636195611804161802240","1285582266417555701760","662878356121552158720","202546164370474270720","27850097600940212224"],["73786976294838206464","1116028016459427872768","7672692613158566625280","31649857029279087329280","87037106830517490155520","167546430648746168549376","230376342142025981755392","226262478889489803509760","155555454236524239912960","71296249858406943293440","19606468711061909405696","2450808588882738675712"],["4722366482869645213696","77919046967349146025984","589262792690577916821504","2700787799831815452098560","8355562255729679054929920","18382236962605293920845824","29488171794179325664690176","34753916757425633819099136","29866647213412654063288320","18251839963752177483120640","7528883985047773211787264","1882220996261943302946816","215671155821681003462656"],["302231454903657293676544","5402387256402874124468224","44569694865323711526862848","224705544946007045614600192","772425310751899219300188160","1911752644110950567767965696","3504879847536742707574603776","4819209790363021222915080192","4969810096311865636131176448","3796382712460452916489093120","2088010491853249104069001216","783003934444968414025875456","179438401643638594880929792","18979061712307928304713728"],["19342813113834066795298816","372349152441305785809502208","3327870549944170460672425984","18303288024692937533698342912","69209307843370170049296859136","190325596569267967635566362624","392546542924115183248355622912","616858853166466716533130264576","742158307715905268328922349568","680311782072913162634845487104","467714350175127799311456272384","233857175087563899655728136192","80388403936350090506656546816","17005239294227903761023500288","1670157430683097690814808064"],["1237940039285380274899124224","25532513310260968169794437120","245750440611261818634271457280","1464263041975435002695867432960","6040085048148669386120453160960","18271257270649724893014370811904","41871631245238952879824599777280","74023062379976005983975631749120","101781710772467008227966493655040","108849885131666106021575277936640","89801155233624537467799604297728","56125722021015335917374752686080","25724289259632028962130094981120","8162514861229393805291280138240","1603351133455773783182215741440","146973853900112596791703109632"],["79228162514264337593543950336","1743019575313815427057966907392","17974889370423721591535283732480","115338873460218880212351403950080","515420590775353120948945336401920","1700887949558665299131519610126336","4287655039512468774894039017193472","8422179541899492236399005212344320","13028058978875777053179711187845120","15923183196403727509441869229588480","15326063826538587727837799133478912","11494547869903940795878349350109184","6585418050465799414305304315166720","2786138405966299752206090287185920","820915780329356176989294459617280","150501226393715299114703984263168","12933699143209908517669873647616"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["23104","3511808","533794816","81136812032","12332795428864","1874584905187328","284936905588473856","43310409649448026112","6583182266716099969024","1000643704540847195291648","152097843090208773684330496","23118872149711733600018235392","3514068566756183507202771779584","534138422146939893094821310496768","81189040166334863750412839195508736"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["4096","11264","7744"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["64","88"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":201240,"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-5898adfc55563eae"]},{"id":201241,"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-5898adfc55563eae"]},{"id":201242,"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-5898adfc55563eae"]}],"region_exact":{},"incoming_edges":[{"id":"e-5898adfc55563eae","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-8381edfecc6c9677","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":"af176ea928e6f7ee8ed60a150a4867495838301b4d0d6e5f4358e5db916460c0","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-586959989bac3453","role":"sequence","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^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-0db7c43c4edcbe95","kind":"fingerprint_related","node_a_id":"n-b3d9b43af875a5c4","node_b_id":"n-8381edfecc6c9677","fingerprint":"f6-e348a50f4e54dede","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-e348a50f4e54dede"},"other_id":"n-b3d9b43af875a5c4","other":{"id":"n-b3d9b43af875a5c4","name":"mobius_x_over_x_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","first_index":0,"fingerprint":"f6-e348a50f4e54dede","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["64","176","121"],["512","2112","2904","1331"],["4096","22528","46464","42592","14641"]],"card_rows":[["64","176","121"],["512","2112","2904","1331"],["4096","22528","46464","42592","14641"],["32768","225280","619520","851840","585640","161051"]],"row_sums_preview":["361","6859","130321","2476099","47045881","893871739","16983563041","322687697779"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-108b34f10b7468f4","steps":["x \u21a6 x/(x+1)"],"edges":["e-175134310e4c9ec8"],"text":"A038281 \u2192 x \u21a6 x/(x+1)"},"headline":"A038281 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-4eda36557598785e","kind":"fingerprint_related","node_a_id":"n-e6ce82432a2d62f1","node_b_id":"n-8381edfecc6c9677","fingerprint":"f6-e348a50f4e54dede","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-e348a50f4e54dede"},"other_id":"n-e6ce82432a2d62f1","other":{"id":"n-e6ce82432a2d62f1","name":"basis_map_A013609 of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j.","first_index":0,"fingerprint":"f6-e348a50f4e54dede","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["484","704","256"],["10648","23232","16896","4096"],["234256","681472","743424","360448","65536"]],"card_rows":[["484","704","256"],["10648","23232","16896","4096"],["234256","681472","743424","360448","65536"],["5153632","18740480","27258880","19824640","7208960","1048576"]],"row_sums_preview":["1444","54872","2085136","79235168","3010936384","114415582592","4347792138496","165216101262848"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ea9b82d727693fb6","steps":["basis A013611","basis A013609"],"edges":["e-0eb3975e7d8d74fc","e-08b8ba2164b96d10"],"text":"A038328 \u2192 basis A013611 \u2192 basis A013609"},"headline":"A038328 \u2192 basis A013611 \u2192 basis A013609","chain":null}},{"id":"l-78cc3d7c6c6165ca","kind":"fingerprint_related","node_a_id":"n-6f78dd889d006015","node_b_id":"n-8381edfecc6c9677","fingerprint":"f6-e348a50f4e54dede","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-e348a50f4e54dede"},"other_id":"n-6f78dd889d006015","other":{"id":"n-6f78dd889d006015","name":"derivative of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*8^j.","first_index":0,"fingerprint":"f6-e348a50f4e54dede","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["8"],["176","128"]],"card_rows":[["8"],["176","128"],["2904","4224","1536"],["42592","92928","67584","16384"]],"row_sums_preview":["0","8","304","8664","219488","5212840","118852752","2634569336"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2f02b2035f8f4541","steps":["D"],"edges":["e-6829052708e58dc8"],"text":"A038322 \u2192 D"},"headline":"A038322 \u2192 D","chain":null}},{"id":"l-81d8541129878798","kind":"fingerprint_related","node_a_id":"n-d8b9bf331a6f183a","node_b_id":"n-8381edfecc6c9677","fingerprint":"f6-e348a50f4e54dede","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-e348a50f4e54dede"},"other_id":"n-d8b9bf331a6f183a","other":{"id":"n-d8b9bf331a6f183a","name":"derivative of basis_map_A007318 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","first_index":0,"fingerprint":"f6-e348a50f4e54dede","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["176","128"],["2904","4224","1536"],["42592","92928","67584","16384"]],"card_rows":[["176","128"],["2904","4224","1536"],["42592","92928","67584","16384"],["585640","1703680","1858560","901120","163840"]],"row_sums_preview":["304","8664","219488","5212840","118852752","2634569336","57207791296","1222816538952"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-26633b980c3508e8","steps":["basis A007318","D"],"edges":["e-0566c972c7be0ca0","e-0ec9ff8fdacbcaa0"],"text":"A038226 \u2192 basis A007318 \u2192 D"},"headline":"A038226 \u2192 basis A007318 \u2192 D","chain":null}},{"id":"l-9a62510321193768","kind":"fingerprint_related","node_a_id":"n-8bf6259feffcb309","node_b_id":"n-8381edfecc6c9677","fingerprint":"f6-e348a50f4e54dede","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-e348a50f4e54dede"},"other_id":"n-8bf6259feffcb309","other":{"id":"n-8bf6259feffcb309","name":"reversal of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*8^j.","first_index":0,"fingerprint":"f6-e348a50f4e54dede","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","11"],["64","176","121"]],"card_rows":[["1"],["8","11"],["64","176","121"],["512","2112","2904","1331"]],"row_sums_preview":["1","19","361","6859","130321","2476099","47045881","893871739"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2f02b2035f8f4541","steps":["reverse"],"edges":["e-5a9754a240da486b"],"text":"A038322 \u2192 reverse"},"headline":"A038322 \u2192 reverse","chain":null}},{"id":"l-9b2ea87fcdabcc8f","kind":"fingerprint_related","node_a_id":"n-61e603a5421ea593","node_b_id":"n-8381edfecc6c9677","fingerprint":"f6-e348a50f4e54dede","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-e348a50f4e54dede"},"other_id":"n-61e603a5421ea593","other":{"id":"n-61e603a5421ea593","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j).","first_index":0,"fingerprint":"f6-e348a50f4e54dede","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","11"],["64","176","121"]],"card_rows":[["1"],["8","11"],["64","176","121"],["512","2112","2904","1331"]],"row_sums_preview":["1","19","361","6859","130321","2476099","47045881","893871739"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-f211cb6153c37c6d","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-892638ce5a781886","e-e5ada0297e914fac"],"text":"A027466 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A027466 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-afaae367e5a6ea20","kind":"fingerprint_related","node_a_id":"n-b6d91d50fb3f7b0a","node_b_id":"n-8381edfecc6c9677","fingerprint":"f6-e348a50f4e54dede","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-e348a50f4e54dede"},"other_id":"n-b6d91d50fb3f7b0a","other":{"id":"n-b6d91d50fb3f7b0a","name":"reversal of basis_map_A007318 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","first_index":0,"fingerprint":"f6-e348a50f4e54dede","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["64","176","121"],["512","2112","2904","1331"],["4096","22528","46464","42592","14641"]],"card_rows":[["64","176","121"],["512","2112","2904","1331"],["4096","22528","46464","42592","14641"],["32768","225280","619520","851840","585640","161051"]],"row_sums_preview":["361","6859","130321","2476099","47045881","893871739","16983563041","322687697779"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-26633b980c3508e8","steps":["basis A007318","reverse"],"edges":["e-0566c972c7be0ca0","e-305b6a6c40612ef6"],"text":"A038226 \u2192 basis A007318 \u2192 reverse"},"headline":"A038226 \u2192 basis A007318 \u2192 reverse","chain":null}},{"id":"l-eb903d42d83a2c48","kind":"fingerprint_related","node_a_id":"n-2e0a8214849adcd6","node_b_id":"n-8381edfecc6c9677","fingerprint":"f6-e348a50f4e54dede","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-e348a50f4e54dede"},"other_id":"n-2e0a8214849adcd6","other":{"id":"n-2e0a8214849adcd6","name":"basis_map_A007318 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","first_index":0,"fingerprint":"f6-e348a50f4e54dede","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","176","64"],["1331","2904","2112","512"],["14641","42592","46464","22528","4096"]],"card_rows":[["121","176","64"],["1331","2904","2112","512"],["14641","42592","46464","22528","4096"],["161051","585640","851840","619520","225280","32768"]],"row_sums_preview":["361","6859","130321","2476099","47045881","893871739","16983563041","322687697779"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-26633b980c3508e8","steps":["basis A007318"],"edges":["e-0566c972c7be0ca0"],"text":"A038226 \u2192 basis A007318"},"headline":"A038226 \u2192 basis A007318","chain":null}},{"id":"l-ff5ea44b0a67442e","kind":"fingerprint_related","node_a_id":"n-2f02b2035f8f4541","node_b_id":"n-8381edfecc6c9677","fingerprint":"f6-e348a50f4e54dede","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-e348a50f4e54dede"},"other_id":"n-2f02b2035f8f4541","other":{"id":"n-2f02b2035f8f4541","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*8^j.","first_index":0,"fingerprint":"f6-e348a50f4e54dede","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","8"],["121","176","64"]],"card_rows":[["1"],["11","8"],["121","176","64"],["1331","2904","2112","512"]],"row_sums_preview":["1","19","361","6859","130321","2476099","47045881","893871739"],"regions":["(-inf, 0)","(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":["A038322"],"derivation":{"root":"n-2f02b2035f8f4541","steps":[],"edges":[],"text":"A038322"},"headline":"A038322: Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*8^j.","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:                 4096,                  11264,                   7744;\n  1:               262144,                1081344,                1486848,                  681472;\n  2:             16777216,               92274688,              190316544,               174456832,                59969536;\n  3:           1073741824,             7381975040,            20300431360,             27913093120,             19190251520,               5277319168;\n  4:          68719476736,           566935683072,          1948841410560,           3572875919360,           3684528291840,            2026490560512,             464404086784;\n  5:        4398046511104,         42331197669376,        174616190386176,         400162102968320,         550222891581440,          453933885554688,          208053030879232,           40867559636992;\n  6:      281474976710656,       3096224743817216,      14900581579620352,       40976599343955968,       70428530122424320,        77471383134666752,        53261575905083392,        20924190534139904,         3596345248055296;\n  7:    18014398509481984,     222928181554839552,    1226104998551617536,     3933753537019772928,     8113366670103281664,     11155879171392012288,     10226222573776011264,      6026166873832292352,      2071494862879850496,      316478381828866048;\n  8:  1152921504606846976,   15852670688344145920,   98088399884129402880,   359657466241807810560,   865425778144350044160,   1427952533938177572864,   1636195611804161802240,   1285582266417555701760,    662878356121552158720,   202546164370474270720,    27850097600940212224;\n  9: 73786976294838206464, 1116028016459427872768, 7672692613158566625280, 31649857029279087329280, 87037106830517490155520, 167546430648746168549376, 230376342142025981755392, 226262478889489803509760, 155555454236524239912960, 71296249858406943293440, 19606468711061909405696, 2450808588882738675712;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (64+88*x)*P(n-1,x) for n >= 1, with P(0,x) = 4096 + 11264*x + 7744*x^2.","mathematica":"P[0, x_] := 4096 + 11264*x + 7744*x^2;\nP[n_, x_] := P[n, x] = Expand[(64 + 88*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] = 4096 + 11264*x + 7744*x^2; for(n = 1, N, my(i = n + 1); v[i] = (64 + 88*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-cfc5b48d32898a3e","steps":["basis A013611","basis A013609"],"edges":["e-9ac6ce8d07a161c9","e-5898adfc55563eae"],"text":"A038301 \u2192 basis A013611 \u2192 basis A013609"},"headline":"A038301 \u2192 basis A013611 \u2192 basis A013609","chain":null}