Multivariate polynomial rings and algebras

Here is the declaration and impelemntaion of a polynomial ring over a coeff.

domain (ring), its ements polynomials (poly) and related structures (ideal) together with the most basic functionality.