Class ResidueSolvablePolynomial<C extends GcdRingElem<C>>