レイヤーとかフリッカーとか

Turaevゲームのために、参考：

ラフォンは次の形をレイヤーと呼んでいる。αは基本記号で、レイヤーは最小なスライスと同じこと。

リージョンwをw'を入れ替える操作は次の図：

この操作は可逆で等式に対応。

一方、LLT（ランカスター／ラーソン／タウバー）のフリッカーは次：

フリッカーは2つのスチル（beforeとafter）から構成され、スチル内のリージョンUをVに置き換える（U→Vはトランジションと呼ぶ）。なお、フリッカーの連続をムービーと呼ぶ。