added IntegrallyClosedDomain, UFD and PID