  Second quantization has been widely used in quantum mechanics and quantum
chemistry, which is trivial and error-prone for researchers. Fortunately it is
a good candidate for automatic evaluation with its simple, trivial and
intrinsic iterative nature. This article presents an automatic and generic tool
for these kinds of evaluations. We believe it could be a helpful tool for
scientists, and hope the idea of automatic evaluation could be generalized to
other equation derivations in the future.
