「環や体や群とはどういう概念か？」 という説明は面倒なので、ググるか、wikipediaでも読んでください。 日本語版wikipediaの環 日本語版wikipediaの体 現状、自分が把握してるのは、以下の2種類のライブラリ。(他にも存在したら、追記するかもしれないので…