Started adding some math to the manuscript.
Fixed a bug in the loop over monomial powers. I forgot to redefine vp[n] in the loop.