Changing the current approximation

With the Approximation Strong Approximation Nv Approximation Linear Growing Approximation Growing commands, one can select the current approximation $\alpha$ for the current TRS $\mathcal{R}$. One may also use the Approximation item of the Approx Trs menu and select in the pop-up-menu the desired approximation.