高次元多様体の不変量の計算における計算上の課題