Added polynomial calculus (based on numeric prelude)