{"id":"n-314866308b34ea0d","revision":1,"first_index":0,"fingerprint":"f6-4f0d71d8efeb5cf0","name":"basis_map_A013611 of Triangle of coefficients in expansion of (1+11x)^n.","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":[["144","1056","1936"],["1728","19008","69696","85184"],["20736","304128","1672704","4088832","3748096"],["248832","4561920","33454080","122664960","224885760","164916224"],["2985984","65691648","602173440","2943959040","8095887360","11873968128","7256313856"],["35831808","919683072","10116513792","61823139840","226684846080","498706661376","609530363904","319277809664"],["429981696","12612796416","161864220672","1187004284928","5440436305920","15958613164032","29257457467392","30650669727744","14048223625216"],["5159780352","170272751616","2497333690368","21366077128704","117513424207872","430882555428864","1053268468826112","1655136165298176","1517208151523328","618121839509504"],["61917364224","2270303354880","37460005355520","366275607920640","2350268484157440","10341181330292736","31598054064783360","66205446611927040","91032489091399680","74174620741140480","27197360938418176"],["743008370688","29968004284416","549413411880960","6043547530690560","44319348558397440","227505989266440192","834188627310280704","2184779738193592320","4005429520021585920","4895524968915271680","3590051643871199232","1196683881290399744"],["8916100448256","392308419723264","7911553131085824","96696760491048960","797748274051153920","4680123207766769664","20020527055446736896","62921656459975458816","144195462720777093120","234985198507933040640","258483718358726344704","172322478905817563136","52654090776777588736"],["106993205379072","5100009456402432","112200208040853504","1508469463660363776","13827636750220001280","91262402551452008448","446171745807098707968","1635963067959361929216","4498898436888245305344","9164422741809388584960","13441153354653769924608","13441153354653769924608","8214038161177303842816","2316779994178213904384"],["1283918464548864","65907814513508352","1570802912571949056","23038442717721919488","232304297403696021504","1703564847627104157696","9369606661949072867328","39263113631024686301184","125969156232870868549632","307924604124795456454656","564528440895458336833536","752704587860611115778048","689979205538893522796544","389219039021939935936512","101938319743841411792896"],["15407021574586368","847386186602250240","21749578789457756160","345576640765828792320","3801343048424116715520","30664167257287874838528","187392133238981457346560","883420056698055441776640","3239206874559536619847680","9237738123743863693639680","20323023872236500126007296","33871706453727500210012160","41398752332333611367792640","35029713511974594234286080","18348897553891454122721280","4485286068729022118887424"],["184884258895036416","10846543188508803072","298279937683992084480","5103901155926086778880","60821488774785867448320","535229101218115633545216","3597928958188443981053952","18846294542891849424568320","77740964989428878876344320","253377959965545975596974080","650336763911568004032233472","1300673527823136008064466944","1987140111952013345654046720","2241901664766374030994309120","1761494165173579595781242880","861174925195972246826385408","197352587024076973231046656"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["3136","175616","9834496","550731776","30840979456","1727094849536","96717311574016","5416169448144896","303305489096114176","16985107389382393856","951166013805414055936","53265296773103187132416","2982856619293778479415296","167039970680451594847256576","9354238358105289311446368256"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["144","1056","1936"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["12","44"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":168240,"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-f283d143fa0950f0"]},{"id":168241,"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-f283d143fa0950f0"]},{"id":168242,"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-f283d143fa0950f0"]}],"region_exact":{},"incoming_edges":[{"id":"e-f283d143fa0950f0","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-314866308b34ea0d","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":"f6a45912d7f4b8112cdf2d927d7701c84174df16e7908e7c234bea20ae2b6dbc","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-b1e393c17b0898c2","role":"sequence","name":"Triangle of coefficients in expansion of (1+11x)^n.","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-885a1c35500affdc","kind":"fingerprint_related","node_a_id":"n-809ca598570cd420","node_b_id":"n-314866308b34ea0d","fingerprint":"f6-4f0d71d8efeb5cf0","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-4f0d71d8efeb5cf0"},"other_id":"n-809ca598570cd420","other":{"id":"n-809ca598570cd420","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","first_index":0,"fingerprint":"f6-4f0d71d8efeb5cf0","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","66","9"],["1331","1089","297","27"],["14641","15972","6534","1188","81"]],"card_rows":[["121","66","9"],["1331","1089","297","27"],["14641","15972","6534","1188","81"],["161051","219615","119790","32670","4455","243"]],"row_sums_preview":["196","2744","38416","537824","7529536","105413504","1475789056","20661046784"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-108b34f10b7468f4","steps":["basis A007318"],"edges":["e-e643036831fc9f95"],"text":"A038281 \u2192 basis A007318"},"headline":"A038281 \u2192 basis A007318","chain":null}},{"id":"l-bc316fbc5256d5ac","kind":"fingerprint_related","node_a_id":"n-3c11bfaa4e68c9bc","node_b_id":"n-314866308b34ea0d","fingerprint":"f6-4f0d71d8efeb5cf0","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-4f0d71d8efeb5cf0"},"other_id":"n-3c11bfaa4e68c9bc","other":{"id":"n-3c11bfaa4e68c9bc","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*1^j.","first_index":0,"fingerprint":"f6-4f0d71d8efeb5cf0","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","3"],["121","66","9"]],"card_rows":[["1"],["11","3"],["121","66","9"],["1331","1089","297","27"]],"row_sums_preview":["1","14","196","2744","38416","537824","7529536","105413504"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a920b56c9b3ef4d1","steps":["basis A013610"],"edges":["e-254f1b828fe6620e"],"text":"A038303 \u2192 basis A013610"},"headline":"A038303 \u2192 basis A013610","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:          144,           1056,            1936;\n  1:         1728,          19008,           69696,            85184;\n  2:        20736,         304128,         1672704,          4088832,           3748096;\n  3:       248832,        4561920,        33454080,        122664960,         224885760,          164916224;\n  4:      2985984,       65691648,       602173440,       2943959040,        8095887360,        11873968128,         7256313856;\n  5:     35831808,      919683072,     10116513792,      61823139840,      226684846080,       498706661376,       609530363904,        319277809664;\n  6:    429981696,    12612796416,    161864220672,    1187004284928,     5440436305920,     15958613164032,     29257457467392,      30650669727744,      14048223625216;\n  7:   5159780352,   170272751616,   2497333690368,   21366077128704,   117513424207872,    430882555428864,   1053268468826112,    1655136165298176,    1517208151523328,     618121839509504;\n  8:  61917364224,  2270303354880,  37460005355520,  366275607920640,  2350268484157440,  10341181330292736,  31598054064783360,   66205446611927040,   91032489091399680,   74174620741140480,   27197360938418176;\n  9: 743008370688, 29968004284416, 549413411880960, 6043547530690560, 44319348558397440, 227505989266440192, 834188627310280704, 2184779738193592320, 4005429520021585920, 4895524968915271680, 3590051643871199232, 1196683881290399744;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (12+44*x)*P(n-1,x) for n >= 1, with P(0,x) = 144 + 1056*x + 1936*x^2.","mathematica":"P[0, x_] := 144 + 1056*x + 1936*x^2;\nP[n_, x_] := P[n, x] = Expand[(12 + 44*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] = 144 + 1056*x + 1936*x^2; for(n = 1, N, my(i = n + 1); v[i] = (12 + 44*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-b1e393c17b0898c2","steps":["basis A013611"],"edges":["e-f283d143fa0950f0"],"text":"A013618 \u2192 basis A013611"},"headline":"A013618 \u2192 basis A013611","chain":null}