{"id":"n-a2769223501d377d","revision":1,"first_index":0,"fingerprint":"f6-1024c0779b1dc97d","name":"basis_map_A013611 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":[["36","240","400"],["216","2160","7200","8000"],["1296","17280","86400","192000","160000"],["7776","129600","864000","2880000","4800000","3200000"],["46656","933120","7776000","34560000","86400000","115200000","64000000"],["279936","6531840","65318400","362880000","1209600000","2419200000","2688000000","1280000000"],["1679616","44789760","522547200","3483648000","14515200000","38707200000","64512000000","61440000000","25600000000"],["10077696","302330880","4031078400","31352832000","156764160000","522547200000","1161216000000","1658880000000","1382400000000","512000000000"],["60466176","2015539200","30233088000","268738560000","1567641600000","6270566400000","17418240000000","33177600000000","41472000000000","30720000000000","10240000000000"],["362797056","13302558720","221709312000","2217093120000","14780620800000","68976230400000","229920768000000","547430400000000","912384000000000","1013760000000000","675840000000000","204800000000000"],["2176782336","87071293440","1596307046400","17736744960000","133025587200000","709469798400000","2759049216000000","7882997760000000","16422912000000000","24330240000000000","24330240000000000","14745600000000000","4096000000000000"],["13060694016","565963407360","11319268147200","138346610688000","1152888422400000","6917330534400000","30743691264000000","102478970880000000","256197427200000000","474439680000000000","632586240000000000","575078400000000000","319488000000000000","81920000000000000"],["78364164096","3656994324480","79234877030400","1056465027072000","9684262748160000","64561751654400000","322808758272000000","1229747650560000000","3586763980800000000","7970586624000000000","13284311040000000000","16102195200000000000","13418496000000000000","6881280000000000000","1638400000000000000"],["470184984576","23509249228800","548549148672000","7923487703040000","79234877030400000","581055764889600000","3228087582720000000","13834661068800000000","46115536896000000000","119558799360000000000","239117598720000000000","362299392000000000000","402554880000000000000","309657600000000000000","147456000000000000000","32768000000000000000"],["2821109907456","150459195064320","3761479876608000","58511909191680000","633879016243200000","5071032129945600000","30989640794112000000","147569718067200000000","553386442752000000000","1639663534080000000000","3825881579520000000000","6956148326400000000000","9661317120000000000000","9909043200000000000000","7077888000000000000000","3145728000000000000000","655360000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["676","17576","456976","11881376","308915776","8031810176","208827064576","5429503678976","141167095653376","3670344486987776","95428956661682176","2481152873203736576","64509974703297150976","1677259342285725925376","43608742899428874059776"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["36","240","400"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["6","20"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":168148,"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-db3287eb465d1cf9"]},{"id":168149,"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-db3287eb465d1cf9"]},{"id":168150,"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-db3287eb465d1cf9"]}],"region_exact":{},"incoming_edges":[{"id":"e-db3287eb465d1cf9","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-a2769223501d377d","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":"a8a109df219841d067e6cf65c2e02c2a84cc616762a91f28026804368d6ff2a5","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-bbfc5a54ff13a785","role":"sequence","name":"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-a0c4eb789ea1b957","kind":"fingerprint_related","node_a_id":"n-4397e742863fdbe2","node_b_id":"n-a2769223501d377d","fingerprint":"f6-1024c0779b1dc97d","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-1024c0779b1dc97d"},"other_id":"n-4397e742863fdbe2","other":{"id":"n-4397e742863fdbe2","name":"Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^j.","first_index":0,"fingerprint":"f6-1024c0779b1dc97d","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["100","60","9"],["1000","900","270","27"],["10000","12000","5400","1080","81"]],"card_rows":[["100","60","9"],["1000","900","270","27"],["10000","12000","5400","1080","81"],["100000","150000","90000","27000","4050","243"]],"row_sums_preview":["169","2197","28561","371293","4826809","62748517","815730721","10604499373"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-4397e742863fdbe2","steps":[],"edges":[],"text":"A038305"},"headline":"Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^j.","chain":null}},{"id":"l-c1ba4c22b1353c9f","kind":"fingerprint_related","node_a_id":"n-6ca7f61b6ad83377","node_b_id":"n-a2769223501d377d","fingerprint":"f6-1024c0779b1dc97d","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-1024c0779b1dc97d"},"other_id":"n-6ca7f61b6ad83377","other":{"id":"n-6ca7f61b6ad83377","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*1^j.","first_index":0,"fingerprint":"f6-1024c0779b1dc97d","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["10","3"],["100","60","9"]],"card_rows":[["1"],["10","3"],["100","60","9"],["1000","900","270","27"]],"row_sums_preview":["1","13","169","2197","28561","371293","4826809","62748517"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3dd184aba99388f7","steps":["basis A013610"],"edges":["e-8d10edd099560dc3"],"text":"A038291 \u2192 basis A013610"},"headline":"A038291 \u2192 basis A013610","chain":null}},{"id":"l-8a473aaaabbf1aeb","kind":"oeis_match","node_a_id":"n-a2769223501d377d","node_b_id":null,"fingerprint":null,"oeis_id":"A009970","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":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A009970","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009970","relation":"match_row_sums"}],"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:        36,         240,          400;\n  1:       216,        2160,         7200,          8000;\n  2:      1296,       17280,        86400,        192000,         160000;\n  3:      7776,      129600,       864000,       2880000,        4800000,        3200000;\n  4:     46656,      933120,      7776000,      34560000,       86400000,      115200000,        64000000;\n  5:    279936,     6531840,     65318400,     362880000,     1209600000,     2419200000,      2688000000,      1280000000;\n  6:   1679616,    44789760,    522547200,    3483648000,    14515200000,    38707200000,     64512000000,     61440000000,     25600000000;\n  7:  10077696,   302330880,   4031078400,   31352832000,   156764160000,   522547200000,   1161216000000,   1658880000000,   1382400000000,     512000000000;\n  8:  60466176,  2015539200,  30233088000,  268738560000,  1567641600000,  6270566400000,  17418240000000,  33177600000000,  41472000000000,   30720000000000,  10240000000000;\n  9: 362797056, 13302558720, 221709312000, 2217093120000, 14780620800000, 68976230400000, 229920768000000, 547430400000000, 912384000000000, 1013760000000000, 675840000000000, 204800000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (6+20*x)*P(n-1,x) for n >= 1, with P(0,x) = 36 + 240*x + 400*x^2.","mathematica":"P[0, x_] := 36 + 240*x + 400*x^2;\nP[n_, x_] := P[n, x] = Expand[(6 + 20*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] = 36 + 240*x + 400*x^2; for(n = 1, N, my(i = n + 1); v[i] = (6 + 20*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 A013611"],"edges":["e-db3287eb465d1cf9"],"text":"A013612 \u2192 basis A013611"},"headline":"A013612 \u2192 basis A013611","chain":null}