Class SolvableLocalResidue<C extends GcdRingElem<C>>