| 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,
 be a basis of M,  a basis of N, and denote by
 a basis of N, and denote by  the lexicographically ordered basis
 the lexicographically ordered basis  . For
. For  , the coordinate row
, the coordinate row  has
 has  entries which can be arranged as a
 entries which can be arranged as a  matrix (top to bottom, left to right). Let
 matrix (top to bottom, left to right). Let  denote this matrix. Then
 denote this matrix. Then 
![\[ M(B,va,C) = m(B,a|_M,B)^{\rm tr}M(B,v,C)m(C,a|_N,C) \quad\mbox{for all } a\in A,\ v\in M\otimes N \]](form_44.png) 
 Using this relation, we can calculate the image of any vector  under an algebra element
 under an algebra element  , and thus spin up a vector without using the matrix representation of
, and thus spin up a vector without using the matrix representation of  on
 on  .
.