Class ResidueSolvablePolynomialRing<C extends GcdRingElem<C>>