{"id":"n-cf1de4f27da354f5","revision":1,"first_index":0,"fingerprint":"f6-4b28493176e02e0b","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","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","320","100"],["4096","7680","4800","1000"],["65536","163840","153600","64000","10000"],["1048576","3276800","4096000","2560000","800000","100000"],["16777216","62914560","98304000","81920000","38400000","9600000","1000000"],["268435456","1174405120","2202009600","2293760000","1433600000","537600000","112000000","10000000"],["4294967296","21474836480","46976204800","58720256000","45875200000","22937600000","7168000000","1280000000","100000000"],["68719476736","386547056640","966367641600","1409286144000","1321205760000","825753600000","344064000000","92160000000","14400000000","1000000000"],["1099511627776","6871947673600","19327352832000","32212254720000","35232153600000","26424115200000","13762560000000","4915200000000","1152000000000","160000000000","10000000000"],["17592186044416","120946279055360","377957122048000","708669603840000","885837004800000","775107379200000","484442112000000","216268800000000","67584000000000","14080000000000","1760000000000","100000000000"],["281474976710656","2111062325329920","7256776743321600","15118284881920000","21260088115200000","21260088115200000","15502147584000000","8304721920000000","3244032000000000","901120000000000","168960000000000","19200000000000","1000000000000"],["4503599627370496","36591746972385280","137219051146444800","314460325543936000","491344258662400000","552762290995200000","460635242496000000","287897026560000000","134951731200000000","46858240000000000","11714560000000000","1996800000000000","208000000000000","10000000000000"],["72057594037927936","630503947831869440","2561422288066969600","6403555720167424000","11006111394037760000","13757639242547200000","12897786789888000000","9212704849920000000","5038197964800000000","2099249152000000000","656015360000000000","149094400000000000","23296000000000000","2240000000000000","100000000000000"],["1152921504606846976","10808639105689190400","47287796087390208000","128071114403348480000","240133339506278400000","330183341821132800000","343940981063680000000","276381145497600000000","172738215936000000000","83969966080000000000","31488737280000000000","8945664000000000000","1863680000000000000","268800000000000000","24000000000000000","1000000000000000"],["18446744073709551616","184467440737095516160","864691128455135232000","2522015791327477760000","5122844576133939200000","7684266864200908800000","8804889115230208000000","7861508138598400000000","5527622909952000000000","3070901616640000000000","1343519457280000000000","458017996800000000000","119275520000000000000","22937600000000000000","3072000000000000000","256000000000000000","10000000000000000"]],"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_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["256","320","100"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["16","10"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166878,"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-772e88d8a50e6734"]},{"id":166879,"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-772e88d8a50e6734"]},{"id":166880,"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-772e88d8a50e6734"]}],"region_exact":{},"incoming_edges":[{"id":"e-772e88d8a50e6734","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-cf1de4f27da354f5","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":"dc1442b0fcf6514039b5b70a420fb93032dedfa3ffb7b0aab07b93afb939c1fe","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-2bc1923905556bf6","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^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-14bef3f0355248bb","kind":"fingerprint_related","node_a_id":"n-cf1de4f27da354f5","node_b_id":"n-14b3e47d70263f07","fingerprint":"f6-4b28493176e02e0b","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-4b28493176e02e0b"},"other_id":"n-14b3e47d70263f07","other":{"id":"n-14b3e47d70263f07","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","first_index":0,"fingerprint":"f6-4b28493176e02e0b","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["400","1280","1024"],["8000","38400","61440","32768"],["160000","1024000","2457600","2621440","1048576"]],"card_rows":[["400","1280","1024"],["8000","38400","61440","32768"],["160000","1024000","2457600","2621440","1048576"],["3200000","25600000","81920000","131072000","104857600","33554432"]],"row_sums_preview":["2704","140608","7311616","380204032","19770609664","1028071702528","53459728531456","2779905883635712"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6874f381e9c7e0a2","steps":["basis A013611"],"edges":["e-bd5ba1e8beeebdaa"],"text":"A038334 \u2192 basis A013611"},"headline":"A038334 \u2192 basis A013611","chain":null}},{"id":"l-1926dacb429224ed","kind":"fingerprint_related","node_a_id":"n-210f23d82ddfabd8","node_b_id":"n-cf1de4f27da354f5","fingerprint":"f6-4b28493176e02e0b","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-4b28493176e02e0b"},"other_id":"n-210f23d82ddfabd8","other":{"id":"n-210f23d82ddfabd8","name":"basis_map_A013609 of Triangle of coefficients in expansion of (1+4x)^n.","first_index":0,"fingerprint":"f6-4b28493176e02e0b","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["5","8"],["25","80","64"]],"card_rows":[["1"],["5","8"],["25","80","64"],["125","600","960","512"]],"row_sums_preview":["1","13","169","2197","28561","371293","4826809","62748517"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-01cea33b6485d9cc","steps":["basis A013611"],"edges":["e-391376c704e767eb"],"text":"A038220 \u2192 basis A013611"},"headline":"A038220 \u2192 basis A013611","chain":null}},{"id":"l-da87a799cc984a35","kind":"fingerprint_related","node_a_id":"n-93086473ff31e9a0","node_b_id":"n-cf1de4f27da354f5","fingerprint":"f6-4b28493176e02e0b","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-4b28493176e02e0b"},"other_id":"n-93086473ff31e9a0","other":{"id":"n-93086473ff31e9a0","name":"basis_map_A007318 of Triangle of coefficients in expansion of (3+5x)^n.","first_index":0,"fingerprint":"f6-4b28493176e02e0b","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","5"],["64","80","25"]],"card_rows":[["1"],["8","5"],["64","80","25"],["512","960","600","125"]],"row_sums_preview":["1","13","169","2197","28561","371293","4826809","62748517"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["basis A007318"],"edges":["e-31008ec5d02c6da5"],"text":"A013622 \u2192 basis A007318"},"headline":"A013622 \u2192 basis A007318","chain":null}},{"id":"l-e77f760c81e379a4","kind":"oeis_match","node_a_id":"n-cf1de4f27da354f5","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:            256,             320,             100;\n  1:           4096,            7680,            4800,            1000;\n  2:          65536,          163840,          153600,           64000,           10000;\n  3:        1048576,         3276800,         4096000,         2560000,          800000,          100000;\n  4:       16777216,        62914560,        98304000,        81920000,        38400000,         9600000,         1000000;\n  5:      268435456,      1174405120,      2202009600,      2293760000,      1433600000,       537600000,       112000000,        10000000;\n  6:     4294967296,     21474836480,     46976204800,     58720256000,     45875200000,     22937600000,      7168000000,      1280000000,      100000000;\n  7:    68719476736,    386547056640,    966367641600,   1409286144000,   1321205760000,    825753600000,    344064000000,     92160000000,    14400000000,     1000000000;\n  8:  1099511627776,   6871947673600,  19327352832000,  32212254720000,  35232153600000,  26424115200000,  13762560000000,   4915200000000,  1152000000000,   160000000000,   10000000000;\n  9: 17592186044416, 120946279055360, 377957122048000, 708669603840000, 885837004800000, 775107379200000, 484442112000000, 216268800000000, 67584000000000, 14080000000000, 1760000000000, 100000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (16+10*x)*P(n-1,x) for n >= 1, with P(0,x) = 256 + 320*x + 100*x^2.","mathematica":"P[0, x_] := 256 + 320*x + 100*x^2;\nP[n_, x_] := P[n, x] = Expand[(16 + 10*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 + 320*x + 100*x^2; for(n = 1, N, my(i = n + 1); v[i] = (16 + 10*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-2bc1923905556bf6","steps":["basis A013609"],"edges":["e-772e88d8a50e6734"],"text":"A038319 \u2192 basis A013609"},"headline":"A038319 \u2192 basis A013609","chain":null}