User blog comment:Ynought/Extended degree function/@comment-35470197-20181230222231/@comment-35470197-20181231012940

So will 2.2 be updated? Also, \(E_D\) is not necessarily well-defined, because the length of \(E\) is not necesarily the same as that of \(C\).

Also, I would like to know how to compute \([k]((0)_{(0)},(0)_{(1)})\). I think that it is not expanded in the same way as the previoud blog post.