{"id":"n-2ab248536be3787d","revision":0,"first_index":0,"fingerprint":"f6-a39bea8eb66cb9fc","name":"mobius_x_over_x_plus_one of basis_map_A013611 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":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["36","312","676"],["216","2808","12168","17576"],["1296","22464","146016","421824","456976"],["7776","168480","1460160","6327360","13709280","11881376"],["46656","1213056","13141440","75928320","246767040","427729536","308915776"],["279936","8491392","110388096","797247360","3454738560","8982320256","12974462592","8031810176"],["1679616","58226688","883104768","7653574656","41456862720","143717124096","311387102208","385526888448","208827064576"],["10077696","393030144","6812522496","68882171904","447734117376","1940181175296","5604967839744","10409225988096","11276661487104","5429503678976"],["60466176","2620200960","51093918720","590418616320","4477341173760","23282174103552","84074517596160","208184519761920","338299844613120","325770220738560","141167095653376"],["362797056","17293326336","374688737280","4870953584640","42214931066880","256103915139072","1109783632269312","3435044576071680","7442596581488640","10750417284372480","9317028313122816","3670344486987776"],["2176782336","113192681472","2697758908416","38967628677120","379934379601920","2634211698573312","13317403587231744","49464641895432192","133966738466795520","258010014824939520","335413019272421376","264264803063119872","95428956661682176"],["13060694016","735752429568","19129563168768","303947503681536","3292764623216640","25683564061089792","148393925686296576","643040344640618496","2089881120082010112","5031195289086320640","8720738501082955776","10306327319461675008","7443458619611209728","2481152873203736576"],["78364164096","4754092621824","133906942181376","2321053664477184","27659222835019776","239713264570171392","1558136219706114048","7716484135687421952","29258335681148141568","84524080856650186752","183135508522742071296","288577164944926900224","312625262023670808576","208416841349113872384","64509974703297150976"],["470184984576","30562023997440","927048061255680","17407902483578880","226302732286525440","2157419381131542528","15581362197061140480","86810446526483496960","376178601614761820160","1267861212849752801280","3296439153409357283328","6492986211260855255040","9378757860710124257280","9378757860710124257280","5805897723296743587840","1677259342285725925376"],["2821109907456","195596953583616","6356900991467520","128550664494120960","1810421858292203520","18828387326238916608","149581077091786948608","925978096282490634240","4514143219377141841920","17387810919082324131840","52743026454549716533248","124665335256208420896768","225090188657042982174720","300120251542723976232960","278683090718243692216320","161016896859429688836096","43608742899428874059776"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1024","32768","1048576","33554432","1073741824","34359738368","1099511627776","35184372088832","1125899906842624","36028797018963968","1152921504606846976","36893488147419103232","1180591620717411303424","37778931862957161709568","1208925819614629174706176"],"nonn":true,"definitions":[{"position":0,"source":"derived:mobius_x_over_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["36","312","676"]],"recurrence":{"denominator":{"coeffs":[["1","1"]]},"terms":[{"coeff":{"coeffs":[["6","32","26"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194211,"position":0,"claim":"real_rooted","from_index":0,"region_key":"[-1, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in [-1, 0]","region_exact":null,"edges":["e-8f12e638f98efac6"]},{"id":194212,"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-8f12e638f98efac6"]},{"id":194213,"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-8f12e638f98efac6"]}],"region_exact":{},"incoming_edges":[{"id":"e-8f12e638f98efac6","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"mobius\",\"a\":\"1\",\"b\":\"0\",\"c\":\"1\",\"e\":\"1\",\"schedule\":{\"first_index\":0,\"first_degree\":2,\"step\":1}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-2ab248536be3787d","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":"fTransform","lean_declarations":["RealRooted.splits_fPolynomial"],"certificate_hash":"8113a66fea4f46d74ef44b7ac5c2315dd05ccce1b7bff3c2d2fb9d7980f912d3","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-a2769223501d377d","role":"sequence","name":"basis_map_A013611 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-2672b66aa57f55c2","kind":"fingerprint_related","node_a_id":"n-e63ccf12b8fde286","node_b_id":"n-2ab248536be3787d","fingerprint":"f6-a39bea8eb66cb9fc","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a39bea8eb66cb9fc"},"other_id":"n-e63ccf12b8fde286","other":{"id":"n-e63ccf12b8fde286","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*1^j.","first_index":0,"fingerprint":"f6-a39bea8eb66cb9fc","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["13","3"],["169","78","9"]],"card_rows":[["1"],["13","3"],["169","78","9"],["2197","1521","351","27"]],"row_sums_preview":["1","16","256","4096","65536","1048576","16777216","268435456"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-81e6fb4f9f226d77","steps":["basis A013610"],"edges":["e-00e3cfe53baaea9b"],"text":"A038327 \u2192 basis A013610"},"headline":"A038327 \u2192 basis A013610","chain":null}},{"id":"l-2d33311150d76d98","kind":"fingerprint_related","node_a_id":"n-b8aaaab8fe4e3825","node_b_id":"n-2ab248536be3787d","fingerprint":"f6-a39bea8eb66cb9fc","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a39bea8eb66cb9fc"},"other_id":"n-b8aaaab8fe4e3825","other":{"id":"n-b8aaaab8fe4e3825","name":"derivative of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^j.","first_index":0,"fingerprint":"f6-a39bea8eb66cb9fc","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["78","18"],["1521","702","81"],["26364","18252","4212","324"]],"card_rows":[["78","18"],["1521","702","81"],["26364","18252","4212","324"],["428415","395460","136890","21060","1215"]],"row_sums_preview":["96","2304","49152","983040","18874368","352321536","6442450944","115964116992"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-4397e742863fdbe2","steps":["x \u21a6 x+1","D"],"edges":["e-6056f3721ff524be","e-14fd410e7375f042"],"text":"A038305 \u2192 x \u21a6 x+1 \u2192 D"},"headline":"A038305 \u2192 x \u21a6 x+1 \u2192 D","chain":null}},{"id":"l-3e55dce7b8ed2061","kind":"fingerprint_related","node_a_id":"n-4ba4cfdaaf5fda7d","node_b_id":"n-2ab248536be3787d","fingerprint":"f6-a39bea8eb66cb9fc","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a39bea8eb66cb9fc"},"other_id":"n-4ba4cfdaaf5fda7d","other":{"id":"n-4ba4cfdaaf5fda7d","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^j.","first_index":0,"fingerprint":"f6-a39bea8eb66cb9fc","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["169","78","9"],["2197","1521","351","27"],["28561","26364","9126","1404","81"]],"card_rows":[["169","78","9"],["2197","1521","351","27"],["28561","26364","9126","1404","81"],["371293","428415","197730","45630","5265","243"]],"row_sums_preview":["256","4096","65536","1048576","16777216","268435456","4294967296","68719476736"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-4397e742863fdbe2","steps":["x \u21a6 x+1"],"edges":["e-6056f3721ff524be"],"text":"A038305 \u2192 x \u21a6 x+1"},"headline":"A038305 \u2192 x \u21a6 x+1","chain":null}},{"id":"l-a060a8b3773bf19d","kind":"fingerprint_related","node_a_id":"n-24ec570186f7209b","node_b_id":"n-2ab248536be3787d","fingerprint":"f6-a39bea8eb66cb9fc","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a39bea8eb66cb9fc"},"other_id":"n-24ec570186f7209b","other":{"id":"n-24ec570186f7209b","name":"derivative of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*1^j.","first_index":0,"fingerprint":"f6-a39bea8eb66cb9fc","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["3"],["78","18"]],"card_rows":[["3"],["78","18"],["1521","702","81"],["26364","18252","4212","324"]],"row_sums_preview":["0","3","96","2304","49152","983040","18874368","352321536"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-81e6fb4f9f226d77","steps":["basis A013610","D"],"edges":["e-00e3cfe53baaea9b","e-0576c2f51dca4c67"],"text":"A038327 \u2192 basis A013610 \u2192 D"},"headline":"A038327 \u2192 basis A013610 \u2192 D","chain":null}},{"id":"l-aa2c5cee35459ddc","kind":"fingerprint_related","node_a_id":"n-a8d904c8d696a511","node_b_id":"n-2ab248536be3787d","fingerprint":"f6-a39bea8eb66cb9fc","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a39bea8eb66cb9fc"},"other_id":"n-a8d904c8d696a511","other":{"id":"n-a8d904c8d696a511","name":"reversal of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^j.","first_index":0,"fingerprint":"f6-a39bea8eb66cb9fc","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["9","78","169"],["27","351","1521","2197"],["81","1404","9126","26364","28561"]],"card_rows":[["9","78","169"],["27","351","1521","2197"],["81","1404","9126","26364","28561"],["243","5265","45630","197730","428415","371293"]],"row_sums_preview":["256","4096","65536","1048576","16777216","268435456","4294967296","68719476736"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-4397e742863fdbe2","steps":["x \u21a6 x+1","reverse"],"edges":["e-6056f3721ff524be","e-564a94c0650ff3fc"],"text":"A038305 \u2192 x \u21a6 x+1 \u2192 reverse"},"headline":"A038305 \u2192 x \u21a6 x+1 \u2192 reverse","chain":null}},{"id":"l-d791c41d88dfdfbd","kind":"fingerprint_related","node_a_id":"n-7668e44b2e72b4c0","node_b_id":"n-2ab248536be3787d","fingerprint":"f6-a39bea8eb66cb9fc","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a39bea8eb66cb9fc"},"other_id":"n-7668e44b2e72b4c0","other":{"id":"n-7668e44b2e72b4c0","name":"reversal of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*1^j.","first_index":0,"fingerprint":"f6-a39bea8eb66cb9fc","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["3","13"],["9","78","169"]],"card_rows":[["1"],["3","13"],["9","78","169"],["27","351","1521","2197"]],"row_sums_preview":["1","16","256","4096","65536","1048576","16777216","268435456"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-81e6fb4f9f226d77","steps":["basis A013610","reverse"],"edges":["e-00e3cfe53baaea9b","e-e971120fcf3c3f3b"],"text":"A038327 \u2192 basis A013610 \u2192 reverse"},"headline":"A038327 \u2192 basis A013610 \u2192 reverse","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:        36,         312,          676;\n  1:       216,        2808,        12168,         17576;\n  2:      1296,       22464,       146016,        421824,         456976;\n  3:      7776,      168480,      1460160,       6327360,       13709280,        11881376;\n  4:     46656,     1213056,     13141440,      75928320,      246767040,       427729536,        308915776;\n  5:    279936,     8491392,    110388096,     797247360,     3454738560,      8982320256,      12974462592,       8031810176;\n  6:   1679616,    58226688,    883104768,    7653574656,    41456862720,    143717124096,     311387102208,     385526888448,     208827064576;\n  7:  10077696,   393030144,   6812522496,   68882171904,   447734117376,   1940181175296,    5604967839744,   10409225988096,   11276661487104,     5429503678976;\n  8:  60466176,  2620200960,  51093918720,  590418616320,  4477341173760,  23282174103552,   84074517596160,  208184519761920,  338299844613120,   325770220738560,  141167095653376;\n  9: 362797056, 17293326336, 374688737280, 4870953584640, 42214931066880, 256103915139072, 1109783632269312, 3435044576071680, 7442596581488640, 10750417284372480, 9317028313122816, 3670344486987776;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (6+32*x+26*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 36 + 312*x + 676*x^2.","mathematica":"P[0, x_] := 36 + 312*x + 676*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((6 + 32*x + 26*x^2)*P[n - 1, x])/(1 + x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 36 + 312*x + 676*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((6 + 32*x + 26*x^2)*v[i - 1])/(1 + x)); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i - 1, v[i])))};\nT(9)","reading":{"first_row":0,"offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-bbfc5a54ff13a785","steps":["basis A013611","x \u21a6 x/(x+1)"],"edges":["e-db3287eb465d1cf9","e-8f12e638f98efac6"],"text":"A013612 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)"},"headline":"A013612 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)","chain":null}