Go backward to ExampleGo up to TopGo forward to Example |

Take the set of polynomials Poly.

We have, for all
polynomials `x` and `y` and `a` in **R**,

( x+y)[a]= x[a] +_{R}y[a]( x-y)[a]= x[a] -_{R}y[a](- x)[a]= - _{R}x[a]( x*y)[a]= x[a] *_{R}y[a]

i.e., polynomial evaluation is a homomorphism from Poly to
**R** (for operations +, -, *).

Author: Wolfgang Schreiner

Last Modification: December 7, 1999