{"id":"n-780fe707feb8bee2","revision":0,"first_index":0,"fingerprint":"f6-89a932e93fe55d02","name":"basis_map_A013609 of basis_map_A013611 of Triangle of coefficients in expansion of (1+2*x)^n.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["11","16"],["121","352","256"],["1331","5808","8448","4096"],["14641","85184","185856","180224","65536"],["161051","1171280","3407360","4956160","3604480","1048576"],["1771561","15460896","56221440","109035520","118947840","69206016","16777216"],["19487171","198414832","865810176","2098933760","3052994560","2664431616","1291845632","268435456"],["214358881","2494357888","12698549248","36941234176","67165880320","78156660736","56841207808","23622320128","4294967296"],["2357947691","30867678864","179593767936","609530363904","1329884430336","1934377353216","1875759857664","1169304846336","425201762304","68719476736"],["25937424601","377271630560","2469414309120","9578334289920","24381214556160","42556301770752","51583396085760","42874511032320","23386096926720","7559142440960","1099511627776"],["285311670611","4564986729776","33199903489280","144872306135040","421446708756480","858218752376832","1248318185275392","1296953958727680","943239242711040","457328117678080","133040906960896","17592186044416"],["3138428376721","54779840757312","438238726058496","2124793823313920","6953870694481920","16183553616248832","27463000076058624","34239584510410752","31126895009464320","20122437177835520","8780699859419136","2322168557862912","281474976710656"],["34522712143931","652793102357968","5697103438760448","30384551673389056","110489278812323840","289281020890447872","561029858696626176","816043430831456256","890229197270679552","719377129107619840","418546693298978816","166035051887198208","40250921669623808","4503599627370496"],["379749833583241","7733087520240544","73112827464092416","425383723427446784","1701534893709787136","4949919690792108032","10799824779910053888","17952955478292037632","22849216063280775168","22156815576514691072","16114047692010684416","8523132663542841344","3099320968561033216","693554342615056384","72057594037927936"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","27","729","19683","531441","14348907","387420489","10460353203","282429536481","7625597484987","205891132094649","5559060566555523","150094635296999121","4052555153018976267","109418989131512359209"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":200475,"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-02cfdf4ddd8be840","e-18451c806ea01354"]},{"id":200476,"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-02cfdf4ddd8be840","e-18451c806ea01354"]},{"id":200477,"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-02cfdf4ddd8be840","e-18451c806ea01354"]}],"region_exact":{},"incoming_edges":[{"id":"e-02cfdf4ddd8be840","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-780fe707feb8bee2","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":"d9523ca307fa69b6f1304c20b3724b98d24312304d39f0729b2170ca65f30e84","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-9df1aeebd1dc8cfe","role":"sequence","name":"basis_map_A013611 of Triangle of coefficients in expansion of (1+2*x)^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]"}]},{"id":"e-18451c806ea01354","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-780fe707feb8bee2","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":"9a5ea791322c8adc50208fa39f9b1a07467d374e29402ae1ec5d582c1a765878","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-ade19c5257c8a726","role":"sequence","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-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-3bfc493e3d73949b","kind":"candidate_equal","node_a_id":"n-040cf34a6f45d29f","node_b_id":"n-780fe707feb8bee2","fingerprint":null,"oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"reason":"no all-index equality certificate was found","rows_compared":15},"other_id":"n-040cf34a6f45d29f","other":{"id":"n-040cf34a6f45d29f","name":"mobius_x_over_x_plus_one of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j)*5^j.","first_index":0,"fingerprint":"f6-89a932e93fe55d02","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","16"],["121","352","256"]],"card_rows":[["1"],["11","16"],["121","352","256"],["1331","5808","8448","4096"]],"row_sums_preview":["1","27","729","19683","531441","14348907","387420489","10460353203"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e6ebe74518d42cbe","steps":["basis A007318","x \u21a6 x/(x+1)"],"edges":["e-1194f7dc6f45a71b","e-b54086439095b627"],"text":"A038259 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)"},"headline":"A038259 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-170dff79dcaf9445","kind":"fingerprint_related","node_a_id":"n-d0bed16060b50d92","node_b_id":"n-780fe707feb8bee2","fingerprint":"f6-89a932e93fe55d02","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-89a932e93fe55d02"},"other_id":"n-d0bed16060b50d92","other":{"id":"n-d0bed16060b50d92","name":"derivative of basis_map_A013609 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","first_index":0,"fingerprint":"f6-89a932e93fe55d02","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["352","512"],["5808","16896","12288"],["85184","371712","540672","262144"]],"card_rows":[["352","512"],["5808","16896","12288"],["85184","371712","540672","262144"],["1171280","6814720","14868480","14417920","5242880"]],"row_sums_preview":["864","34992","1259712","42515280","1377495072","43391094768","1338925209984","40669853253264"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-26633b980c3508e8","steps":["basis A013609","D"],"edges":["e-c8a2ee9cf24a53ed","e-27031fc14ce0f1b9"],"text":"A038226 \u2192 basis A013609 \u2192 D"},"headline":"A038226 \u2192 basis A013609 \u2192 D","chain":null}},{"id":"l-37c7a33a1358dbd8","kind":"fingerprint_related","node_a_id":"n-567e404cc344d278","node_b_id":"n-780fe707feb8bee2","fingerprint":"f6-89a932e93fe55d02","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-89a932e93fe55d02"},"other_id":"n-567e404cc344d278","other":{"id":"n-567e404cc344d278","name":"mobius_x_over_x_plus_one of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^j.","first_index":0,"fingerprint":"f6-89a932e93fe55d02","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["484","1408","1024"],["10648","46464","67584","32768"],["234256","1362944","2973696","2883584","1048576"]],"card_rows":[["484","1408","1024"],["10648","46464","67584","32768"],["234256","1362944","2973696","2883584","1048576"],["5153632","37480960","109035520","158597120","115343360","33554432"]],"row_sums_preview":["2916","157464","8503056","459165024","24794911296","1338925209984","72301961339136","3904305912313344"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ec89fb3fc20684fc","steps":["x \u21a6 x+1","x \u21a6 x/(x+1)"],"edges":["e-0c3feb8686271cde","e-d327a177a3d846ed"],"text":"A038336 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(x+1)"},"headline":"A038336 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-7a5dac42c6967f11","kind":"fingerprint_related","node_a_id":"n-68bcd9136aa2ea5a","node_b_id":"n-780fe707feb8bee2","fingerprint":"f6-89a932e93fe55d02","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-89a932e93fe55d02"},"other_id":"n-68bcd9136aa2ea5a","other":{"id":"n-68bcd9136aa2ea5a","name":"reversal of basis_map_A013609 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","first_index":0,"fingerprint":"f6-89a932e93fe55d02","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["256","352","121"],["4096","8448","5808","1331"],["65536","180224","185856","85184","14641"]],"card_rows":[["256","352","121"],["4096","8448","5808","1331"],["65536","180224","185856","85184","14641"],["1048576","3604480","4956160","3407360","1171280","161051"]],"row_sums_preview":["729","19683","531441","14348907","387420489","10460353203","282429536481","7625597484987"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-26633b980c3508e8","steps":["basis A013609","reverse"],"edges":["e-c8a2ee9cf24a53ed","e-36a720d6b9756ac3"],"text":"A038226 \u2192 basis A013609 \u2192 reverse"},"headline":"A038226 \u2192 basis A013609 \u2192 reverse","chain":null}},{"id":"l-9f61c10f008c6f30","kind":"fingerprint_related","node_a_id":"n-adb898de6c27baa4","node_b_id":"n-780fe707feb8bee2","fingerprint":"f6-89a932e93fe55d02","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-89a932e93fe55d02"},"other_id":"n-adb898de6c27baa4","other":{"id":"n-adb898de6c27baa4","name":"shift_x_plus_one of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^j.","first_index":0,"fingerprint":"f6-89a932e93fe55d02","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["4096","5632","1936"],["262144","540672","371712","85184"],["16777216","46137344","47579136","21807104","3748096"]],"card_rows":[["4096","5632","1936"],["262144","540672","371712","85184"],["16777216","46137344","47579136","21807104","3748096"],["1073741824","3690987520","5075107840","3489136640","1199390720","164916224"]],"row_sums_preview":["11664","1259712","136048896","14693280768","1586874322944","171382426877952","18509302102818816","1999004627104432128"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cfc5b48d32898a3e","steps":["basis A013611","basis A007318"],"edges":["e-9ac6ce8d07a161c9","e-a7b7fcb34e700b74"],"text":"A038301 \u2192 basis A013611 \u2192 basis A007318"},"headline":"A038301 \u2192 basis A013611 \u2192 basis A007318","chain":null}},{"id":"l-c0745122139f7edb","kind":"fingerprint_related","node_a_id":"n-1600c9e1b40ceecc","node_b_id":"n-780fe707feb8bee2","fingerprint":"f6-89a932e93fe55d02","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-89a932e93fe55d02"},"other_id":"n-1600c9e1b40ceecc","other":{"id":"n-1600c9e1b40ceecc","name":"basis_map_A013609 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","first_index":0,"fingerprint":"f6-89a932e93fe55d02","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","352","256"],["1331","5808","8448","4096"],["14641","85184","185856","180224","65536"]],"card_rows":[["121","352","256"],["1331","5808","8448","4096"],["14641","85184","185856","180224","65536"],["161051","1171280","3407360","4956160","3604480","1048576"]],"row_sums_preview":["729","19683","531441","14348907","387420489","10460353203","282429536481","7625597484987"],"regions":["(-inf, 0]","[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-26633b980c3508e8","steps":["basis A013609"],"edges":["e-c8a2ee9cf24a53ed"],"text":"A038226 \u2192 basis A013609"},"headline":"A038226 \u2192 basis A013609","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:          1;\n  1:         11,          16;\n  2:        121,         352,          256;\n  3:       1331,        5808,         8448,         4096;\n  4:      14641,       85184,       185856,       180224,         65536;\n  5:     161051,     1171280,      3407360,      4956160,       3604480,       1048576;\n  6:    1771561,    15460896,     56221440,    109035520,     118947840,      69206016,      16777216;\n  7:   19487171,   198414832,    865810176,   2098933760,    3052994560,    2664431616,    1291845632,     268435456;\n  8:  214358881,  2494357888,  12698549248,  36941234176,   67165880320,   78156660736,   56841207808,   23622320128,   4294967296;\n  9: 2357947691, 30867678864, 179593767936, 609530363904, 1329884430336, 1934377353216, 1875759857664, 1169304846336, 425201762304, 68719476736;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+16*x)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(11 + 16*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] = 1; for(n = 1, N, my(i = n + 1); v[i] = (11 + 16*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-c44f7114310405ad","steps":["x \u21a6 x/(x+1)","basis A013609"],"edges":["e-22d203db774fd047","e-02cfdf4ddd8be840"],"text":"A013622 \u2192 x \u21a6 x/(x+1) \u2192 basis A013609"},"headline":"A013622 \u2192 x \u21a6 x/(x+1) \u2192 basis A013609","chain":null}