{"id":"n-3e662fa3f0db603a","revision":0,"first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","name":"derivative of basis_map_A013610 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":1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["180","450"],["1620","8100","10125"],["12960","97200","243000","202500"],["97200","972000","3645000","6075000","3796875"],["699840","8748000","43740000","109350000","136687500","68343750"],["4898880","73483200","459270000","1530900000","2870437500","2870437500","1196015625"],["33592320","587865600","4408992000","18370800000","45927000000","68890500000","57408750000","20503125000"],["226748160","4534963200","39680928000","198404640000","620014500000","1240029000000","1550036250000","1107168750000","345990234375"],["1511654400","34012224000","340122240000","1984046400000","7440174000000","18600435000000","31000725000000","33215062500000","20759414062500","5766503906250"],["9976919040","249422976000","2806008480000","18706723200000","81841914000000","245525742000000","511511962500000","730731375000000","685060664062500","380589257812500","95147314453125"],["65303470080","1795845427200","22448067840000","168360508800000","841802544000000","2946308904000000","7365772260000000","13153164750000000","16441455937500000","13701213281250000","6850606640625000","1556956054687500"],["424472555520","12734176665600","175094929152000","1459124409600000","8207574804000000","32830299216000000","95755039380000000","205189370100000000","320608390781250000","356231545312500000","267173658984375000","121442572265625000","25300535888671875"],["2742745743360","89139236659200","1337088549888000","12256645040640000","76604031504000000","344718141768000000","1149060472560000000","2872651181400000000","5386220965125000000","7480862451562500000","7480862451562500000","5100588035156250000","2125245014648437500","408700964355468750"],["17631936921600","617117792256000","10028164124160000","100281641241600000","689436283536000000","3447181417680000000","12926930316300000000","36934086618000000000","80793314476875000000","134655524128125000000","168319405160156250000","153017641054687500000","95636025659179687500","36783086791992187500","6568408355712890625"],["112844396298240","4231664861184000","74054135070720000","802253129932800000","6016898474496000000","33092941609728000000","137887256707200000000","443209039416000000000","1108022598540000000000","2154488386050000000000","3231732579075000000000","3672423385312500000000","3060352821093750000000","1765588166015625000000","630567202148437500000","105094533691406250000"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["630","19845","555660","14586075","367569090","9005442705","216130624920","5106086013735","119142006987150","2752180361403165","63049950097599780","1434386364720394995","32439199325215086810","729881984817339453225","16349356459908403752240"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["180","450"]],"recurrence":{"denominator":{"coeffs":[["1"],["1"]]},"terms":[{"coeff":{"coeffs":[["12","30"],["6","15"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193466,"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-b01e77384ec80164"]},{"id":193467,"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-b01e77384ec80164"]},{"id":193468,"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-b01e77384ec80164"]},{"id":193469,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1","region_exact":null,"edges":["e-b01e77384ec80164"]}],"region_exact":{},"incoming_edges":[{"id":"e-b01e77384ec80164","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"0\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-3e662fa3f0db603a","premise_count":1,"theorem":"Laguerre's theorem on differential operators: if phi is a real polynomial with only real roots, then phi(D) maps every real-rooted polynomial to a real-rooted polynomial or zero (write phi(D) = C D^j prod (1 + c_i D); D preserves real-rootedness by Rolle's theorem and p + c p' is real-rooted for every real c by Rolle's theorem applied to e^(x/c) p; Polya--Schur 1914); when the coefficients of phi have one sign, coefficients of one sign stay of one sign; applied to phi(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.splits_add_C_mul_derivative_all","RealRooted.splits_C_mul_add_derivative","Polynomial.Splits.derivative"],"certificate_hash":"a524332b63ed4919b911974fc6a59681f09ec5513c48996d6bbd5df3f6445951","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-31eaa59be7a07b63","role":"sequence","name":"basis_map_A013610 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-0552cfee076646fc","kind":"fingerprint_related","node_a_id":"n-3e662fa3f0db603a","node_b_id":"n-a3d5f8ed8609775e","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-a3d5f8ed8609775e","other":{"id":"n-a3d5f8ed8609775e","name":"derivative of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["180","72"],["4050","3240","648"],["81000","97200","38880","5184"]],"card_rows":[["180","72"],["4050","3240","648"],["81000","97200","38880","5184"],["1518750","2430000","1458000","388800","38880"]],"row_sums_preview":["252","7938","222264","5834430","147027636","3602177082","86452249968","2042434405494"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-615df6ea54d3bbef","steps":["basis A013609","D"],"edges":["e-f3e6c91e6b1bdc2d","e-93bc60311236eedd"],"text":"A038329 \u2192 basis A013609 \u2192 D"},"headline":"A038329 \u2192 basis A013609 \u2192 D","chain":null}},{"id":"l-08099afeadbb3311","kind":"fingerprint_related","node_a_id":"n-e2946010c16ce24a","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-e2946010c16ce24a","other":{"id":"n-e2946010c16ce24a","name":"reversal of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*1^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["4","10"],["16","80","100"]],"card_rows":[["1"],["4","10"],["16","80","100"],["64","480","1200","1000"]],"row_sums_preview":["1","14","196","2744","38416","537824","7529536","105413504"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3dd184aba99388f7","steps":["basis A013611","reverse"],"edges":["e-8c5f302cdd82df95","e-556a2c6729ee9e41"],"text":"A038291 \u2192 basis A013611 \u2192 reverse"},"headline":"A038291 \u2192 basis A013611 \u2192 reverse","chain":null}},{"id":"l-0b454edf655bc330","kind":"fingerprint_related","node_a_id":"n-815b996b7a3cb30d","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-815b996b7a3cb30d","other":{"id":"n-815b996b7a3cb30d","name":"basis_map_A013611 of Triangle of coefficients in expansion of (3+5x)^n.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","20"],["64","320","400"]],"card_rows":[["1"],["8","20"],["64","320","400"],["512","3840","9600","8000"]],"row_sums_preview":["1","28","784","21952","614656","17210368","481890304","13492928512"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["basis A013611"],"edges":["e-96f2019a633e1196"],"text":"A013622 \u2192 basis A013611"},"headline":"A013622 \u2192 basis A013611","chain":null}},{"id":"l-0e9f7f70344c20b5","kind":"fingerprint_related","node_a_id":"n-64a6f5553b7b7b7f","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-64a6f5553b7b7b7f","other":{"id":"n-64a6f5553b7b7b7f","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["400","320","64"],["8000","9600","3840","512"],["160000","256000","153600","40960","4096"]],"card_rows":[["400","320","64"],["8000","9600","3840","512"],["160000","256000","153600","40960","4096"],["3200000","6400000","5120000","2048000","409600","32768"]],"row_sums_preview":["784","21952","614656","17210368","481890304","13492928512","377801998336","10578455953408"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6874f381e9c7e0a2","steps":["x \u21a6 x+1"],"edges":["e-4a3b4bf6a80699a3"],"text":"A038334 \u2192 x \u21a6 x+1"},"headline":"A038334 \u2192 x \u21a6 x+1","chain":null}},{"id":"l-1b06cb3d3ffd208b","kind":"fingerprint_related","node_a_id":"n-57b33fe1376693f4","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-57b33fe1376693f4","other":{"id":"n-57b33fe1376693f4","name":"shift_x_plus_one of basis_map_A007318 of Triangle read by rows: T(n,k) is the number of ternary words of length n having k runs (i.e., subwords of maximal length) of identical letters (1 <= k <= n).","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["3"],["15","6"],["75","60","12"]],"card_rows":[["3"],["15","6"],["75","60","12"],["375","450","180","24"]],"row_sums_preview":["3","21","147","1029","7203","50421","352947","2470629"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-51b4f5e7901c2b50","steps":["basis A013609","basis A007318"],"edges":["e-618e7f7547136f14","e-381323bc5b1c116c"],"text":"A120910 \u2192 basis A013609 \u2192 basis A007318"},"headline":"A120910 \u2192 basis A013609 \u2192 basis A007318","chain":null}},{"id":"l-1f9af9560e279bfb","kind":"fingerprint_related","node_a_id":"n-aa3c7623db76c626","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-aa3c7623db76c626","other":{"id":"n-aa3c7623db76c626","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle read by rows: T(n,k) = C(n+3,3) * C(n,k), 0 <= k <= n.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","20"],["40","200","250"]],"card_rows":[["1"],["8","20"],["40","200","250"],["160","1200","3000","2500"]],"row_sums_preview":["1","28","490","6860","84035","941192","9882516","98825160"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a820c1859f68e71c","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-24fdbe8219e7135e","e-1d83df8ff4802b6d"],"text":"A178820 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A178820 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-2a44d336fe684c77","kind":"fingerprint_related","node_a_id":"n-76dd49aa0a9e8b92","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-76dd49aa0a9e8b92","other":{"id":"n-76dd49aa0a9e8b92","name":"reversal of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*3^(i-j)*2^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["2","5"],["4","20","25"]],"card_rows":[["1"],["2","5"],["4","20","25"],["8","60","150","125"]],"row_sums_preview":["1","7","49","343","2401","16807","117649","823543"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-01cea33b6485d9cc","steps":["basis A007318","reverse"],"edges":["e-7f6faf86ff30c5bb","e-90c22c8794ad024d"],"text":"A038220 \u2192 basis A007318 \u2192 reverse"},"headline":"A038220 \u2192 basis A007318 \u2192 reverse","chain":null}},{"id":"l-2c19ec05cd5d8935","kind":"fingerprint_related","node_a_id":"n-087054bdf6cd6b1d","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-087054bdf6cd6b1d","other":{"id":"n-087054bdf6cd6b1d","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle T(n,k) = n!*binomial(n-1, k-1) for 1 <= k <= n, read by rows.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["4","10"],["24","120","150"]],"card_rows":[["1"],["4","10"],["24","120","150"],["192","1440","3600","3000"]],"row_sums_preview":["1","14","294","8232","288120","12101040","592950960","33205253760"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-75a6475b3e851dc5","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-1eb90284df2d6b2d","e-a31fbac1bf3d1681"],"text":"A156992 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A156992 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-2c63460881396f4b","kind":"fingerprint_related","node_a_id":"n-94c47e4fba64d6ad","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-94c47e4fba64d6ad","other":{"id":"n-94c47e4fba64d6ad","name":"reversal of basis_map_A013611 of Triangle of coefficients in expansion of (3+5x)^n.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["20","8"],["400","320","64"]],"card_rows":[["1"],["20","8"],["400","320","64"],["8000","9600","3840","512"]],"row_sums_preview":["1","28","784","21952","614656","17210368","481890304","13492928512"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["basis A013611","reverse"],"edges":["e-96f2019a633e1196","e-5493ca7aa15336d7"],"text":"A013622 \u2192 basis A013611 \u2192 reverse"},"headline":"A013622 \u2192 basis A013611 \u2192 reverse","chain":null}},{"id":"l-43419dc6fc8fc7fe","kind":"fingerprint_related","node_a_id":"n-e4e79e53c36761e9","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-e4e79e53c36761e9","other":{"id":"n-e4e79e53c36761e9","name":"mobius_x_over_x_plus_one of basis_map_A013609 of Triangle of coefficients in expansion of (1+3*x)^n.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["4","10"],["16","80","100"]],"card_rows":[["1"],["4","10"],["16","80","100"],["64","480","1200","1000"]],"row_sums_preview":["1","14","196","2744","38416","537824","7529536","105413504"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-d28ad9841fc73317","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-1a1a6d136d357a71","e-9e8f9a8d84167325"],"text":"A038208 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A038208 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-54780bf2abeb9347","kind":"fingerprint_related","node_a_id":"n-36ada3fcb5984f7f","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-36ada3fcb5984f7f","other":{"id":"n-36ada3fcb5984f7f","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle read by rows: T(n,k) = binomial(n+4,4) * binomial(n,k), 0 <= k <= n.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["10","25"],["60","300","375"]],"card_rows":[["1"],["10","25"],["60","300","375"],["280","2100","5250","4375"]],"row_sums_preview":["1","35","735","12005","168070","2117682","24706290","271769190"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-79986ab5023c2764","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-0c010b1c5e20b0cb","e-f63b69f449dabc79"],"text":"A178821 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A178821 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-62322d0ff86c7986","kind":"fingerprint_related","node_a_id":"n-f1a275eb676f791b","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-f1a275eb676f791b","other":{"id":"n-f1a275eb676f791b","name":"mobius_x_over_x_plus_one of Triangle of coefficients in expansion of (2+3x)^n.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["2","5"],["4","20","25"]],"card_rows":[["1"],["2","5"],["4","20","25"],["8","60","150","125"]],"row_sums_preview":["1","7","49","343","2401","16807","117649","823543"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-5733d79f45a14084","steps":["x \u21a6 x/(x+1)"],"edges":["e-867523535b04b58e"],"text":"A013620 \u2192 x \u21a6 x/(x+1)"},"headline":"A013620 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-69558562defc70fc","kind":"fingerprint_related","node_a_id":"n-3e662fa3f0db603a","node_b_id":"n-e873007dd974fa35","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-e873007dd974fa35","other":{"id":"n-e873007dd974fa35","name":"reversal of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["64","320","400"],["512","3840","9600","8000"],["4096","40960","153600","256000","160000"]],"card_rows":[["64","320","400"],["512","3840","9600","8000"],["4096","40960","153600","256000","160000"],["32768","409600","2048000","5120000","6400000","3200000"]],"row_sums_preview":["784","21952","614656","17210368","481890304","13492928512","377801998336","10578455953408"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6874f381e9c7e0a2","steps":["x \u21a6 x+1","reverse"],"edges":["e-4a3b4bf6a80699a3","e-8bc11bd6922d8468"],"text":"A038334 \u2192 x \u21a6 x+1 \u2192 reverse"},"headline":"A038334 \u2192 x \u21a6 x+1 \u2192 reverse","chain":null}},{"id":"l-69ad59d446e4a3b3","kind":"fingerprint_related","node_a_id":"n-3fcb2ab6ab8d081a","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-3fcb2ab6ab8d081a","other":{"id":"n-3fcb2ab6ab8d081a","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*3^(i-j)*2^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["5","2"],["25","20","4"]],"card_rows":[["1"],["5","2"],["25","20","4"],["125","150","60","8"]],"row_sums_preview":["1","7","49","343","2401","16807","117649","823543"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-01cea33b6485d9cc","steps":["basis A007318"],"edges":["e-7f6faf86ff30c5bb"],"text":"A038220 \u2192 basis A007318"},"headline":"A038220 \u2192 basis A007318","chain":null}},{"id":"l-754e7479a154f3e8","kind":"fingerprint_related","node_a_id":"n-4ef858fd88b37fab","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-4ef858fd88b37fab","other":{"id":"n-4ef858fd88b37fab","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["225","180","36"],["3375","4050","1620","216"],["50625","81000","48600","12960","1296"]],"card_rows":[["225","180","36"],["3375","4050","1620","216"],["50625","81000","48600","12960","1296"],["759375","1518750","1215000","486000","97200","7776"]],"row_sums_preview":["441","9261","194481","4084101","85766121","1801088541","37822859361","794280046581"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-615df6ea54d3bbef","steps":["basis A013609"],"edges":["e-f3e6c91e6b1bdc2d"],"text":"A038329 \u2192 basis A013609"},"headline":"A038329 \u2192 basis A013609","chain":null}},{"id":"l-aa00729f7668357c","kind":"fingerprint_related","node_a_id":"n-699392d99654cde6","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-699392d99654cde6","other":{"id":"n-699392d99654cde6","name":"derivative of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*3^(i-j)*2^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["2"],["20","8"]],"card_rows":[["2"],["20","8"],["150","120","24"],["1000","1200","480","64"]],"row_sums_preview":["0","2","28","294","2744","24010","201684","1647086"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-01cea33b6485d9cc","steps":["basis A007318","D"],"edges":["e-7f6faf86ff30c5bb","e-2d0140e698ffde3e"],"text":"A038220 \u2192 basis A007318 \u2192 D"},"headline":"A038220 \u2192 basis A007318 \u2192 D","chain":null}},{"id":"l-b3d6c3e63bde77a0","kind":"fingerprint_related","node_a_id":"n-3e662fa3f0db603a","node_b_id":"n-66894599312bd669","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-66894599312bd669","other":{"id":"n-66894599312bd669","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*12^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["576","2880","3600"],["13824","103680","259200","216000"],["331776","3317760","12441600","20736000","12960000"]],"card_rows":[["576","2880","3600"],["13824","103680","259200","216000"],["331776","3317760","12441600","20736000","12960000"],["7962624","99532800","497664000","1244160000","1555200000","777600000"]],"row_sums_preview":["7056","592704","49787136","4182119424","351298031616","29509034655744","2478758911082496","208215748530929664"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c1532953a6736702","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-85e8843cd1dca083","e-6e4b9ec45e094883"],"text":"A038338 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A038338 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-b73ea32b78a5e395","kind":"fingerprint_related","node_a_id":"n-29c1a5ee5bc02216","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-29c1a5ee5bc02216","other":{"id":"n-29c1a5ee5bc02216","name":"derivative of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*1^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["4"],["80","32"]],"card_rows":[["4"],["80","32"],["1200","960","192"],["16000","19200","7680","1024"]],"row_sums_preview":["0","4","112","2352","43904","768320","12907776","210827008"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3dd184aba99388f7","steps":["basis A013611","D"],"edges":["e-8c5f302cdd82df95","e-8916a934dbe08c85"],"text":"A038291 \u2192 basis A013611 \u2192 D"},"headline":"A038291 \u2192 basis A013611 \u2192 D","chain":null}},{"id":"l-bb04b52a084629fc","kind":"fingerprint_related","node_a_id":"n-3e662fa3f0db603a","node_b_id":"n-0e639bc7a476db4f","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-0e639bc7a476db4f","other":{"id":"n-0e639bc7a476db4f","name":"basis_map_A013610 of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*1^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["15","6"],["225","180","36"]],"card_rows":[["1"],["15","6"],["225","180","36"],["3375","4050","1620","216"]],"row_sums_preview":["1","21","441","9261","194481","4084101","85766121","1801088541"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-81e6fb4f9f226d77","steps":["basis A013609","basis A013610"],"edges":["e-ec56a67a9fb88114","e-c0120deeb0282b5b"],"text":"A038327 \u2192 basis A013609 \u2192 basis A013610"},"headline":"A038327 \u2192 basis A013609 \u2192 basis A013610","chain":null}},{"id":"l-bba14e991a6922f0","kind":"fingerprint_related","node_a_id":"n-d5d11fe45846957a","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-d5d11fe45846957a","other":{"id":"n-d5d11fe45846957a","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*3^(i-j)*3^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["6","15"],["36","180","225"]],"card_rows":[["1"],["6","15"],["36","180","225"],["216","1620","4050","3375"]],"row_sums_preview":["1","21","441","9261","194481","4084101","85766121","1801088541"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-8d88ef9de74b305f","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-b88e4ed4246b1dea","e-e6b20ae524913c7d"],"text":"A038221 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A038221 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-c7c4fb7a40c3ae49","kind":"fingerprint_related","node_a_id":"n-21ae99bfbb1128ab","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-21ae99bfbb1128ab","other":{"id":"n-21ae99bfbb1128ab","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle read by rows: T(n,k) = C(n+5,5) * C(n,k), 0 <= k <= n.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["12","30"],["84","420","525"]],"card_rows":[["1"],["12","30"],["84","420","525"],["448","3360","8400","7000"]],"row_sums_preview":["1","42","1029","19208","302526","4235364","54353838","652246056"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-97228a88c81561dc","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-3fa86ece9d0bedd1","e-112247b187fda163"],"text":"A178822 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A178822 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-cd57617050ca087b","kind":"fingerprint_related","node_a_id":"n-8afa7b2308002172","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-8afa7b2308002172","other":{"id":"n-8afa7b2308002172","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*1^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["10","4"],["100","80","16"]],"card_rows":[["1"],["10","4"],["100","80","16"],["1000","1200","480","64"]],"row_sums_preview":["1","14","196","2744","38416","537824","7529536","105413504"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3dd184aba99388f7","steps":["basis A013611"],"edges":["e-8c5f302cdd82df95"],"text":"A038291 \u2192 basis A013611"},"headline":"A038291 \u2192 basis A013611","chain":null}},{"id":"l-e3b59e95c0edad35","kind":"fingerprint_related","node_a_id":"n-76cc48d59e2c1eb1","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-76cc48d59e2c1eb1","other":{"id":"n-76cc48d59e2c1eb1","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle T(n,k) read by rows: multiply row n of Pascal's triangle (A007318) by the n-th Catalan number (A000108).","first_index":1,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["2","5"],["8","40","50"]],"card_rows":[["1"],["2","5"],["8","40","50"],["40","300","750","625"]],"row_sums_preview":["1","7","98","1715","33614","705894","15529668","353299947"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a98fae1bf9eeb913","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-13e67b7b83b67a66","e-bd8a84b597b5d477"],"text":"A085880 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A085880 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-e6fd3a86d3285831","kind":"fingerprint_related","node_a_id":"n-44803ce4a1b16505","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-44803ce4a1b16505","other":{"id":"n-44803ce4a1b16505","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle T(n, k) read by rows, T(n, k) = n!*binomial(n, k).","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["2","5"],["8","40","50"]],"card_rows":[["1"],["2","5"],["8","40","50"],["48","360","900","750"]],"row_sums_preview":["1","7","98","2058","57624","2016840","84707280","4150656720"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cb5d49e71e46f2ed","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-542183e09dec6678","e-25cfcf79147eb620"],"text":"A196347 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A196347 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-e72f286833c334d7","kind":"fingerprint_related","node_a_id":"n-37a4a04e19b7ecf6","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-37a4a04e19b7ecf6","other":{"id":"n-37a4a04e19b7ecf6","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Twice Pascal's triangle A007318: T(n,k) = 2*C(n,k).","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["2"],["4","10"],["8","40","50"]],"card_rows":[["2"],["4","10"],["8","40","50"],["16","120","300","250"]],"row_sums_preview":["2","14","98","686","4802","33614","235298","1647086"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-089a9b4f824a1c20","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-28b777b3c0b25332","e-b2492b0576153370"],"text":"A028326 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A028326 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-f3ea021f1af38d38","kind":"fingerprint_related","node_a_id":"n-4fb8d1ebc18dc0c9","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-4fb8d1ebc18dc0c9","other":{"id":"n-4fb8d1ebc18dc0c9","name":"derivative of basis_map_A013611 of Triangle of coefficients in expansion of (3+5x)^n.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["20"],["320","800"]],"card_rows":[["20"],["320","800"],["3840","19200","24000"],["40960","307200","768000","640000"]],"row_sums_preview":["0","20","1120","47040","1756160","61465600","2065244160","67464642560"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["basis A013611","D"],"edges":["e-96f2019a633e1196","e-464ee1aa1fca59c9"],"text":"A013622 \u2192 basis A013611 \u2192 D"},"headline":"A013622 \u2192 basis A013611 \u2192 D","chain":null}},{"id":"l-f627ee4c96653165","kind":"fingerprint_related","node_a_id":"n-3e662fa3f0db603a","node_b_id":"n-4a35178dcacc3105","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-4a35178dcacc3105","other":{"id":"n-4a35178dcacc3105","name":"basis_map_A013609 of derivative of Triangle whose (i,j)-th entry is binomial(i,j)*4^(i-j).","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["1"],["10","4"]],"card_rows":[["1"],["10","4"],["75","60","12"],["500","600","240","32"]],"row_sums_preview":["0","1","14","147","1372","12005","100842","823543"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3dcaebc50e901d48","steps":["D","basis A013609"],"edges":["e-62aaaa59f91d42c1","e-c462a188c6fc1625"],"text":"A038231 \u2192 D \u2192 basis A013609"},"headline":"A038231 \u2192 D \u2192 basis A013609","chain":null}},{"id":"l-f83f2e6d894329db","kind":"fingerprint_related","node_a_id":"n-31eaa59be7a07b63","node_b_id":"n-3e662fa3f0db603a","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-31eaa59be7a07b63","other":{"id":"n-31eaa59be7a07b63","name":"basis_map_A013610 of Triangle of coefficients in expansion of (1+5x)^n.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["36","180","225"],["216","1620","4050","3375"],["1296","12960","48600","81000","50625"]],"card_rows":[["36","180","225"],["216","1620","4050","3375"],["1296","12960","48600","81000","50625"],["7776","97200","486000","1215000","1518750","759375"]],"row_sums_preview":["441","9261","194481","4084101","85766121","1801088541","37822859361","794280046581"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-bbfc5a54ff13a785","steps":["basis A013610"],"edges":["e-46de8f4df4fd1cb3"],"text":"A013612 \u2192 basis A013610"},"headline":"A013612 \u2192 basis A013610","chain":null}},{"id":"l-fe88b361acaf015a","kind":"fingerprint_related","node_a_id":"n-3e662fa3f0db603a","node_b_id":"n-dfc1be3375cc826d","fingerprint":"f6-9629d1e9c04dbfbe","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9629d1e9c04dbfbe"},"other_id":"n-dfc1be3375cc826d","other":{"id":"n-dfc1be3375cc826d","name":"derivative of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["320","128"],["9600","7680","1536"],["256000","307200","122880","16384"]],"card_rows":[["320","128"],["9600","7680","1536"],["256000","307200","122880","16384"],["6400000","10240000","6144000","1638400","163840"]],"row_sums_preview":["448","18816","702464","24586240","826097664","26985857024","863547424768","27201743880192"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6874f381e9c7e0a2","steps":["x \u21a6 x+1","D"],"edges":["e-4a3b4bf6a80699a3","e-775b53bf6afe64fa"],"text":"A038334 \u2192 x \u21a6 x+1 \u2192 D"},"headline":"A038334 \u2192 x \u21a6 x+1 \u2192 D","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:        180,          450;\n  1:       1620,         8100,         10125;\n  2:      12960,        97200,        243000,         202500;\n  3:      97200,       972000,       3645000,        6075000,        3796875;\n  4:     699840,      8748000,      43740000,      109350000,      136687500,        68343750;\n  5:    4898880,     73483200,     459270000,     1530900000,     2870437500,      2870437500,      1196015625;\n  6:   33592320,    587865600,    4408992000,    18370800000,    45927000000,     68890500000,     57408750000,     20503125000;\n  7:  226748160,   4534963200,   39680928000,   198404640000,   620014500000,   1240029000000,   1550036250000,   1107168750000,    345990234375;\n  8: 1511654400,  34012224000,  340122240000,  1984046400000,  7440174000000,  18600435000000,  31000725000000,  33215062500000,  20759414062500,   5766503906250;\n  9: 9976919040, 249422976000, 2806008480000, 18706723200000, 81841914000000, 245525742000000, 511511962500000, 730731375000000, 685060664062500, 380589257812500, 95147314453125;\n","recurrence_sentence":"The row polynomials satisfy (n+1)*P(n,x) = (6*n+12+(15*n+30)*x)*P(n-1,x) for n >= 1, with P(0,x) = 180 + 450*x.","mathematica":"P[0, x_] := 180 + 450*x;\nP[n_, x_] := P[n, x] = Expand[Together[((6*n + 12 + (15*n + 30)*x)*P[n - 1, x])/(n + 1)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 180 + 450*x; for(n = 1, N, my(i = n + 1); v[i] = ((6*n + 12 + (15*n + 30)*x)*v[i - 1])/(n + 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 A013610","D"],"edges":["e-46de8f4df4fd1cb3","e-b01e77384ec80164"],"text":"A013612 \u2192 basis A013610 \u2192 D"},"headline":"A013612 \u2192 basis A013610 \u2192 D","chain":null}