{"id":"n-21ab0e9d397e6efd","revision":0,"first_index":0,"fingerprint":"f6-0d4cb94e85dd3af7","name":"basis_map_A013609 of basis_map_A013610 of Even-numbered rows of Pascal's triangle.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["25","60","36"],["625","3000","5400","4320","1296"],["15625","112500","337500","540000","486000","233280","46656"],["390625","3750000","15750000","37800000","56700000","54432000","32659200","11197440","1679616"],["9765625","117187500","632812500","2025000000","4252500000","6123600000","6123600000","4199040000","1889568000","503884800","60466176"],["244140625","3515625000","23203125000","92812500000","250593750000","481140000000","673596000000","692841600000","519631200000","277136640000","99769190400","21767823360","2176782336"],["6103515625","102539062500","799804687500","3839062500000","12668906250000","30405375000000","54729675000000","75057840000000","78810732000000","63048585600000","37829151360000","16507266048000","4952179814400","914248581120","78364164096"],["152587890625","2929687500000","26367187500000","147656250000000","575859375000000","1658475000000000","3648645000000000","6254820000000000","8444007000000000","9006940800000000","7565830272000000","4952179814400000","2476089907200000","914248581120000","235092492288000","37614798766080","2821109907456"],["3814697265625","82397460937500","840454101562500","5378906250000000","24205078125000000","81329062500000000","211455562500000000","434994300000000000","717740595000000000","956987460000000000","1033546456800000000","902004180480000000","631402926336000000","349700082278400000","149871463833600000","47958868426752000","10790745396019200","1523399350026240","101559956668416"],["95367431640625","2288818359375000","26092529296875000","187866210937500000","958117675781250000","3679171875000000000","11037515625000000000","26490037500000000000","51655573125000000000","82648917000000000000","109096570440000000000","119014440480000000000","107112996432000000000","79098828134400000000","47459296880640000000","22780462502707200000","8542673438515200000","2412048970874880000","482409794174976000","60935974001049600","3656158440062976"],["2384185791015625","62942504882812500","793075561523437500","6344604492187500000","36164245605468750000","156229541015625000000","531180439453125000000","1456952062500000000000","3278142140625000000000","6119198662500000000000","9545949913500000000000","12496516250400000000000","13746167875440000000000","12688770346560000000000","9788479981632000000000","6264627188244480000000","3288929273828352000000","1392958280680243200000","464319426893414400000","117301749952020480000","21114314991363686400","2413064570441564160","131621703842267136"],["59604644775390625","1716613769531250000","23689270019531250000","208465576171875000000","1313333129882812500000","6303999023437500000000","23955196289062500000000","73918891406250000000000","188493173085937500000000","402118769250000000000000","723813784650000000000000","1105461052920000000000000","1437099368796000000000000","1591863916204800000000000","1500900263850240000000000","1200720211080192000000000","810486142479129600000000","457686292223508480000000","213586936370970624000000","80938207466894131200000","24281462240068239360000","5550048512015597568000","908189756511643238400","94767626766432337920","4738381338321616896"],["1490116119384765625","46491622924804687500","697374343872070312500","6694793701171875000000","46194076538085937500000","243904724121093750000000","1024399841308593750000000","3512228027343750000000000","10009849877929687500000000","24023639707031250000000000","49008225002343750000000000","85541629095000000000000000","128312443642500000000000000","165819157938000000000000000","184769918845200000000000000","177379122091392000000000000","146337775725398400000000000","103297253453222400000000000","61978352071933440000000000","31315377888976896000000000","13152458713370296320000000","4509414416012673024000000","1229840295276183552000000","256662322492420915200000","38499348373863137280000","3695937443890861178880","170581728179578208256"],["37252902984619140625","1251697540283203125000","20277500152587890625000","210886001586914062500000","1581645011901855468750000","9110275268554687500000000","41907266235351562500000000","158050261230468750000000000","497858322875976562500000000","1327622194335937500000000000","3026978603085937500000000000","5943885256968750000000000000","10104604936846875000000000000","14923724214420000000000000000","19187645418540000000000000000","21490162868764800000000000000","20952908797045680000000000000","17748346275144576000000000000","13015453935106022400000000000","8220286695856435200000000000","4438954815762475008000000000","2029236487205702860800000000","774799386023995637760000000","242545894755337764864000000","60636473688834441216000000","11642202948256212713472000","1611997331297014068019200","143288651670845694935040","6140942214464815497216"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","121","14641","1771561","214358881","25937424601","3138428376721","379749833583241","45949729863572161","5559917313492231481","672749994932560009201","81402749386839761113321","9849732675807611094711841","1191817653772720942460132761","144209936106499234037676064081"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["25","60","36"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":200883,"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-0abc77d42e75e0cd"]},{"id":200884,"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-0abc77d42e75e0cd"]},{"id":200885,"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-0abc77d42e75e0cd"]}],"region_exact":{},"incoming_edges":[{"id":"e-0abc77d42e75e0cd","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-21ab0e9d397e6efd","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":"6f1636aa0c879dcdda4b1383e1226bdc091badc24a58765311fe28eb5e508076","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-1e083728b424e77f","role":"sequence","name":"basis_map_A013610 of Even-numbered rows of Pascal's triangle.","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-6470a7d53d2d7bc4","kind":"fingerprint_related","node_a_id":"n-21ab0e9d397e6efd","node_b_id":"n-3b4b7a0ddd26d13e","fingerprint":"f6-0d4cb94e85dd3af7","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-0d4cb94e85dd3af7"},"other_id":"n-3b4b7a0ddd26d13e","other":{"id":"n-3b4b7a0ddd26d13e","name":"basis_map_A013609 of basis_map_A013610 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","first_index":0,"fingerprint":"f6-0d4cb94e85dd3af7","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["50","120","72"],["2500","12000","21600","17280","5184"]],"card_rows":[["1"],["50","120","72"],["2500","12000","21600","17280","5184"],["125000","900000","2700000","4320000","3888000","1866240","373248"]],"row_sums_preview":["1","242","58564","14172488","3429742096","829997587232","200859416110144","48607978698654848"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["basis A013610","basis A013609"],"edges":["e-a142fb8711dcbce4","e-fb3370d90f6eaa17"],"text":"A139548 \u2192 basis A013610 \u2192 basis A013609"},"headline":"A139548 \u2192 basis A013610 \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:             1;\n  1:            25,             60,              36;\n  2:           625,           3000,            5400,             4320,              1296;\n  3:         15625,         112500,          337500,           540000,            486000,            233280,              46656;\n  4:        390625,        3750000,        15750000,         37800000,          56700000,          54432000,           32659200,           11197440,            1679616;\n  5:       9765625,      117187500,       632812500,       2025000000,        4252500000,        6123600000,         6123600000,         4199040000,         1889568000,          503884800,            60466176;\n  6:     244140625,     3515625000,     23203125000,      92812500000,      250593750000,      481140000000,       673596000000,       692841600000,       519631200000,       277136640000,         99769190400,        21767823360,         2176782336;\n  7:    6103515625,   102539062500,    799804687500,    3839062500000,    12668906250000,    30405375000000,     54729675000000,     75057840000000,     78810732000000,     63048585600000,      37829151360000,     16507266048000,      4952179814400,       914248581120,        78364164096;\n  8:  152587890625,  2929687500000,  26367187500000,  147656250000000,   575859375000000,  1658475000000000,   3648645000000000,   6254820000000000,   8444007000000000,   9006940800000000,    7565830272000000,   4952179814400000,   2476089907200000,    914248581120000,    235092492288000,    37614798766080,     2821109907456;\n  9: 3814697265625, 82397460937500, 840454101562500, 5378906250000000, 24205078125000000, 81329062500000000, 211455562500000000, 434994300000000000, 717740595000000000, 956987460000000000, 1033546456800000000, 902004180480000000, 631402926336000000, 349700082278400000, 149871463833600000, 47958868426752000, 10790745396019200, 1523399350026240, 101559956668416;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (25+60*x+36*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(25 + 60*x + 36*x^2)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; for(n = 1, N, my(i = n + 1); v[i] = (25 + 60*x + 36*x^2)*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-08f49539099949d5","steps":["basis A013610","basis A013609"],"edges":["e-cb7f9b19b94bd36e","e-0abc77d42e75e0cd"],"text":"A034870 \u2192 basis A013610 \u2192 basis A013609"},"headline":"A034870 \u2192 basis A013610 \u2192 basis A013609","chain":null}