Evaluation homomorphism (source code)

= Evaluation homomorphism

For an element $a$ of a commutative $R$-algebra, evaluation on a <polynomial ring> is the ring homomorphism
$$
R[X]\longrightarrow R[a],\qquad f\longmapsto f(a).
$$