Go backward to PolynomialsGo up to TopGo forward to Polynomial Operations |

Poly := {pinN->R:pis polynomial}.

*Definition:* constant and variable polynomial

. _{Poly}:R-> Polyc_{Poly}:=suchpin Poly:p_{0}=c/\ (foralli> 0:p_{i}= 0)

x:=suchpin Poly:p_{0}= 0 /\p_{1}= 1 /\ (foralli> 1:p_{i}= 0)

3 _{Poly}= [3, 0, 0, 0, 0, ...] x= [0, 1, 0, 0, 0, ...]

Author: Wolfgang Schreiner

Last Modification: November 16, 1999