土橋カスプ特異点 2018 Todd 種数の計算

（SageMathCell によりオンラインで実行）

コクセター群の設定（Evaluate を押して実行する．計算時間 20 秒程度）

Todd 種数の計算（上が終わった後に実行する．計算時間 10 秒程度）