implemented cross-reference function mapping onto state labels and coefficients, state exponentiation, and a state copy function