It is not always possible to convert between the two types of constraints; there are constraints which can be expressed only using local constraints, and vice versa. This aspect has already been discussed in the manuscript introducing the GASSCF method. An example is given in the appendix (Example 6.5). If the constraints can be converted into each other it is done by the following relationships (Lemma 6.6, see Appendix):