{"id":"n-cad214743f90c94e","revision":0,"first_index":0,"fingerprint":"f6-64aa42accc9ceb8f","name":"basis_map_A013610 of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(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":[["1089","2772","1764"],["35937","137214","174636","74088"],["1185921","6037416","11525976","9779616","3111696"],["39135393","249043410","633928680","806818320","513429840","130691232"],["1291467969","9862119036","31379469660","53250009120","50829554160","25876863936","5489031744"],["42618442977","379691582886","1449731498292","3075188026680","3913875670320","2988777784608","1267966332864","230539333248"],["1406408618241","14319796840272","63788185924848","162369927808704","258315794241120","263012445045504","167371555938048","60862383977472","9682651996416"],["46411484401953","531622457695098","2706441602811408","8037311426530848","15343958177922528","19528674044628672","16569784037866752","9038064020654592","2875747642935552","406671383849472"],["1531578985264449","19492823448820260","111640716115970580","378901824393597120","843917699785739040","1288892486945492352","1367007183124007040","994187042272005120","474498361084366080","134201556670325760","17080198121677824"],["50542106513726817","707589491192175438","4502842216677480060","17192670281859469320","43763160717460467360","77977995460202287296","99244721494802911104","90222474086184464640","57414301691208295680","24357582535664125440","6200111918169050112","717368321110468608"],["1667889514952984961","25473221682918315768","178312551780428210376","756477492401816650080","2166276455514293134320","4411326600320015109888","6550151618656992132864","7145619947625809599488","5684015867429621272320","3215200894707664558080","1227622159797471922176","284077855159745568768","30129469486639681536"],["55040353993448503713","910667675164329788706","6954189519436700204664","32452884424037934288432","103259177712847972735920","236557388942160810267744","401430720629121374999808","510911826255245386363392","487688561425461505165056","344830295957397023854080","175549968851038484871168","60934699931765424500736","12925542409768423378944","1265437718438866624512"],["1816331681783800622529","32363728148147720183244","267736296498312957879564","1363021145809593240114144","4770574010333576340399504","12143279299030921593744192","23182624116331759406238912","33720180532846195499983872","37552019229760535897709312","31862319346463485004116992","20276021402294945002619904","9383943789491875373113344","2985800296656505800536064","584632225918756380524544","53148384174432398229504"],["59938945498865420543457","1144288959523794392193270","10194574366666531857721860","56224622264645721154708440","214675830465010935317977680","601092325302030618890337504","1275044326398246767343140160","2086436170469858346561502080","2655464216961637895623729920","2628641346083237512839651840","2007326118827199555259370496","1161263043949619577422776320","492657048948323457088450560","144696475914892204179824640","26308450166344037123604480","2232232135326160725639168"],["1977985201462558877934081","40278971375237562605203104","384481090399994915776938720","2283584658133303136129696640","9445736540460481153991017920","28852431614497469706736200192","67322340433827429315717800448","122404255334231689664941455360","175260638319468101111166174720","198274661533135629539905167360","176644698456793560862824603648","122629377441079827375845179392","65030730461178696335675473920","25466579761021027935649136640","6945430843914825800631582720","1178618567452212863137480704","93753749683698750476845056"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["5625","421875","31640625","2373046875","177978515625","13348388671875","1001129150390625","75084686279296875","5631351470947265625","422351360321044921875","31676352024078369140625","2375726401805877685546875","178179480135440826416015625","13363461010158061981201171875","1002259575761854648590087890625"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1089","2772","1764"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["33","42"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":204007,"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-4817dfc5fba38932"]},{"id":204008,"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-4817dfc5fba38932"]},{"id":204009,"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-4817dfc5fba38932"]}],"region_exact":{},"incoming_edges":[{"id":"e-4817dfc5fba38932","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-cad214743f90c94e","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"c02d6b35a86967a811d6fd1405c06e94788bc9c884aa50ce02bf59f389e72986","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-649aa8398fb69113","role":"sequence","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(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-471d80700562bef5","kind":"fingerprint_related","node_a_id":"n-fc9820a414a31af3","node_b_id":"n-cad214743f90c94e","fingerprint":"f6-64aa42accc9ceb8f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-64aa42accc9ceb8f"},"other_id":"n-fc9820a414a31af3","other":{"id":"n-fc9820a414a31af3","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*1^j.","first_index":0,"fingerprint":"f6-64aa42accc9ceb8f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","14"],["121","308","196"]],"card_rows":[["1"],["11","14"],["121","308","196"],["1331","5082","6468","2744"]],"row_sums_preview":["1","25","625","15625","390625","9765625","244140625","6103515625"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a920b56c9b3ef4d1","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-254f1b828fe6620e","e-e8b20b3b278fe468"],"text":"A038303 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A038303 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-cf21fc2f371840ac","kind":"fingerprint_related","node_a_id":"n-20ba9c6aa90dda9f","node_b_id":"n-cad214743f90c94e","fingerprint":"f6-64aa42accc9ceb8f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-64aa42accc9ceb8f"},"other_id":"n-20ba9c6aa90dda9f","other":{"id":"n-20ba9c6aa90dda9f","name":"mobius_x_over_x_plus_one of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","first_index":0,"fingerprint":"f6-64aa42accc9ceb8f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","308","196"],["1331","5082","6468","2744"],["14641","74536","142296","120736","38416"]],"card_rows":[["121","308","196"],["1331","5082","6468","2744"],["14641","74536","142296","120736","38416"],["161051","1024870","2608760","3320240","2112880","537824"]],"row_sums_preview":["625","15625","390625","9765625","244140625","6103515625","152587890625","3814697265625"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-108b34f10b7468f4","steps":["x \u21a6 x+1","x \u21a6 x/(x+1)"],"edges":["e-3a9169eda66e0655","e-c8f72e9419da3c54"],"text":"A038281 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(x+1)"},"headline":"A038281 \u2192 x \u21a6 x+1 \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:              1089,               2772,                1764;\n  1:             35937,             137214,              174636,                74088;\n  2:           1185921,            6037416,            11525976,              9779616,              3111696;\n  3:          39135393,          249043410,           633928680,            806818320,            513429840,            130691232;\n  4:        1291467969,         9862119036,         31379469660,          53250009120,          50829554160,          25876863936,           5489031744;\n  5:       42618442977,       379691582886,       1449731498292,        3075188026680,        3913875670320,        2988777784608,        1267966332864,         230539333248;\n  6:     1406408618241,     14319796840272,      63788185924848,      162369927808704,      258315794241120,      263012445045504,      167371555938048,       60862383977472,        9682651996416;\n  7:    46411484401953,    531622457695098,    2706441602811408,     8037311426530848,    15343958177922528,    19528674044628672,    16569784037866752,     9038064020654592,     2875747642935552,      406671383849472;\n  8:  1531578985264449,  19492823448820260,  111640716115970580,   378901824393597120,   843917699785739040,  1288892486945492352,  1367007183124007040,   994187042272005120,   474498361084366080,   134201556670325760,   17080198121677824;\n  9: 50542106513726817, 707589491192175438, 4502842216677480060, 17192670281859469320, 43763160717460467360, 77977995460202287296, 99244721494802911104, 90222474086184464640, 57414301691208295680, 24357582535664125440, 6200111918169050112, 717368321110468608;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (33+42*x)*P(n-1,x) for n >= 1, with P(0,x) = 1089 + 2772*x + 1764*x^2.","mathematica":"P[0, x_] := 1089 + 2772*x + 1764*x^2;\nP[n_, x_] := P[n, x] = Expand[(33 + 42*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] = 1089 + 2772*x + 1764*x^2; for(n = 1, N, my(i = n + 1); v[i] = (33 + 42*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-5cf6acfdac607d6d","steps":["basis A013609","basis A013610"],"edges":["e-20f4338b8f3f0a8d","e-4817dfc5fba38932"],"text":"A038333 \u2192 basis A013609 \u2192 basis A013610"},"headline":"A038333 \u2192 basis A013609 \u2192 basis A013610","chain":null}