{"id":"n-85b7a886c31a0704","revision":0,"first_index":0,"fingerprint":"f6-a285c8a8f5f97b30","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^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":[["324","1404","1521"],["5832","37908","82134","59319"],["104976","909792","2956824","4270968","2313441"],["1889568","20470320","88704720","192193560","208209690","90224199"],["34012224","442158912","2395027440","6918968160","11243323260","9744213492","3518743761"],["612220032","9285337152","60354691488","217947497040","472219576920","613885449996","443361713886","137231006679"],["11019960576","191012649984","1448512595712","6276887914752","16999904769120","29466501599808","31922043399792","19761264961776","5352009260481"],["198359290368","3868006162176","33522720072192","169475973698304","550796914519488","1193393314792224","1723790343588768","1600662461903856","867025500197922","208728361158759"],["3570467226624","77360123243520","754261201624320","4357953609384960","16523907435584640","42962159332520064","77570565461494560","96039747714231360","78032295017812980","37571105008576620","8140406085191601"],["64268410079232","1531730440221696","16593746435735040","107859351832277760","467390524606536960","1417751257973162112","3071794392275184576","4753967511854452320","5150131471175656680","3719539395849085380","1611800404867936998","317475837322472439"],["1156831381426176","30077615917080576","358424923011876864","2588624443974666240","12619544164376497920","43747753103171859456","110584598121906644736","205371396512112340224","278107099443485460720","267806836501134147360","174074443725737195784","68574780861654046824","12381557655576425121"],["20822964865671168","586513510383071232","7624675634979926016","60573811989007190016","328108148273788945920","1279621778267776889088","3696685137218022124032","8009484463972381268736","13015412253955119561696","15666699935316347620560","13577806610607501271152","8023249360813523478408","2897284491404883478314","482880748567480579719"],["374813367582081024","11369338816656457728","160118188334578446336","1387690965566346534912","8268325336499481437184","35829409791497752894464","116445581822367696907008","288341440703005725674496","546647314666115021591232","789601676739943920076224","855401816468272580082576","673952946308335972186272","365057845917015318267564","121685948639005106089188","18832349194131742609041"],["6746640616477458432","219265820035517399040","3325531603872013885440","31223046725242797035520","202949803714078180730880","967394064370439328150528","3493367454671030907210240","9731523623726443241514240","21084967851407293689947520","35532075453297476403430080","46191698089286719324459104","45491823875812678122573360","32855206132531378644080760","16427603066265689322040380","5084734282415570504441070","734461618571137961752599"],["121439531096594251776","4209903744681934061568","68410935851081428500480","691710573605378888171520","4870795289137876337541120","25328135503516956955213824","100608982694525690127654912","311408755959246183728455680","759058842650662572838110720","1461891104364239029169694720","2217201508285762527574036992","2620329055246810259860225536","2365574841542259262373814720","1577049894361506174915876480","732201736667842152639514080","211524946148487732984748512","28644003124274380508351361"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["3249","185193","10556001","601692057","34296447249","1954897493193","111429157112001","6351461955384057","362033331456891249","20635899893042801193","1176246293903439668001","67046038752496061076057","3821624208892275481335249","217832579906859702436109193","12416457054691003038858224001"],"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":[["324","1404","1521"]],"recurrence":{"denominator":{"coeffs":[["1","1"]]},"terms":[{"coeff":{"coeffs":[["18","57","39"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194820,"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-b1cbea98d202c266"]},{"id":194821,"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-b1cbea98d202c266"]},{"id":194822,"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-b1cbea98d202c266"]}],"region_exact":{},"incoming_edges":[{"id":"e-b1cbea98d202c266","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-85b7a886c31a0704","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":"e84a9897456536179f6389be19dcf3a8c598caeddcb27aa6a6e3041d53a8ee82","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-63d702ebcae1deea","role":"sequence","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^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-0673d746ec80e8e5","kind":"fingerprint_related","node_a_id":"n-1abe254a355aa2af","node_b_id":"n-85b7a886c31a0704","fingerprint":"f6-a285c8a8f5f97b30","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a285c8a8f5f97b30"},"other_id":"n-1abe254a355aa2af","other":{"id":"n-1abe254a355aa2af","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^j.","first_index":0,"fingerprint":"f6-a285c8a8f5f97b30","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["169","156","36"],["2197","3042","1404","216"],["28561","52728","36504","11232","1296"]],"card_rows":[["169","156","36"],["2197","3042","1404","216"],["28561","52728","36504","11232","1296"],["371293","856830","790920","365040","84240","7776"]],"row_sums_preview":["361","6859","130321","2476099","47045881","893871739","16983563041","322687697779"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-4397e742863fdbe2","steps":["basis A013609"],"edges":["e-54bb49968ded72d0"],"text":"A038305 \u2192 basis A013609"},"headline":"A038305 \u2192 basis A013609","chain":null}},{"id":"l-0e978aaa005c0afc","kind":"fingerprint_related","node_a_id":"n-12b16dc01ec0d2e5","node_b_id":"n-85b7a886c31a0704","fingerprint":"f6-a285c8a8f5f97b30","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a285c8a8f5f97b30"},"other_id":"n-12b16dc01ec0d2e5","other":{"id":"n-12b16dc01ec0d2e5","name":"shift_x_plus_one of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*6^j.","first_index":0,"fingerprint":"f6-a285c8a8f5f97b30","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["676","624","144"],["17576","24336","11232","1728"],["456976","843648","584064","179712","20736"]],"card_rows":[["676","624","144"],["17576","24336","11232","1728"],["456976","843648","584064","179712","20736"],["11881376","27418560","25309440","11681280","2695680","248832"]],"row_sums_preview":["1444","54872","2085136","79235168","3010936384","114415582592","4347792138496","165216101262848"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c11cb6bca0e3e7dc","steps":["basis A013609","basis A007318"],"edges":["e-65e466871b01ed5e","e-2a5ff700efd0e271"],"text":"A038284 \u2192 basis A013609 \u2192 basis A007318"},"headline":"A038284 \u2192 basis A013609 \u2192 basis A007318","chain":null}},{"id":"l-424cf2cb5cecbcc5","kind":"fingerprint_related","node_a_id":"n-f3915e0b8d09fb7f","node_b_id":"n-85b7a886c31a0704","fingerprint":"f6-a285c8a8f5f97b30","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a285c8a8f5f97b30"},"other_id":"n-f3915e0b8d09fb7f","other":{"id":"n-f3915e0b8d09fb7f","name":"reversal of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^j.","first_index":0,"fingerprint":"f6-a285c8a8f5f97b30","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["36","156","169"],["216","1404","3042","2197"],["1296","11232","36504","52728","28561"]],"card_rows":[["36","156","169"],["216","1404","3042","2197"],["1296","11232","36504","52728","28561"],["7776","84240","365040","790920","856830","371293"]],"row_sums_preview":["361","6859","130321","2476099","47045881","893871739","16983563041","322687697779"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-4397e742863fdbe2","steps":["basis A013609","reverse"],"edges":["e-54bb49968ded72d0","e-b0cceff61d185abe"],"text":"A038305 \u2192 basis A013609 \u2192 reverse"},"headline":"A038305 \u2192 basis A013609 \u2192 reverse","chain":null}},{"id":"l-4ccb4fade403ccff","kind":"fingerprint_related","node_a_id":"n-5cdba40c31cfe94d","node_b_id":"n-85b7a886c31a0704","fingerprint":"f6-a285c8a8f5f97b30","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a285c8a8f5f97b30"},"other_id":"n-5cdba40c31cfe94d","other":{"id":"n-5cdba40c31cfe94d","name":"shift_x_plus_one of basis_map_A007318 of Triangle of coefficients in expansion of (1+6x)^n.","first_index":0,"fingerprint":"f6-a285c8a8f5f97b30","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["13","6"],["169","156","36"]],"card_rows":[["1"],["13","6"],["169","156","36"],["2197","3042","1404","216"]],"row_sums_preview":["1","19","361","6859","130321","2476099","47045881","893871739"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3dd184aba99388f7","steps":["basis A013610","basis A013609"],"edges":["e-8d10edd099560dc3","e-20f27ff8c8ffacf5"],"text":"A038291 \u2192 basis A013610 \u2192 basis A013609"},"headline":"A038291 \u2192 basis A013610 \u2192 basis A013609","chain":null}},{"id":"l-cf4a5c3803bc4623","kind":"fingerprint_related","node_a_id":"n-ad5d029cdf51f0fe","node_b_id":"n-85b7a886c31a0704","fingerprint":"f6-a285c8a8f5f97b30","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a285c8a8f5f97b30"},"other_id":"n-ad5d029cdf51f0fe","other":{"id":"n-ad5d029cdf51f0fe","name":"shift_x_plus_one of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*9^j.","first_index":0,"fingerprint":"f6-a285c8a8f5f97b30","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["39","18"],["1521","1404","324"]],"card_rows":[["1"],["39","18"],["1521","1404","324"],["59319","82134","37908","5832"]],"row_sums_preview":["1","57","3249","185193","10556001","601692057","34296447249","1954897493193"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-f485cd65a8f8089f","steps":["basis A013609","x \u21a6 x+1"],"edges":["e-f8a7b8e38f7708ee","e-1b1910f22acce347"],"text":"A038335 \u2192 basis A013609 \u2192 x \u21a6 x+1"},"headline":"A038335 \u2192 basis A013609 \u2192 x \u21a6 x+1","chain":null}},{"id":"l-e921254e943dbc11","kind":"fingerprint_related","node_a_id":"n-3657c98666930202","node_b_id":"n-85b7a886c31a0704","fingerprint":"f6-a285c8a8f5f97b30","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a285c8a8f5f97b30"},"other_id":"n-3657c98666930202","other":{"id":"n-3657c98666930202","name":"derivative of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^j.","first_index":0,"fingerprint":"f6-a285c8a8f5f97b30","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["156","72"],["3042","2808","648"],["52728","73008","33696","5184"]],"card_rows":[["156","72"],["3042","2808","648"],["52728","73008","33696","5184"],["856830","1581840","1095120","336960","38880"]],"row_sums_preview":["228","6498","164616","3909630","89139564","1975927002","42905843472","917112404214"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-4397e742863fdbe2","steps":["basis A013609","D"],"edges":["e-54bb49968ded72d0","e-9d87eb2c9ee8970f"],"text":"A038305 \u2192 basis A013609 \u2192 D"},"headline":"A038305 \u2192 basis A013609 \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:            324,             1404,              1521;\n  1:           5832,            37908,             82134,              59319;\n  2:         104976,           909792,           2956824,            4270968,            2313441;\n  3:        1889568,         20470320,          88704720,          192193560,          208209690,            90224199;\n  4:       34012224,        442158912,        2395027440,         6918968160,        11243323260,          9744213492,          3518743761;\n  5:      612220032,       9285337152,       60354691488,       217947497040,       472219576920,        613885449996,        443361713886,        137231006679;\n  6:    11019960576,     191012649984,     1448512595712,      6276887914752,     16999904769120,      29466501599808,      31922043399792,      19761264961776,       5352009260481;\n  7:   198359290368,    3868006162176,    33522720072192,    169475973698304,    550796914519488,    1193393314792224,    1723790343588768,    1600662461903856,     867025500197922,     208728361158759;\n  8:  3570467226624,   77360123243520,   754261201624320,   4357953609384960,  16523907435584640,   42962159332520064,   77570565461494560,   96039747714231360,   78032295017812980,   37571105008576620,    8140406085191601;\n  9: 64268410079232, 1531730440221696, 16593746435735040, 107859351832277760, 467390524606536960, 1417751257973162112, 3071794392275184576, 4753967511854452320, 5150131471175656680, 3719539395849085380, 1611800404867936998, 317475837322472439;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (18+57*x+39*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 324 + 1404*x + 1521*x^2.","mathematica":"P[0, x_] := 324 + 1404*x + 1521*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((18 + 57*x + 39*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] = 324 + 1404*x + 1521*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((18 + 57*x + 39*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-7dcf11eddf2b9a8a","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-632cc4d34c6e419b","e-b1cbea98d202c266"],"text":"A038321 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A038321 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}