next up previous
Next: Membership to CBN Up: Approx Trs Menu Previous: Approx Trs Menu

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.