Class IdealWithRealRoots<C extends GcdRingElem<C>>