{"id":"n-ade19c5257c8a726","revision":1,"first_index":0,"fingerprint":"f6-d36c4f1a2e9bd6b7","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-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"],["7","4"],["49","56","16"],["343","588","336","64"],["2401","5488","4704","1792","256"],["16807","48020","54880","31360","8960","1024"],["117649","403368","576240","439040","188160","43008","4096"],["823543","3294172","5647152","5378240","3073280","1053696","200704","16384"],["5764801","26353376","52706752","60236288","43025920","19668992","5619712","917504","65536"],["40353607","207532836","474360768","632481024","542126592","309786624","118013952","28901376","4128768","262144"],["282475249","1614144280","4150656720","6324810240","6324810240","4337012736","2065244160","674365440","144506880","18350080","1048576"],["1977326743","12428910956","35511174160","60876298560","69572912640","55658330112","31804760064","12981534720","3709009920","706478080","80740352","4194304"],["13841287201","94911683664","298293862944","568178786560","730515582720","667899961344","445266640896","218089783296","77889208320","19781386240","3391094784","352321536","16777216"],["96889010407","719746934452","2467703775264","5170426957696","7386324225280","7597362060288","5788466331648","3307695046656","1417583591424","450026536960","102863208448","16030629888","1526726656","67108864"],["678223072849","5425784582792","20152914164656","46063803804928","72385977407744","82726831323136","70908712562688","46307730653184","23153865326592","8820520124416","2520148606976","523667243008","74809606144","6576668672","268435456"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","11","121","1331","14641","161051","1771561","19487171","214358881","2357947691","25937424601","285311670611","3138428376721","34522712143931","379749833583241"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["7","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":168097,"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-1b27bff9bafb5517"]},{"id":168098,"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-1b27bff9bafb5517"]},{"id":168099,"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-1b27bff9bafb5517"]}],"region_exact":{},"incoming_edges":[{"id":"e-1b27bff9bafb5517","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-ade19c5257c8a726","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":"ecd9df6e25b2fcd8cc761fde2d87eafe635a1c4f80e8237886e568443a08383f","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-22693abd431a71f2","role":"sequence","name":"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-efd812fee87252af","kind":"fingerprint_related","node_a_id":"n-ade19c5257c8a726","node_b_id":"n-8afe6c02ab69bf6d","fingerprint":"f6-d36c4f1a2e9bd6b7","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-d36c4f1a2e9bd6b7"},"other_id":"n-8afe6c02ab69bf6d","other":{"id":"n-8afe6c02ab69bf6d","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j.","first_index":0,"fingerprint":"f6-d36c4f1a2e9bd6b7","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["196","224","64"],["2744","4704","2688","512"],["38416","87808","75264","28672","4096"]],"card_rows":[["196","224","64"],["2744","4704","2688","512"],["38416","87808","75264","28672","4096"],["537824","1536640","1756160","1003520","286720","32768"]],"row_sums_preview":["484","10648","234256","5153632","113379904","2494357888","54875873536","1207269217792"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ea9b82d727693fb6","steps":["basis A013611"],"edges":["e-0eb3975e7d8d74fc"],"text":"A038328 \u2192 basis A013611"},"headline":"A038328 \u2192 basis A013611","chain":null}},{"id":"l-5bfdab73adeaf8f3","kind":"oeis_match","node_a_id":"n-ade19c5257c8a726","node_b_id":null,"fingerprint":null,"oeis_id":"A001020","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A001020","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-6cffccd59d55c1e5","kind":"oeis_match","node_a_id":"n-ade19c5257c8a726","node_b_id":null,"fingerprint":null,"oeis_id":"A038270","in_catalog":0,"target":"triangle","row_alignment":"tabl","rows_matched":8,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"row_alignment":"tabl","rows_matched":8,"target":"triangle","terms_compared":36},"in_catalog":false,"oeis_id":"A038270","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-d14c5bc903e23239","kind":"oeis_match","node_a_id":"n-ade19c5257c8a726","node_b_id":null,"fingerprint":null,"oeis_id":"A013625","in_catalog":0,"target":"reversed_triangle","row_alignment":"tabl","rows_matched":8,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"row_alignment":"tabl","rows_matched":8,"target":"reversed_triangle","terms_compared":36},"in_catalog":false,"oeis_id":"A013625","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A013625","relation":"match_reversed_triangle"},{"oeis_id":"A001020","relation":"match_row_sums"},{"oeis_id":"A038270","relation":"match_triangle"}],"bfiles":[{"node_id":"n-ade19c5257c8a726","oeis_id":"A001020","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":21,"oeis_terms_available":21,"term_count":200,"raw_size":21716},{"node_id":"n-ade19c5257c8a726","oeis_id":"A013625","target":"reversed_triangle","oeis_offset":0,"first_row":0,"rows_used":44,"terms_matched":36,"oeis_terms_agreeing":36,"oeis_terms_available":36,"term_count":990,"raw_size":31159},{"node_id":"n-ade19c5257c8a726","oeis_id":"A038270","target":"triangle","oeis_offset":0,"first_row":0,"rows_used":44,"terms_matched":36,"oeis_terms_agreeing":36,"oeis_terms_available":36,"term_count":990,"raw_size":31159}],"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:        7,         4;\n  2:       49,        56,        16;\n  3:      343,       588,       336,        64;\n  4:     2401,      5488,      4704,      1792,       256;\n  5:    16807,     48020,     54880,     31360,      8960,      1024;\n  6:   117649,    403368,    576240,    439040,    188160,     43008,      4096;\n  7:   823543,   3294172,   5647152,   5378240,   3073280,   1053696,    200704,    16384;\n  8:  5764801,  26353376,  52706752,  60236288,  43025920,  19668992,   5619712,   917504,   65536;\n  9: 40353607, 207532836, 474360768, 632481024, 542126592, 309786624, 118013952, 28901376, 4128768, 262144;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (7+4*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[(7 + 4*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] = (7 + 4*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}},{"oeis_id":"A013625","target":"reversed_triangle","first_row":0,"oeis_offset":0,"reversed":true,"trim_zeros":"none","regular_triangle":true,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n  0:      1;\n  1:      4,       7;\n  2:     16,      56,       49;\n  3:     64,     336,      588,       343;\n  4:    256,    1792,     4704,      5488,      2401;\n  5:   1024,    8960,    31360,     54880,     48020,     16807;\n  6:   4096,   43008,   188160,    439040,    576240,    403368,    117649;\n  7:  16384,  200704,  1053696,   3073280,   5378240,   5647152,   3294172,    823543;\n  8:  65536,  917504,  5619712,  19668992,  43025920,  60236288,  52706752,  26353376,   5764801;\n  9: 262144, 4128768, 28901376, 118013952, 309786624, 542126592, 632481024, 474360768, 207532836, 40353607;\n","recurrence_sentence":"Row n lists the coefficients of P(n,x) in descending powers of x, where P(n,x) = (7+4*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[(7 + 4*x)*P[n - 1, x]];\nTable[Reverse[PadRight[CoefficientList[P[n, x], x], n + 1]], {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] = (7 + 4*x)*v[i - 1]); v};\nrow(n, p) = {my(c = Vecrev(p)); c = concat(c, vector(n + 1 - #c)); c = Vecrev(c); 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":true,"trim_zeros":"none","regular_triangle":true}},{"oeis_id":"A038270","target":"triangle","first_row":0,"oeis_offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":true,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n  0:        1;\n  1:        7,         4;\n  2:       49,        56,        16;\n  3:      343,       588,       336,        64;\n  4:     2401,      5488,      4704,      1792,       256;\n  5:    16807,     48020,     54880,     31360,      8960,      1024;\n  6:   117649,    403368,    576240,    439040,    188160,     43008,      4096;\n  7:   823543,   3294172,   5647152,   5378240,   3073280,   1053696,    200704,    16384;\n  8:  5764801,  26353376,  52706752,  60236288,  43025920,  19668992,   5619712,   917504,   65536;\n  9: 40353607, 207532836, 474360768, 632481024, 542126592, 309786624, 118013952, 28901376, 4128768, 262144;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (7+4*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[(7 + 4*x)*P[n - 1, x]];\nTable[PadRight[CoefficientList[P[n, x], x], n + 1], {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] = (7 + 4*x)*v[i - 1]); v};\nrow(n, p) = {my(c = Vecrev(p)); c = concat(c, vector(n + 1 - #c)); 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":true}}],"derivation":{"root":"n-22693abd431a71f2","steps":["basis A013611"],"edges":["e-1b27bff9bafb5517"],"text":"A038255 \u2192 basis A013611"},"headline":"A038255 \u2192 basis A013611","chain":null}