豊福＠パパイヤです。

ごとけんさん
> 同値類のとっても単純なモジュールを書きました。

  なんか面白そうですね。

> Family#[] は代表元を与えるとその同値類を Array
> として返します。
>   q0 = a.quotient{|i,j| i%2 == j%2}
>       ==>[[1, 3, 5, 7, 9], [2, 4, 6, 8, 10]]
>   q0[1]  # equivalece class for the reprezentative 1
>       ==>[1, 3, 5, 7, 9]

  q0 が配列なので q0[1] は配列の１番目と混同
してしまいました。 q0.equivalence_class(1) 的
書き方の方が混乱が少ないような気がします。
---
			豊福＠パパイヤ
			unbound / papaya.juice.or.jp
			toyofuku / juice.or.jp