Talk:Difference algebra