■

「ライオットアクト　最高難易度でプレイ」を見てる。

今思い出した。「お父さんを助けてあげて」って『惑星のさみだれ』１巻辺りで主人公がトカゲの使い魔みたいなのに頼むセリフだ。細かい口調は違ったかもしれないけど、１ヶ月半ほどひっかかっていたのが分かった。

コクセター群（特にB型ワイル群）の表示について、本も読まずつらつら考えている。ゼロ文字（単位元）にまで簡約出来るかだけ判定する上手いプログラムがあれば群の位数と元の書き出しも何とかなりそうなんだが。最短性判定はそれに比べたらまだ扱いやすい。
GAPのライブラリにはあるんだろうけど、GAPって使い方今ひとつ分からん。