@uxor The idea is actually taken from Modern Computer Algebra, the book by von zur Gathen and Gerhard. You can see it on the front page and also on page 226, in the chapter about Fast Multiplication :-). The book is very nice!