Slater determinant
スレイター行列式は直交化されたスピン軌道の組から構成されるのでformula_5、つまりformula_6は恒等行列となり上記の行列の方程式は簡単な形になる。