Updated Decomp in Manual (two changes: Decomp now need manual simplification; and definitions of U1, U2, D1, D2 has been moved into tensor.m)