Class IdealWithRealAlgebraicRoots<D extends GcdRingElem<D> & Rational>