Class LocalSolvablePolynomial<C extends GcdRingElem<C>>