{"id":"n-a671f0f59d0604cc","revision":1,"first_index":0,"fingerprint":"f6-fceeb1ee7fc7599a","name":"basis_map_A008277 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^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":false,"rows":[["484","540","100"],["10648","22120","9600","1000"],["234256","814320","624400","148000","10000"],["5153632","28400800","34368000","13940000","2100000","100000"],["113379904","960361920","1727464000","1068560000","269600000","28200000","1000000"],["2494357888","31865380480","82157107200","72839760000","27400800000","4726400000","364000000","10000000"],["54875873536","1044635754240","3769252307200","4609238592000","2427247200000","614308800000","77112000000","4560000000","100000000"],["1207269217792","33977102871040","168754954444800","277372929856000","196581712320000","68502705600000","12466272000000","1190640000000","55800000000","1000000000"],["26559922791424","1099339984051200","7427479115392000","16110941896960000","14961795462400000","6898011926400000","1707261360000000","234201600000000","17598000000000","670000000000","10000000000"],["584318301411328","35444478717552640","322947522686976000","912043769795840000","1088740737638400000","646274813324800000","208975550784000000","38619160800000000","4137012000000000","251020000000000","7920000000000","100000000000"],["12855002631049216","1140066501975797760","13918240740028518400","50655751256253440000","76622363431539200000","57419193935769600000","23598743297536000000","5642718301440000000","808166832000000000","69484360000000000","3476440000000000","92400000000000","1000000000000"],["282810057883082752","36610678089536020480","595966776100955750400","2773281472725464064000","5257144045317964800000","4900405597690803200000","2509288889755648000000","755117516707840000000","138860199878400000000","15863916640000000000","1118969280000000000","46961200000000000","1066000000000000","10000000000000"],["6221821273427820544","1174369799443983482880","25396711377135501721600","150170304342733688832000","353675745536968458240000","405400643486917478400000","254765744936871168000000","94563700434677760000000","21714915554675200000000","3165360662464000000000","295153418560000000000","17388571200000000000","620984000000000000","12180000000000000","100000000000000"],["136880068015412051968","37642051794941749657600","1078405575834130907136000","8062822939593506836480000","23429599266719381299200000","32725603786427743027200000","24944797519692610560000000","11247517889359065600000000","3160558390923648000000000","571669549742720000000000","67662323688960000000000","5246825584000000000000","262065440000000000000","8061200000000000000","138000000000000000","1000000000000000"],["3011361496339065143296","1205914458118290109562880","45669454702982915596288000","430050848617203664568320000","1533263383932536708915200000","2590539465289991310950400000","2372729434479071496192000000","1284219621017960140800000000","434852134767802752000000000","95632573480421120000000000","13971498987480320000000000","1369204213977600000000000","89681548320000000000000","3845956800000000000000","102968000000000000000","1552000000000000000","10000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1124","43368","1830976","84062432","4168565824","221857805568","12601330526976","760110386309632","48483869267994624","3258026404048979968","229891153499173605376","16983988909444494917632","1310346893206920666497024","105331933265068723391725568","8803600177344162658196914176"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A008277","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["484","540","100"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["22","10"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","10"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166193,"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-79186619a2157f5c"]},{"id":166194,"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-79186619a2157f5c"]},{"id":166195,"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-79186619a2157f5c"]}],"region_exact":{},"incoming_edges":[{"id":"e-79186619a2157f5c","operation":{"map":"A008277","operation":"basis_map"},"operation_detail":"A008277","conclusion_id":"n-a671f0f59d0604cc","premise_count":1,"theorem":"ray basis maps: for L f = (a + b t) f + kappa (t - h) f', b > 0, kappa >= 0, and g real-rooted with every root <= h, of multiplicity m at h, T(u^k) = L^k g sends every real polynomial with all roots in S to one with all roots in (-inf, h] if and only if S lies in (-inf, a + b h + kappa m] (RealRooted rayBasisMap_maps_realRootedIn_iff; the step is Ma and Wang, EJC 15 (2008) R17, Theorem 2)","lean_route":null,"lean_declarations":[],"certificate_hash":"5f2ca783f9a4aa476fb8c1075767892e6c34e26eeddda73f3598b8b5dc33a0a7","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-ec89fb3fc20684fc","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^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-6b049d232719e580","kind":"fingerprint_related","node_a_id":"n-a129a7f9655ce017","node_b_id":"n-a671f0f59d0604cc","fingerprint":"f6-fceeb1ee7fc7599a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-fceeb1ee7fc7599a"},"other_id":"n-a129a7f9655ce017","other":{"id":"n-a129a7f9655ce017","name":"basis_map_A008277 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j)*5^j.","first_index":0,"fingerprint":"f6-fceeb1ee7fc7599a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["11","5"],["121","135","25"]],"card_rows":[["1"],["11","5"],["121","135","25"],["1331","2765","1200","125"]],"row_sums_preview":["1","16","281","5421","114436","2626951","65133841","1733264106"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e6ebe74518d42cbe","steps":["basis A008277"],"edges":["e-edebb7c4f76b4b79"],"text":"A038259 \u2192 basis A008277"},"headline":"A038259 \u2192 basis A008277","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:             484,               540,                100;\n  1:           10648,             22120,               9600,               1000;\n  2:          234256,            814320,             624400,             148000,               10000;\n  3:         5153632,          28400800,           34368000,           13940000,             2100000,             100000;\n  4:       113379904,         960361920,         1727464000,         1068560000,           269600000,           28200000,            1000000;\n  5:      2494357888,       31865380480,        82157107200,        72839760000,         27400800000,         4726400000,          364000000,          10000000;\n  6:     54875873536,     1044635754240,      3769252307200,      4609238592000,       2427247200000,       614308800000,        77112000000,        4560000000,        100000000;\n  7:   1207269217792,    33977102871040,    168754954444800,    277372929856000,     196581712320000,     68502705600000,     12466272000000,     1190640000000,      55800000000,      1000000000;\n  8:  26559922791424,  1099339984051200,   7427479115392000,  16110941896960000,   14961795462400000,   6898011926400000,   1707261360000000,   234201600000000,   17598000000000,    670000000000,   10000000000;\n  9: 584318301411328, 35444478717552640, 322947522686976000, 912043769795840000, 1088740737638400000, 646274813324800000, 208975550784000000, 38619160800000000, 4137012000000000, 251020000000000, 7920000000000, 100000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (22+10*x)*P(n-1,x) + 10*x*d/dx P(n-1,x) for n >= 1, with P(0,x) = 484 + 540*x + 100*x^2.","mathematica":"P[0, x_] := 484 + 540*x + 100*x^2;\nP[n_, x_] := P[n, x] = Expand[(22 + 10*x)*P[n - 1, x] + 10*x*D[P[n - 1, x], x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 484 + 540*x + 100*x^2; for(n = 1, N, my(i = n + 1); v[i] = (22 + 10*x)*v[i - 1] + 10*x*deriv(v[i - 1], x)); 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-ec89fb3fc20684fc","steps":["basis A008277"],"edges":["e-79186619a2157f5c"],"text":"A038336 \u2192 basis A008277"},"headline":"A038336 \u2192 basis A008277","chain":null}