/*! \page libpolys_polys_page Multivariate polynomial rings and algebras

 Here is the declaration and impelemntaion of a polynomial ring over a coeff. domain (\ref ring),
 its ements polynomials (\ref poly) and related structures (\ref ideal)
 together with the most basic functionality.

*/