{"id":"n-38b5012fcc6605fc","revision":0,"first_index":0,"fingerprint":"f6-5e3baf07c55bade9","name":"reversal of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","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","18"],["121","396","324"],["1331","6534","10692","5832"],["14641","95832","235224","256608","104976"],["161051","1317690","4312440","7056720","5773680","1889568"],["1771561","17393508","71155260","155247840","190531440","124711488","34012224"],["19487171","223216686","1095791004","2988520920","4890306960","4801392288","2618941248","612220032"],["214358881","2806152624","16071601392","52597968192","107586753120","140840840448","115233414912","53875362816","11019960576"],["2357947691","34726138722","227298362544","867866475168","2130217711776","3485810801088","3802702692096","2666830459392","1090976097024","198359290368"],["25937424601","424430584380","3125352484980","13637901752640","39053991382560","76687837623936","104574324032640","97783783511040","60003685336320","21819521940480","3570467226624"],["285311670611","5135610070998","42018627853620","206273264008680","675076136755680","1546538058749376","2530698641589888","2957959451208960","2420148641898240","1320081077399040","432026534421504","64268410079232"],["3138428376721","61627320851976","554645887667784","3025341205460640","11138756256468720","29163289107845376","55675370114977536","78090129511916544","79864905182641920","58083567405557760","28513751271819264","8483430130458624","1156831381426176"],["34522712143931","734392240152714","7210396539681192","43262379238087152","176982460519447440","521293792802736096","1137368275205969664","1861148086700677632","2284136288223558912","2076487534748689920","1359155477290051584","606565254327791616","165426887543943168","20822964865671168"],["379749833583241","8699723460270612","92533422259241964","605673309333220128","2725529891999490576","8919916010180150976","21894339297714916032","40945257907414907904","58626164731071345408","63955816070259649536","52327485875666985984","31137016388826636288","12737870340883623936","3206736589313359872","374813367582081024"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","29","841","24389","707281","20511149","594823321","17249876309","500246412961","14507145975869","420707233300201","12200509765705829","353814783205469041","10260628712958602189","297558232675799463481"],"nonn":true,"definitions":[{"position":0,"source":"derived:reversal","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","18"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192367,"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-6ad157539e5db0e9","e-6b613ba6ce5e6a47"]},{"id":192368,"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-6ad157539e5db0e9","e-6b613ba6ce5e6a47"]},{"id":192369,"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-6ad157539e5db0e9","e-6b613ba6ce5e6a47"]}],"region_exact":{},"incoming_edges":[{"id":"e-6ad157539e5db0e9","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-38b5012fcc6605fc","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":"e8bcce662cabc7bb5c97104af52b27dd3cfa7823b2cffc58a46799d95f1f3339","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-c1936dc488503f26","role":"sequence","name":"basis_map_A013609 of Triangle of coefficients in expansion of (2+3x)^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-6b613ba6ce5e6a47","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"reversal\",\"schedule\":{\"first_index\":0,\"first_degree\":0,\"step\":1}}"},"operation_detail":"reversal, shift 0","conclusion_id":"n-38b5012fcc6605fc","premise_count":1,"theorem":"a real affine substitution x -> a x + b (a != 0), the reversal x^d p(1/x) (d >= deg p) and a real Mobius map (c x + e)^d p((a x + b)/(c x + e)) (a e - b c != 0, d >= deg p) map real roots to real roots: a root r of p gives the root (r - b)/a, 1/r (and 0) or (e r - b)/(a - c r) (and -e/c); for an input row that is a polynomial the degree condition holds automatically","lean_route":"reversed","lean_declarations":["RealRooted.X_pow_mul_reverse_eq_zero_or_splits","RealRooted.reflect_eq_zero_or_splits"],"certificate_hash":"488f03ef4c02d1aefaaae3b60fab9b90b2a0da5ea036bdb58b7d6d23fa2922d5","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-77900e9176a9461a","role":"sequence","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(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-169f367ea03ac301","kind":"fingerprint_related","node_a_id":"n-80e5c51bf45dc008","node_b_id":"n-38b5012fcc6605fc","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-25eed36af1e307f9","kind":"fingerprint_related","node_a_id":"n-38b5012fcc6605fc","node_b_id":"n-1ab9a5b82290fb1b","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-590b3f349651e468","kind":"fingerprint_related","node_a_id":"n-d2377120f9386969","node_b_id":"n-38b5012fcc6605fc","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-a0053b77c6cbf679","kind":"fingerprint_related","node_a_id":"n-77900e9176a9461a","node_b_id":"n-38b5012fcc6605fc","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}},{"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-1f571e6a0df94da8","other":{"id":"n-1f571e6a0df94da8","name":"basis_map_A013610 of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^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":[["1936","6336","5184"],["85184","418176","684288","373248"],["3748096","24532992","60217344","65691648","26873856"]],"card_rows":[["1936","6336","5184"],["85184","418176","684288","373248"],["3748096","24532992","60217344","65691648","26873856"],["164916224","1349314560","4415938560","7226081280","5912248320","1934917632"]],"row_sums_preview":["13456","1560896","181063936","21003416576","2436396322816","282621973446656","32784148919812096","3802961274698203136"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"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}}],"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,          18;\n  2:        121,         396,          324;\n  3:       1331,        6534,        10692,         5832;\n  4:      14641,       95832,       235224,       256608,        104976;\n  5:     161051,     1317690,      4312440,      7056720,       5773680,       1889568;\n  6:    1771561,    17393508,     71155260,    155247840,     190531440,     124711488,      34012224;\n  7:   19487171,   223216686,   1095791004,   2988520920,    4890306960,    4801392288,    2618941248,     612220032;\n  8:  214358881,  2806152624,  16071601392,  52597968192,  107586753120,  140840840448,  115233414912,   53875362816,   11019960576;\n  9: 2357947691, 34726138722, 227298362544, 867866475168, 2130217711776, 3485810801088, 3802702692096, 2666830459392, 1090976097024, 198359290368;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+18*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 + 18*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 + 18*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-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}