{"id":"n-a37c33d9776b0b38","revision":0,"first_index":0,"fingerprint":"f6-2f74b0bddfe64ff1","name":"mobius_x_over_x_plus_one of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^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":[["484","2024","2116"],["10648","66792","139656","97336"],["234256","1959232","6144864","8565568","4477456"],["5153632","53878880","225311680","471106240","492520160","205962976"],["113379904","1422402432","7435285440","20728674560","32506330560","27187112832","9474296896"],["2494357888","36508329088","229006791552","798053970560","1668658302080","2093407688064","1459041721984","435817657216"],["54875873536","917923702784","6717532552192","28091499763712","73420965291520","122813251033088","128395671534592","76703907670016","20047612231936"],["1207269217792","22718611643904","190010206476288","927019492202496","2907470225544192","6079255926137856","8474114321283072","7593686859331584","3969427221923328","922190162669056"],["26559922791424","555343840184320","5225280678097920","29134898326364160","106607241603287040","267487260750065664","466076287670568960","556870369684316160","436636994411566080","202881835787192320","42420747482776576"],["584318301411328","13439320932460544","140501991566632960","881330674372515840","3685564638285066240","10788652850252648448","22558092323255537664","33690657365901127680","35222050882532997120","24548702130250270720","10265820890831931392","1951354384207722496"],["12855002631049216","322543702379053056","3709252577359110144","25852366448260464640","121623633063407185920","406886336066671312896","992556062223243657216","1778866708919579541504","2324655358247177809920","2160285787462023823360","1355088357589814943744","515157557430838738944","89762301673555234816"],["282810057883082752","7687291573367431168","96440567011336863744","739377680420249288704","3864928784014939463680","14546186514383499436032","40553004827978240851968","84792646458499958145024","132970286491738570727424","154460433803534703370240","129185090090229024636928","73667530712609939668992","25672018278636797157376","4129065876983540801536"],["6221821273427820544","182129677276705292288","2475307886624312836096","20702575051766980083712","119039806547660135481344","497802827381124202921984","1561290685877162272800768","3730876444173998158381056","6825808039909246630674432","9514762722297737727606784","9947251936947634897043456","7563199819827953806016512","3953490814910066762235904","1271752290110930566873088","189937030341242876870656"],["136880068015412051968","4293056678665196175360","62834738660463325839360","569320813923591952302080","3571194196429804064440320","16427493303577098696425472","57247325148829283336028160","153898653322177424033218560","321788093310007341160366080","523311949726375575018373120","656518627838543903204868096","623963985135806188996362240","434883989640107343845949440","209839127868303543534059520","62679220012610149367316480","8737103395697172336050176"],["3011361496339065143296","100743730059343270248448","1579844857748792192532480","15415455884700335939256320","104755029761940919223582720","525679785714467158285615104","2015105845238790773428191232","6019147329934050362188103680","14158676105640323011056107520","26315115186240600343781048320","38515759499861242321352261632","43927064553560755705343901696","38269791088329446258443550720","24621124336547615774662983680","11031542722219386288647700480","3075460395285404662289661952","401906756202069927458308096"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["4624","314432","21381376","1453933568","98867482624","6722988818432","457163239653376","31087100296429568","2113922820157210624","143746751770690322432","9774779120406941925376","664684980187672050925568","45198578652761699462938624","3073503348387795563479826432","208998227690370098316628197376"],"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":[["484","2024","2116"]],"recurrence":{"denominator":{"coeffs":[["1","1"]]},"terms":[{"coeff":{"coeffs":[["22","68","46"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":195028,"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-97f227d79bca1585"]},{"id":195029,"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-97f227d79bca1585"]},{"id":195030,"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-97f227d79bca1585"]}],"region_exact":{},"incoming_edges":[{"id":"e-97f227d79bca1585","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-a37c33d9776b0b38","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":"ecd36a7a13bae4f3bbb179ad9c2c433bedb9f5771e229f7bde4dac32f1c1429d","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-2a3c7d06bf210d3a","role":"sequence","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^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-04a23a981b4db01e","kind":"fingerprint_related","node_a_id":"n-d0113b72528c626c","node_b_id":"n-a37c33d9776b0b38","fingerprint":"f6-2f74b0bddfe64ff1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2f74b0bddfe64ff1"},"other_id":"n-d0113b72528c626c","other":{"id":"n-d0113b72528c626c","name":"reversal of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*11^j.","first_index":0,"fingerprint":"f6-2f74b0bddfe64ff1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","506","529"],["1331","8349","17457","12167"],["14641","122452","384054","535348","279841"]],"card_rows":[["121","506","529"],["1331","8349","17457","12167"],["14641","122452","384054","535348","279841"],["161051","1683715","7040990","14722070","15391255","6436343"]],"row_sums_preview":["1156","39304","1336336","45435424","1544804416","52523350144","1785793904896","60716992766464"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-344e4bfa9933088a","steps":["basis A007318","reverse"],"edges":["e-347b6efdbfa5233f","e-58abdda491151f00"],"text":"A038337 \u2192 basis A007318 \u2192 reverse"},"headline":"A038337 \u2192 basis A007318 \u2192 reverse","chain":null}},{"id":"l-04bcf5334ae6df1d","kind":"fingerprint_related","node_a_id":"n-a8e1eaee11dec2de","node_b_id":"n-a37c33d9776b0b38","fingerprint":"f6-2f74b0bddfe64ff1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2f74b0bddfe64ff1"},"other_id":"n-a8e1eaee11dec2de","other":{"id":"n-a8e1eaee11dec2de","name":"derivative of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*11^j.","first_index":0,"fingerprint":"f6-2f74b0bddfe64ff1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["506","242"],["17457","16698","3993"],["535348","768108","367356","58564"]],"card_rows":[["506","242"],["17457","16698","3993"],["535348","768108","367356","58564"],["15391255","29444140","21122970","6734860","805255"]],"row_sums_preview":["748","38148","1729376","73498480","2998737984","118949940032","4622054812672","176793596584704"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-344e4bfa9933088a","steps":["basis A007318","D"],"edges":["e-347b6efdbfa5233f","e-2b959c435f9694e9"],"text":"A038337 \u2192 basis A007318 \u2192 D"},"headline":"A038337 \u2192 basis A007318 \u2192 D","chain":null}},{"id":"l-7fca272188177319","kind":"fingerprint_related","node_a_id":"n-19327cf22807de6e","node_b_id":"n-a37c33d9776b0b38","fingerprint":"f6-2f74b0bddfe64ff1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2f74b0bddfe64ff1"},"other_id":"n-19327cf22807de6e","other":{"id":"n-19327cf22807de6e","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*11^j.","first_index":0,"fingerprint":"f6-2f74b0bddfe64ff1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["529","506","121"],["12167","17457","8349","1331"],["279841","535348","384054","122452","14641"]],"card_rows":[["529","506","121"],["12167","17457","8349","1331"],["279841","535348","384054","122452","14641"],["6436343","15391255","14722070","7040990","1683715","161051"]],"row_sums_preview":["1156","39304","1336336","45435424","1544804416","52523350144","1785793904896","60716992766464"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-344e4bfa9933088a","steps":["basis A007318"],"edges":["e-347b6efdbfa5233f"],"text":"A038337 \u2192 basis A007318"},"headline":"A038337 \u2192 basis A007318","chain":null}},{"id":"l-9f9d29b12c65090e","kind":"fingerprint_related","node_a_id":"n-e1c5805a0cc8733d","node_b_id":"n-a37c33d9776b0b38","fingerprint":"f6-2f74b0bddfe64ff1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2f74b0bddfe64ff1"},"other_id":"n-e1c5805a0cc8733d","other":{"id":"n-e1c5805a0cc8733d","name":"mobius_x_over_x_plus_one of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","first_index":0,"fingerprint":"f6-2f74b0bddfe64ff1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","506","529"],["1331","8349","17457","12167"],["14641","122452","384054","535348","279841"]],"card_rows":[["121","506","529"],["1331","8349","17457","12167"],["14641","122452","384054","535348","279841"],["161051","1683715","7040990","14722070","15391255","6436343"]],"row_sums_preview":["1156","39304","1336336","45435424","1544804416","52523350144","1785793904896","60716992766464"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-108b34f10b7468f4","steps":["basis A013611","x \u21a6 x/(x+1)"],"edges":["e-8f18b93eb5dfe7b3","e-458660750cd63baf"],"text":"A038281 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)"},"headline":"A038281 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-d568c5bb89e958d3","kind":"fingerprint_related","node_a_id":"n-301ed9476340747f","node_b_id":"n-a37c33d9776b0b38","fingerprint":"f6-2f74b0bddfe64ff1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2f74b0bddfe64ff1"},"other_id":"n-301ed9476340747f","other":{"id":"n-301ed9476340747f","name":"mobius_x_over_x_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*12^j.","first_index":0,"fingerprint":"f6-2f74b0bddfe64ff1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","23"],["121","506","529"]],"card_rows":[["1"],["11","23"],["121","506","529"],["1331","8349","17457","12167"]],"row_sums_preview":["1","34","1156","39304","1336336","45435424","1544804416","52523350144"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-9e472291b944d56e","steps":["x \u21a6 x/(x+1)"],"edges":["e-44632b628424f3bb"],"text":"A038326 \u2192 x \u21a6 x/(x+1)"},"headline":"A038326 \u2192 x \u21a6 x/(x+1)","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:             484,              2024,               2116;\n  1:           10648,             66792,             139656,              97336;\n  2:          234256,           1959232,            6144864,            8565568,             4477456;\n  3:         5153632,          53878880,          225311680,          471106240,           492520160,            205962976;\n  4:       113379904,        1422402432,         7435285440,        20728674560,         32506330560,          27187112832,           9474296896;\n  5:      2494357888,       36508329088,       229006791552,       798053970560,       1668658302080,        2093407688064,        1459041721984,         435817657216;\n  6:     54875873536,      917923702784,      6717532552192,     28091499763712,      73420965291520,      122813251033088,      128395671534592,       76703907670016,       20047612231936;\n  7:   1207269217792,    22718611643904,    190010206476288,    927019492202496,    2907470225544192,     6079255926137856,     8474114321283072,     7593686859331584,     3969427221923328,      922190162669056;\n  8:  26559922791424,   555343840184320,   5225280678097920,  29134898326364160,  106607241603287040,   267487260750065664,   466076287670568960,   556870369684316160,   436636994411566080,   202881835787192320,    42420747482776576;\n  9: 584318301411328, 13439320932460544, 140501991566632960, 881330674372515840, 3685564638285066240, 10788652850252648448, 22558092323255537664, 33690657365901127680, 35222050882532997120, 24548702130250270720, 10265820890831931392, 1951354384207722496;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (22+68*x+46*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 484 + 2024*x + 2116*x^2.","mathematica":"P[0, x_] := 484 + 2024*x + 2116*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((22 + 68*x + 46*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] = 484 + 2024*x + 2116*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((22 + 68*x + 46*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-29d7c5a1e19b9d74","steps":["basis A013609","x \u21a6 x/(x+1)"],"edges":["e-61350e73fec19600","e-97f227d79bca1585"],"text":"A038314 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)"},"headline":"A038314 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)","chain":null}