|
5.1.130 subst
Syntax:
subst ( poly_expression, variable, poly_expression )
subst ( poly_expression, variable, poly_expression ,... variable, poly_expression )
subst ( vector_expression, variable, poly_expression )
subst ( ideal_expression, variable, poly_expression )
subst ( module_expression, variable, poly_expression )
Type:
- poly, vector, ideal or module (corresponding to the first argument)
Purpose:
- substitutes one or more ring variable(s)/parameter variable(s) by (a) polynomial(s).
Example:
| ring r=0,(x,y,z),dp;
poly f=x2+y2+z2+x+y+z;
int a=1;
subst(f,x,a); // substitute one variable
==> y2+z2+y+z+2
subst(f,x,1,y,2z); // substitute two variables
==> 5z2+3z+2
|
See
ideal;
map;
module;
poly;
substitute;
vector.
|