¿Cómo puedo sustituir un valor en un polinomio en la BRECHA?

Question

Pregunta: ¿Cómo puedo sustituir un valor en un polinomio en la BRECHA?

Así que, si me pongo con el siguiente:

x:=Indeterminate(Integers,"x");
f:=x^2+3;

He a $f$ como el polinomio $x^2+3$ respecto de los enteros. ¿Cómo puedo encontrar, digamos, $f(100)$?

No debe ser una simple línea de respuesta, pero me parece que no puede encontrar en los archivos de ayuda.

Answer 1

Por favor, consulte"?Valor':

gap> x:=Indeterminate(Integers,"x");;
gap> f:=x^2+3;;
gap> Value(f,100);
10003

Del mismo modo, para multivariante de los polinomios de hacer:

gap> x:=Indeterminate(Integers,"x");;
gap> y:=Indeterminate(Integers,"y");;
gap> f:=x*y+y+x^7;
x^7+x*y+y
gap> Value(f,[x,y],[5,7]);
78167

Comentario (añadido posterior): además, la sustitución no se limita a los elementos del anillo de coeficientes. Uno podría, por ejemplo, sustituir indeterminates como aquí

gap> x:=Indeterminate(Integers,"x");;
gap> y:=Indeterminate(Integers,"y");;
gap> z:=Indeterminate(Integers,"`");;
gap> f:=x*y+y+x^7+z;
x^7+x*y+y+z
gap> g:=Value(f,[x,y],[z^2,2]);
z^14+2*z^2+z+2
gap> Value(g,2);
16396

o matrices como aquí:

gap> m:=[ [ 0, -1, -1, 0, 0 ],
>         [ 0,  0,  0, 1, 0 ],
>         [ 0,  0,  0, 0, 1 ],
>         [ 1,  0,  0, 0, 0 ],
>         [ 0,  0,  1, 0, 0 ] ];;
gap> charpol:=CharacteristicPolynomial(m);
x^5-x^3+x^2-1
gap> Value(charpol,m);
[ [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], 
  [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ] ]