The normalization factor of a Slater determinant is `1/√(N!)`, not `1/√N`.
The normalization factor of a Slater determinant is
1/√(N!), not1/√N.