previous up next
Go backward to Polynomials
Go up to Top
Go forward to Polynomial Operations
RISC-Linz logo

Special Polynomials

Poly := {p in N -> R: p is polynomial}.

Definition: constant and variable polynomial

.Poly: R -> Poly
cPoly := such p in Poly: p0 = c /\  (forall i > 0: pi = 0)
x := such p in Poly: p0 = 0 /\  p1 = 1 /\  (forall i > 1: pi = 0)
3Poly = [3, 0, 0, 0, 0, ...]
x = [0, 1, 0, 0, 0, ...]

Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next