異なるω_0, ..., ω_nに対してn + 1正方行列

(ω_i^j)_i,j

の行列式