Go backward to Polynomials Go up to Top Go forward to Polynomial Operations |
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, ...]