{"id":"n-69d39bd7c8ec9d15","revision":0,"first_index":0,"fingerprint":"f6-dd0a803b420669cd","name":"basis_map_A013610 of basis_map_A013609 of Triangle of coefficients in expansion of (1+5x)^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":[["256","960","900"],["4096","23040","43200","27000"],["65536","491520","1382400","1728000","810000"],["1048576","9830400","36864000","69120000","64800000","24300000"],["16777216","188743680","884736000","2211840000","3110400000","2332800000","729000000"],["268435456","3523215360","19818086400","61931520000","116121600000","130636800000","81648000000","21870000000"],["4294967296","64424509440","422785843200","1585446912000","3715891200000","5573836800000","5225472000000","2799360000000","656100000000"],["68719476736","1159641169920","8697308774400","38050725888000","107017666560000","200658124800000","250822656000000","201553920000000","94478400000000","19683000000000"],["1099511627776","20615843020800","173946175488000","869730877440000","2853804441600000","6421059993600000","10032906240000000","10749542400000000","7558272000000000","3149280000000000","590490000000000"],["17592186044416","362838837166080","3401614098432000","19134079303680000","71752797388800000","188351093145600000","353158299648000000","472979865600000000","443418624000000000","277136640000000000","103926240000000000","17714700000000000"],["281474976710656","6333186975989760","65310990689894400","408193691811840000","1722067137331200000","5166201411993600000","11301065588736000000","18162426839040000000","21284093952000000000","17736744960000000000","9976919040000000000","3401222400000000000","531441000000000000"],["4503599627370496","109775240917155840","1234971460318003200","8490428789686272000","39798884951654400000","134321236711833600000","335803091779584000000","629630797086720000000","885418308403200000000","922310737920000000000","691733053440000000000","353727129600000000000","110539728000000000000","15943230000000000000"],["72057594037927936","1891511843495608320","23052800592602726400","172896004444520448000","891495022917058560000","3343106335938969600000","9402486569828352000000","20148185506775040000000","33055616847052800000000","41319521058816000000000","38737050992640000000000","26411625676800000000000","12380449536000000000000","3571283520000000000000","478296900000000000000"],["1152921504606846976","32425917317067571200","425590164786511872000","3457920088890408960000","19450800500008550400000","80234552062535270400000","250732975195422720000000","604445565203251200000000","1133335434756096000000000","1652780842352640000000000","1859378447646720000000000","1584697540608000000000000","990435962880000000000000","428554022400000000000000","114791256000000000000000","14348907000000000000000"],["18446744073709551616","553402322211286548480","7782220156096217088000","68094426365841899520000","414950410666849075200000","1867276848000820838400000","6418764165002821632000000","17193118299114700800000000","36266733912195072000000000","60444556520325120000000000","79333480432926720000000000","81136514079129600000000000","63387901624320000000000000","36569943244800000000000000","14693280768000000000000000","3673320192000000000000000","430467210000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["2116","97336","4477456","205962976","9474296896","435817657216","20047612231936","922190162669056","42420747482776576","1951354384207722496","89762301673555234816","4129065876983540801536","189937030341242876870656","8737103395697172336050176","401906756202069927458308096"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["256","960","900"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["16","30"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":203818,"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-1fb83deddcb4b215"]},{"id":203819,"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-1fb83deddcb4b215"]},{"id":203820,"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-1fb83deddcb4b215"]}],"region_exact":{},"incoming_edges":[{"id":"e-1fb83deddcb4b215","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-69d39bd7c8ec9d15","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":"7b26af9b130ab1ae19c33abda4a10e35b95a052e3fbd71cb48064995ce2f1bdd","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-d524cbe046c3619e","role":"sequence","name":"basis_map_A013609 of Triangle of coefficients in expansion of (1+5x)^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-3eaae75c11295084","kind":"fingerprint_related","node_a_id":"n-82784edb4f691ed1","node_b_id":"n-69d39bd7c8ec9d15","fingerprint":"f6-dd0a803b420669cd","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-dd0a803b420669cd"},"other_id":"n-82784edb4f691ed1","other":{"id":"n-82784edb4f691ed1","name":"derivative of basis_map_A013610 of Triangle of coefficients in expansion of (3+5x)^n.","first_index":0,"fingerprint":"f6-dd0a803b420669cd","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["15"],["240","450"]],"card_rows":[["15"],["240","450"],["2880","10800","10125"],["30720","172800","324000","202500"]],"row_sums_preview":["0","15","690","23805","730020","20988075","579270870","15543768345"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["basis A013610","D"],"edges":["e-c78a98c6ca91439c","e-05c8984faeb21c94"],"text":"A013622 \u2192 basis A013610 \u2192 D"},"headline":"A013622 \u2192 basis A013610 \u2192 D","chain":null}},{"id":"l-54f8139aab2e3ac6","kind":"fingerprint_related","node_a_id":"n-a6cd3f3657ee08fd","node_b_id":"n-69d39bd7c8ec9d15","fingerprint":"f6-dd0a803b420669cd","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-dd0a803b420669cd"},"other_id":"n-a6cd3f3657ee08fd","other":{"id":"n-a6cd3f3657ee08fd","name":"basis_map_A013610 of Triangle of coefficients in expansion of (3+5x)^n.","first_index":0,"fingerprint":"f6-dd0a803b420669cd","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","15"],["64","240","225"]],"card_rows":[["1"],["8","15"],["64","240","225"],["512","2880","5400","3375"]],"row_sums_preview":["1","23","529","12167","279841","6436343","148035889","3404825447"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["basis A013610"],"edges":["e-c78a98c6ca91439c"],"text":"A013622 \u2192 basis A013610"},"headline":"A013622 \u2192 basis A013610","chain":null}},{"id":"l-dc53e604ae4d8826","kind":"fingerprint_related","node_a_id":"n-dd3479747c695235","node_b_id":"n-69d39bd7c8ec9d15","fingerprint":"f6-dd0a803b420669cd","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-dd0a803b420669cd"},"other_id":"n-dd3479747c695235","other":{"id":"n-dd3479747c695235","name":"reversal of basis_map_A013610 of Triangle of coefficients in expansion of (3+5x)^n.","first_index":0,"fingerprint":"f6-dd0a803b420669cd","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["15","8"],["225","240","64"]],"card_rows":[["1"],["15","8"],["225","240","64"],["3375","5400","2880","512"]],"row_sums_preview":["1","23","529","12167","279841","6436343","148035889","3404825447"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["basis A013610","reverse"],"edges":["e-c78a98c6ca91439c","e-0113e8b59838077b"],"text":"A013622 \u2192 basis A013610 \u2192 reverse"},"headline":"A013622 \u2192 basis A013610 \u2192 reverse","chain":null}},{"id":"l-fbd8785be2c06615","kind":"fingerprint_related","node_a_id":"n-69d39bd7c8ec9d15","node_b_id":"n-e9c94c7bcfd7f102","fingerprint":"f6-dd0a803b420669cd","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-dd0a803b420669cd"},"other_id":"n-e9c94c7bcfd7f102","other":{"id":"n-e9c94c7bcfd7f102","name":"basis_map_A013610 of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*5^j.","first_index":0,"fingerprint":"f6-dd0a803b420669cd","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["32","60"],["1024","3840","3600"]],"card_rows":[["1"],["32","60"],["1024","3840","3600"],["32768","184320","345600","216000"]],"row_sums_preview":["1","92","8464","778688","71639296","6590815232","606355001344","55784660123648"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a6a633b989da1879","steps":["basis A013611","basis A013610"],"edges":["e-62a1b0a86f60f435","e-15c4c7a0aa609a8a"],"text":"A038271 \u2192 basis A013611 \u2192 basis A013610"},"headline":"A038271 \u2192 basis A013611 \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:            256,             960,              900;\n  1:           4096,           23040,            43200,             27000;\n  2:          65536,          491520,          1382400,           1728000,            810000;\n  3:        1048576,         9830400,         36864000,          69120000,          64800000,           24300000;\n  4:       16777216,       188743680,        884736000,        2211840000,        3110400000,         2332800000,          729000000;\n  5:      268435456,      3523215360,      19818086400,       61931520000,      116121600000,       130636800000,        81648000000,        21870000000;\n  6:     4294967296,     64424509440,     422785843200,     1585446912000,     3715891200000,      5573836800000,      5225472000000,      2799360000000,       656100000000;\n  7:    68719476736,   1159641169920,    8697308774400,    38050725888000,   107017666560000,    200658124800000,    250822656000000,    201553920000000,     94478400000000,     19683000000000;\n  8:  1099511627776,  20615843020800,  173946175488000,   869730877440000,  2853804441600000,   6421059993600000,  10032906240000000,  10749542400000000,   7558272000000000,   3149280000000000,    590490000000000;\n  9: 17592186044416, 362838837166080, 3401614098432000, 19134079303680000, 71752797388800000, 188351093145600000, 353158299648000000, 472979865600000000, 443418624000000000, 277136640000000000, 103926240000000000, 17714700000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (16+30*x)*P(n-1,x) for n >= 1, with P(0,x) = 256 + 960*x + 900*x^2.","mathematica":"P[0, x_] := 256 + 960*x + 900*x^2;\nP[n_, x_] := P[n, x] = Expand[(16 + 30*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] = 256 + 960*x + 900*x^2; for(n = 1, N, my(i = n + 1); v[i] = (16 + 30*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-bbfc5a54ff13a785","steps":["basis A013609","basis A013610"],"edges":["e-31086658f6c15e80","e-1fb83deddcb4b215"],"text":"A013612 \u2192 basis A013609 \u2192 basis A013610"},"headline":"A013612 \u2192 basis A013609 \u2192 basis A013610","chain":null}