ペアGP多項式演算子

Question

PARI/GPに問題があります。

[y = x^2-x+1 (mod x^6+x^5+x^4+x^3+x^2+x+1)] 

PARI/GPの最小多項式を清澄するために、PARI/GPの右の関数/コマンドを動作させるために誰もが知っている、このエラーを与える：助けるため

gp > minpoly(x^6+x^5+x^4+x^3+x^2+x+1,{v=x^2-x+1}) 
    *** at top-level: ...(x^6+x^5+x^4+x^3+x^2+x+1,v=x^2-x+1) 
    ***            ^---------- 
    *** incorrect type in evaluator [variable name expected] (t_INT). 

感謝を。

私も試してみてください。

(11:36) gp > elt = Mod(x^2-x+1, x^6+x^5+x^4+x^3+x^2+x+1) 
%52 = Mod(43, 39991) 
(11:36) gp > poly = minpoly(elt, v='y) 
%53 = Mod(1, 39991)*y + Mod(39948, 39991) 
(11:36) gp > subst(poly, variable(poly), elt) 
%54 = Mod(0, 39991) 
(11:36) gp > 

これは、スクリプトすることになっていますか？実際に

Answer 1

、次の呼び出したい：

elt = Mod('x^2-'x+1, 'x^6+'x^5+'x^4+'x^3+'x^2+'x+1) 
poly = minpoly(elt, v='y) 
gp > y^6 - 6*y^5 + 15*y^4 - 20*y^3 + 22*y^2 - 6*y + 1 

だけを検証する：minpolyのパラメータv

subst(poly, variable(poly), elt) 
gp > 0 

をちょうど変数名ではなく、剰余の略です。