MeatAxe
2.4

zts Options [g NumGen] M N Seed [Sub]
This program is similar to zsp, but it works on the tensor product of two modules, M⊗N. zts spins up one or more vectors, and optionally calculates a matrix representation corresponding to the invariant subspace. The program does not use the matrix representation of the generators on M⊗N, which would be too large in many cases. This program is used, for example, to spin up vectors that have been uncondensed with tuc.
The action of the generators on both M and N must be given as square matrices, see "Input Files" above. You can use the g option to specify the number of generators. The default is two generators.
Seed vectors are read from Seed. They must be given with respect to the lexicographically ordered basis explained below.
If the Sub argument is given, ZTS writes a basis of the invariant subspace to Sub, calculates the action of the generators on the invariant subspace, and writes it to Sub.1, Sub.2,...
Let be a basis of M, a basis of N, and denote by the lexicographically ordered basis . For , the coordinate row has entries which can be arranged as a matrix (top to bottom, left to right). Let denote this matrix. Then
Using this relation, we can calculate the image of any vector under an algebra element , and thus spin up a vector without using the matrix representation of on .