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


A polynomial over the reals is an infinite sequence of real numbers, the coefficients, of which only finitely many are different from 0:

p is polynomial : <=> p: N -> R /\  (exists k in N: forall i >= k: pi = 0).

The degree of a polynomial is zero, if all coefficients are zero; otherwise, it is the index of the largest non-zero coeffient:

deg(p) :=
   if forall i in N: pi = 0
      then 0
      else (such k in N: pk != 0 /\  (forall i > k: pi = 0)).

Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next