与えられた係数で多項式を作成したい。これは非常に単純に思えますが、これまでに見つけたものは、私が望んでいたものではないようです。たとえば、そのような環境では。
n = 11
K = GF(4,'a')
R = PolynomialRing(GF(4,'a'),"x")
x = R.gen()
a = K.gen()
v = [1,a,0,0,1,1,1,a,a,0,1]
長さ n のリスト/ベクトル v を指定すると (この n と v を最初に設定します)、多項式v(x)
を として取得しv[i]*x^i
ます。GF(4,'a')[x] /< x^n-v(x) >
(実際には、これを上から取得した後、商環を作成しv(x)
ます)次に、次のように言います。
S = R.quotient(x^n-v(x), 'y')
y = S.gen()
でも書けなかった。