{"id":"n-509590a43fbc65c5","revision":0,"first_index":0,"fingerprint":"f6-640a8dc8403e6c62","name":"basis_map_A013609 of basis_map_A013610 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":[["1600","3360","1764"],["64000","201600","211680","74088"],["2560000","10752000","16934400","11854080","3111696"],["102400000","537600000","1128960000","1185408000","622339200","130691232"],["4096000000","25804800000","67737600000","94832640000","74680704000","31365895680","5489031744"],["163840000000","1204224000000","3793305600000","6638284800000","6970199040000","4391225395200","1536928888320","230539333248"],["6553600000000","55050240000000","202309632000000","424850227200000","557615923200000","468397375488000","245908622131200","73772586639360","9682651996416"],["262144000000000","2477260800000000","10404495360000000","25491013632000000","40148346470400000","42155763793920000","29509034655744000","13279065595084800","3485754718709760","406671383849472"],["10485760000000000","110100480000000000","520224768000000000","1456629350400000000","2676556431360000000","3372461103513600000","2950903465574400000","1770542079344640000","697150943741952000","162668553539788800","17080198121677824"],["419430400000000000","4844421120000000000","25433210880000000000","80114614272000000000","168240689971200000000","247313814257664000000","259679504970547200000","194759628727910400000","102248805082152960000","35787081778753536000","7515287173538242560","717368321110468608"],["16777216000000000000","211392921600000000000","1220794122240000000000","4272779427840000000000","10094441398272000000000","16958661549096960000000","20774360397643776000000","18696924357879398400000","12269856609858355200000","5725933084600565760000","1803668921649178214400","344336794133024931840","30129469486639681536"],["671088640000000000000","9160359936000000000000","57710267596800000000000","222184530247680000000000","583234391900160000000000","1102313000691302400000000","1543238200967823360000000","1620400111016214528000000","1276065087425268940800000","744371300998073548800000","312635946419190890496000","89527566474586482278400","15667324133052634398720","1265437718438866624512"],["26843545600000000000000","394600120320000000000000","2693145821184000000000000","11311212448972800000000000","32661125946408960000000000","68588364487458816000000000","108026674067747635200000000","129632008881297162240000000","119099408159691767808000000","83369585711784237465600000","43769032498686724669440000","16711812408589476691968000","4386850757254737631641600","708645122325765309726720","53148384174432398229504"],["1073741824000000000000000","16911433728000000000000000","124299037900800000000000000","565560622448640000000000000","1781515960713216000000000000","4115301869247528960000000000","7201778271183175680000000000","9722400666097287168000000000","10208520699402151526400000000","8336958571178423746560000000","5252283899842406960332800000","2506771861288421503795200000","877370151450947526328320000","212593536697729592918016000","31889030504659438937702400","2232232135326160725639168"],["42949672960000000000000000","721554505728000000000000000","5682241732608000000000000000","27842984489779200000000000000","95014184571371520000000000000","239435745119856230400000000000","460913809355723243520000000000","691370714033584865280000000000","816681655952172122112000000000","762236212222027313971200000000","560243615983190075768832000000","320866798244917952485785600000","140379224232151604212531200000","45353287828848979822510080000","10204489761491020460064768000","1428628566608742864409067520","93753749683698750476845056"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["6724","551368","45212176","3707398432","304006671424","24928547056768","2044140858654976","167619550409708032","13744803133596058624","1127073856954876807168","92420056270299898187776","7578444614164591651397632","621432458361496515414605824","50957461585642714263997677568","4178511850022702569647809560576"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1600","3360","1764"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["40","42"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":201210,"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-6372524cd1a6352e"]},{"id":201211,"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-6372524cd1a6352e"]},{"id":201212,"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-6372524cd1a6352e"]}],"region_exact":{},"incoming_edges":[{"id":"e-6372524cd1a6352e","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-509590a43fbc65c5","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":"65a36b0bf0c38d458989aa2f4e08283918a0e4931db8de1b1c129bd50ebef770","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-f96c16e0c5fd8334","role":"sequence","name":"basis_map_A013610 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-80ba2c5f2659edd9","kind":"fingerprint_related","node_a_id":"n-fbf962df53148c52","node_b_id":"n-509590a43fbc65c5","fingerprint":"f6-640a8dc8403e6c62","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-640a8dc8403e6c62"},"other_id":"n-fbf962df53148c52","other":{"id":"n-fbf962df53148c52","name":"basis_map_A013609 of Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*10^j.","first_index":0,"fingerprint":"f6-640a8dc8403e6c62","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["21","20"],["441","840","400"]],"card_rows":[["1"],["21","20"],["441","840","400"],["9261","26460","25200","8000"]],"row_sums_preview":["1","41","1681","68921","2825761","115856201","4750104241","194754273881"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e1d1088f7d1ff894","steps":["basis A013609"],"edges":["e-25d25e50279a57da"],"text":"A038324 \u2192 basis A013609"},"headline":"A038324 \u2192 basis A013609","chain":null}},{"id":"l-813ed13ecfa9c595","kind":"fingerprint_related","node_a_id":"n-c5989f7729c933c8","node_b_id":"n-509590a43fbc65c5","fingerprint":"f6-640a8dc8403e6c62","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-640a8dc8403e6c62"},"other_id":"n-c5989f7729c933c8","other":{"id":"n-c5989f7729c933c8","name":"derivative of basis_map_A013609 of Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*10^j.","first_index":0,"fingerprint":"f6-640a8dc8403e6c62","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["20"],["840","800"]],"card_rows":[["20"],["840","800"],["26460","50400","24000"],["740880","2116800","2016000","640000"]],"row_sums_preview":["0","20","1640","100860","5513680","282576100","13902744120","665014593740"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e1d1088f7d1ff894","steps":["basis A013609","D"],"edges":["e-25d25e50279a57da","e-cf836392720f7b39"],"text":"A038324 \u2192 basis A013609 \u2192 D"},"headline":"A038324 \u2192 basis A013609 \u2192 D","chain":null}},{"id":"l-84d61036f88c15b3","kind":"fingerprint_related","node_a_id":"n-31f62c5b893224b0","node_b_id":"n-509590a43fbc65c5","fingerprint":"f6-640a8dc8403e6c62","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-640a8dc8403e6c62"},"other_id":"n-31f62c5b893224b0","other":{"id":"n-31f62c5b893224b0","name":"reversal of basis_map_A013609 of Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*10^j.","first_index":0,"fingerprint":"f6-640a8dc8403e6c62","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["20","21"],["400","840","441"]],"card_rows":[["1"],["20","21"],["400","840","441"],["8000","25200","26460","9261"]],"row_sums_preview":["1","41","1681","68921","2825761","115856201","4750104241","194754273881"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e1d1088f7d1ff894","steps":["basis A013609","reverse"],"edges":["e-25d25e50279a57da","e-b2ce494c20cb57e7"],"text":"A038324 \u2192 basis A013609 \u2192 reverse"},"headline":"A038324 \u2192 basis A013609 \u2192 reverse","chain":null}},{"id":"l-c4aaa5fbce8be1ae","kind":"fingerprint_related","node_a_id":"n-10de7fc69fcc7b29","node_b_id":"n-509590a43fbc65c5","fingerprint":"f6-640a8dc8403e6c62","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-640a8dc8403e6c62"},"other_id":"n-10de7fc69fcc7b29","other":{"id":"n-10de7fc69fcc7b29","name":"basis_map_A013609 of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^j.","first_index":0,"fingerprint":"f6-640a8dc8403e6c62","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1764","3360","1600"],["74088","211680","201600","64000"],["3111696","11854080","16934400","10752000","2560000"]],"card_rows":[["1764","3360","1600"],["74088","211680","201600","64000"],["3111696","11854080","16934400","10752000","2560000"],["130691232","622339200","1185408000","1128960000","537600000","102400000"]],"row_sums_preview":["6724","551368","45212176","3707398432","304006671424","24928547056768","2044140858654976","167619550409708032"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ec89fb3fc20684fc","steps":["basis A013609","basis A013609"],"edges":["e-0c8cc5263f914382","e-db5897451ba89947"],"text":"A038336 \u2192 basis A013609 \u2192 basis A013609"},"headline":"A038336 \u2192 basis A013609 \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:               1600,                3360,                 1764;\n  1:              64000,              201600,               211680,                74088;\n  2:            2560000,            10752000,             16934400,             11854080,               3111696;\n  3:          102400000,           537600000,           1128960000,           1185408000,             622339200,             130691232;\n  4:         4096000000,         25804800000,          67737600000,          94832640000,           74680704000,           31365895680,            5489031744;\n  5:       163840000000,       1204224000000,        3793305600000,        6638284800000,         6970199040000,         4391225395200,         1536928888320,          230539333248;\n  6:      6553600000000,      55050240000000,      202309632000000,      424850227200000,       557615923200000,       468397375488000,       245908622131200,        73772586639360,         9682651996416;\n  7:    262144000000000,    2477260800000000,    10404495360000000,    25491013632000000,     40148346470400000,     42155763793920000,     29509034655744000,     13279065595084800,      3485754718709760,      406671383849472;\n  8:  10485760000000000,  110100480000000000,   520224768000000000,  1456629350400000000,   2676556431360000000,   3372461103513600000,   2950903465574400000,   1770542079344640000,    697150943741952000,   162668553539788800,   17080198121677824;\n  9: 419430400000000000, 4844421120000000000, 25433210880000000000, 80114614272000000000, 168240689971200000000, 247313814257664000000, 259679504970547200000, 194759628727910400000, 102248805082152960000, 35787081778753536000, 7515287173538242560, 717368321110468608;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (40+42*x)*P(n-1,x) for n >= 1, with P(0,x) = 1600 + 3360*x + 1764*x^2.","mathematica":"P[0, x_] := 1600 + 3360*x + 1764*x^2;\nP[n_, x_] := P[n, x] = Expand[(40 + 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] = 1600 + 3360*x + 1764*x^2; for(n = 1, N, my(i = n + 1); v[i] = (40 + 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 A013610","basis A013609"],"edges":["e-065a527a7a0e90c1","e-6372524cd1a6352e"],"text":"A038333 \u2192 basis A013610 \u2192 basis A013609"},"headline":"A038333 \u2192 basis A013610 \u2192 basis A013609","chain":null}