豊福@パパイヤです。

ごとけんさん
>>> 同値類のとっても単純なモジュールを書きました。
>>  なんか面白そうですね。
> どうもです # 必要なんで作ったんですけど ^^;;;

  初等整数論の勉強なんかでも利用して遊べそう
ですね。

> 普段ぼくは、紙の上では [n] を 1 から n までの
> 自然数の集合の表記として使っているのですが、
> n を代表元とする同値類というのもまたよくあるので
> こうしました。同値類をよく使うプログラムでは、
> シンプルでけっこう見やすいと今は思ってます。

  [1]_q0 みたいな書き方ができると同値類っぽく
感じるかもしれませんが、q0[1] と書かれると
配列#[]文化にそまってしまった私にはもはや配列
の値にしかみえません。(;_;)
---
			豊福@パパイヤ
			unbound / papaya.juice.or.jp
			toyofuku / juice.or.jp