今後の目標

今後は,計算済みの絡み目が自明かどうかを調べる ために,他の不変量も計算できるようにし, 計算できる組み紐の数を増やすために サーバ側の作業も分散できるよう考えていきたい.