That's a typo. It should be `deg(s) >= deg(b)`. See the pseudocode in Bronstein. Curious that it never came up as an issue, though.