{"id":"n-e873007dd974fa35","revision":0,"first_index":0,"fingerprint":"f6-9629d1e9c04dbfbe","name":"reversal 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":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["64","320","400"],["512","3840","9600","8000"],["4096","40960","153600","256000","160000"],["32768","409600","2048000","5120000","6400000","3200000"],["262144","3932160","24576000","81920000","153600000","153600000","64000000"],["2097152","36700160","275251200","1146880000","2867200000","4300800000","3584000000","1280000000"],["16777216","335544320","2936012800","14680064000","45875200000","91750400000","114688000000","81920000000","25600000000"],["134217728","3019898880","30198988800","176160768000","660602880000","1651507200000","2752512000000","2949120000000","1843200000000","512000000000"],["1073741824","26843545600","301989888000","2013265920000","8808038400000","26424115200000","55050240000000","78643200000000","73728000000000","40960000000000","10240000000000"],["8589934592","236223201280","2952790016000","22145925120000","110729625600000","387553689600000","968884224000000","1730150400000000","2162688000000000","1802240000000000","901120000000000","204800000000000"],["68719476736","2061584302080","28346784153600","236223201280000","1328755507200000","5315022028800000","15502147584000000","33218887680000000","51904512000000000","57671680000000000","43253760000000000","19660800000000000","4096000000000000"],["549755813888","17867063951360","268005959270400","2456721293312000","15354508083200000","69095286374400000","230317621248000000","575794053120000000","1079613849600000000","1499463680000000000","1499463680000000000","1022361600000000000","425984000000000000","81920000000000000"],["4398046511104","153931627888640","2501388953190400","25013889531904000","171970490531840000","859852452659200000","3224446697472000000","9212704849920000000","20152791859200000000","33587986432000000000","41984983040000000000","38168166400000000000","23855104000000000000","9175040000000000000","1638400000000000000"],["35184372088832","1319413953331200","23089744183296000","250138895319040000","1876041714892800000","10318229431910400000","42992622632960000000","138190572748800000000","345476431872000000000","671759728640000000000","1007639592960000000000","1145044992000000000000","954204160000000000000","550502400000000000000","196608000000000000000","32768000000000000000"],["281474976710656","11258999068426240","211106232532992000","2462906046218240000","20011111625523200000","120066669753139200000","550305569701888000000","1965377034649600000000","5527622909952000000000","12283606466560000000000","21496311316480000000000","29313151795200000000000","30534533120000000000000","23488102400000000000000","12582912000000000000000","4194304000000000000000","655360000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["784","21952","614656","17210368","481890304","13492928512","377801998336","10578455953408","296196766695424","8293509467471872","232218265089212416","6502111422497947648","182059119829942534144","5097655355238390956032","142734349946674946768896"],"nonn":true,"definitions":[{"position":0,"source":"derived:reversal","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["64","320","400"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["8","20"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194283,"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-8bc11bd6922d8468"]},{"id":194284,"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-8bc11bd6922d8468"]},{"id":194285,"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-8bc11bd6922d8468"]}],"region_exact":{},"incoming_edges":[{"id":"e-8bc11bd6922d8468","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"reversal\",\"schedule\":{\"first_index\":0,\"first_degree\":2,\"step\":1}}"},"operation_detail":"reversal, shift 0","conclusion_id":"n-e873007dd974fa35","premise_count":1,"theorem":"a real affine substitution x -> a x + b (a != 0), the reversal x^d p(1/x) (d >= deg p) and a real Mobius map (c x + e)^d p((a x + b)/(c x + e)) (a e - b c != 0, d >= deg p) map real roots to real roots: a root r of p gives the root (r - b)/a, 1/r (and 0) or (e r - b)/(a - c r) (and -e/c); for an input row that is a polynomial the degree condition holds automatically","lean_route":"reversed","lean_declarations":["RealRooted.X_pow_mul_reverse_eq_zero_or_splits","RealRooted.reflect_eq_zero_or_splits"],"certificate_hash":"be7bedf7dbc21aba5ebfd88f1a03400dcb3ed268ff201a7a821556b51e6b2118","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-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-0f4731a660a12455","kind":"fingerprint_related","node_a_id":"n-699392d99654cde6","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-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-1183a3794dad2877","kind":"fingerprint_related","node_a_id":"n-f1a275eb676f791b","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-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-15625cf5beb842da","kind":"fingerprint_related","node_a_id":"n-36ada3fcb5984f7f","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-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-176dc929931bf8af","kind":"fingerprint_related","node_a_id":"n-e4e79e53c36761e9","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-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-19ce582ca4a28198","kind":"fingerprint_related","node_a_id":"n-64a6f5553b7b7b7f","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-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-1f2165631c42d356","kind":"fingerprint_related","node_a_id":"n-3fcb2ab6ab8d081a","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-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-2576a5dbc68421d4","kind":"fingerprint_related","node_a_id":"n-e2946010c16ce24a","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-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-26dbd6c1cf74763e","kind":"fingerprint_related","node_a_id":"n-8afa7b2308002172","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-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-2b542154621365f4","kind":"fingerprint_related","node_a_id":"n-44803ce4a1b16505","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-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-366d85592f4657f8","kind":"fingerprint_related","node_a_id":"n-29c1a5ee5bc02216","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-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-3748c4c23db3ea18","kind":"fingerprint_related","node_a_id":"n-087054bdf6cd6b1d","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-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-4b3e30f7fa1ace1e","kind":"fingerprint_related","node_a_id":"n-31eaa59be7a07b63","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-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-4b9e6064c8ef522a","kind":"fingerprint_related","node_a_id":"n-37a4a04e19b7ecf6","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-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-53f4329dea1a9ba9","kind":"fingerprint_related","node_a_id":"n-815b996b7a3cb30d","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-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-55e4a3f4f44c7d69","kind":"fingerprint_related","node_a_id":"n-d5d11fe45846957a","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-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-67e933376528c74a","kind":"fingerprint_related","node_a_id":"n-76dd49aa0a9e8b92","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-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-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-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}},{"id":"l-791f6ea78cd209be","kind":"fingerprint_related","node_a_id":"n-aa3c7623db76c626","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-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-85e85575680f400c","kind":"fingerprint_related","node_a_id":"n-21ae99bfbb1128ab","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-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-adc5dff8358cd276","kind":"fingerprint_related","node_a_id":"n-e873007dd974fa35","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-bb2ec617e89f320b","kind":"fingerprint_related","node_a_id":"n-e873007dd974fa35","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-c5c9ba8e44abea23","kind":"fingerprint_related","node_a_id":"n-a3d5f8ed8609775e","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-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-deda4616cce73cce","kind":"fingerprint_related","node_a_id":"n-57b33fe1376693f4","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-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-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-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}},{"id":"l-ea835d3d50a1b5c3","kind":"fingerprint_related","node_a_id":"n-e873007dd974fa35","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-ec2463e39da52b31","kind":"fingerprint_related","node_a_id":"n-4fb8d1ebc18dc0c9","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-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-eee4775231440e18","kind":"fingerprint_related","node_a_id":"n-76cc48d59e2c1eb1","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-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-f1f57d7f9230f58e","kind":"fingerprint_related","node_a_id":"n-94c47e4fba64d6ad","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-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-fed18c68d880e4e1","kind":"fingerprint_related","node_a_id":"n-4ef858fd88b37fab","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-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}}],"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:         64,          320,           400;\n  1:        512,         3840,          9600,           8000;\n  2:       4096,        40960,        153600,         256000,          160000;\n  3:      32768,       409600,       2048000,        5120000,         6400000,         3200000;\n  4:     262144,      3932160,      24576000,       81920000,       153600000,       153600000,        64000000;\n  5:    2097152,     36700160,     275251200,     1146880000,      2867200000,      4300800000,      3584000000,       1280000000;\n  6:   16777216,    335544320,    2936012800,    14680064000,     45875200000,     91750400000,    114688000000,      81920000000,      25600000000;\n  7:  134217728,   3019898880,   30198988800,   176160768000,    660602880000,   1651507200000,   2752512000000,    2949120000000,    1843200000000,     512000000000;\n  8: 1073741824,  26843545600,  301989888000,  2013265920000,   8808038400000,  26424115200000,  55050240000000,   78643200000000,   73728000000000,   40960000000000,  10240000000000;\n  9: 8589934592, 236223201280, 2952790016000, 22145925120000, 110729625600000, 387553689600000, 968884224000000, 1730150400000000, 2162688000000000, 1802240000000000, 901120000000000, 204800000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (8+20*x)*P(n-1,x) for n >= 1, with P(0,x) = 64 + 320*x + 400*x^2.","mathematica":"P[0, x_] := 64 + 320*x + 400*x^2;\nP[n_, x_] := P[n, x] = Expand[(8 + 20*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 64 + 320*x + 400*x^2; for(n = 1, N, my(i = n + 1); v[i] = (8 + 20*x)*v[i - 1]); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i - 1, v[i])))};\nT(9)","reading":{"first_row":0,"offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-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}