User blog comment:Moooosey/dco + decord sequence/@comment-35470197-20191009222350/@comment-43798125-20191010110246

All right then, I have defined fundamental sequences (from the first entry rather than zeroth) for all the ordinals up to gamma_0... and found that dco(gamma_0) is larger than I expected anyways because I always had the wrong fundamental sequence for gamma_0 in my head