{"id":"n-c30e479d0a74aad5","revision":0,"first_index":0,"fingerprint":"f6-7cfe8b61bc182db1","name":"basis_map_A013609 of basis_map_A013611 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"],["36","96","64"],["1296","6912","13824","12288","4096"],["46656","373248","1244160","2211840","2211840","1179648","262144"],["1679616","17915904","83607552","222953472","371589120","396361728","264241152","100663296","16777216"],["60466176","806215680","4837294080","17199267840","40131624960","64210599936","71345111040","54358179840","27179089920","8053063680","1073741824"],["2176782336","34828517376","255409127424","1135151677440","3405455032320","7264970735616","11301065588736","12915503529984","10762919608320","6378026434560","2551210573824","618475290624","68719476736"],["78364164096","1462797729792","12677580324864","67613761732608","247917126352896","661112336941056","1322224673882112","2014818550677504","2350621642457088","2089441459961856","1392960973307904","675375017361408","225125005787136","46179488366592","4398046511104"],["2821109907456","60183678025728","601836780257280","3744762188267520","16227302815825920","51927369010642944","126933568692682752","241778226081300480","362667339121950720","429827957477867520","401172760312676352","291762007500128256","162090004166737920","66498463247892480","18999560927969280","3377699720527872","281474976710656"],["101559956668416","2437438960041984","27624308213809152","196439525075976192","982197625379880960","3666871134751555584","10593183278171160576","24212990350105509888","44390482308526768128","65763677494113730560","78916412992936476672","76525006538605068288","59519449530026164224","36627353556939177984","17441596931875799040","6201456686889172992","1550364171722293248","243194379878006784","18014398509481984"],["3656158440062976","97497558401679360","1234969073087938560","9879752584703508480","55985264646653214720","238870462492387049472","796234874974623498240","2123292999932329328640","4600468166520046878720","8178610073813416673280","11995294774926344454144","14539751242334962974720","14539751242334962974720","11930052301403046543360","7953368200935364362240","4241796373832194326528","1767415155763414302720","554483186121855467520","123218485804856770560","17293822569102704640","1152921504606846976"],["131621703842267136","3860903312706502656","54052646377891037184","480467967803475886080","3042963796088680611840","14606226221225666936832","55179076835741408428032","168164805594640482828288","420412013986601207070720","871965658638876577628160","1511407141640719401222144","2198410387841046401777664","2686946029583501157728256","2755842081624103751516160","2362150355677803215585280","1679751364037548953305088","979854962355236889427968","461108217578935006789632","170780821325531483996160","47938476161552697262080","9587695232310539452416","1217485108864830406656","73786976294838206464"],["4738381338321616896","151628202826291740672","2324965776669806690304","22732998705215887638528","159130990936511213469696","848698618328059805171712","3583394166274030288502784","12285922855796675274866688","34810114758090579945455616","82512864611770263574413312","165025729223540527148826624","280043661712674833949523968","404507511362752537927090176","497855398600310815910264832","521562798533658950001229824","463611376474363511112204288","347708532355772633334153216","218170059517347534641037312","113125216046032054999056384","47631669914118759999602688","15877223304706253333200896","4032310680560318306844672","733147396465512419426304","85002596691653613846528","4722366482869645213696"],["170581728179578208256","5913499910225377886208","98558331837089631436800","1051288872928956068659200","8059881359121996526387200","47284637306849046288138240","220661640765295549344645120","840615774343983045122457600","2661949952089279642887782400","7098533205571412381034086400","16090008599295201397010595840","31204865162269481497232670720","52008108603782469162054451200","74678309790046622386539724800","92458859740057722954763468800","98622783722728237818414366720","90404218412500884666879836160","70905269343137948758337126400","47270179562091965838891417600","26537644666437594856921497600","12384234177670877599896698880","4717803496255572419008266240","1429637423107749217881292800","331510127097449094001459200","55251687849574849000243200","5893513370621317226692608","302231454903657293676544"],["6140942214464815497216","229261842673353111896064","4126713168120356014129152","47686463276057447274381312","397387193967145393953177600","2543278041389730521300336640","12998976655991955997757276160","54471902177490101323935252480","190651657621215354633773383680","564893800359156606322291507200","1431064294243196736016471818240","3122322096530611060399574876160","5897719515668932002976974766080","9678308948790042261295548334080","13826155641128631801850783334400","17205882575626741797858752593920","18639706123595636947680315310080","17543252822207658303699120291840","14294502299576610469680764682240","10031229683913410855916326092800","6018737810348046513549795655680","3057136665573610927517356523520","1296967070243350090461908828160","451118980954208727117185679360","125310828042835757532551577600","26732976649138294940277669888","4112765638328968452350410752","406199075390515402701275136","19342813113834066795298816"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","196","38416","7529536","1475789056","289254654976","56693912375296","11112006825558016","2177953337809371136","426878854210636742656","83668255425284801560576","16398978063355821105872896","3214199700417740936751087616","629983141281877223603213172736","123476695691247935826229781856256"],"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":[["36","96","64"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":200995,"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-75b62471c86574f4"]},{"id":200996,"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-75b62471c86574f4"]},{"id":200997,"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-75b62471c86574f4"]}],"region_exact":{},"incoming_edges":[{"id":"e-75b62471c86574f4","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-c30e479d0a74aad5","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":"43b442e7fc9d95c8d421967056ff0e82f0d59779764304b327a1746c63fb6e39","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-0ca8dc857c80d449","role":"sequence","name":"basis_map_A013611 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-768316bc0d475184","kind":"fingerprint_related","node_a_id":"n-fae42818526cffa5","node_b_id":"n-c30e479d0a74aad5","fingerprint":"f6-7cfe8b61bc182db1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-7cfe8b61bc182db1"},"other_id":"n-fae42818526cffa5","other":{"id":"n-fae42818526cffa5","name":"basis_map_A013609 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-7cfe8b61bc182db1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["9","24","16"],["81","432","864","768","256"]],"card_rows":[["1"],["9","24","16"],["81","432","864","768","256"],["729","5832","19440","34560","34560","18432","4096"]],"row_sums_preview":["1","49","2401","117649","5764801","282475249","13841287201","678223072849"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["x \u21a6 x+1","basis A013611"],"edges":["e-cfe8f3b6680af0c3","e-219470b67840e9e7"],"text":"A034870 \u2192 x \u21a6 x+1 \u2192 basis A013611"},"headline":"A034870 \u2192 x \u21a6 x+1 \u2192 basis A013611","chain":null}},{"id":"l-ecbc8b01149be879","kind":"fingerprint_related","node_a_id":"n-31f600b3d147eeab","node_b_id":"n-c30e479d0a74aad5","fingerprint":"f6-7cfe8b61bc182db1","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-7cfe8b61bc182db1"},"other_id":"n-31f600b3d147eeab","other":{"id":"n-31f600b3d147eeab","name":"shift_x_plus_one 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-7cfe8b61bc182db1","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["16","24","9"],["256","768","864","432","81"]],"card_rows":[["1"],["16","24","9"],["256","768","864","432","81"],["4096","18432","34560","34560","19440","5832","729"]],"row_sums_preview":["1","49","2401","117649","5764801","282475249","13841287201","678223072849"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["basis A013610","x \u21a6 x+1"],"edges":["e-4aebfd11077ddb65","e-34239fec215606fc"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013610 \u2192 x \u21a6 x+1"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013610 \u2192 x \u21a6 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:               1;\n  1:              36,               96,                64;\n  2:            1296,             6912,             13824,              12288,               4096;\n  3:           46656,           373248,           1244160,            2211840,            2211840,             1179648,               262144;\n  4:         1679616,         17915904,          83607552,          222953472,          371589120,           396361728,            264241152,            100663296,             16777216;\n  5:        60466176,        806215680,        4837294080,        17199267840,        40131624960,         64210599936,          71345111040,          54358179840,          27179089920,           8053063680,           1073741824;\n  6:      2176782336,      34828517376,      255409127424,      1135151677440,      3405455032320,       7264970735616,       11301065588736,       12915503529984,       10762919608320,        6378026434560,        2551210573824,         618475290624,          68719476736;\n  7:     78364164096,    1462797729792,    12677580324864,     67613761732608,    247917126352896,     661112336941056,     1322224673882112,     2014818550677504,     2350621642457088,     2089441459961856,     1392960973307904,      675375017361408,      225125005787136,       46179488366592,        4398046511104;\n  8:   2821109907456,   60183678025728,   601836780257280,   3744762188267520,  16227302815825920,   51927369010642944,   126933568692682752,   241778226081300480,   362667339121950720,   429827957477867520,   401172760312676352,   291762007500128256,   162090004166737920,    66498463247892480,    18999560927969280,    3377699720527872,     281474976710656;\n  9: 101559956668416, 2437438960041984, 27624308213809152, 196439525075976192, 982197625379880960, 3666871134751555584, 10593183278171160576, 24212990350105509888, 44390482308526768128, 65763677494113730560, 78916412992936476672, 76525006538605068288, 59519449530026164224, 36627353556939177984, 17441596931875799040, 6201456686889172992, 1550364171722293248, 243194379878006784, 18014398509481984;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (36+96*x+64*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[(36 + 96*x + 64*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] = (36 + 96*x + 64*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 A013611","basis A013609"],"edges":["e-a6b5412d61e1c4e3","e-75b62471c86574f4"],"text":"A034870 \u2192 basis A013611 \u2192 basis A013609"},"headline":"A034870 \u2192 basis A013611 \u2192 basis A013609","chain":null}