Talk:Ore algebra