Let m>2, let p be the parameter of the Dm identity, let t be an indeterminate, and let Resx0,x1,…,xm+2 denote the iterated residue in the displayed variables. Constant term identity of type Dm, m>2.
Resx0,x1,…,xm+2x0−4mp+3(x1⋯xm+2)4p(1+x0)m2p+mp−(m+1)ti=1∏m+2(1+xi)t(x0−xm+1)−2mp(x0−xm+2)−2mp1≤i<j≤m+2∏(xi−xj)2pi=1∏m(xi−x0)−2mp
=−Resx0,x1,…,xm+2x0−4mp+4(x1⋯xm+2)4p(1+x0)m2p+mp−(m+1)ti=1∏m+2(1+xi)t(x0−xm+1)−2mp(x0−xm+2)−2mp1≤i<j≤m+2∏(xi−xj)2pi=1∏m(xi−x0)−2mp
=αp,m(2pt+p+21)(2pt−p+21)(pt−(m+1)p+1)(pt+mp)l=0∏m−1((m+1)p−1t+pl),
where αp,m is a nonzero constant. The source reports verification for m=3, p≤4 and m=4, p≤2, while noting that the analogous conjecture does not hold for m=2.