[ALPS-users] t-J exact diagonalization