Talk:Tate algebra