{"id":"n-abd52b1e4c5ddae9","revision":0,"first_index":0,"fingerprint":"f6-a7a3fcc1bd498552","name":"basis_map_A013610 of basis_map_A007318 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":[["1156","2448","1296"],["39304","124848","132192","46656"],["1336336","5659776","8989056","6345216","1679616"],["45435424","240540480","509379840","539343360","285534720","60466176"],["1544804416","9814051584","25978371840","36675348480","29124541440","12335099904","2176782336"],["52523350144","389290712832","1236570499584","2182183234560","2310546954240","1467876888576","518074195968","78364164096"],["1785793904896","15126724841472","56057862647808","118710767960064","157117192888320","133087504564224","70458090651648","21315052634112","2821109907456"],["60716992766464","578597225186304","2450529424318464","6054249165963264","9615572204765184","10181194099163136","7186725246468096","3261203053019136","863259631681536","101559956668416"],["2064377754059776","21858117395927040","104147500533534720","294063530918215680","544882424936693760","692321198743093248","610871645949788160","369603012675502080","146754137385861120","34530385267261440","3656158440062976"],["70188843638032384","817493590607671296","4327907244393553920","13747470070426583040","29112289560903352320","43154688054986145792","45693199117044154368","34557881685159444480","18295349127437352960","6457182044977889280","1367403256583553024","131621703842267136"],["2386420683693101056","30321580451629989888","176578615571256999936","623218643192671764480","1484726767606070968320","2515301818062049640448","3107137539959002497024","2819923145509010669568","1866125610998610001920","878176758116992942080","278950264343044816896","53701655167644991488","4738381338321616896"],["81138303245565435904","1116844879968371294208","7095249825681417633792","27546264029116091990016","72916581253542596444160","138970425447928242634752","196193541808839871954944","207734338385830452658176","164965504012277124169728","97038531771927720099840","41098672279875269689344","11868065792049543118848","2094364551538154668032","170581728179578208256"],["2758702310349224820736","40893704835764979695616","281444909752029566140416","1192001970714478162477056","3470829267668627590742016","7349991390357093721571328","11673515737625972381319168","14125935010236470780755968","13087263318307318517465088","9238068224687518953504768","4890742001305157093031936","1883066439005194174857216","498458763266080810991616","81196902613479227129856","6140942214464815497216"],["93795878551873643905024","1489699247588581403197440","11041300305656544517816320","50660083755365321905274880","160920266046454551934402560","374849560908211779800137728","661499225132138434941419520","900528356902575012273192960","953500613190961777701027840","785235799098439111047905280","498855684133126023489257472","240090970973162257294295040","84737989755233737868574720","20705210166437202918113280","3131880529377055903580160","221073919720733357899776"],["3189059870763703892770816","54026426045879218889293824","429033383305511444120862720","2119929658686056547420733440","7295052060772606354359582720","18538014648551564382843174912","35985557847188330860813221888","54431936239444534075179663360","64838041696985400883669893120","61024039244221553772865781760","45229582028070092796359344128","26121897641880053593619300352","11524366606711788350126161920","3754544776847279462484541440","851871503990559205773803520","120264212328078946697478144","7958661109946400884391936"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["4900","343000","24010000","1680700000","117649000000","8235430000000","576480100000000","40353607000000000","2824752490000000000","197732674300000000000","13841287201000000000000","968890104070000000000000","67822307284900000000000000","4747561509943000000000000000","332329305696010000000000000000"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1156","2448","1296"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["34","36"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":204010,"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-f1924a3af8cebf20"]},{"id":204011,"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-f1924a3af8cebf20"]},{"id":204012,"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-f1924a3af8cebf20"]}],"region_exact":{},"incoming_edges":[{"id":"e-f1924a3af8cebf20","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-abd52b1e4c5ddae9","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":"510f8f1edb60aaaf3aaf7de62eeff2abfff4f0a836b84cc7186004259ff37060","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-b536b63a5727c887","role":"sequence","name":"basis_map_A007318 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-72f37d527a8e9e92","kind":"fingerprint_related","node_a_id":"n-bd0141a5841b35b4","node_b_id":"n-abd52b1e4c5ddae9","fingerprint":"f6-a7a3fcc1bd498552","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a7a3fcc1bd498552"},"other_id":"n-bd0141a5841b35b4","other":{"id":"n-bd0141a5841b35b4","name":"reversal of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*6^j.","first_index":0,"fingerprint":"f6-a7a3fcc1bd498552","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["324","612","289"],["5832","16524","15606","4913"],["104976","396576","561816","353736","83521"]],"card_rows":[["324","612","289"],["5832","16524","15606","4913"],["104976","396576","561816","353736","83521"],["1889568","8922960","16854480","15918120","7516890","1419857"]],"row_sums_preview":["1225","42875","1500625","52521875","1838265625","64339296875","2251875390625","78815638671875"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-1f2dec04776afb2b","steps":["basis A013610","reverse"],"edges":["e-572c9115d911d6cf","e-0d6b3bd1906fc686"],"text":"A038320 \u2192 basis A013610 \u2192 reverse"},"headline":"A038320 \u2192 basis A013610 \u2192 reverse","chain":null}},{"id":"l-bc0672d1e18ea526","kind":"fingerprint_related","node_a_id":"n-c21cdce554fb6206","node_b_id":"n-abd52b1e4c5ddae9","fingerprint":"f6-a7a3fcc1bd498552","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a7a3fcc1bd498552"},"other_id":"n-c21cdce554fb6206","other":{"id":"n-c21cdce554fb6206","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*6^j.","first_index":0,"fingerprint":"f6-a7a3fcc1bd498552","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["289","612","324"],["4913","15606","16524","5832"],["83521","353736","561816","396576","104976"]],"card_rows":[["289","612","324"],["4913","15606","16524","5832"],["83521","353736","561816","396576","104976"],["1419857","7516890","15918120","16854480","8922960","1889568"]],"row_sums_preview":["1225","42875","1500625","52521875","1838265625","64339296875","2251875390625","78815638671875"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-1f2dec04776afb2b","steps":["basis A013610"],"edges":["e-572c9115d911d6cf"],"text":"A038320 \u2192 basis A013610"},"headline":"A038320 \u2192 basis A013610","chain":null}},{"id":"l-c9faf7398e20e019","kind":"fingerprint_related","node_a_id":"n-0c0e7ad183455578","node_b_id":"n-abd52b1e4c5ddae9","fingerprint":"f6-a7a3fcc1bd498552","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a7a3fcc1bd498552"},"other_id":"n-0c0e7ad183455578","other":{"id":"n-0c0e7ad183455578","name":"derivative of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*6^j.","first_index":0,"fingerprint":"f6-a7a3fcc1bd498552","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["612","648"],["15606","33048","17496"],["353736","1123632","1189728","419904"]],"card_rows":[["612","648"],["15606","33048","17496"],["353736","1123632","1189728","419904"],["7516890","31836240","50563440","35691840","9447840"]],"row_sums_preview":["1260","66150","3087000","135056250","5672362500","231621468750","9264858750000","364803813281250"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-1f2dec04776afb2b","steps":["basis A013610","D"],"edges":["e-572c9115d911d6cf","e-3862874417f2e2ec"],"text":"A038320 \u2192 basis A013610 \u2192 D"},"headline":"A038320 \u2192 basis A013610 \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:              1156,               2448,                1296;\n  1:             39304,             124848,              132192,                46656;\n  2:           1336336,            5659776,             8989056,              6345216,              1679616;\n  3:          45435424,          240540480,           509379840,            539343360,            285534720,             60466176;\n  4:        1544804416,         9814051584,         25978371840,          36675348480,          29124541440,          12335099904,           2176782336;\n  5:       52523350144,       389290712832,       1236570499584,        2182183234560,        2310546954240,        1467876888576,         518074195968,          78364164096;\n  6:     1785793904896,     15126724841472,      56057862647808,      118710767960064,      157117192888320,      133087504564224,       70458090651648,       21315052634112,        2821109907456;\n  7:    60716992766464,    578597225186304,    2450529424318464,     6054249165963264,     9615572204765184,    10181194099163136,     7186725246468096,     3261203053019136,      863259631681536,     101559956668416;\n  8:  2064377754059776,  21858117395927040,  104147500533534720,   294063530918215680,   544882424936693760,   692321198743093248,   610871645949788160,   369603012675502080,   146754137385861120,   34530385267261440,    3656158440062976;\n  9: 70188843638032384, 817493590607671296, 4327907244393553920, 13747470070426583040, 29112289560903352320, 43154688054986145792, 45693199117044154368, 34557881685159444480, 18295349127437352960, 6457182044977889280, 1367403256583553024, 131621703842267136;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (34+36*x)*P(n-1,x) for n >= 1, with P(0,x) = 1156 + 2448*x + 1296*x^2.","mathematica":"P[0, x_] := 1156 + 2448*x + 1296*x^2;\nP[n_, x_] := P[n, x] = Expand[(34 + 36*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] = 1156 + 2448*x + 1296*x^2; for(n = 1, N, my(i = n + 1); v[i] = (34 + 36*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-29d7c5a1e19b9d74","steps":["x \u21a6 x+1","basis A013610"],"edges":["e-e77df5b989acd52a","e-f1924a3af8cebf20"],"text":"A038314 \u2192 x \u21a6 x+1 \u2192 basis A013610"},"headline":"A038314 \u2192 x \u21a6 x+1 \u2192 basis A013610","chain":null}