(* Summary theory of the development of (not instantiated) polynomials $Id$ Author: Clemens Ballarin, started 17 July 1997 *) theory Polynomial imports LongDiv begin end