単一化

単一化アルゴリズムをメモ．

(E∪{(ρ,ρ)},S) ⇒ (E,S)
(E∪{(α,ρ)},S) ⇒ ([ρ/α]E, {(α,ρ)}∪[ρ/α]S)

α→βみたいのは省略．

うろ覚えで実装しようとしていたらはまった．テキストを取りにいって帰って来て，解決．Eの方を書き換えるなんて思いつかんよー