Talk:Auxiliary polynomial