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

>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

[k]°(0)_(0),(0)_(1) = [f(k)]°(k)_(1) from here the expansion gets pretty standart

>So will 2.2 be updated?

yes i updated it

>Also, \(E_D\) is not necessarily well-defined, because the length of \(E\) is not necesarily the same as that of \(C\).

oh my mistake i meant to add \(F\) as the number of elements in \(E\)