(k:0以上の整数) はF_3上でに因数分解でき, それぞれ既約な気がする. d次の多項式fのF_3上の既約性を判断するには, F_3のd次拡大を考えてやる. すると多項式がd次以下のdの約数の次数を持つモニックかつ既約な多項式の積になっている. なので最初に rem f = …