Go backward to Polynomial EvaluationGo up to TopGo forward to Typical Notation |

*Proposition:*
For all polynomials `p` and `q` and all reals `c` and
`a`:

c_{Poly}[a]= c,x[a]= a,( p+q)[a]= p[a] +_{R}q[a],( p*q)[a]= p[a] *_{R}q[a].

When evaluating a polynomial `p` on a real
`a`, we substitute `a`_{Poly} for every
occurrence of __x__ in `p` and then use arithmetic on reals.

( x+1)[2]= 2+1 = 3 ( x*x+2*x+1)[3]= 3*3+2*3+1 = 16

Author: Wolfgang Schreiner

Last Modification: November 16, 1999