1: $;

2: 

3: \Until convergence

4: 

5: \EndIf

6: 

7: \State $