{"id":"n-66d9deddf7ecf8ee","revision":0,"first_index":0,"fingerprint":"f6-039ab5acdf7230f1","name":"basis_map_A013610 of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^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":[["1024","2688","1764"],["32768","129024","169344","74088"],["1048576","5505024","10838016","9483264","3111696"],["33554432","220200960","578027520","758661120","497871360","130691232"],["1073741824","8455716864","27745320960","48554311680","47795650560","25092716544","5489031744"],["34359738368","315680096256","1242990379008","2719041454080","3568741908480","2810384252928","1229543110656","230539333248"],["1099511627776","11544872091648","53034256171008","139214922448896","228399482142720","239819456249856","157381518163968","59018069311488","9682651996416"],["35184372088832","415615395299328","2181980825321472","6682316277547008","13155810171420672","17267000849989632","15108625743740928","8498601980854272","2788603774967808","406671383849472"],["1125899906842624","14777436277309440","87279233012858880","305477315545006080","701643209142435840","1105088054399336448","1208690059499274240","906517544624455680","446176603994849280","130134842831831040","17080198121677824"],["36028797018963968","520165756961292288","3413587780058480640","13441001883980267520","35282629945448202240","64831832524761071616","85091780188748906496","79773543926952099840","52351388202062315520","22903732338402263040","6012229738830594048","717368321110468608"],["1152921504606846976","18158513697557839872","131081770754245656576","573482747049824747520","1693566237381513707520","3556489098501178785792","5445873932079930015744","6126608173589921267712","5025733267397982289920","2931677739315489669120","1154348109855474057216","275469435306419945472","30129469486639681536"],["36893488147419103232","629495141515338448896","4957274239433290285056","23856882277272709496832","78280394972301078036480","184937433122061296861184","323640507963607269507072","424778166702234541228032","418141007847512126521344","304894484888810925588480","160069604566625735933952","57297642543735348658176","12533859306442107518976","1265437718438866624512"],["1180591620717411303424","21693371030682432700416","185071571605509503975424","971625750928924895870976","3506961694759088296034304","9205774448742606777090048","18123868445962007092396032","27185802668943010638594048","31221195252614238780260352","27318545846037458932727808","17927795711462082424602624","8556447953197812066287616","2807584484643032084250624","566916097860612247781376","53148384174432398229504"],["37778931862957161709568","743772721051969121157120","6833411874664966300631040","38865030037156995834839040","153031055771305671099678720","441877173539645125300322304","966606317117973711594455040","1631148160136580638315642880","2140881960179262087789281280","2185483667682996714618224640","1721068388300359912761851904","1026773754383737447954513920","449213517542885133480099840","136059863486546939467530240","25511224403727551150161920","2232232135326160725639168"],["1208925819614629174706176","25387442211907212668829696","249907634273461624708792320","1530684259924952451341352960","6529325046242375300252958720","20567373895663482195796819968","49490243436440254033636098048","92794206443325476313067683840","137016445451472773618514001920","159852519693384902554933002240","146864502468297379222344695808","105141632448894714670542225408","57499330245489297085452779520","23220883368370677669125160960","6530873447354253094441451520","1142902853286994291527254016","93753749683698750476845056"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["5476","405224","29986576","2219006624","164206490176","12151280273024","899194740203776","66540410775079424","4923990397355877376","364375289404334925824","26963771415920784510976","1995319084778138053812224","147653612273582215982104576","10926367308245083982675738624","808551180810136214718004658176"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1024","2688","1764"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["32","42"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":203983,"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-35046e5512af7975"]},{"id":203984,"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-35046e5512af7975"]},{"id":203985,"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-35046e5512af7975"]}],"region_exact":{},"incoming_edges":[{"id":"e-35046e5512af7975","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-66d9deddf7ecf8ee","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":"a042c1aa83c4925c75154b6c32071131244b66361ac7b4c3dd7203fcba7fa5f7","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-53dc6d1eeb1907f4","role":"sequence","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^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-e9d52edcd6fd3e5a","kind":"fingerprint_related","node_a_id":"n-dc5026eab6c4e343","node_b_id":"n-66d9deddf7ecf8ee","fingerprint":"f6-039ab5acdf7230f1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-039ab5acdf7230f1"},"other_id":"n-dc5026eab6c4e343","other":{"id":"n-dc5026eab6c4e343","name":"shift_x_plus_one of basis_map_A013611 of Triangle of coefficients in expansion of (1+4x)^n.","first_index":0,"fingerprint":"f6-039ab5acdf7230f1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["21","16"],["441","672","256"]],"card_rows":[["1"],["21","16"],["441","672","256"],["9261","21168","16128","4096"]],"row_sums_preview":["1","37","1369","50653","1874161","69343957","2565726409","94931877133"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2e0409c0014ec240","steps":["basis A013611","basis A007318"],"edges":["e-189a8da608edbb49","e-00ffdf7870009029"],"text":"A013611 \u2192 basis A013611 \u2192 basis A007318"},"headline":"A013611 \u2192 basis A013611 \u2192 basis A007318","chain":null}},{"id":"l-edde7c06d42621e2","kind":"fingerprint_related","node_a_id":"n-b0fdf8a45457ba81","node_b_id":"n-66d9deddf7ecf8ee","fingerprint":"f6-039ab5acdf7230f1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-039ab5acdf7230f1"},"other_id":"n-b0fdf8a45457ba81","other":{"id":"n-b0fdf8a45457ba81","name":"mobius_x_over_x_plus_one of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","first_index":0,"fingerprint":"f6-039ab5acdf7230f1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["256","672","441"],["4096","16128","21168","9261"],["65536","344064","677376","592704","194481"]],"card_rows":[["256","672","441"],["4096","16128","21168","9261"],["65536","344064","677376","592704","194481"],["1048576","6881280","18063360","23708160","15558480","4084101"]],"row_sums_preview":["1369","50653","1874161","69343957","2565726409","94931877133","3512479453921","129961739795077"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2bc1923905556bf6","steps":["x \u21a6 x+1","x \u21a6 x/(x+1)"],"edges":["e-2406b2ec50933490","e-64333340f4c8adcf"],"text":"A038319 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(x+1)"},"headline":"A038319 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(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:              1024,               2688,                1764;\n  1:             32768,             129024,              169344,                74088;\n  2:           1048576,            5505024,            10838016,              9483264,              3111696;\n  3:          33554432,          220200960,           578027520,            758661120,            497871360,            130691232;\n  4:        1073741824,         8455716864,         27745320960,          48554311680,          47795650560,          25092716544,           5489031744;\n  5:       34359738368,       315680096256,       1242990379008,        2719041454080,        3568741908480,        2810384252928,        1229543110656,         230539333248;\n  6:     1099511627776,     11544872091648,      53034256171008,      139214922448896,      228399482142720,      239819456249856,      157381518163968,       59018069311488,        9682651996416;\n  7:    35184372088832,    415615395299328,    2181980825321472,     6682316277547008,    13155810171420672,    17267000849989632,    15108625743740928,     8498601980854272,     2788603774967808,      406671383849472;\n  8:  1125899906842624,  14777436277309440,   87279233012858880,   305477315545006080,   701643209142435840,  1105088054399336448,  1208690059499274240,   906517544624455680,   446176603994849280,   130134842831831040,   17080198121677824;\n  9: 36028797018963968, 520165756961292288, 3413587780058480640, 13441001883980267520, 35282629945448202240, 64831832524761071616, 85091780188748906496, 79773543926952099840, 52351388202062315520, 22903732338402263040, 6012229738830594048, 717368321110468608;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (32+42*x)*P(n-1,x) for n >= 1, with P(0,x) = 1024 + 2688*x + 1764*x^2.","mathematica":"P[0, x_] := 1024 + 2688*x + 1764*x^2;\nP[n_, x_] := P[n, x] = Expand[(32 + 42*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] = 1024 + 2688*x + 1764*x^2; for(n = 1, N, my(i = n + 1); v[i] = (32 + 42*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-7dcf11eddf2b9a8a","steps":["basis A013609","basis A013610"],"edges":["e-322a2e4c0bbd3231","e-35046e5512af7975"],"text":"A038321 \u2192 basis A013609 \u2192 basis A013610"},"headline":"A038321 \u2192 basis A013609 \u2192 basis A013610","chain":null}