up previous next
apply

apply homomorphism

Syntax
apply(phi: RINGHOM, X: RINGELEM): RINGELEM
apply(phi: RINGHOM, X: LIST): LIST
apply(phi: RINGHOM, X: MAT): MAT

Description
Apply homomorphism phi to all elements in second argument X ( RINGELEM , LIST , or MAT )

When X is of type RINGELEM this is equivalent to the natural syntax phi(X) .

Example
/**/  use R ::= QQ[x,y,z];
/**/  S ::= QQ[x[1..3]];
/**/  phi := PolyAlgebraHom(R, S, indets(S));
/**/  apply(phi, [x^2-y, z-2]);
[x[1]^2 -x[2], x[3] -2]

/**/  apply(phi, x^2-y);  -- same as phi(x^2-y)
x[1]^2 -x[2]
/**/  phi(x^2-y);
x[1]^2 -x[2]

See Also