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