{"id":"n-08ea8d2f5c08b286","revision":0,"first_index":0,"fingerprint":"f6-6b852c5cd7d4c499","name":"basis_map_A013610 of basis_map_A013609 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.","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"],["32","96","72"],["1024","6144","13824","13824","5184"],["32768","294912","1105920","2211840","2488320","1492992","373248"],["1048576","12582912","66060288","198180864","371589120","445906944","334430208","143327232","26873856"],["33554432","503316480","3397386240","13589544960","35672555520","64210599936","80263249920","68797071360","38698352640","12899450880","1934917632"],["1073741824","19327352832","159450660864","797253304320","2690729902080","6457751764992","11301065588736","14529941471232","13621820129280","9081213419520","4086546038784","1114512556032","139314069504"],["34359738368","721554505728","7035156430848","42210938585088","174120121663488","522360364990464","1175310821228544","2014818550677504","2644449347764224","2644449347764224","1983337010823168","1081820187721728","405682570395648","93619054706688","10030613004288"],["1099511627776","26388279066624","296868139499520","2078076976496640","10130625260421120","36470250937516032","100293190078169088","214913978738933760","362667339121950720","483556452162600960","507734274770731008","415418952085143552","259636845053214720","119832390024560640","38517553936465920","7703510787293184","722204136308736"],["35184372088832","949978046398464","12112220091580416","96897760732643328","545049904121118720","2289209597308698624","7439931191253270528","19131251634651267072","39458206496468238336","65763677494113730560","88780964617053536256","96851961400422039552","84745466225369284608","58669938156024889344","31430324012156190720","12572129604862476288","3535911451367571456","623984373770747904","51998697814228992"],["1125899906842624","33776997205278720","481322210175221760","4331899891576995840","27615861808803348480","132556136682256072704","497085512558460272640","1491256537675380817920","3634937810583740743680","7269875621167481487360","11995294774926344454144","16357220147626833346560","18401872666080187514880","16986343999458634629120","12739757999593975971840","7643854799756385583104","3583056937385805742080","1264608330842049085440","316152082710512271360","49918749901659832320","3743906242624487424"],["36028797018963968","1188950301625810944","18725967250606522368","187259672506065223680","1334225166605714718720","7204815899670859481088","30620467573601152794624","104984460252346809581568","295268794459725401948160","688960520406025937879040","1343473014791750578864128","2198410387841046401777664","3022814283281438802444288","3487862634555506310512640","3363296111892809656565760","2690636889514247725252608","1765730458743725069697024","934798478158442683957248","389499365899351118315520","122999799757689826836480","27674954945480211038208","3953564992211458719744","269561249468963094528"],["1152921504606846976","41505174165846491136","715964254360851972096","7875606797969371693056","62020403534008802082816","372122421204052812496896","1767581500719250859360256","6817814359917110457532416","21731783272235789583384576","57951422059295438889025536","130390699633414737500307456","248927699300155407955132416","404507511362752537927090176","560087323425349667899047936","660102916894162108595306496","660102916894162108595306496","556961836129449279127289856","393149531385493608795734016","229337226641537938464178176","108633423145991655061979136","40737533679746870648242176","11639295337070534470926336","2380764955309882050871296","310534559388245484896256","19408409961765342806016"],["36893488147419103232","1438846037749345026048","26978363207800219238400","323740358493602630860800","2792260592007322691174400","18428919907248329761751040","96751829513053731249192960","414650697913087419639398400","1477193111315373932465356800","4431579333946121797396070400","11300527301562610583359979520","24655695930682059454603591680","46229429870028861477381734400","74678309790046622386539724800","104016217207564938324108902400","124819460649077925988930682880","128720068794361611176084766720","113576531289142598096545382400","85182398466856948572409036800","53799409558014914887837286400","28244690017957830316114575360","12104867150553355849763389440","4126659255870462221510246400","1076519805879251014307020800","201847463602359565182566400","24221695632283147821907968","1397405517247104682033152"],["1180591620717411303424","49584848070131274743808","1004093173420158313562112","13053211254462058076307456","122373855510581794465382400","881091759676188920150753280","5066277618138086290866831360","23883880199793835371229347840","94042778286688226774215557120","313475927622294089247385190400","893406393723538154355047792640","2192906602775957287962390036480","4659926530898909236920078827520","8602941287813370898929376296960","13826155641128631801850783334400","19356617897580084522591096668160","23590878062675728011907899064320","24978576772244888483196599009280","22897028707891147776263549091840","18076601611493011402313328230400","12201706087757782696561496555520","6972403478718732969463712317440","3327738023933940735425862696960","1302158357191542026905772359680","406924486622356883408053862400","97661876789365652017932926976","16903017136620978233873006592","1878113015180108692652556288","100613197241791537106386944"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","200","40000","8000000","1600000000","320000000000","64000000000000","12800000000000000","2560000000000000000","512000000000000000000","102400000000000000000000","20480000000000000000000000","4096000000000000000000000000","819200000000000000000000000000","163840000000000000000000000000000"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["32","96","72"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":203788,"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-d11339927c3a9272"]},{"id":203789,"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-d11339927c3a9272"]},{"id":203790,"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-d11339927c3a9272"]}],"region_exact":{},"incoming_edges":[{"id":"e-d11339927c3a9272","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-08ea8d2f5c08b286","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":"17af8db101e885935af86e28ffa58316b2601ae3ef956c1d8f96b5094ef97057","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-32191567c95f77cc","role":"sequence","name":"basis_map_A013609 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.","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-440961d7f836a8ef","kind":"fingerprint_related","node_a_id":"n-1e083728b424e77f","node_b_id":"n-08ea8d2f5c08b286","fingerprint":"f6-6b852c5cd7d4c499","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b852c5cd7d4c499"},"other_id":"n-1e083728b424e77f","other":{"id":"n-1e083728b424e77f","name":"basis_map_A013610 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-6b852c5cd7d4c499","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["4","12","9"],["16","96","216","216","81"]],"card_rows":[["1"],["4","12","9"],["16","96","216","216","81"],["64","576","2160","4320","4860","2916","729"]],"row_sums_preview":["1","25","625","15625","390625","9765625","244140625","6103515625"],"regions":["(-inf, 0]","[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013610"],"edges":["e-cb7f9b19b94bd36e"],"text":"A034870 \u2192 basis A013610"},"headline":"A034870 \u2192 basis A013610","chain":null}},{"id":"l-51da7b6ac540f084","kind":"fingerprint_related","node_a_id":"n-23c9ebec99e56671","node_b_id":"n-08ea8d2f5c08b286","fingerprint":"f6-6b852c5cd7d4c499","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b852c5cd7d4c499"},"other_id":"n-23c9ebec99e56671","other":{"id":"n-23c9ebec99e56671","name":"shift_x_plus_one of basis_map_A013609 of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","first_index":0,"fingerprint":"f6-6b852c5cd7d4c499","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["9","12","4"],["81","216","216","96","16"]],"card_rows":[["1"],["9","12","4"],["81","216","216","96","16"],["729","2916","4860","4320","2160","576","64"]],"row_sums_preview":["1","25","625","15625","390625","9765625","244140625","6103515625"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["basis A013609","x \u21a6 x+1"],"edges":["e-20c0b01c4fb345ed","e-606ea858cc2070d2"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 x \u21a6 x+1"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 x \u21a6 x+1","chain":null}},{"id":"l-88649f70c5097198","kind":"fingerprint_related","node_a_id":"n-fd18f6eb36bb6ac9","node_b_id":"n-08ea8d2f5c08b286","fingerprint":"f6-6b852c5cd7d4c499","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b852c5cd7d4c499"},"other_id":"n-fd18f6eb36bb6ac9","other":{"id":"n-fd18f6eb36bb6ac9","name":"shift_x_plus_one of basis_map_A013611 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-6b852c5cd7d4c499","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["36","48","16"],["1296","3456","3456","1536","256"]],"card_rows":[["1"],["36","48","16"],["1296","3456","3456","1536","256"],["46656","186624","311040","276480","138240","36864","4096"]],"row_sums_preview":["1","100","10000","1000000","100000000","10000000000","1000000000000","100000000000000"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013611","x \u21a6 x+1"],"edges":["e-a6b5412d61e1c4e3","e-2a7af4bc98279738"],"text":"A034870 \u2192 basis A013611 \u2192 x \u21a6 x+1"},"headline":"A034870 \u2192 basis A013611 \u2192 x \u21a6 x+1","chain":null}},{"id":"l-95ca468a6210dd5f","kind":"fingerprint_related","node_a_id":"n-c1a4b2af6b8ff4f9","node_b_id":"n-08ea8d2f5c08b286","fingerprint":"f6-6b852c5cd7d4c499","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b852c5cd7d4c499"},"other_id":"n-c1a4b2af6b8ff4f9","other":{"id":"n-c1a4b2af6b8ff4f9","name":"basis_map_A013609 of basis_map_A013610 of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","first_index":0,"fingerprint":"f6-6b852c5cd7d4c499","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["16","48","36"],["256","1536","3456","3456","1296"]],"card_rows":[["1"],["16","48","36"],["256","1536","3456","3456","1296"],["4096","36864","138240","276480","311040","186624","46656"]],"row_sums_preview":["1","100","10000","1000000","100000000","10000000000","1000000000000","100000000000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["basis A013610","basis A013609"],"edges":["e-4aebfd11077ddb65","e-bfb14b12994a4a5e"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013610 \u2192 basis A013609"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013610 \u2192 basis A013609","chain":null}},{"id":"l-a242399478694ab7","kind":"fingerprint_related","node_a_id":"n-87b7b64af43d2638","node_b_id":"n-08ea8d2f5c08b286","fingerprint":"f6-6b852c5cd7d4c499","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b852c5cd7d4c499"},"other_id":"n-87b7b64af43d2638","other":{"id":"n-87b7b64af43d2638","name":"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-6b852c5cd7d4c499","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","24","18"],["64","384","864","864","324"]],"card_rows":[["1"],["8","24","18"],["64","384","864","864","324"],["512","4608","17280","34560","38880","23328","5832"]],"row_sums_preview":["1","50","2500","125000","6250000","312500000","15625000000","781250000000"],"regions":["(-inf, 0]","[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["basis A013610"],"edges":["e-a142fb8711dcbce4"],"text":"A139548 \u2192 basis A013610"},"headline":"A139548 \u2192 basis A013610","chain":null}},{"id":"l-c5af6444d3d0f6a2","kind":"fingerprint_related","node_a_id":"n-af48e57b5ab0efc6","node_b_id":"n-08ea8d2f5c08b286","fingerprint":"f6-6b852c5cd7d4c499","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6b852c5cd7d4c499"},"other_id":"n-af48e57b5ab0efc6","other":{"id":"n-af48e57b5ab0efc6","name":"reversal 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-6b852c5cd7d4c499","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["18","24","8"],["324","864","864","384","64"]],"card_rows":[["1"],["18","24","8"],["324","864","864","384","64"],["5832","23328","38880","34560","17280","4608","512"]],"row_sums_preview":["1","50","2500","125000","6250000","312500000","15625000000","781250000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["x \u21a6 x+1","basis A013609"],"edges":["e-9d7e9cd87d9b797c","e-aca210c463f14435"],"text":"A139548 \u2192 x \u21a6 x+1 \u2192 basis A013609"},"headline":"A139548 \u2192 x \u21a6 x+1 \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:             32,              96,                72;\n  2:           1024,            6144,             13824,             13824,               5184;\n  3:          32768,          294912,           1105920,           2211840,            2488320,             1492992,              373248;\n  4:        1048576,        12582912,          66060288,         198180864,          371589120,           445906944,           334430208,            143327232,             26873856;\n  5:       33554432,       503316480,        3397386240,       13589544960,        35672555520,         64210599936,         80263249920,          68797071360,          38698352640,          12899450880,           1934917632;\n  6:     1073741824,     19327352832,      159450660864,      797253304320,      2690729902080,       6457751764992,      11301065588736,       14529941471232,       13621820129280,        9081213419520,        4086546038784,        1114512556032,         139314069504;\n  7:    34359738368,    721554505728,     7035156430848,    42210938585088,    174120121663488,     522360364990464,    1175310821228544,     2014818550677504,     2644449347764224,     2644449347764224,     1983337010823168,     1081820187721728,      405682570395648,       93619054706688,       10030613004288;\n  8:  1099511627776,  26388279066624,   296868139499520,  2078076976496640,  10130625260421120,   36470250937516032,  100293190078169088,   214913978738933760,   362667339121950720,   483556452162600960,   507734274770731008,   415418952085143552,   259636845053214720,   119832390024560640,    38517553936465920,     7703510787293184,     722204136308736;\n  9: 35184372088832, 949978046398464, 12112220091580416, 96897760732643328, 545049904121118720, 2289209597308698624, 7439931191253270528, 19131251634651267072, 39458206496468238336, 65763677494113730560, 88780964617053536256, 96851961400422039552, 84745466225369284608, 58669938156024889344, 31430324012156190720, 12572129604862476288, 3535911451367571456, 623984373770747904, 51998697814228992;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (32+96*x+72*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[(32 + 96*x + 72*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] = (32 + 96*x + 72*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-336459bdce627a87","steps":["basis A013609","basis A013610"],"edges":["e-65b163cdbb61d2ab","e-d11339927c3a9272"],"text":"A139548 \u2192 basis A013609 \u2192 basis A013610"},"headline":"A139548 \u2192 basis A013609 \u2192 basis A013610","chain":null}