> ev(sum(binomial(n,k),k,1,n),simpsum); return nothing. > Maple return n*2^n/2. On my system (Maxima 5.9.0, gcl 2.5.0, Windows 2000), this correctly returns 2^n-1. (NOT n*2^n/2 = n*2^(n-1) .) -s