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