ＭｕＰＡＤ、今度はAxiomとCategoryの役割が分からない。Domainと違って"See Example"が無いから（多分定義文の類だからだが）使用法が謎なのに要請される。つーか基本のキホン！ てくらい不可欠なパッケージぽいのに俺は何をいってるんだ。とりあえず有限体…