User blog comment:Ynought/The degree function/@comment-25601061-20181229190510

>"For a term \(t=(a)_b\), I call \(a\) the upper value of \(t\) and \(b\) is the bottom value of \(t\)."

I think "lower value" would be more fitting than "bottom value".

>"4.1.1. Let \(n\) denote the minimum of such one."

The minimum of what? The value of n?

>"4.1.2. Replace \(B\) by the finite array of terms obtained by removing from \(B\) all entries of the form \((n)_0\) or \((0)_n\)."

Is n the same as the one we calculated in 4.1.1, or can it be any value (as long as the term fits one of the forms specified)? If it's the latter, then why did we even do step 4.1.1 in the first place?

>"4.1.3. Replace \(B\) by \(B+k+a_1\)."

What is \(a_1\)? Is it the upper value of \(A\)?

>"4.2.1. Decrease \(b_1\) by one"

What is \(b_1\)? Is it the bottom value of \(A\)?