User blog comment:Bird2525/Accidentally wrong renaming/@comment-26386476-20161014120845

Ah. Fixed it! It was "Divide polynomials with remainders"