Tensor network decompositions in the presence of a global symmetry | Synapse