« O2を追加 | トップページ | GAPの本家 »

2009年6月14日 (日)

HF他追加

HFのデータを追加しました。有限群の方もいくつか追加しました。

それから、GAPの英語メーリングリストに登録してみました。まだ配信はありませんが。

|

« O2を追加 | トップページ | GAPの本家 »

コメント

この記事へのコメントは終了しました。

トラックバック


この記事へのトラックバック一覧です: HF他追加:

« O2を追加 | トップページ | GAPの本家 »