{"id":"n-dfc1be3375cc826d","revision":0,"first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","name":"derivative of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","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":[["320","128"],["9600","7680","1536"],["256000","307200","122880","16384"],["6400000","10240000","6144000","1638400","163840"],["153600000","307200000","245760000","98304000","19660800","1572864"],["3584000000","8601600000","8601600000","4587520000","1376256000","220200960","14680064"],["81920000000","229376000000","275251200000","183500800000","73400320000","17616076800","2348810240","134217728"],["1843200000000","5898240000000","8257536000000","6606028800000","3303014400000","1056964608000","211392921600","24159191040","1207959552"],["40960000000000","147456000000000","235929600000000","220200960000000","132120576000000","52848230400000","14092861440000","2415919104000","241591910400","10737418240"],["901120000000000","3604480000000000","6488064000000000","6920601600000000","4844421120000000","2325322137600000","775107379200000","177167400960000","26575110144000","2362232012800","94489280512"],["19660800000000000","86507520000000000","173015040000000000","207618048000000000","166094438400000000","93012885504000000","37205154201600000","10630044057600000","2126008811520000","283467841536000","22677427322880","824633720832"],["425984000000000000","2044723200000000000","4498391040000000000","5997854720000000000","5398069248000000000","3454764318720000000","1612223348736000000","552762290995200000","138190572748800000","24567212933120000","2948065551974400","214404767416320","7146825580544"],["9175040000000000000","47710208000000000000","114504499200000000000","167939932160000000000","167939932160000000000","120916751155200000000","64488933949440000000","25795573579776000000","7738672073932800000","1719704905318400000","275152784850944000","30016667438284800","2001111162552320","61572651155456"],["196608000000000000000","1101004800000000000000","2862612480000000000000","4580179968000000000000","5038197964800000000000","4030558371840000000000","2418335023104000000000","1105524581990400000000","386933603696640000000","103182294319104000000","20636458863820800000","3001666743828480000","300166674382848000","18471795346636800","527765581332480"],["4194304000000000000000","25165824000000000000000","70464307200000000000000","122138132480000000000000","146565758976000000000000","128977867898880000000000","85985245265920000000000","44220983279616000000000","17688393311846400000000","5503055697018880000000","1320733367284531200000","240133339506278400000","32017778600837120000","2955487255461888000","168884986026393600","4503599627370496"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["448","18816","702464","24586240","826097664","26985857024","863547424768","27201743880192","846276476272640","26065315469197312","796176908877299712","24150699569278091264","728236479319770136576","21847094379593104097280","652499885470514042372096"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["320","128"]],"recurrence":{"denominator":{"coeffs":[["1"],["1"]]},"terms":[{"coeff":{"coeffs":[["40","16"],["20","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194262,"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-775b53bf6afe64fa"]},{"id":194263,"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-775b53bf6afe64fa"]},{"id":194264,"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-775b53bf6afe64fa"]},{"id":194265,"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-775b53bf6afe64fa"]}],"region_exact":{},"incoming_edges":[{"id":"e-775b53bf6afe64fa","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-dfc1be3375cc826d","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":"35377d0ab290d7f5f1476a657669bd1a6764aff8155495d64c4ca58a24872308","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-64a6f5553b7b7b7f","role":"sequence","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^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-01695f0f1926dc60","kind":"fingerprint_related","node_a_id":"n-76dd49aa0a9e8b92","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-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-07165ebec7d825ac","kind":"fingerprint_related","node_a_id":"n-3fcb2ab6ab8d081a","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-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-0b5035e01ffc3116","kind":"fingerprint_related","node_a_id":"n-29c1a5ee5bc02216","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-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-1d51f2f384a6f5b5","kind":"fingerprint_related","node_a_id":"n-dfc1be3375cc826d","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-230d96471730c645","kind":"fingerprint_related","node_a_id":"n-f1a275eb676f791b","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-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-37efa079faa2cc94","kind":"fingerprint_related","node_a_id":"n-94c47e4fba64d6ad","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-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-3d261eb7d3c77882","kind":"fingerprint_related","node_a_id":"n-e2946010c16ce24a","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-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-3feac779b71569ff","kind":"fingerprint_related","node_a_id":"n-815b996b7a3cb30d","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-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-57e7cd4e5688ab3f","kind":"fingerprint_related","node_a_id":"n-d5d11fe45846957a","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-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-5b8e99fb87e2fe40","kind":"fingerprint_related","node_a_id":"n-37a4a04e19b7ecf6","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-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-68857755e9f4b9b6","kind":"fingerprint_related","node_a_id":"n-76cc48d59e2c1eb1","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-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-6ac391b803a05122","kind":"fingerprint_related","node_a_id":"n-44803ce4a1b16505","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-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-710d489fdf614654","kind":"fingerprint_related","node_a_id":"n-57b33fe1376693f4","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-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-7c0de152543fbb87","kind":"fingerprint_related","node_a_id":"n-4ef858fd88b37fab","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-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-7e59dd338de7c524","kind":"fingerprint_related","node_a_id":"n-8afa7b2308002172","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-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-8d0b98380b1aaa90","kind":"fingerprint_related","node_a_id":"n-36ada3fcb5984f7f","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-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-936f58305d532d36","kind":"fingerprint_related","node_a_id":"n-64a6f5553b7b7b7f","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-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-9ebfa055592d3e9c","kind":"fingerprint_related","node_a_id":"n-dfc1be3375cc826d","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-b0e9c4c5f66495b6","kind":"fingerprint_related","node_a_id":"n-087054bdf6cd6b1d","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-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-c5f9afdf4d24b681","kind":"fingerprint_related","node_a_id":"n-a3d5f8ed8609775e","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-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-cb2d85248b58d3db","kind":"fingerprint_related","node_a_id":"n-699392d99654cde6","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-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-ce8152cc17cf024d","kind":"fingerprint_related","node_a_id":"n-e4e79e53c36761e9","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-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-d09d75194b4558a4","kind":"fingerprint_related","node_a_id":"n-aa3c7623db76c626","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-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-e547cec8aca82485","kind":"fingerprint_related","node_a_id":"n-dfc1be3375cc826d","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-e6c0beecb2f80e51","kind":"fingerprint_related","node_a_id":"n-dfc1be3375cc826d","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-ed7c92173234d137","kind":"fingerprint_related","node_a_id":"n-4fb8d1ebc18dc0c9","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-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-f02c2b62894d174a","kind":"fingerprint_related","node_a_id":"n-21ae99bfbb1128ab","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-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-f31847b46ccea684","kind":"fingerprint_related","node_a_id":"n-31eaa59be7a07b63","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-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-3e662fa3f0db603a","other":{"id":"n-3e662fa3f0db603a","name":"derivative of 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":[["180","450"],["1620","8100","10125"],["12960","97200","243000","202500"]],"card_rows":[["180","450"],["1620","8100","10125"],["12960","97200","243000","202500"],["97200","972000","3645000","6075000","3796875"]],"row_sums_preview":["630","19845","555660","14586075","367569090","9005442705","216130624920","5106086013735"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"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}}],"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:             320,              128;\n  1:            9600,             7680,             1536;\n  2:          256000,           307200,           122880,            16384;\n  3:         6400000,         10240000,          6144000,          1638400,           163840;\n  4:       153600000,        307200000,        245760000,         98304000,         19660800,          1572864;\n  5:      3584000000,       8601600000,       8601600000,       4587520000,       1376256000,        220200960,        14680064;\n  6:     81920000000,     229376000000,     275251200000,     183500800000,      73400320000,      17616076800,      2348810240,       134217728;\n  7:   1843200000000,    5898240000000,    8257536000000,    6606028800000,    3303014400000,    1056964608000,    211392921600,     24159191040,     1207959552;\n  8:  40960000000000,  147456000000000,  235929600000000,  220200960000000,  132120576000000,   52848230400000,  14092861440000,   2415919104000,   241591910400,   10737418240;\n  9: 901120000000000, 3604480000000000, 6488064000000000, 6920601600000000, 4844421120000000, 2325322137600000, 775107379200000, 177167400960000, 26575110144000, 2362232012800, 94489280512;\n","recurrence_sentence":"The row polynomials satisfy (n+1)*P(n,x) = (20*n+40+(8*n+16)*x)*P(n-1,x) for n >= 1, with P(0,x) = 320 + 128*x.","mathematica":"P[0, x_] := 320 + 128*x;\nP[n_, x_] := P[n, x] = Expand[Together[((20*n + 40 + (8*n + 16)*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] = 320 + 128*x; for(n = 1, N, my(i = n + 1); v[i] = ((20*n + 40 + (8*n + 16)*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-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}